Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Martin Erwig

Explanations for Regular Expressions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Type-Safe Update Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Toward the Automatic Derivation of XML Transformations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Test-Driven Goal-Directed Debugging in Spreadsheets

Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC
Computational TheorySoftwareHuman-Computer InteractionMathematics
2008English

Combining Spatial and Semantic Label Analysis

2009English

A Type System Based on End-User Vocabulary

2007English

Query-By-Trace: Visual Predicate Specification in Spatio-Temporal Databases

2000English

Toward Spatio-Temporal Patterns

2004English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy