bibliographer - Alexander Kartzow

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Model Checking Constraint LTL over Trees Alexander Kartzow Thomas Weidner [github]

Strictness of the Collapsible Pushdown Hierarchy Alexander Kartzow Paweł Parys [github]

Reachability in Higher-Order-Counters Alexander Heußner Alexander Kartzow [github]

Reachability in Higher-Order-Counters Alexander Heußner Alexander Kartzow [github]

Collapsible Pushdown Graphs of Level 2 are Tree-Automatic Alexander Kartzow [github]

First-Order Logic on Higher-Order Nested Pushdown Trees Alexander Kartzow [github]

First-Order Model Checking on Generalisations of Pushdown Graphs Alexander Kartzow [github]

Strictness of the Collapsible Pushdown Hierarchy Alexander Kartzow Paweł Parys [github]

Collapsible Pushdown Graphs of Level 2 are Tree-Automatic Alexander Kartzow [github]

Satisfiability of ECTLast with Local Tree Constraints Claudia Carapelle Shiguang Feng Alexander Kartzow Markus Lohrey [github]

Satisfiability of ECTL with constraints Claudia Carapelle Alexander Kartzow Markus Lohrey [github]

Library Size: 13G (11 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]