Amanote Research
Register
Sign In
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 Science
Theoretical Computer Science
Type-Safe Update Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Toward the Automatic Derivation of XML Transformations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Test-Driven Goal-Directed Debugging in Spreadsheets
Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC
Computational Theory
Software
Human-Computer Interaction
Mathematics
Combining Spatial and Semantic Label Analysis
A Type System Based on End-User Vocabulary
Query-By-Trace: Visual Predicate Specification in Spatio-Temporal Databases
Toward Spatio-Temporal Patterns