Roland Axelsson
From MaRDI portal
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
