Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Anthony Widjaja To Anthony Widjaja Lin ( http://dblp.L3S.de/Authors/Anthony_Widjaja_To )

Publication years (Num. hits)
2003-2011 (17) 2012 (1)
Publication types (Num. hits)
article(8) inproceedings(10)
Venues (Conferences, Journals, ...)
CoRR(4) LICS(3) SIGACT News(2) ACM Trans. Comput. Log.(1) CAV(1) CONCUR(1) CSL(1) FOSSACS(1) FSTTCS(1) Inf. Process. Lett.(1) LPAR(1) STACS(1)
Authors
Anthony Widjaja To(14) Anthony Widjaja Lin(4) Stefan Göller(4) Leonid Libkin(3) Guozhu Dong(2) James Bailey(2) Matthew Hague(2) Eryk Kopczynski(1) Richard Mayr(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords
Results
Found 18 publication records. Showing 18 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Stefan Göller, Anthony Widjaja Lin Concurrency Makes Simple Theories Hard. Search on Bibsonomy STACS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Stefan Göller, Anthony Widjaja Lin Refining the Process Rewrite Systems Hierarchy via Ground Tree Rewrite Systems. Search on Bibsonomy CONCUR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Matthew Hague, Anthony Widjaja Lin Model Checking Recursive Programs with Numeric Data Types. Search on Bibsonomy CAV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stefan Göller, Anthony Widjaja Lin The Complexity of Verifying Ground Tree Rewrite Systems. Search on Bibsonomy LICS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Anthony Widjaja To Parikh Images of Regular Languages: Complexity and Applications Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1James Bailey, Guozhu Dong, Anthony Widjaja To Logical queries over views: Decidability and expressiveness. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Eryk Kopczynski, Anthony Widjaja To Parikh Images of Grammars: Complexity and Applications. Search on Bibsonomy LICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Parikh Images, Algorithms, Automata, Grammars, Normal Form
1Anthony Widjaja To, Leonid Libkin Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems. Search on Bibsonomy FOSSACS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Matthew Hague, Anthony Widjaja To The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems. Search on Bibsonomy FSTTCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Anthony Widjaja To Unary finite automata vs. arithmetic progressions. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Anthony Widjaja To, Leonid Libkin Algorithmic metatheorems for decidable LTL model checking over infinite systems Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Stefan Göller, Richard Mayr, Anthony Widjaja To On the Computational Complexity of Verifying One-Counter Processes. Search on Bibsonomy LICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Anthony Widjaja To Model Checking FO(R) over One-Counter Processes and beyond. Search on Bibsonomy CSL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Anthony Widjaja To Unary finite automata vs. arithmetic progressions Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1James Bailey, Guozhu Dong, Anthony Widjaja To Logical Queries over Views: Decidability and Expressiveness Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Anthony Widjaja To, Leonid Libkin Recurrent Reachability Analysis in Regular Model Checking. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Anthony Widjaja To Review of "Algebraic Complexity Theory by Peter Bürgisser, Michael Clausen and Amin Shokrollahi", Springer 1997. Search on Bibsonomy SIGACT News The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Anthony Widjaja To Review of Algorithms sequential & parallel: a unified approach by R. Miller & L. Boxer. Prentice Hall 2000. Search on Bibsonomy SIGACT News The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #18 of 18 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.