Anthony Widjaja To

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