Search the dblp DataBase
Martin Erwig :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Martin Erwig , Ralf Hartmut Güting , Markus Schneider , Michalis Vazirgiannis Spatio-Temporal Data Types: An Approach to Modeling and Querying Moving Objects in Databases. [Citation Graph (6, 0)][DBLP ] GeoInformatica, 1999, v:3, n:3, pp:269-296 [Journal ] Martin Erwig , Udo W. Lipeck A Functional DBPL Revealing High Level Optimizations. [Citation Graph (4, 19)][DBLP ] DBPL, 1991, pp:306-321 [Conf ] Martin Erwig , Ralf Hartmut Güting , Markus Schneider , Michalis Vazirgiannis Abstract and Discrete Modeling of Spatio-Temporal Data Types. [Citation Graph (4, 0)][DBLP ] ACM-GIS, 1998, pp:131-136 [Conf ] Martin Erwig , Markus Schneider Vague Regions. [Citation Graph (2, 0)][DBLP ] SSD, 1997, pp:298-320 [Conf ] Martin Erwig , Ralf Hartmut Güting Explicit Graphs in a Functional Model for Spatial Databases. [Citation Graph (2, 36)][DBLP ] IEEE Trans. Knowl. Data Eng., 1994, v:6, n:5, pp:787-804 [Journal ] Martin Erwig Specifying Type Systems with Multi-Level Order-Sorted Algebra. [Citation Graph (1, 0)][DBLP ] AMAST, 1993, pp:177-184 [Conf ] Martin Erwig , Markus Schneider Developments in Spatio-Temporal Query Languages. [Citation Graph (1, 0)][DBLP ] DEXA Workshop, 1999, pp:441-449 [Conf ] Martin Erwig , Markus Schneider , Ralf Hartmut Güting Temporal Objects for Spatio-Temporal Data Models and a Comparison of Their Representations. [Citation Graph (1, 12)][DBLP ] ER Workshops, 1998, pp:454-465 [Conf ] Martin Erwig Graph Algorithms = Iteration + Data Structures? The Structure of Graph Algorithms and a Corresponding Style of Programming. [Citation Graph (1, 0)][DBLP ] WG, 1992, pp:277-292 [Conf ] Martin Erwig Random Access to Abstract Data Types. [Citation Graph (0, 0)][DBLP ] AMAST, 2000, pp:135-149 [Conf ] Martin Erwig Categorical Programming with Abstract Data Types. [Citation Graph (0, 0)][DBLP ] AMAST, 1998, pp:406-421 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] Spatio-Temporal Databases: The CHOROCHRONOS Approach, 2003, pp:117-176 [Conf ] Martin Erwig , Markus Schneider Partition and Conquer. [Citation Graph (0, 0)][DBLP ] COSIT, 1997, pp:389-407 [Conf ] Martin Erwig , Jianglin He KeyQuery - A Front End for the Automatic Translation of Keywords into Structured Queries. [Citation Graph (0, 0)][DBLP ] DEXA, 2003, pp:494-503 [Conf ] Martin Erwig Toward the Automatic Derivation of XML Transformations. [Citation Graph (0, 0)][DBLP ] ER (Workshops), 2003, pp:342-354 [Conf ] Martin Erwig , Deling Ren Programming Type-Safe Program Updates. [Citation Graph (0, 0)][DBLP ] ESOP, 2003, pp:269-283 [Conf ] Martin Erwig Spezifikation von Datenmodellen mittels mehrstufiger Algebra. [Citation Graph (0, 0)][DBLP ] Grundlagen von Datenbanken, 1993, pp:45-49 [Conf ] Martin Erwig , Ralf Hartmut Güting Modellierung von Netzen in Geo-Datenbanken. [Citation Graph (0, 0)][DBLP ] Grundlagen von Datenbanken, 1992, pp:27-29 [Conf ] Margaret M. Burnett , Martin Erwig Visually Customizing Inference Rules About Apples and Oranges. [Citation Graph (0, 0)][DBLP ] IEEE Symposia on Human Centric Computing Languages and Environments, 2002, pp:140-148 [Conf ] Martin Erwig Functional Programming with Graphs. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:52-65 [Conf ] Robin Abraham , Martin Erwig Inferring templates from spreadsheets. [Citation Graph (0, 0)][DBLP ] ICSE, 2006, pp:182-191 [Conf ] Martin Erwig , Robin Abraham , Irene Cooperstein , Steve Kollmansberger Automatic generation and maintenance of correct spreadsheets. [Citation Graph (0, 0)][DBLP ] ICSE, 2005, pp:136-145 [Conf ] Robin Abraham , Martin Erwig GoalDebug: A Spreadsheet Debugger for End Users. [Citation Graph (0, 0)][DBLP ] ICSE, 2007, pp:251-260 [Conf ] Martin Erwig Active Patterns. [Citation Graph (0, 0)][DBLP ] Implementation of Functional Languages, 1996, pp:21-40 [Conf ] Martin Erwig Fully Persistent Graphs - Which One To Choose? [Citation Graph (0, 0)][DBLP ] Implementation of Functional Languages, 1997, pp:123-140 [Conf ] Gregor Engels , Martin Erwig ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications. [Citation Graph (0, 0)][DBLP ] ASE, 2005, pp:124-133 [Conf ] Martin Erwig Programs Are Abstract Data Types. [Citation Graph (0, 0)][DBLP ] ASE, 2001, pp:400-403 [Conf ] Martin Erwig , Margaret M. Burnett Adding Apples and Oranges. [Citation Graph (0, 0)][DBLP ] PADL, 2002, pp:173-191 [Conf ] Martin Erwig , Zhe Fu Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions. [Citation Graph (0, 0)][DBLP ] PADL, 2004, pp:209-223 [Conf ] Martin Erwig , Steve Kollmansberger Modeling Genome Evolution with a DSEL for Probabilistic Programming. [Citation Graph (0, 0)][DBLP ] PADL, 2006, pp:134-149 [Conf ] Martin Erwig , Zhe Fu , Ben Pflaum Generic programming in Fortran. [Citation Graph (0, 0)][DBLP ] PEPM, 2006, pp:130-139 [Conf ] Robin Abraham , Martin Erwig Type inference for spreadsheets. [Citation Graph (0, 0)][DBLP ] PPDP, 2006, pp:73-84 [Conf ] Martin Erwig , Deling Ren A rule-based language for programming software updates. [Citation Graph (0, 0)][DBLP ] ACM SIGPLAN Workshop on Rule-Based Programming, 2002, pp:67-78 [Conf ] Martin Erwig , Markus Schneider The Honeycomb Model of Spatio-Temporal Partitions. [Citation Graph (0, 0)][DBLP ] Spatio-Temporal Database Management, 1999, pp:39-59 [Conf ] Martin Erwig , Markus Schneider Query-By-Trace: Visual Predicate Specification in Spatio-Temporal Databases. [Citation Graph (0, 0)][DBLP ] VDB, 2000, pp:199-218 [Conf ] Robin Abraham , Martin Erwig Header and Unit Inference for Spreadsheets Through Spatial Analyses. [Citation Graph (0, 0)][DBLP ] VL/HCC, 2004, pp:165-172 [Conf ] Robin Abraham , Martin Erwig Goal-Directed Debugging of Spreadsheets. [Citation Graph (0, 0)][DBLP ] VL/HCC, 2005, pp:37-44 [Conf ] Robin Abraham , Martin Erwig , Steve Kollmansberger , Ethan Seifert Visual Specifications of Correct Spreadsheets. [Citation Graph (0, 0)][DBLP ] VL/HCC, 2005, pp:189-196 [Conf ] Margaret M. Burnett , Martin Erwig Visually Customizing Inference Rules About Apples and Oranges. [Citation Graph (0, 0)][DBLP ] HCC, 2002, pp:140-148 [Conf ] Martin Erwig A Visual Language for XML. [Citation Graph (0, 0)][DBLP ] VL, 2000, pp:47-54 [Conf ] Martin Erwig DEAL - A Language for Depicting Algorithms. [Citation Graph (0, 0)][DBLP ] VL, 1994, pp:184-185 [Conf ] Martin Erwig Semantics of Visual Languages. [Citation Graph (0, 0)][DBLP ] VL, 1997, pp:304-311 [Conf ] Martin Erwig Visual Semantics - Or: What You See is What You Compute. [Citation Graph (0, 0)][DBLP ] VL, 1998, pp:96-97 [Conf ] Martin Erwig Visual Graphs. [Citation Graph (0, 0)][DBLP ] VL, 1999, pp:122-129 [Conf ] Martin Erwig , Bernd Meyer Heterogeneous Visual Languages-Integrating Visual and Textual Programming. [Citation Graph (0, 0)][DBLP ] VL, 1995, pp:318-325 [Conf ] Martin Erwig , Markus Schneider Visual Specification of Spatio-Temporal Developments. [Citation Graph (0, 0)][DBLP ] VL, 1999, pp:187-188 [Conf ] Joseph Lawrance , Robin Abraham , Margaret M. Burnett , Martin Erwig Sharing reasoning about faults in spreadsheets: An empirical study. [Citation Graph (0, 0)][DBLP ] VL/HCC, 2006, pp:35-42 [Conf ] Robin Abraham , Martin Erwig AutoTest: A Tool for Automatic Test Case Generation in Spreadsheets. [Citation Graph (0, 0)][DBLP ] VL/HCC, 2006, pp:43-50 [Conf ] Martin Erwig , Simon L. Peyton Jones Pattern Guards and Transformational Patterns. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:41, n:1, pp:- [Journal ] Martin Erwig Graphs in Spatial Databases. [Citation Graph (0, 0)][DBLP ] GI Datenbank Rundbrief, 1994, v:14, n:, pp:65- [Journal ] Martin Erwig Inductive graphs and functional graph algorithms. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 2001, v:11, n:5, pp:467-492 [Journal ] Martin Erwig Escape from Zurg: an exercise in logic programming. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 2004, v:14, n:3, pp:253-261 [Journal ] Martin Erwig Diets for Fat Sets. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 1998, v:8, n:6, pp:627-632 [Journal ] Martin Erwig , Robin Abraham , Steve Kollmansberger , Irene Cooperstein Gencel: a program generator for correct spreadsheets. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 2006, v:16, n:3, pp:293-325 [Journal ] Martin Erwig , Steve Kollmansberger Functional Pearls: Probabilistic functional programming in Haskell. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 2006, v:16, n:1, pp:21-34 [Journal ] Martin Erwig The graph Voronoi diagram with applications. [Citation Graph (0, 0)][DBLP ] Networks, 2000, v:36, n:3, pp:156-163 [Journal ] Martin Erwig , Deling Ren Monadification of functional programs. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2004, v:52, n:, pp:101-129 [Journal ] Martin Erwig , Deling Ren A rule-based language for programming software updates. [Citation Graph (0, 0)][DBLP ] SIGPLAN Notices, 2002, v:37, n:12, pp:88-97 [Journal ] Martin Erwig , Markus Schneider Spatio-Temporal Predicates. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Knowl. Data Eng., 2002, v:14, n:4, pp:881-901 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] ACM Trans. Database Syst., 2000, v:25, n:1, pp:1-42 [Journal ] Martin Erwig , Zhe Fu Software reuse for scientific computing through program generation. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 2005, v:14, n:2, pp:168-198 [Journal ] Martin Erwig Xing: a visual XML query language. [Citation Graph (0, 0)][DBLP ] J. Vis. Lang. Comput., 2003, v:14, n:1, pp:5-45 [Journal ] Martin Erwig Visual type inference. [Citation Graph (0, 0)][DBLP ] J. Vis. Lang. Comput., 2006, v:17, n:2, pp:161-186 [Journal ] Martin Erwig Abstract Syntax and Semantics of Visual Languages. [Citation Graph (0, 0)][DBLP ] J. Vis. Lang. Comput., 1998, v:9, n:5, pp:461-483 [Journal ] Martin Erwig , Markus Schneider A visual language for the evolution of spatial relationships and its translation into a spatio-temporal calculus. [Citation Graph (0, 0)][DBLP ] J. Vis. Lang. Comput., 2003, v:14, n:2, pp:181-211 [Journal ] Robin Abraham , Martin Erwig UCheck: A spreadsheet type checker for end users. [Citation Graph (0, 0)][DBLP ] J. Vis. Lang. Comput., 2007, v:18, n:1, pp:71-95 [Journal ] Robin Abraham , Martin Erwig Exploiting Domain-Specific Structures For End-User Programming Support Tools. [Citation Graph (0, 0)][DBLP ] End-User Software Engineering, 2007, pp:- [Conf ] Deling Ren , Martin Erwig A generic recursion toolbox for Haskell or: scrap your boilerplate systematically. [Citation Graph (0, 0)][DBLP ] Haskell, 2006, pp:13-24 [Conf ] Martin Erwig , Deling Ren An update calculus for expressing type-safe program updates. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2007, v:67, n:2-3, pp:199-222 [Journal ] A DSL for Explaining Probabilistic Reasoning. [Citation Graph (, )][DBLP ] Varying Domain Representations in Hagl. [Citation Graph (, )][DBLP ] A Type System Based on End-User Vocabulary. [Citation Graph (, )][DBLP ] Understanding and Building Spreadsheet Tools. [Citation Graph (, )][DBLP ] Visual explanations of probabilistic reasoning. [Citation Graph (, )][DBLP ] Dimension inference in spreadsheets. [Citation Graph (, )][DBLP ] Test-driven goal-directed debugging in spreadsheets. [Citation Graph (, )][DBLP ] A visual language for representing and explaining strategies in game theory. [Citation Graph (, )][DBLP ] Combining spatial and semantic label analysis. [Citation Graph (, )][DBLP ] Declarative Scripting in Haskell. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.458secs