Martin Erwig

	2012
105		Martin Erwig, Rahul Gopinath: Explanations for Regular Expressions. FASE 2012: 394-408
	2011
104		Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto: Adaptation-Based Programming in Haskell DSL 2011: 1-23
103		Eric Walkingshaw, Martin Erwig: A DSEL for Studying and Explaining Causation DSL 2011: 143-167
102		Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto: Adaptation-based programming in java. PEPM 2011: 81-90
101		Martin Erwig, Eric Walkingshaw: Semantics First! - Rethinking the Language Design Process. SLE 2011: 243-262
100		Sheng Chen, Martin Erwig: Optimizing the Product Derivation Process. SPLC 2011: 35-44
99		Duc Le, Eric Walkingshaw, Martin Erwig: #ifdef confirmed harmful: Promoting understandable software variation. VL/HCC 2011: 143-150
98		Andrew J. Ko, Robin Abraham, Laura Beckwith, Alan F. Blackwell, Margaret M. Burnett, Martin Erwig, Christopher Scaffidi, Joseph Lawrance, Henry Lieberman, Brad A. Myers, Mary Beth Rosson, Gregg Rothermel, Mary Shaw, Susan Wiedenbeck: The state of the art in end-user software engineering. ACM Comput. Surv. 43(3): 21 (2011)
97		Martin Erwig, Eric Walkingshaw: The Choice Calculus: A Representation for Software Variation. ACM Trans. Softw. Eng. Methodol. 21(1): 6 (2011)
96		Jervis Pinto, Alan Fern, Tim Bauer, Martin Erwig: Improving Policy Gradient Estimates with Influence Information. Journal of Machine Learning Research - Proceedings Track 20: 1-18 (2011)
	2010
95		Martin Erwig, Eric Walkingshaw: Program fields for continuous software. FoSER 2010: 105-108
94		Martin Erwig: A language for software variation research. GPCE 2010: 3-12
93		Jervis Pinto, Alan Fern, Tim Bauer, Martin Erwig: Robust Learning for Adaptive Programs by Leveraging Program Structure. ICMLA 2010: 943-948
92		Martin Erwig: A Language for Software Variation Research. SLE 2010: 1
91		Martin Erwig, Eric Walkingshaw: Causal Reasoning with Neuron Diagrams. VL/HCC 2010: 101-108
90		Chris Chambers, Martin Erwig, Markus Luckey: SheetDiff: A Tool for Identifying Changes in Spreadsheets. VL/HCC 2010: 85-92
89		Jácome Cunha, Martin Erwig, João Saraiva: Automatically Inferring ClassSheet Models from Spreadsheets. VL/HCC 2010: 93-100
88		Chris Chambers, Martin Erwig: Reasoning about spreadsheets with labels and dimensions. J. Vis. Lang. Comput. 21(5): 249-262 (2010)
	2009
87		Eric Walkingshaw, Martin Erwig: Varying Domain Representations in Hagl. DSL 2009: 310-334
86		Martin Erwig, Eric Walkingshaw: A DSL for Explaining Probabilistic Reasoning. DSL 2009: 335-359
85		Tim Bauer, Martin Erwig: Declarative Scripting in Haskell. SLE 2009: 294-313
84		Chris Chambers, Martin Erwig: Combining spatial and semantic label analysis. VL/HCC 2009: 225-232
83		Martin Erwig, Eric Walkingshaw: Visual explanations of probabilistic reasoning. VL/HCC 2009: 23-27
82		Martin Erwig: Software Engineering for Spreadsheets. IEEE Software 26(5): 25-30 (2009)
81		Robin Abraham, Martin Erwig: Mutation Operators for Spreadsheets. IEEE Trans. Software Eng. 35(1): 94-108 (2009)
80		Eric Walkingshaw, Martin Erwig: A domain-specific language for experimental game theory. J. Funct. Program. 19(6): 645-661 (2009)
79		Chris Chambers, Martin Erwig: Automatic detection of dimension errors in spreadsheets. J. Vis. Lang. Comput. 20(4): 269-283 (2009)
	2008
