Roland Axelsson

Publication Activity (10 Years)

Years Active: 2007-2011
Publications (10 Years): 0

Ludwig Maximilians University Munich (PHD)

Education History

Ludwig Maximilians University Munich

PHD

Publications

Roland Axelsson, Martin Lange
Formal Language Constrained Reachability and Model Checking Propositional Dynamic Logics. RP (2011)
Roland Axelsson, Matthew Hague, Stephan Kreutzer, Martin Lange, Markus Latte
Extended Computation Tree Logic. LPAR (Yogyakarta) (2010)
Roland Axelsson, Matthew Hague, Stephan Kreutzer, Martin Lange, Markus Latte
Extended Computation Tree Logic CoRR (2010)
Roland Axelsson, Keijo Heljanko, Martin Lange
Analyzing Context-Free Grammars Using an Incremental SAT Solver. ICALP (2) (2008)
Roland Axelsson, Martin Lange, Rafal Somla
The Complexity of Model Checking Higher-Order Fixpoint Logic CoRR (2007)
Roland Axelsson, Martin Lange
Model Checking the First-Order Fragment of Higher-Order Fixpoint Logic. LPAR (2007)
Roland Axelsson, Martin Lange, Rafal Somla
The Complexity of Model Checking Higher-Order Fixpoint Logic. Log. Methods Comput. Sci. 3 (2) (2007)