Markus Kaiser

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Semistructured Data

Graph Structures

Top Venues

Sci. Comput. Program.

Publications

Ralf Lämmel, Simon J. Thompson, Markus Kaiser
Programming errors in traversal programs over structured data. Sci. Comput. Program. 78 (10) (2013)
Ralf Lämmel, Simon J. Thompson, Markus Kaiser
Programming errors in traversal programs over structured data CoRR (2012)
Ralf Lämmel, Simon J. Thompson, Markus Kaiser
Programming Errors in Traversal Programs Over Structured Data. Electron. Notes Theor. Comput. Sci. 238 (5) (2009)
Markus Kaiser, Ralf Lämmel
An Isabelle/HOL-based model of stratego-like traversal strategies. PPDP (2009)