![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Martin Erwig
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j43]Martin Erwig
, Prashant Kumar
:
Explanations for combinatorial optimization problems. J. Comput. Lang. 79: 101272 (2024) - [c113]Jennifer Parham-Mocello
, Martin Erwig
, Margaret Niess
:
Analogies and Active Engagement: Introducing Computer Science. SIGCSE (1) 2024: 1007-1013 - 2023
- [j42]Divya Bajaj, Martin Erwig
, Danila Fedorin
:
A visual notation for succinct program traces. J. Comput. Lang. 75: 101199 (2023) - [c112]Prashant Kumar
, Martin Erwig
:
MatchMaker: A DSL for Game-Theoretic Matching. TFP 2023: 51-71 - [c111]Jennifer Parham-Mocello
, Martin Erwig
, Margaret Niess
, Jason Weber
, Madelyn Smith
, Garrett Berliner
:
Putting Computing on the Table: Using Physical Games to Teach Computer Science. SIGCSE (1) 2023: 444-450 - 2022
- [j41]John Peter Campora III
, Sheng Chen
, Martin Erwig, Eric Walkingshaw:
Migrating gradual types. J. Funct. Program. 32: e14 (2022) - [c110]Jennifer Parham-Mocello, Martin Erwig, Margaret Niess, Aiden Nelson, Jason Weber
, Garrett Berliner:
Using a Functional Board Game Language to Teach Middle School Programming. FIE 2022: 1-9 - [c109]Jennifer Parham-Mocello, Aiden Nelson, Martin Erwig:
Exploring the Use of Games and a Domain-Specific Teaching Language in CS0. ITiCSE (1) 2022: 351-357 - [i5]Margaret Burnett, Martin Erwig, Abrar Fallatah, Christopher Bogart, Anita Sarma:
Intersectionality Goes Analytical: Taming Combinatorial Explosion Through Type Abstraction. CoRR abs/2201.10643 (2022) - [i4]Martin Erwig, Prashant Kumar:
Explaining Results of Multi-Criteria Decision Making. CoRR abs/2209.04582 (2022) - 2021
- [j40]Martin Erwig
, Prashant Kumar:
Explainable dynamic programming. J. Funct. Program. 31: e10 (2021) - [c108]Divya Bajaj, Martin Erwig, Danila Fedorin, Kai Gay:
Adaptable Traces for Program Explanations. APLAS 2021: 202-221 - [c107]Martin Erwig, Prashant Kumar:
MADMAX: a DSL for explanatory decision making. GPCE 2021: 144-155 - [c106]Divya Bajaj, Martin Erwig, Danila Fedorin, Kai Gay:
A Visual Notation for Succinct Program Traces. VL/HCC 2021: 1-9 - [c105]Jennifer Parham-Mocello, Martin Erwig, Margaret Niess:
Teaching CS Middle School Camps in a Virtual World. VL/HCC 2021: 1-4 - 2020
- [c104]Martin Erwig, Prashant Kumar, Alan Fern:
Explanations for Dynamic Programming. PADL 2020: 179-195 - [c103]Jennifer Parham-Mocello, Martin Erwig:
Does Story Programming Prepare for Coding? SIGCSE 2020: 100-106 - [e4]Martin Erwig, Jeff Gray:
GPCE '20: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Virtual Event, USA, November 16-17, 2020. ACM 2020, ISBN 978-1-4503-8174-1 [contents]
2010 – 2019
- 2019
- [c102]Alan F. Blackwell, Luke Church, Martin Erwig, James Geddes, Andy Gordon, Maria I. Gorinova, Atilim Gunes Baydin, Bradley Gram-Hansen, Tobias Kohn, Neil D. Lawrence, Vikash Mansinghka, Brooks Paige, Tomas Petricek, Diana Robinson, Advait Sarkar, Oliver Strickson:
Usability of Probabilistic Programming Languages. PPIG 2019 - [c101]Jennifer Parham-Mocello, Shannon Ernst, Martin Erwig, Lily Shellhammer, Emily Dominguez:
Story Programming: Explaining Computer Science Before Coding. SIGCSE 2019: 379-385 - [c100]Jennifer Parham-Mocello, Martin Erwig, Emily Dominguez:
To Code or Not to Code? Programming in Introductory CS Courses. VL/HCC 2019: 187-191 - 2018
- [j39]Sheng Chen, Martin Erwig:
Systematic identification and communication of type errors. J. Funct. Program. 28: e2 (2018) - [j38]John Peter Campora III, Sheng Chen, Martin Erwig, Eric Walkingshaw:
Migrating gradual types. Proc. ACM Program. Lang. 2(POPL): 15:1-15:29 (2018) - [c99]Martin Erwig, Karl Smeltzer:
Variational Pictures. Diagrams 2018: 55-70 - [c98]Karl Smeltzer, Martin Erwig:
A domain-specific language for exploratory data visualization. GPCE 2018: 1-13 - [c97]Jácome Cunha
, Mihai Dan, Martin Erwig, Danila Fedorin
, Alex Grejuc:
Explaining spreadsheets with spreadsheets (short paper). GPCE 2018: 161-167 - [c96]Karl Smeltzer, Martin Erwig:
Comparative Visualizations through Parameterization and Variability. VL/HCC 2018: 7-15 - [i3]Martin Erwig:
Typed Table Transformations. CoRR abs/1809.02746 (2018) - 2017
- [j37]Martin Erwig, Karl Smeltzer, Xiangyu Wang:
What is a visual language? J. Vis. Lang. Comput. 38: 9-17 (2017) - [j36]Sheng Chen, Martin Erwig, Karl Smeltzer:
Exploiting diversity in type checkers for better error messages. J. Vis. Lang. Comput. 39: 10-21 (2017) - [c95]Karl Smeltzer, Martin Erwig:
Variational lists: comparisons and design guidelines. FOSD 2017: 31-40 - 2016
- [j35]Jácome Cunha
, Martin Erwig, Jorge Mendes
, João Saraiva
:
Model inference for spreadsheets. Autom. Softw. Eng. 23(3): 361-392 (2016) - [c94]Sheng Chen, Martin Erwig, Eric Walkingshaw:
A Calculus for Variational Programming. ECOOP 2016: 6:1-6:28 - [c93]Sheng Chen, Martin Erwig:
Principal type inference for GADTs. POPL 2016: 416-428 - [e3]Martin Erwig, Tiark Rompf:
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20 - 22, 2016. ACM 2016, ISBN 978-1-4503-4097-7 [contents] - 2015
- [i2]Sebastian Erdweg, Martin Erwig, Richard F. Paige, Eelco Visser:
Domain-Specific Languages (Dagstuhl Seminar 15062). Dagstuhl Reports 5(2): 26-43 (2015) - 2014
- [j34]Sheng Chen, Martin Erwig, Eric Walkingshaw:
Extending Type Inference to Variational Programs. ACM Trans. Program. Lang. Syst. 36(1): 1:1-1:54 (2014) - [c92]Sheng Chen, Martin Erwig:
Guided Type Debugging. FLOPS 2014: 35-51 - [c91]Karl Smeltzer, Martin Erwig, Ronald A. Metoyer:
A transformational approach to data visualization. GPCE 2014: 53-62 - [c90]Sheng Chen, Martin Erwig:
Type-based parametric analysis of program families. ICFP 2014: 39-51 - [c89]Eric Walkingshaw, Christian Kästner
, Martin Erwig, Sven Apel
, Eric Bodden
:
Variational Data Structures: Exploring Tradeoffs in Computing with Variability. Onward! 2014: 213-226 - [c88]Sheng Chen, Martin Erwig:
Early detection of type errors in C++ templates. PEPM 2014: 133-144 - [c87]Sheng Chen, Martin Erwig:
Counter-factual typing for debugging type errors. POPL 2014: 583-594 - [c86]Sheng Chen, Martin Erwig, Karl Smeltzer:
Let's hear both sides: On combining type-error reporting tools. VL/HCC 2014: 145-152 - [c85]Martin Erwig, Karl Smeltzer, Keying Xu:
A notation for non-linear program edits. VL/HCC 2014: 205-206 - 2013
- [j33]Martin Erwig, Eric Walkingshaw:
A visual language for explaining probabilistic reasoning. J. Vis. Lang. Comput. 24(2): 88-109 (2013) - [c84]Martin Erwig, Eric Walkingshaw, Sheng Chen:
An abstract representation of variational graphs. FOSD 2013: 25-32 - [c83]Martin Erwig, Klaus Ostermann, Tillmann Rendel, Eric Walkingshaw:
Adding configuration to the choice calculus. VaMoS 2013: 13:1-13:8 - [c82]Martin Erwig:
Explicitness in language design. VL/HCC 2013: 2 - [e2]Martin Erwig, Richard F. Paige, Eric Van Wyk:
Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings. Lecture Notes in Computer Science 8225, Springer 2013, ISBN 978-3-319-02653-4 [contents] - 2012
- [j32]Markus Luckey, Martin Erwig, Gregor Engels:
Systematic evolution of model-based spreadsheet applications. J. Vis. Lang. Comput. 23(5): 267-286 (2012) - [c81]Martin Erwig, Rahul Gopinath:
Explanations for Regular Expressions. FASE 2012: 394-408 - [c80]Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto:
Faster program adaptation through reward attribution inference. GPCE 2012: 103-111 - [c79]Eric Walkingshaw, Martin Erwig:
A calculus for modeling and implementing variation. GPCE 2012: 132-140 - [c78]Wyatt Allen, Martin Erwig:
Surveyor: a DSEL for representing and analyzing strongly typed surveys. Haskell 2012: 81-90 - [c77]Sheng Chen, Martin Erwig, Eric Walkingshaw:
An error-tolerant type system for variational lambda calculus. ICFP 2012: 29-40 - [c76]Alex Groce, Alan Fern, Martin Erwig, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour
:
Learning-Based Test Programming for Programmers. ISoLA (1) 2012: 572-586 - [c75]Alex Groce, Alan Fern, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour
, Martin Erwig, Camden Lopez:
Lightweight Automated Testing with Adaptation-Based Programming. ISSRE 2012: 161-170 - [c74]Alex Groce, Martin Erwig:
Finding common ground: choose, assert, and assume. WODA 2012: 12-17 - [e1]Martin Erwig, Gem Stapleton, Gennaro Costagliola:
2012 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2012, Innsbruck, Austria, September 30 - October 4, 2012. IEEE 2012, ISBN 978-1-4673-0852-6 [contents] - 2011
- [j31]Amy 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:1-21:44 (2011) - [j30]Martin Erwig, Eric Walkingshaw:
The Choice Calculus: A Representation for Software Variation. ACM Trans. Softw. Eng. Methodol. 21(1): 6:1-6:27 (2011) - [c73]Martin Erwig, Eric Walkingshaw:
Variation Programming with the Choice Calculus. GTTSE 2011: 55-100 - [c72]Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto:
Adaptation-based programming in java. PEPM 2011: 81-90 - [c71]Martin Erwig, Eric Walkingshaw:
Semantics First! - Rethinking the Language Design Process. SLE 2011: 243-262 - [c70]Sheng Chen, Martin Erwig:
Optimizing the Product Derivation Process. SPLC 2011: 35-44 - [c69]Duc Le, Eric Walkingshaw, Martin Erwig:
#ifdef confirmed harmful: Promoting understandable software variation. VL/HCC 2011: 143-150 - [c68]Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto:
Adaptation-Based Programming in Haskell. DSL 2011: 1-23 - [c67]Eric Walkingshaw, Martin Erwig:
A DSEL for Studying and Explaining Causation. DSL 2011: 143-167 - [c66]Jervis Pinto, Alan Fern, Tim Bauer, Martin Erwig:
Improving Policy Gradient Estimates with Influence Information. ACML 2011: 1-18 - 2010
- [j29]Chris Chambers, Martin Erwig:
Reasoning about spreadsheets with labels and dimensions. J. Vis. Lang. Comput. 21(5): 249-262 (2010) - [c65]Martin Erwig:
A language for software variation research. GPCE 2010: 3-12 - [c64]Jervis Pinto, Alan Fern, Tim Bauer, Martin Erwig:
Robust Learning for Adaptive Programs by Leveraging Program Structure. ICMLA 2010: 943-948 - [c63]Martin Erwig, Eric Walkingshaw:
Program fields for continuous software. FoSER 2010: 105-108 - [c62]Martin Erwig:
A Language for Software Variation Research. SLE 2010: 1 - [c61]Chris Chambers, Martin Erwig, Markus Luckey:
SheetDiff: A Tool for Identifying Changes in Spreadsheets. VL/HCC 2010: 85-92 - [c60]Jácome Cunha
, Martin Erwig, João Saraiva
:
Automatically Inferring ClassSheet Models from Spreadsheets. VL/HCC 2010: 93-100 - [c59]Martin Erwig, Eric Walkingshaw:
Causal Reasoning with Neuron Diagrams. VL/HCC 2010: 101-108
2000 – 2009
- 2009
- [j28]Eric Walkingshaw, Martin Erwig:
A domain-specific language for experimental game theory. J. Funct. Program. 19(6): 645-661 (2009) - [j27]Martin Erwig:
Software Engineering for Spreadsheets. IEEE Softw. 26(5): 25-30 (2009) - [j26]Robin Abraham
, Martin Erwig:
Mutation Operators for Spreadsheets. IEEE Trans. Software Eng. 35(1): 94-108 (2009) - [j25]Chris Chambers, Martin Erwig:
Automatic detection of dimension errors in spreadsheets. J. Vis. Lang. Comput. 20(4): 269-283 (2009) - [c58]Eric Walkingshaw, Martin Erwig:
Varying Domain Representations in Hagl. DSL 2009: 310-334 - [c57]Martin Erwig, Eric Walkingshaw:
A DSL for Explaining Probabilistic Reasoning. DSL 2009: 335-359 - [c56]Tim Bauer, Martin Erwig:
Declarative Scripting in Haskell. SLE 2009: 294-313 - [c55]Martin Erwig, Eric Walkingshaw:
Visual explanations of probabilistic reasoning. VL/HCC 2009: 23-27 - [c54]Chris Chambers, Martin Erwig:
Combining spatial and semantic label analysis. VL/HCC 2009: 225-232 - 2008
- [c53]Martin Erwig, Eric Walkingshaw:
A visual language for representing and explaining strategies in game theory. VL/HCC 2008: 101-108 - [c52]Chris Chambers, Martin Erwig:
Dimension inference in spreadsheets. VL/HCC 2008: 123-130 - [c51]Robin Abraham
, Martin Erwig:
Test-driven goal-directed debugging in spreadsheets. VL/HCC 2008: 131-138 - [p1]Robin Abraham, Margaret M. Burnett, Martin Erwig:
Spreadsheet Programming. Wiley Encyclopedia of Computer Science and Engineering 2008 - 2007
- [j24]Jan-Christopher Bals, Fabian Christ, Gregor Engels, Martin Erwig:
ClassSheets - model-based, object-oriented design of spreadsheet applications. J. Object Technol. 6(9): 383-398 (2007) - [j23]Martin Erwig, Deling Ren:
An update calculus for expressing type-safe program updates. Sci. Comput. Program. 67(2-3): 199-222 (2007) - [j22]Martin Erwig, Zhe Fu, Ben Pflaum:
Parametric Fortran: program generation in scientific computing. J. Softw. Maintenance Res. Pract. 19(3): 155-182 (2007) - [j21]Robin Abraham
, Martin Erwig:
UCheck: A spreadsheet type checker for end users. J. Vis. Lang. Comput. 18(1): 71-95 (2007) - [c50]Robin Abraham
, Martin Erwig:
GoalDebug: A Spreadsheet Debugger for End Users. ICSE 2007: 251-260 - [c49]Martin Erwig, Robin Abraham:
Understanding and Building Spreadsheet Tools. VL/HCC 2007: 7 - [c48]Robin Abraham
, Martin Erwig, Scott Andrew:
A Type System Based on End-User Vocabulary. VL/HCC 2007: 215-222 - [i1]Robin Abraham, Martin Erwig:
Exploiting Domain-Specific Structures For End-User Programming Support Tools. End-User Software Engineering 2007 - 2006
- [j20]Martin Erwig, Steve Kollmansberger:
Functional Pearls: Probabilistic functional programming in Haskell. J. Funct. Program. 16(1): 21-34 (2006) - [j19]Martin Erwig, Robin Abraham
, Steve Kollmansberger, Irene Cooperstein:
Gencel: a program generator for correct spreadsheets. J. Funct. Program. 16(3): 293-325 (2006) - [j18]Martin Erwig:
Visual type inference. J. Vis. Lang. Comput. 17(2): 161-186 (2006) - [c47]Deling Ren, Martin Erwig:
A generic recursion toolbox for Haskell or: scrap your boilerplate systematically. Haskell 2006: 13-24 - [c46]Robin Abraham
, Martin Erwig:
Inferring templates from spreadsheets. ICSE 2006: 182-191 - [c45]Martin Erwig, Steve Kollmansberger:
Modeling Genome Evolution with a DSEL for Probabilistic Programming. PADL 2006: 134-149 - [c44]Martin Erwig, Zhe Fu, Ben Pflaum:
Generic programming in Fortran. PEPM 2006: 130-139 - [c43]Robin Abraham
, Martin Erwig:
Type inference for spreadsheets. PPDP 2006: 73-84 - [c42]Joseph Lawrance, Robin Abraham
, Margaret M. Burnett, Martin Erwig:
Sharing reasoning about faults in spreadsheets: An empirical study. VL/HCC 2006: 35-42 - [c41]Robin Abraham
, Martin Erwig:
AutoTest: A Tool for Automatic Test Case Generation in Spreadsheets. VL/HCC 2006: 43-50 - 2005
- [j17]Robin Abraham, Martin Erwig:
How to communicate unit error messages in spreadsheets. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-5 (2005) - [j16]Martin Erwig, Zhe Fu:
Software reuse for scientific computing through program generation. ACM Trans. Softw. Eng. Methodol. 14(2): 168-198 (2005) - [c40]Robin Abraham
, Martin Erwig:
How to communicate unit error messages in spreadsheets. WEUSE@ICSE 2005: 5:1-5:5 - [c39]Martin Erwig, Robin Abraham
, Irene Cooperstein, Steve Kollmansberger:
Automatic generation and maintenance of correct spreadsheets. ICSE 2005: 136-145 - [c38]Gregor Engels, Martin Erwig:
ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications. ASE 2005: 124-133 - [c37]Robin Abraham
, Martin Erwig:
Goal-Directed Debugging of Spreadsheets. VL/HCC 2005: 37-44 - [c36]Robin Abraham
, Martin Erwig, Steve Kollmansberger, Ethan Seifert:
Visual Specifications of Correct Spreadsheets. VL/HCC 2005: 189-196 - 2004
- [j15]Martin Erwig:
Escape from Zurg: an exercise in logic programming. J. Funct. Program. 14(3): 253-261 (2004) - [j14]Martin Erwig, Deling Ren:
Monadification of functional programs. Sci. Comput. Program. 52: 101-129 (2004) - [c35]Martin Erwig, Zhe Fu:
Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions. PADL 2004: 209-223 - [c34]Robin Abraham
, Martin Erwig:
Header and Unit Inference for Spreadsheets Through Spatial Analyses. VL/HCC 2004: 165-172 - 2003
- [j13]Martin Erwig:
Xing: a visual XML query language. J. Vis. Lang. Comput. 14(1): 5-45 (2003) - [j12]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) - [c33]Ralf Hartmut Güting, Michael H. Böhlen, Martin Erwig, Christian S. Jensen
, Nikos A. Lorentzos, Enrico Nardelli, Markus Schneider, José Ramon Rios Viqueira:
Spatio-temporal Models and Languages: An Approach Based on Data Types. Spatio-Temporal Databases: The CHOROCHRONOS Approach 2003: 117-176 - [c32]Martin Erwig, Jianglin He:
KeyQuery - A Front End for the Automatic Translation of Keywords into Structured Queries. DEXA 2003: 494-503 - [c31]Martin Erwig:
Toward the Automatic Derivation of XML Transformations. ER (Workshops) 2003: 342-354 - [c30]Martin Erwig, Deling Ren:
Programming Type-Safe Program Updates. ESOP 2003: 269-283 - 2002
- [j11]Martin Erwig, Deling Ren:
A rule-based language for programming software updates. ACM SIGPLAN Notices 37(12): 88-97 (2002) - [j10]Martin Erwig, Markus Schneider:
Spatio-Temporal Predicates. IEEE Trans. Knowl. Data Eng. 14(4): 881-901 (2002) - [c29]Martin Erwig, Margaret M. Burnett:
Adding Apples and Oranges. PADL 2002: 173-191 - [c28]Martin Erwig, Deling Ren:
A rule-based language for programming software updates. ACM SIGPLAN Workshop on Rule-Based Programming 2002: 67-78 - [c27]Margaret M. Burnett, Martin Erwig:
Visually Customizing Inference Rules About Apples and Oranges. HCC 2002: 140-148 - 2001
- [j9]Martin Erwig:
Inductive graphs and functional graph algorithms. J. Funct. Program. 11(5): 467-492 (2001) - [c26]Martin Erwig:
Programs Are Abstract Data Types. ASE 2001: 400-403 - 2000
- [j8]Martin Erwig:
The graph Voronoi diagram with applications. Networks 36(3): 156-163 (2000) - [j7]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) - [c25]Martin Erwig:
Random Access to Abstract Data Types. AMAST 2000: 135-149 - [c24]Martin Erwig, Markus Schneider:
Query-By-Trace: Visual Predicate Specification in Spatio-Temporal Databases. VDB 2000: 199-218 - [c23]Martin Erwig:
A Visual Language for XML. VL 2000: 47-54 - [c22]Martin Erwig, Simon L. Peyton Jones:
Pattern Guards and Transformational Patterns. Haskell 2000: 3
1990 – 1999
- 1999
- [b2]Ralf Hartmut Güting, Martin Erwig:
Übersetzerbau - Techniken, Werkzeuge, Anwendungen. Springer 1999, ISBN 3-540-65389-9 - [j6]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) - [c21]Martin Erwig, Markus Schneider:
Developments in Spatio-Temporal Query Languages. DEXA Workshop 1999: 441-449 - [c20]Martin Erwig, Markus Schneider:
The Honeycomb Model of Spatio-Temporal Partitions. Spatio-Temporal Database Management 1999: 39-59 - [c19]Martin Erwig:
Visual Graphs. VL 1999: 122-129 - [c18]Martin Erwig, Markus Schneider:
Visual Specification of Spatio-Temporal Developments. VL 1999: 187-188 - 1998
- [j5]Martin Erwig:
Diets for Fat Sets. J. Funct. Program. 8(6): 627-632 (1998) - [j4]Martin Erwig:
Abstract Syntax and Semantics of Visual Languages. J. Vis. Lang. Comput. 9(5): 461-483 (1998) - [c17]Martin Erwig:
Categorical Programming with Abstract Data Types. AMAST 1998: 406-421 - [c16]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 - [c15]Martin Erwig, Ralf Hartmut Güting, Markus Schneider, Michalis Vazirgiannis:
Abstract and Discrete Modeling of Spatio-Temporal Data Types. ACM-GIS 1998: 131-136 - [c14]Martin Erwig:
Visual Semantics - Or: What You See is What You Compute. VL 1998: 96-97 - 1997
- [c13]Martin Erwig, Markus Schneider:
Partition and Conquer. COSIT 1997: 389-407 - [c12]Martin Erwig:
Functional Programming with Graphs. ICFP 1997: 52-65 - [c11]Martin Erwig:
Fully Persistent Graphs - Which One To Choose? Implementation of Functional Languages 1997: 123-140 - [c10]Martin Erwig, Markus Schneider:
Vague Regions. SSD 1997: 298-320 - [c9]Martin Erwig:
Semantics of Visual Languages. VL 1997: 304-311 - 1996
- [c8]Martin Erwig:
Active Patterns. Implementation of Functional Languages 1996: 21-40 - 1995
- [j3]Martin Erwig:
Encoding shortest paths in spatial networks. Networks 26(4): 291-303 (1995) - [c7]Martin Erwig, Bernd Meyer:
Heterogeneous Visual Languages-Integrating Visual and Textual Programming. VL 1995: 318-325 - 1994
- [b1]Martin Erwig:
Graphs in spatial databases. University of Hagen, Germany, 1994, pp. 1-185 - [j2]Martin Erwig:
Graphs in Spatial Databases. GI Datenbank Rundbrief 14: 65 (1994) - [j1]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) - [c6]Martin Erwig:
DEAL - A Language for Depicting Algorithms. VL 1994: 184-185 - 1993
- [c5]Martin Erwig:
Specifying Type Systems with Multi-Level Order-Sorted Algebra. AMAST 1993: 177-184 - [c4]Martin Erwig:
Spezifikation von Datenmodellen mittels mehrstufiger Algebra. Grundlagen von Datenbanken 1993: 45-49 - 1992
- [c3]Martin Erwig, Ralf Hartmut Güting:
Modellierung von Netzen in Geo-Datenbanken. Grundlagen von Datenbanken 1992: 27-29 - [c2]Martin Erwig:
Graph Algorithms = Iteration + Data Structures? The Structure of Graph Algorithms and a Corresponding Style of Programming. WG 1992: 277-292 - 1991
- [c1]Martin Erwig, Udo W. Lipeck:
A Functional DBPL Revealing High Level Optimizations. DBPL 1991: 306-321
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-20 20:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint