Author Info
Name
Affiliation
Papers
ANTHONY WIDJAJA TO
School of Informatics, Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, United Kingdom
9
Collaborators
Citations 
PageRank 
5
113
6.13
Referers 
Referees 
References 
148
198
162
Search Limit
100198
Title
Citations
PageRank
Year
Algorithmic metatheorems for decidable LTL model checking over infinite systems130.582010
Parikh Images of Regular Languages: Complexity and Applications100.702010
Parikh Images of Grammars: Complexity and Applications391.272010
The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems40.392010
Model checking FO(R) over one-counter processes and beyond80.542009
Unary finite automata vs. arithmetic progressions210.942009
Recurrent Reachability Analysis in Regular Model Checking100.752008
Logical queries over views: Decidability and expressiveness70.582008
Review of "Algebraic Complexity Theory by Peter Bürgisser, Michael Clausen and Amin Shokrollahi", Springer 199710.392006