Markus Kaiser

	2012
4		Ralf Laemmel, Simon J. Thompson, Markus Kaiser: Programming errors in traversal programs over structured data CoRR abs/1201.6057: (2012)
	2010
3		Markus Kaiser: Computer verification of algorithms using a formal proof system. Darmstadt University of Technology 2010: 1-198
	2009
2		Markus Kaiser, Ralf Lämmel: An Isabelle/HOL-based model of stratego-like traversal strategies. PPDP 2009: 93-104
1		Ralf Lämmel, Simon J. Thompson, Markus Kaiser: Programming Errors in Traversal Programs Over Structured Data. Electr. Notes Theor. Comput. Sci. 238(5): 135-153 (2009)

Coauthor Index

1	Ralf Lämmel (Ralf Laemmel, Ralf Lammel)	[1] [2] [4]
2	Simon J. Thompson	[1] [4]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page