Anthony Widjaja To

Identifiers

• name variant Anthony Widjaja To 0.60 · backfill

Papers (4)

1. Parikh Images of Regular Languages: Complexity and Applications cs.LO · 2010 · author #1
2. Algorithmic metatheorems for decidable LTL model checking over infinite systems cs.LO · 2009 · author #1
3. Unary finite automata vs. arithmetic progressions cs.CC · 2008 · author #1
4. Logical Queries over Views: Decidability and Expressiveness cs.LO · 2008 · author #3

Mentions

• 1002.1464 #1 · backfill · confidence 0.70 Anthony Widjaja To
• 0910.4932 #1 · backfill · confidence 0.70 Anthony Widjaja To
• 0812.1291 #1 · backfill · confidence 0.70 Anthony Widjaja To
• 0803.2559 #3 · backfill · confidence 0.70 Anthony Widjaja To

Frequent Coauthors

• Guozhu Dong 1 shared papers
• James Bailey 1 shared papers
• Leonid Libkin 1 shared papers