78		Martin Erwig, Eric Walkingshaw: A visual language for representing and explaining strategies in game theory. VL/HCC 2008: 101-108
77		Chris Chambers, Martin Erwig: Dimension inference in spreadsheets. VL/HCC 2008: 123-130
76		Robin Abraham, Martin Erwig: Test-driven goal-directed debugging in spreadsheets. VL/HCC 2008: 131-138
75		Robin Abraham, Margaret M. Burnett, Martin Erwig: Spreadsheet Programming. Wiley Encyclopedia of Computer Science and Engineering 2008
	2007
74		Robin Abraham, Martin Erwig: Exploiting Domain-Specific Structures For End-User Programming Support Tools. End-User Software Engineering 2007
73		Robin Abraham, Martin Erwig: GoalDebug: A Spreadsheet Debugger for End Users. ICSE 2007: 251-260
72		Robin Abraham, Martin Erwig, Scott Andrew: A Type System Based on End-User Vocabulary. VL/HCC 2007: 215-222
71		Martin Erwig, Robin Abraham: Understanding and Building Spreadsheet Tools. VL/HCC 2007: 7
70		Robin Abraham, Martin Erwig: UCheck: A spreadsheet type checker for end users. J. Vis. Lang. Comput. 18(1): 71-95 (2007)
69		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)
68		Martin Erwig, Zhe Fu, Ben Pflaum: Parametric Fortran: program generation in scientific computing. Journal of Software Maintenance 19(3): 155-182 (2007)
67		Martin Erwig, Deling Ren: An update calculus for expressing type-safe program updates. Sci. Comput. Program. 67(2-3): 199-222 (2007)
	2006
66		Deling Ren, Martin Erwig: A generic recursion toolbox for Haskell or: scrap your boilerplate systematically. Haskell 2006: 13-24
65		Robin Abraham, Martin Erwig: Inferring templates from spreadsheets. ICSE 2006: 182-191
64		Martin Erwig, Steve Kollmansberger: Modeling Genome Evolution with a DSEL for Probabilistic Programming. PADL 2006: 134-149
63		Martin Erwig, Zhe Fu, Ben Pflaum: Generic programming in Fortran. PEPM 2006: 130-139
62		Robin Abraham, Martin Erwig: Type inference for spreadsheets. PPDP 2006: 73-84
61		Joseph Lawrance, Robin Abraham, Margaret M. Burnett, Martin Erwig: Sharing reasoning about faults in spreadsheets: An empirical study. VL/HCC 2006: 35-42
60		Robin Abraham, Martin Erwig: AutoTest: A Tool for Automatic Test Case Generation in Spreadsheets. VL/HCC 2006: 43-50
59		Martin Erwig, Steve Kollmansberger: Functional Pearls: Probabilistic functional programming in Haskell. J. Funct. Program. 16(1): 21-34 (2006)
58		Martin Erwig, Robin Abraham, Steve Kollmansberger, Irene Cooperstein: Gencel: a program generator for correct spreadsheets. J. Funct. Program. 16(3): 293-325 (2006)
57		Martin Erwig: Visual type inference. J. Vis. Lang. Comput. 17(2): 161-186 (2006)
	2005
56		Gregor Engels, Martin Erwig: ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications. ASE 2005: 124-133
55		Martin Erwig, Robin Abraham, Irene Cooperstein, Steve Kollmansberger: Automatic generation and maintenance of correct spreadsheets. ICSE 2005: 136-145
54		Robin Abraham, Martin Erwig, Steve Kollmansberger, Ethan Seifert: Visual Specifications of Correct Spreadsheets. VL/HCC 2005: 189-196
53		Robin Abraham, Martin Erwig: Goal-Directed Debugging of Spreadsheets. VL/HCC 2005: 37-44
52		Robin Abraham, Martin Erwig: How to communicate unit error messages in spreadsheets. ACM SIGSOFT Software Engineering Notes 30(4): 1-5 (2005)
51		Martin Erwig, Zhe Fu: Software reuse for scientific computing through program generation. ACM Trans. Softw. Eng. Methodol. 14(2): 168-198 (2005)
	2004
