Alexander Kartzow

26 papers A 1B 6C 2Misc 1Journal 16

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