Roland Axelsson

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Formal language constrained reachability and model checking propositional dynamic logics Lecture Notes in Computer Science	2011-10-07	Paper
Verification of non-regular program properties	2011-03-22	Paper
Extended computation tree logic Logic for Programming, Artificial Intelligence, and Reasoning	2010-10-12	Paper
Analyzing Context-Free Grammars Using an Incremental SAT Solver Automata, Languages and Programming	2008-08-19	Paper
Model Checking the First-Order Fragment of Higher-Order Fixpoint Logic Logic for Programming, Artificial Intelligence, and Reasoning	2008-05-15	Paper
The Complexity of Model Checking Higher-Order Fixpoint Logic Logical Methods in Computer Science	2007-10-11	Paper

Research outcomes over time

This page was built for person: Roland Axelsson