50		Martin Erwig, Zhe Fu: Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions. PADL 2004: 209-223
49		Robin Abraham, Martin Erwig: Header and Unit Inference for Spreadsheets Through Spatial Analyses. VL/HCC 2004: 165-172
48		Martin Erwig: Escape from Zurg: an exercise in logic programming. J. Funct. Program. 14(3): 253-261 (2004)
47		Martin Erwig, Deling Ren: Monadification of functional programs. Sci. Comput. Program. 52: 101-129 (2004)
	2003
46		Martin Erwig, Jianglin He: KeyQuery - A Front End for the Automatic Translation of Keywords into Structured Queries. DEXA 2003: 494-503
45		Martin Erwig: Toward the Automatic Derivation of XML Transformations. ER (Workshops) 2003: 342-354
44		Martin Erwig, Deling Ren: Programming Type-Safe Program Updates. ESOP 2003: 269-283
43		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
42		Martin Erwig: Xing: a visual XML query language. J. Vis. Lang. Comput. 14(1): 5-45 (2003)
41		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
40		Martin Erwig, Deling Ren: A rule-based language for programming software updates. ACM SIGPLAN Workshop on Rule-Based Programming 2002: 67-78
39		Margaret M. Burnett, Martin Erwig: Visually Customizing Inference Rules About Apples and Oranges. HCC 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 querying 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): 3 (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

Coauthor Index

1	Robin Abraham	[49] [52] [53] [54] [55] [58] [60] [61] [62] [65] [70] [71] [72] [73] [74] [75] [76] [81] [98]
2	Scott Andrew	[72]
3	Jan-Christopher Bals	[69]
4	Tim Bauer	[85] [93] [96] [102] [104]
5	Laura Beckwith	[98]
6	Alan F. Blackwell	[98]
7	Michael H. Böhlen	[30] [43]
8	Margaret M. Burnett	[38] [39] [61] [75] [98]
9	Chris Chambers	[77] [79] [84] [88] [90]
10	Sheng Chen	[100]
11	Fabian Christ	[69]
12	Irene Cooperstein	[55] [58]
13	Jácome Cunha	[89]
14	Gregor Engels	[56] [69]
15	Alan Fern	[93] [96] [102] [104]
16	Zhe Fu	[50] [51] [63] [68]
17	Rahul Gopinath	[105]
18	Ralf Hartmut Güting	[3] [6] [19] [21] [22] [27] [30] [43]
19	Jianglin He	[46]
20	Christian S. Jensen	[30] [43]
21	Simon L. Peyton Jones	[29]
22	Andrew Jensen Ko (Andrew J. Ko, Andy Ko)	[98]
23	Steve Kollmansberger	[54] [55] [58] [59] [64]
24	Joseph Lawrance	[61] [98]
25	Duc Le	[99]
26	Henry Lieberman	[98]
27	Udo W. Lipeck	[1]
28	Nikos A. Lorentzos	[30] [43]
29	Markus Luckey	[90]
30	Bernd Meyer	[9]
31	Brad A. Myers	[98]
32	Enrico Nardelli	[43]
33	Ben Pflaum	[63] [68]
34	Jervis Pinto	[93] [96] [102] [104]
35	Deling Ren	[36] [40] [44] [47] [66] [67]
36	Mary Beth Rosson	[98]
37	Gregg Rothermel	[98]
38	João Saraiva	[89]
39	Christopher Scaffidi	[98]
40	Markus Schneider	[12] [15] [19] [21] [22] [23] [25] [26] [30] [32] [37] [41] [43]
41	Ethan Seifert	[54]
42	Mary Shaw	[98]
43	Michalis Vazirgiannis	[21] [22] [30]
44	José Ramon Rios Viqueira (Jose Ramon Rios Viqueira)	[43]
45	Eric Walkingshaw	[78] [80] [83] [86] [87] [91] [95] [97] [99] [101] [103]
46	Susan Wiedenbeck	[98]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page