Roland Axelsson

Identifiers

• name variant Roland Axelsson 0.60 · backfill

Papers (2)

1. Extended Computation Tree Logic cs.LO · 2010 · author #1
2. The Complexity of Model Checking Higher-Order Fixpoint Logic cs.LO · 2007 · author #1

Mentions

• 1006.3709 #1 · backfill · confidence 0.70 Roland Axelsson
• 0704.3931 #1 · backfill · confidence 0.70 Roland Axelsson

Frequent Coauthors

• Martin Lange 2 shared papers
• Markus Latte 1 shared papers
• Matthew Hague 1 shared papers
• Rafal Somla 1 shared papers
• Stephan Kreutzer 1 shared papers