Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Alexander Kartzow" ( http://dblp.L3S.de/Authors/Alexander_Kartzow )

  Author page on DBLP  Author page in RDF  Community of Alexander Kartzow in ASPL-2

Publication years (Num. hits)
2009 (1) 2010 (1) 2011 (1) 2012 (5)
Publication types (Num. hits)
article(4) inproceedings(4)
Venues (Conferences, Journals, ...)
CoRR(4) CSL(1) FoSSaCS(1) MFCS(1) STACS(1)
Authors
Alexander Kartzow(8) Jiamou Liu(1) Markus Lohrey(1) Pawel Parys(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Alexander Kartzow First-Order Model Checking on Generalisations of Pushdown Graphs Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Alexander Kartzow First-Order Logic on Higher-Order Nested Pushdown Trees Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Alexander Kartzow, Pawel Parys Strictness of the Collapsible Pushdown Hierarchy Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Alexander Kartzow, Jiamou Liu, Markus Lohrey Tree-Automatic Well-Founded Trees Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Alexander Kartzow First-Order Model Checking on Nested Pushdown Trees is Complete for Doubly Exponential Alternating Time. Search on Bibsonomy FoSSaCS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alexander Kartzow A Pumping Lemma for Collapsible Pushdown Graphs of Level 2. Search on Bibsonomy CSL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alexander Kartzow Collapsible Pushdown Graphs of Level 2 are Tree-Automatic. Search on Bibsonomy STACS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alexander Kartzow FO Model Checking on Nested Pushdown Trees. Search on Bibsonomy MFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #8 of 8 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.