Alexander Kartzow
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
2009–2015
Best venue rank
B
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | CSR | Satisfiability of ECTL* with Tree Constraints. | Claudia Carapelle, Shiguang Feng, Alexander Kartzow, Markus Lohrey |
| 2013 | CiE | Structures without Scattered-Automatic Presentation. | Alexander Kartzow, Philipp Schlicht |
| 2013 | CONCUR | Satisfiability of CTL* with Constraints. | Claudia Carapelle, Alexander Kartzow, Markus Lohrey |
| 2013 | MFCS | Reachability in Higher-Order-Counters. | Alexander Heuner, Alexander Kartzow |
| 2012 | CiE | Tree-Automatic Well-Founded Trees. | Alexander Kartzow, Jiamou Liu, Markus Lohrey |
| 2012 | FOSSACS | First-Order Model Checking on Nested Pushdown Trees is Complete for Doubly Exponential Alternating Time. | Alexander Kartzow |
| 2012 | MFCS | Strictness of the Collapsible Pushdown Hierarchy. | Alexander Kartzow, Pawel Parys |
| 2011 | CSL | A Pumping Lemma for Collapsible Pushdown Graphs of Level 2. | Alexander Kartzow |
| 2010 | STACS | Collapsible Pushdown Graphs of Level 2 are Tree-Automatic. | Alexander Kartzow |
| 2009 | MFCS | FO Model Checking on Nested Pushdown Trees. | Alexander Kartzow |