Travelled to:1 × Cyprus
1 × Portugal
1 × USA
1 × United Kingdom
Collaborated with:L.Libkin E.Kopczynski ∅ S.Göller R.Mayr
Talks about:process (2) counter (2) complex (2) model (2) check (2) one (2) metatheorem (1) algorithm (1) infinit (1) grammar (1)
Person: Anthony Widjaja To
DBLP: To:Anthony_Widjaja
Contributed to:
2010
2010
20092009Wrote 4 papers:
- FoSSaCS-2010-ToL #algorithm #decidability #infinity #ltl #model checking
- Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems (AWT, LL), pp. 221–236.
- LICS-2010-KopczynskiT #complexity #image
- Parikh Images of Grammars: Complexity and Applications (EK, AWT), pp. 80–89.
- CSL-2009-To #model checking #process
- Model Checking FO(R) over One-Counter Processes and beyond (AWT), pp. 485–499.
- LICS-2009-GollerMT #complexity #on the #process #verification
- On the Computational Complexity of Verifying One-Counter Processes (SG, RM, AWT), pp. 235–244.