To, Anthony Widjaja
- Parikh Images of Regular Languages: Complexity and Applications
2010/02/07 by Anthony Widjaja To, To, Anthony Widjaja · 2 citations
Computer Science · #Algorithms and Data Compression #Coding theory and cryptography #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #semigroups and automata theory
- Algorithmic metatheorems for decidable LTL model checking over infinite systems
2009/10/26 by Anthony Widjaja To, Leonid Libkin, To, Anthony Widjaja +1 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling #semigroups and automata theory