| | |
Anthony Widjaja To
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 18 |      | Stefan Göller, Anthony Widjaja Lin: Concurrency Makes Simple Theories Hard. STACS 2012: 148-159 |
| 2011 | ||
| 17 | | Matthew Hague, Anthony Widjaja Lin: Model Checking Recursive Programs with Numeric Data Types. CAV 2011: 743-759 |
| 16 | | Stefan Göller, Anthony Widjaja Lin: Refining the Process Rewrite Systems Hierarchy via Ground Tree Rewrite Systems. CONCUR 2011: 543-558 |
| 15 | | Stefan Göller, Anthony Widjaja Lin: The Complexity of Verifying Ground Tree Rewrite Systems. LICS 2011: 279-288 |
| 2010 | ||
| 14 | | Anthony Widjaja To, Leonid Libkin: Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems. FOSSACS 2010: 221-236 |
| 13 | | Matthew Hague, Anthony Widjaja To: The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems. FSTTCS 2010: 228-239 |
| 12 | | Eryk Kopczynski, Anthony Widjaja To: Parikh Images of Grammars: Complexity and Applications. LICS 2010: 80-89 |
| 11 | | James Bailey, Guozhu Dong, Anthony Widjaja To: Logical queries over views: Decidability and expressiveness. ACM Trans. Comput. Log. 11(2): (2010) |
| 10 | | Anthony Widjaja To: Parikh Images of Regular Languages: Complexity and Applications CoRR abs/1002.1464: (2010) |
| 2009 | ||
| 9 | | Anthony Widjaja To: Model Checking FO(R) over One-Counter Processes and beyond. CSL 2009: 485-499 |
| 8 | | Stefan Göller, Richard Mayr, Anthony Widjaja To: On the Computational Complexity of Verifying One-Counter Processes. LICS 2009: 235-244 |
| 7 | | Anthony Widjaja To, Leonid Libkin: Algorithmic metatheorems for decidable LTL model checking over infinite systems CoRR abs/0910.4932: (2009) |
| 6 | | Anthony Widjaja To: Unary finite automata vs. arithmetic progressions. Inf. Process. Lett. 109(17): 1010-1014 (2009) |
| 2008 | ||
| 5 | | Anthony Widjaja To, Leonid Libkin: Recurrent Reachability Analysis in Regular Model Checking. LPAR 2008: 198-213 |
| 4 | | James Bailey, Guozhu Dong, Anthony Widjaja To: Logical Queries over Views: Decidability and Expressiveness CoRR abs/0803.2559: (2008) |
| 3 | | Anthony Widjaja To: Unary finite automata vs. arithmetic progressions CoRR abs/0812.1291: (2008) |
| 2006 | ||
| 2 | | 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) |
| 2003 | ||
| 1 | | Anthony Widjaja To: Review of Algorithms sequential & parallel: a unified approach by R. Miller & L. Boxer. Prentice Hall 2000. SIGACT News 34(2): 3-5 (2003) |
| 1 | James Bailey | [4] [11] |
| 2 | Guozhu Dong | [4] [11] |
| 3 | Stefan Göller | [8] [15] [16] [18] |
| 4 | Matthew Hague | [13] [17] |
| 5 | Eryk Kopczynski | [12] |
| 6 | Leonid Libkin | [5] [7] [14] |
| 7 | Richard Mayr | [8] |
Colors in the list of coauthors
Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page