2009 |
80 | EE | Robin Abraham,
Martin Erwig:
Mutation Operators for Spreadsheets.
IEEE Trans. Software Eng. 35(1): 94-108 (2009) |
2008 |
79 | EE | Martin Erwig,
Eric Walkingshaw:
A visual language for representing and explaining strategies in game theory.
VL/HCC 2008: 101-108 |
78 | EE | Chris Chambers,
Martin Erwig:
Dimension inference in spreadsheets.
VL/HCC 2008: 123-130 |
77 | EE | Robin Abraham,
Martin Erwig:
Test-driven goal-directed debugging in spreadsheets.
VL/HCC 2008: 131-138 |
76 | EE | Robin Abraham,
Margaret M. Burnett,
Martin Erwig:
Spreadsheet Programming.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
2007 |
75 | EE | Robin Abraham,
Martin Erwig:
Exploiting Domain-Specific Structures For End-User Programming Support Tools.
End-User Software Engineering 2007 |
74 | EE | Robin Abraham,
Martin Erwig:
GoalDebug: A Spreadsheet Debugger for End Users.
ICSE 2007: 251-260 |
73 | EE | Robin Abraham,
Martin Erwig,
Scott Andrew:
A Type System Based on End-User Vocabulary.
VL/HCC 2007: 215-222 |
72 | EE | Martin Erwig,
Robin Abraham:
Understanding and Building Spreadsheet Tools.
VL/HCC 2007: 7 |
71 | EE | Robin Abraham,
Martin Erwig:
UCheck: A spreadsheet type checker for end users.
J. Vis. Lang. Comput. 18(1): 71-95 (2007) |
70 | EE | Jan-Christopher Bals,
Fabian Christ,
Gregor Engels,
Martin Erwig:
ClassSheets - model-based, object-oriented design of spreadsheet applications.
Journal of Object Technology 6(9): 383-398 (2007) |
69 | EE | Martin Erwig,
Zhe Fu,
Ben Pflaum:
Parametric Fortran: program generation in scientific computing.
Journal of Software Maintenance 19(3): 155-182 (2007) |
68 | EE | Martin Erwig,
Deling Ren:
An update calculus for expressing type-safe program updates.
Sci. Comput. Program. 67(2-3): 199-222 (2007) |
2006 |
67 | EE | Deling Ren,
Martin Erwig:
A generic recursion toolbox for Haskell or: scrap your boilerplate systematically.
Haskell 2006: 13-24 |
66 | EE | Robin Abraham,
Martin Erwig:
Inferring templates from spreadsheets.
ICSE 2006: 182-191 |
65 | EE | Martin Erwig,
Steve Kollmansberger:
Modeling Genome Evolution with a DSEL for Probabilistic Programming.
PADL 2006: 134-149 |
64 | EE | Martin Erwig,
Zhe Fu,
Ben Pflaum:
Generic programming in Fortran.
PEPM 2006: 130-139 |
63 | EE | Robin Abraham,
Martin Erwig:
Type inference for spreadsheets.
PPDP 2006: 73-84 |
62 | EE | Joseph Lawrance,
Robin Abraham,
Margaret M. Burnett,
Martin Erwig:
Sharing reasoning about faults in spreadsheets: An empirical study.
VL/HCC 2006: 35-42 |
61 | EE | Robin Abraham,
Martin Erwig:
AutoTest: A Tool for Automatic Test Case Generation in Spreadsheets.
VL/HCC 2006: 43-50 |
60 | EE | Martin Erwig,
Steve Kollmansberger:
Functional Pearls: Probabilistic functional programming in Haskell.
J. Funct. Program. 16(1): 21-34 (2006) |
59 | EE | Martin Erwig,
Robin Abraham,
Steve Kollmansberger,
Irene Cooperstein:
Gencel: a program generator for correct spreadsheets.
J. Funct. Program. 16(3): 293-325 (2006) |
58 | EE | Martin Erwig:
Visual type inference.
J. Vis. Lang. Comput. 17(2): 161-186 (2006) |
2005 |
57 | EE | Gregor Engels,
Martin Erwig:
ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications.
ASE 2005: 124-133 |
56 | EE | Martin Erwig,
Robin Abraham,
Irene Cooperstein,
Steve Kollmansberger:
Automatic generation and maintenance of correct spreadsheets.
ICSE 2005: 136-145 |
55 | EE | Robin Abraham,
Martin Erwig,
Steve Kollmansberger,
Ethan Seifert:
Visual Specifications of Correct Spreadsheets.
VL/HCC 2005: 189-196 |
54 | EE | Robin Abraham,
Martin Erwig:
Goal-Directed Debugging of Spreadsheets.
VL/HCC 2005: 37-44 |
53 | EE | Robin Abraham,
Martin Erwig:
How to communicate unit error messages in spreadsheets.
ACM SIGSOFT Software Engineering Notes 30(4): 1-5 (2005) |
52 | EE | Martin Erwig,
Zhe Fu:
Software reuse for scientific computing through program generation.
ACM Trans. Softw. Eng. Methodol. 14(2): 168-198 (2005) |
2004 |
51 | EE | Martin Erwig,
Zhe Fu:
Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions.
PADL 2004: 209-223 |
50 | EE | Robin Abraham,
Martin Erwig:
Header and Unit Inference for Spreadsheets Through Spatial Analyses.
VL/HCC 2004: 165-172 |
49 | EE | Martin Erwig:
Escape from Zurg: an exercise in logic programming.
J. Funct. Program. 14(3): 253-261 (2004) |
48 | EE | Martin Erwig,
Deling Ren:
Monadification of functional programs.
Sci. Comput. Program. 52: 101-129 (2004) |
2003 |
47 | EE | Martin Erwig,
Jianglin He:
KeyQuery - A Front End for the Automatic Translation of Keywords into Structured Queries.
DEXA 2003: 494-503 |
46 | EE | Martin Erwig:
Toward the Automatic Derivation of XML Transformations.
ER (Workshops) 2003: 342-354 |
45 | EE | Martin Erwig,
Deling Ren:
Programming Type-Safe Program Updates.
ESOP 2003: 269-283 |
44 | EE | Ralf Hartmut Güting,
Michael H. Böhlen,
Martin Erwig,
Christian S. Jensen,
Nikos A. Lorentzos,
Enrico Nardelli,
Markus Schneider,
Jose Ramon Rios Viqueira:
Spatio-temporal Models and Languages: An Approach Based on Data Types.
Spatio-Temporal Databases: The CHOROCHRONOS Approach 2003: 117-176 |
43 | EE | Martin Erwig:
Xing: a visual XML query language.
J. Vis. Lang. Comput. 14(1): 5-45 (2003) |
42 | EE | Martin Erwig,
Markus Schneider:
A visual language for the evolution of spatial relationships and its translation into a spatio-temporal calculus.
J. Vis. Lang. Comput. 14(2): 181-211 (2003) |
2002 |
41 | EE | Martin Erwig,
Deling Ren:
A rule-based language for programming software updates.
ACM SIGPLAN Workshop on Rule-Based Programming 2002: 67-78 |
40 | EE | Margaret M. Burnett,
Martin Erwig:
Visually Customizing Inference Rules About Apples and Oranges.
HCC 2002: 140-148 |
39 | EE | Margaret M. Burnett,
Martin Erwig:
Visually Customizing Inference Rules About Apples and Oranges.
IEEE Symposia on Human Centric Computing Languages and Environments 2002: 140-148 |
38 | EE | Martin Erwig,
Margaret M. Burnett:
Adding Apples and Oranges.
PADL 2002: 173-191 |
37 | EE | Martin Erwig,
Markus Schneider:
Spatio-Temporal Predicates.
IEEE Trans. Knowl. Data Eng. 14(4): 881-901 (2002) |
36 | EE | Martin Erwig,
Deling Ren:
A rule-based language for programming software updates.
SIGPLAN Notices 37(12): 88-97 (2002) |
2001 |
35 | EE | Martin Erwig:
Programs Are Abstract Data Types.
ASE 2001: 400-403 |
34 | | Martin Erwig:
Inductive graphs and functional graph algorithms.
J. Funct. Program. 11(5): 467-492 (2001) |
2000 |
33 | EE | Martin Erwig:
Random Access to Abstract Data Types.
AMAST 2000: 135-149 |
32 | | Martin Erwig,
Markus Schneider:
Query-By-Trace: Visual Predicate Specification in Spatio-Temporal Databases.
VDB 2000: 199-218 |
31 | EE | Martin Erwig:
A Visual Language for XML.
VL 2000: 47-54 |
30 | EE | Ralf Hartmut Güting,
Michael H. Böhlen,
Martin Erwig,
Christian S. Jensen,
Nikos A. Lorentzos,
Markus Schneider,
Michalis Vazirgiannis:
A foundation for representing and quering moving objects.
ACM Trans. Database Syst. 25(1): 1-42 (2000) |
29 | EE | Martin Erwig,
Simon L. Peyton Jones:
Pattern Guards and Transformational Patterns.
Electr. Notes Theor. Comput. Sci. 41(1): (2000) |
28 | EE | Martin Erwig:
The graph Voronoi diagram with applications.
Networks 36(3): 156-163 (2000) |
1999 |
27 | | Ralf Hartmut Güting,
Martin Erwig:
Übersetzerbau - Techniken, Werkzeuge, Anwendungen
Springer 1999 |
26 | EE | Martin Erwig,
Markus Schneider:
Developments in Spatio-Temporal Query Languages.
DEXA Workshop 1999: 441-449 |
25 | EE | Martin Erwig,
Markus Schneider:
The Honeycomb Model of Spatio-Temporal Partitions.
Spatio-Temporal Database Management 1999: 39-59 |
24 | EE | Martin Erwig:
Visual Graphs.
VL 1999: 122-129 |
23 | EE | Martin Erwig,
Markus Schneider:
Visual Specification of Spatio-Temporal Developments.
VL 1999: 187-188 |
22 | | Martin Erwig,
Ralf Hartmut Güting,
Markus Schneider,
Michalis Vazirgiannis:
Spatio-Temporal Data Types: An Approach to Modeling and Querying Moving Objects in Databases.
GeoInformatica 3(3): 269-296 (1999) |
1998 |
21 | EE | Martin Erwig,
Ralf Hartmut Güting,
Markus Schneider,
Michalis Vazirgiannis:
Abstract and Discrete Modeling of Spatio-Temporal Data Types.
ACM-GIS 1998: 131-136 |
20 | EE | Martin Erwig:
Categorical Programming with Abstract Data Types.
AMAST 1998: 406-421 |
19 | EE | Martin Erwig,
Markus Schneider,
Ralf Hartmut Güting:
Temporal Objects for Spatio-Temporal Data Models and a Comparison of Their Representations.
ER Workshops 1998: 454-465 |
18 | | Martin Erwig:
Visual Semantics - Or: What You See is What You Compute.
VL 1998: 96-97 |
17 | | Martin Erwig:
Diets for Fat Sets.
J. Funct. Program. 8(6): 627-632 (1998) |
16 | | Martin Erwig:
Abstract Syntax and Semantics of Visual Languages.
J. Vis. Lang. Comput. 9(5): 461-483 (1998) |
1997 |
15 | | Martin Erwig,
Markus Schneider:
Partition and Conquer.
COSIT 1997: 389-407 |
14 | | Martin Erwig:
Functional Programming with Graphs.
ICFP 1997: 52-65 |
13 | EE | Martin Erwig:
Fully Persistent Graphs - Which One To Choose?
Implementation of Functional Languages 1997: 123-140 |
12 | EE | Martin Erwig,
Markus Schneider:
Vague Regions.
SSD 1997: 298-320 |
11 | | Martin Erwig:
Semantics of Visual Languages.
VL 1997: 304-311 |
1996 |
10 | | Martin Erwig:
Active Patterns.
Implementation of Functional Languages 1996: 21-40 |
1995 |
9 | EE | Martin Erwig,
Bernd Meyer:
Heterogeneous Visual Languages-Integrating Visual and Textual Programming.
VL 1995: 318-325 |
1994 |
8 | | Martin Erwig:
DEAL - A Language for Depicting Algorithms.
VL 1994: 184-185 |
7 | | Martin Erwig:
Graphs in Spatial Databases.
GI Datenbank Rundbrief 14: 65 (1994) |
6 | EE | Martin Erwig,
Ralf Hartmut Güting:
Explicit Graphs in a Functional Model for Spatial Databases.
IEEE Trans. Knowl. Data Eng. 6(5): 787-804 (1994) |
1993 |
5 | | Martin Erwig:
Specifying Type Systems with Multi-Level Order-Sorted Algebra.
AMAST 1993: 177-184 |
4 | | Martin Erwig:
Spezifikation von Datenmodellen mittels mehrstufiger Algebra.
Grundlagen von Datenbanken 1993: 45-49 |
1992 |
3 | | Martin Erwig,
Ralf Hartmut Güting:
Modellierung von Netzen in Geo-Datenbanken.
Grundlagen von Datenbanken 1992: 27-29 |
2 | | Martin Erwig:
Graph Algorithms = Iteration + Data Structures? The Structure of Graph Algorithms and a Corresponding Style of Programming.
WG 1992: 277-292 |
1991 |
1 | EE | Martin Erwig,
Udo W. Lipeck:
A Functional DBPL Revealing High Level Optimizations.
DBPL 1991: 306-321 |