Anthony Widjaja To
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2008–2010
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | FOSSACS | Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems. | Anthony Widjaja To, Leonid Libkin |
| 2010 | LICS | Parikh Images of Grammars: Complexity and Applications. | Eryk Kopczynski, Anthony Widjaja To |
| 2009 | CSL | Model Checking FO(R) over One-Counter Processes and beyond. | Anthony Widjaja To |
| 2009 | LICS | On the Computational Complexity of Verifying One-Counter Processes. | Stefan Gller, Richard Mayr, Anthony Widjaja To |
| 2008 | LPAR | Recurrent Reachability Analysis in Regular Model Checking. | Anthony Widjaja To, Leonid Libkin |