Anthony Widjaja To

Publication Activity (10 Years)

Years Active: 2003-2010
Publications (10 Years): 0

Publications

Matthew Hague, Anthony Widjaja To
The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems. FSTTCS (2010)
Anthony Widjaja To, Leonid Libkin
Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems. FoSSaCS (2010)
James Bailey, Guozhu Dong, Anthony Widjaja To
Logical queries over views: Decidability and expressiveness. ACM Trans. Comput. Log. 11 (2) (2010)
Eryk Kopczynski, Anthony Widjaja To
Parikh Images of Grammars: Complexity and Applications. LICS (2010)
Anthony Widjaja To
Parikh Images of Regular Languages: Complexity and Applications CoRR (2010)
Stefan Göller, Richard Mayr, Anthony Widjaja To
On the Computational Complexity of Verifying One-Counter Processes. LICS (2009)
Anthony Widjaja To
Unary finite automata vs. arithmetic progressions. Inf. Process. Lett. 109 (17) (2009)
Anthony Widjaja To, Leonid Libkin
Algorithmic metatheorems for decidable LTL model checking over infinite systems CoRR (2009)
Anthony Widjaja To
Model Checking FO(R) over One-Counter Processes and beyond. CSL (2009)
Anthony Widjaja To
Unary finite automata vs. arithmetic progressions CoRR (2008)
Anthony Widjaja To, Leonid Libkin
Recurrent Reachability Analysis in Regular Model Checking. LPAR (2008)
James Bailey, Guozhu Dong, Anthony Widjaja To
Logical Queries over Views: Decidability and Expressiveness CoRR (2008)
Anthony Widjaja To
Review of "Algebraic Complexity Theory by Peter Bürgisser, Michael Clausen and Amin Shokrollahi", Springer 1997. SIGACT News 37 (2) (2006)
Anthony Widjaja To
Review of Algorithms sequential & parallel: a unified approach by R. Miller & L. Boxer. Prentice Hall 2000. SIGACT News 34 (2) (2003)