Alexander Kartzow

Publication Activity (10 Years)

Years Active: 2009-2017
Publications (10 Years): 6

Top Topics

Temporal Epistemic

Anti Unification

Top Venues

Log. Methods Comput. Sci.

Publications

Claudia Carapelle, Shiguang Feng, Alexander Kartzow, Markus Lohrey
Satisfiability of ECTL∗ with Local Tree Constraints. Theory Comput. Syst. 61 (2) (2017)
Martin Huschenbett, Alexander Kartzow, Philipp Schlicht
Pumping for ordinal-automatic structures. Comput. 6 (2) (2017)
Claudia Carapelle, Alexander Kartzow, Markus Lohrey
with constraints. J. Comput. Syst. Sci. 82 (5) (2016)
Alexander Kartzow
The Field of the Reals and the Random Graph are not Finite-Word Ordinal-Automatic. J. Autom. Lang. Comb. 20 (1) (2016)
Claudia Carapelle, Shiguang Feng, Alexander Kartzow, Markus Lohrey
Satisfiability of ECTL* with Tree Constraints. CSR (2015)
Alexander Kartzow, Thomas Weidner
Model Checking Constraint LTL over Trees. CoRR (2015)
Claudia Carapelle, Shiguang Feng, Alexander Kartzow, Markus Lohrey
Satisfiability of ECTL* with tree constraints. CoRR (2014)
Alexander Kartzow
The field of the Reals and the Random Graph are not Finite-Word Ordinal-Automatic. CoRR (2014)
Alexander Kartzow
First-Order Logic on Higher-Order Nested Pushdown Trees. ACM Trans. Comput. Log. 14 (2) (2013)
Alexander Kartzow
Collapsible Pushdown Graphs of Level 2 are Tree-Automatic Log. Methods Comput. Sci. 9 (1) (2013)
Alexander Heußner, Alexander Kartzow
Reachability in Higher-Order-Counters. MFCS (2013)
Claudia Carapelle, Alexander Kartzow, Markus Lohrey
Satisfiability of CTL* with Constraints. CONCUR (2013)
Alexander Kartzow, Philipp Schlicht
Structures without Scattered-Automatic Presentation. CiE (2013)
Martin Huschenbett, Alexander Kartzow, Jiamou Liu, Markus Lohrey
Tree-Automatic Well-Founded Trees Log. Methods Comput. Sci. 9 (2) (2013)
Claudia Carapelle, Alexander Kartzow, Markus Lohrey
Satisfiability of CTL* with constraints. CoRR (2013)
Alexander Kartzow, Philipp Schlicht
Structures Without Scattered-Automatic Presentation CoRR (2013)
Alexander Heußner, Alexander Kartzow
Reachability in Higher-Order-Counters. CoRR (2013)
Alexander Kartzow
First-Order Logic on Higher-Order Nested Pushdown Trees CoRR (2012)
Alexander Kartzow, Pawel Parys
Strictness of the Collapsible Pushdown Hierarchy CoRR (2012)
Alexander Kartzow, Jiamou Liu, Markus Lohrey
Tree-Automatic Well-Founded Trees. CiE (2012)
Alexander Kartzow, Pawel Parys
Strictness of the Collapsible Pushdown Hierarchy. MFCS (2012)
Alexander Kartzow
First-Order Model Checking on Nested Pushdown Trees is Complete for Doubly Exponential Alternating Time. FoSSaCS (2012)
Alexander Kartzow
First-Order Model Checking on Generalisations of Pushdown Graphs CoRR (2012)
Alexander Kartzow
A Pumping Lemma for Collapsible Pushdown Graphs of Level 2. CSL (2011)
Alexander Kartzow
Collapsible Pushdown Graphs of Level 2 are Tree-Automatic. STACS (2010)
Alexander Kartzow
FO Model Checking on Nested Pushdown Trees. MFCS (2009)