 | 2009 |
|---|
| 83 |       | Eric Walkingshaw,
Martin Erwig:
Varying Domain Representations in Hagl.
DSL 2009: 310-334 |
| 82 | | Martin Erwig,
Eric Walkingshaw:
A DSL for Explaining Probabilistic Reasoning.
DSL 2009: 335-359 |
| 81 | | Robin Abraham,
Martin Erwig:
Mutation Operators for Spreadsheets.
IEEE Trans. Software Eng. 35(1): 94-108 (2009) |
| 80 | | Chris Chambers,
Martin Erwig:
Automatic detection of dimension errors in spreadsheets.
J. Vis. Lang. Comput. 20(4): 269-283 (2009) |
| 2008 |
|---|
| 79 | | Martin Erwig,
Eric Walkingshaw:
A visual language for representing and explaining strategies in game theory.
VL/HCC 2008: 101-108 |
| 78 | | Chris Chambers,
Martin Erwig:
Dimension inference in spreadsheets.
VL/HCC 2008: 123-130 |
| 77 | | Robin Abraham,
Martin Erwig:
Test-driven goal-directed debugging in spreadsheets.
VL/HCC 2008: 131-138 |
| 76 | | Robin Abraham,
Margaret M. Burnett,
Martin Erwig:
Spreadsheet Programming.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 2007 |
|---|
| 75 | | Robin Abraham,
Martin Erwig:
Exploiting Domain-Specific Structures For End-User Programming Support Tools.
End-User Software Engineering 2007 |
| 74 | | Robin Abraham,
Martin Erwig:
GoalDebug: A Spreadsheet Debugger for End Users.
ICSE 2007: 251-260 |
| 73 | | Robin Abraham,
Martin Erwig,
Scott Andrew:
A Type System Based on End-User Vocabulary.
VL/HCC 2007: 215-222 |
| 72 | | Martin Erwig,
Robin Abraham:
Understanding and Building Spreadsheet Tools.
VL/HCC 2007: 7 |
| 71 | | Robin Abraham,
Martin Erwig:
UCheck: A spreadsheet type checker for end users.
J. Vis. Lang. Comput. 18(1): 71-95 (2007) |
| 70 | | 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 | | Martin Erwig,
Zhe Fu,
Ben Pflaum:
Parametric Fortran: program generation in scientific computing.
Journal of Software Maintenance 19(3): 155-182 (2007) |
| 68 | | Martin Erwig,
Deling Ren:
An update calculus for expressing type-safe program updates.
Sci. Comput. Program. 67(2-3): 199-222 (2007) |
| 2006 |
|---|
| 67 | | Deling Ren,
Martin Erwig:
A generic recursion toolbox for Haskell or: scrap your boilerplate systematically.
Haskell 2006: 13-24 |
| 66 | | Robin Abraham,
Martin Erwig:
Inferring templates from spreadsheets.
ICSE 2006: 182-191 |
| 65 | | Martin Erwig,
Steve Kollmansberger:
Modeling Genome Evolution with a DSEL for Probabilistic Programming.
PADL 2006: 134-149 |
| 64 | | Martin Erwig,
Zhe Fu,
Ben Pflaum:
Generic programming in Fortran.
PEPM 2006: 130-139 |
| 63 | | Robin Abraham,
Martin Erwig:
Type inference for spreadsheets.
PPDP 2006: 73-84 |
| 62 | | Joseph Lawrance,
Robin Abraham,
Margaret M. Burnett,
Martin Erwig:
Sharing reasoning about faults in spreadsheets: An empirical study.
VL/HCC 2006: 35-42 |
| 61 | | Robin Abraham,
Martin Erwig:
AutoTest: A Tool for Automatic Test Case Generation in Spreadsheets.
VL/HCC 2006: 43-50 |
| 60 | | Martin Erwig,
Steve Kollmansberger:
Functional Pearls: Probabilistic functional programming in Haskell.
J. Funct. Program. 16(1): 21-34 (2006) |
| 59 | | Martin Erwig,
Robin Abraham,
Steve Kollmansberger,
Irene Cooperstein:
Gencel: a program generator for correct spreadsheets.
J. Funct. Program. 16(3): 293-325 (2006) |
| 58 | | Martin Erwig:
Visual type inference.
J. Vis. Lang. Comput. 17(2): 161-186 (2006) |
| 2005 |
|---|
| 57 | | Gregor Engels,
Martin Erwig:
ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications.
ASE 2005: 124-133 |
| 56 | | Martin Erwig,
Robin Abraham,
Irene Cooperstein,
Steve Kollmansberger:
Automatic generation and maintenance of correct spreadsheets.
ICSE 2005: 136-145 |
| 55 | | Robin Abraham,
Martin Erwig,
Steve Kollmansberger,
Ethan Seifert:
Visual Specifications of Correct Spreadsheets.
VL/HCC 2005: 189-196 |
| 54 | | Robin Abraham,
Martin Erwig:
Goal-Directed Debugging of Spreadsheets.
VL/HCC 2005: 37-44 |
| 53 | | Robin Abraham,
Martin Erwig:
How to communicate unit error messages in spreadsheets.
ACM SIGSOFT Software Engineering Notes 30(4): 1-5 (2005) |
| 52 | | Martin Erwig,
Zhe Fu:
Software reuse for scientific computing through program generation.
ACM Trans. Softw. Eng. Methodol. 14(2): 168-198 (2005) |
| 2004 |
|---|
| 51 | | Martin Erwig,
Zhe Fu:
Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions.
PADL 2004: 209-223 |
| 50 | | Robin Abraham,
Martin Erwig:
Header and Unit Inference for Spreadsheets Through Spatial Analyses.
VL/HCC 2004: 165-172 |
| 49 | | Martin Erwig:
Escape from Zurg: an exercise in logic programming.
J. Funct. Program. 14(3): 253-261 (2004) |
| 48 | | Martin Erwig,
Deling Ren:
Monadification of functional programs.
Sci. Comput. Program. 52: 101-129 (2004) |
| 2003 |
|---|
| 47 | | Martin Erwig,
Jianglin He:
KeyQuery - A Front End for the Automatic Translation of Keywords into Structured Queries.
DEXA 2003: 494-503 |
| 46 | | Martin Erwig:
Toward the Automatic Derivation of XML Transformations.
ER (Workshops) 2003: 342-354 |
| 45 | | Martin Erwig,
Deling Ren:
Programming Type-Safe Program Updates.
ESOP 2003: 269-283 |
| 44 | | 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 | | Martin Erwig:
Xing: a visual XML query language.
J. Vis. Lang. Comput. 14(1): 5-45 (2003) |
| 42 | | 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 | | Martin Erwig,
Deling Ren:
A rule-based language for programming software updates.
ACM SIGPLAN Workshop on Rule-Based Programming 2002: 67-78 |
| 40 | | Margaret M. Burnett,
Martin Erwig:
Visually Customizing Inference Rules About Apples and Oranges.
HCC 2002: 140-148 |
| 39 | | 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 | | Martin Erwig,
Margaret M. Burnett:
Adding Apples and Oranges.
PADL 2002: 173-191 |
| 37 | | Martin Erwig,
Markus Schneider:
Spatio-Temporal Predicates.
IEEE Trans. Knowl. Data Eng. 14(4): 881-901 (2002) |
| 36 | | Martin Erwig,
Deling Ren:
A rule-based language for programming software updates.
SIGPLAN Notices 37(12): 88-97 (2002) |
| 2001 |
|---|
| 35 | | 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 | | 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 | | Martin Erwig:
A Visual Language for XML.
VL 2000: 47-54 |
| 30 | | 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 | | Martin Erwig,
Simon L. Peyton Jones:
Pattern Guards and Transformational Patterns.
Electr. Notes Theor. Comput. Sci. 41(1): (2000) |
| 28 | | 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 | | Martin Erwig,
Markus Schneider:
Developments in Spatio-Temporal Query Languages.
DEXA Workshop 1999: 441-449 |
| 25 | | Martin Erwig,
Markus Schneider:
The Honeycomb Model of Spatio-Temporal Partitions.
Spatio-Temporal Database Management 1999: 39-59 |
| 24 | | Martin Erwig:
Visual Graphs.
VL 1999: 122-129 |
| 23 | | 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 | | 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 | | Martin Erwig:
Categorical Programming with Abstract Data Types.
AMAST 1998: 406-421 |
| 19 | | 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 | | Martin Erwig:
Fully Persistent Graphs - Which One To Choose?
Implementation of Functional Languages 1997: 123-140 |
| 12 | | 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 | | 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 | | 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 | | Martin Erwig,
Udo W. Lipeck:
A Functional DBPL Revealing High Level Optimizations.
DBPL 1991: 306-321 |
