Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Markus Kaiser" ( http://dblp.L3S.de/Authors/Markus_Kaiser )

  Author page on DBLP  Author page in RDF  Community of Markus Kaiser in ASPL-2

Publication years (Num. hits)
2009 (2) 2010 (1) 2012 (1)
Publication types (Num. hits)
article(2) inproceedings(1) phdthesis(1)
Venues (Conferences, Journals, ...)
CoRR(1) Electr. Notes Theor. Comput. S...(1) PPDP(1)
Authors
Markus Kaiser(4) Ralf Lämmel(2) Simon J. Thompson(2) Ralf Laemmel(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 5 keywords
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Ralf Laemmel, Simon J. Thompson, Markus Kaiser Programming errors in traversal programs over structured data Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Markus Kaiser Computer verification of algorithms using a formal proof system. Search on Bibsonomy 2010   RDF
1Ralf Lämmel, Simon J. Thompson, Markus Kaiser Programming Errors in Traversal Programs Over Structured Data. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Markus Kaiser, Ralf Lämmel An Isabelle/HOL-based model of stratego-like traversal strategies. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF generic functional programming, traversal strategies, domain specific languages, rewriting, isabelle/hol, software transformation, stratego
Displaying result #1 - #4 of 4 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.