The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Martin Erwig: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Martin Erwig, Udo W. Lipeck
    A Functional DBPL Revealing High Level Optimizations. [Citation Graph (4, 19)][DBLP]
    DBPL, 1991, pp:306-321 [Conf]
  3. 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]
  4. Martin Erwig, Markus Schneider
    Vague Regions. [Citation Graph (2, 0)][DBLP]
    SSD, 1997, pp:298-320 [Conf]
  5. 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]
  6. Martin Erwig
    Specifying Type Systems with Multi-Level Order-Sorted Algebra. [Citation Graph (1, 0)][DBLP]
    AMAST, 1993, pp:177-184 [Conf]
  7. Martin Erwig, Markus Schneider
    Developments in Spatio-Temporal Query Languages. [Citation Graph (1, 0)][DBLP]
    DEXA Workshop, 1999, pp:441-449 [Conf]
  8. 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]
  9. 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]
  10. Martin Erwig
    Random Access to Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:135-149 [Conf]
  11. Martin Erwig
    Categorical Programming with Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    AMAST, 1998, pp:406-421 [Conf]
  12. 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]
  13. Martin Erwig, Markus Schneider
    Partition and Conquer. [Citation Graph (0, 0)][DBLP]
    COSIT, 1997, pp:389-407 [Conf]
  14. 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]
  15. Martin Erwig
    Toward the Automatic Derivation of XML Transformations. [Citation Graph (0, 0)][DBLP]
    ER (Workshops), 2003, pp:342-354 [Conf]
  16. Martin Erwig, Deling Ren
    Programming Type-Safe Program Updates. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:269-283 [Conf]
  17. Martin Erwig
    Spezifikation von Datenmodellen mittels mehrstufiger Algebra. [Citation Graph (0, 0)][DBLP]
    Grundlagen von Datenbanken, 1993, pp:45-49 [Conf]
  18. 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]
  19. 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]
  20. Martin Erwig
    Functional Programming with Graphs. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:52-65 [Conf]
  21. Robin Abraham, Martin Erwig
    Inferring templates from spreadsheets. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:182-191 [Conf]
  22. 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]
  23. Robin Abraham, Martin Erwig
    GoalDebug: A Spreadsheet Debugger for End Users. [Citation Graph (0, 0)][DBLP]
    ICSE, 2007, pp:251-260 [Conf]
  24. Martin Erwig
    Active Patterns. [Citation Graph (0, 0)][DBLP]
    Implementation of Functional Languages, 1996, pp:21-40 [Conf]
  25. Martin Erwig
    Fully Persistent Graphs - Which One To Choose? [Citation Graph (0, 0)][DBLP]
    Implementation of Functional Languages, 1997, pp:123-140 [Conf]
  26. 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]
  27. Martin Erwig
    Programs Are Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:400-403 [Conf]
  28. Martin Erwig, Margaret M. Burnett
    Adding Apples and Oranges. [Citation Graph (0, 0)][DBLP]
    PADL, 2002, pp:173-191 [Conf]
  29. 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]
  30. Martin Erwig, Steve Kollmansberger
    Modeling Genome Evolution with a DSEL for Probabilistic Programming. [Citation Graph (0, 0)][DBLP]
    PADL, 2006, pp:134-149 [Conf]
  31. Martin Erwig, Zhe Fu, Ben Pflaum
    Generic programming in Fortran. [Citation Graph (0, 0)][DBLP]
    PEPM, 2006, pp:130-139 [Conf]
  32. Robin Abraham, Martin Erwig
    Type inference for spreadsheets. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:73-84 [Conf]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. Robin Abraham, Martin Erwig
    Goal-Directed Debugging of Spreadsheets. [Citation Graph (0, 0)][DBLP]
    VL/HCC, 2005, pp:37-44 [Conf]
  38. 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]
  39. Margaret M. Burnett, Martin Erwig
    Visually Customizing Inference Rules About Apples and Oranges. [Citation Graph (0, 0)][DBLP]
    HCC, 2002, pp:140-148 [Conf]
  40. Martin Erwig
    A Visual Language for XML. [Citation Graph (0, 0)][DBLP]
    VL, 2000, pp:47-54 [Conf]
  41. Martin Erwig
    DEAL - A Language for Depicting Algorithms. [Citation Graph (0, 0)][DBLP]
    VL, 1994, pp:184-185 [Conf]
  42. Martin Erwig
    Semantics of Visual Languages. [Citation Graph (0, 0)][DBLP]
    VL, 1997, pp:304-311 [Conf]
  43. Martin Erwig
    Visual Semantics - Or: What You See is What You Compute. [Citation Graph (0, 0)][DBLP]
    VL, 1998, pp:96-97 [Conf]
  44. Martin Erwig
    Visual Graphs. [Citation Graph (0, 0)][DBLP]
    VL, 1999, pp:122-129 [Conf]
  45. Martin Erwig, Bernd Meyer
    Heterogeneous Visual Languages-Integrating Visual and Textual Programming. [Citation Graph (0, 0)][DBLP]
    VL, 1995, pp:318-325 [Conf]
  46. Martin Erwig, Markus Schneider
    Visual Specification of Spatio-Temporal Developments. [Citation Graph (0, 0)][DBLP]
    VL, 1999, pp:187-188 [Conf]
  47. 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]
  48. 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]
  49. 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]
  50. Martin Erwig
    Graphs in Spatial Databases. [Citation Graph (0, 0)][DBLP]
    GI Datenbank Rundbrief, 1994, v:14, n:, pp:65- [Journal]
  51. 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]
  52. 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]
  53. Martin Erwig
    Diets for Fat Sets. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1998, v:8, n:6, pp:627-632 [Journal]
  54. 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]
  55. 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]
  56. Martin Erwig
    The graph Voronoi diagram with applications. [Citation Graph (0, 0)][DBLP]
    Networks, 2000, v:36, n:3, pp:156-163 [Journal]
  57. Martin Erwig, Deling Ren
    Monadification of functional programs. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2004, v:52, n:, pp:101-129 [Journal]
  58. 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]
  59. 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]
  60. 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]
  61. 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]
  62. 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]
  63. Martin Erwig
    Visual type inference. [Citation Graph (0, 0)][DBLP]
    J. Vis. Lang. Comput., 2006, v:17, n:2, pp:161-186 [Journal]
  64. 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]
  65. 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]
  66. 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]
  67. 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]
  68. 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]
  69. 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]

  70. A DSL for Explaining Probabilistic Reasoning. [Citation Graph (, )][DBLP]


  71. Varying Domain Representations in Hagl. [Citation Graph (, )][DBLP]


  72. A Type System Based on End-User Vocabulary. [Citation Graph (, )][DBLP]


  73. Understanding and Building Spreadsheet Tools. [Citation Graph (, )][DBLP]


  74. Visual explanations of probabilistic reasoning. [Citation Graph (, )][DBLP]


  75. Dimension inference in spreadsheets. [Citation Graph (, )][DBLP]


  76. Test-driven goal-directed debugging in spreadsheets. [Citation Graph (, )][DBLP]


  77. A visual language for representing and explaining strategies in game theory. [Citation Graph (, )][DBLP]


  78. Combining spatial and semantic label analysis. [Citation Graph (, )][DBLP]


  79. Declarative Scripting in Haskell. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.010secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002