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) |