| * | 2009 |
|---|
| 7 | EE | Anthony Widjaja To:
Model Checking FO(R) over One-Counter Processes and beyond.
CSL 2009: 485-499 |
| 6 | EE | Anthony Widjaja To,
Leonid Libkin:
Algorithmic metatheorems for decidable LTL model checking over infinite systems
CoRR abs/0910.4932: (2009) |
| 5 | EE | Anthony Widjaja To:
Unary finite automata vs. arithmetic progressions.
Inf. Process. Lett. 109(17): 1010-1014 (2009) |
| 2008 |
|---|
| 4 | EE | Anthony Widjaja To,
Leonid Libkin:
Recurrent Reachability Analysis in Regular Model Checking.
LPAR 2008: 198-213 |
| 3 | EE | James Bailey,
Guozhu Dong,
Anthony Widjaja To:
Logical Queries over Views: Decidability and Expressiveness
CoRR abs/0803.2559: (2008) |
| 2 | EE | Anthony Widjaja To:
Unary finite automata vs. arithmetic progressions
CoRR abs/0812.1291: (2008) |
| 2006 |
|---|
| 1 | EE | Anthony Widjaja To:
Review of "Algebraic Complexity Theory by Peter Bürgisser, Michael Clausen and Amin Shokrollahi", Springer 1997.
SIGACT News 37(2): 22-27 (2006) |
