Author Info
Name
Affiliation
Papers
ROLAND AXELSSON
Dept. of Computer Science, University of Munich, Germany
4
Collaborators
Citations 
PageRank 
5
49
3.44
Referers 
Referees 
References 
85
101
53
Search Limit
100101
Title
Citations
PageRank
Year
Formal language constrained reachability and model checking propositional dynamic logics00.342011
Analyzing Context-Free Grammars Using an Incremental SAT Solver281.812008
The Complexity of Model Checking Higher-Order Fixpoint Logic160.832007
Model checking the first-order fragment of higher-order fixpoint logic50.462007