BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: To:Anthony_Widjaja

Contributed to:

FOSSACS 20102010
LICS 20102010
CSL 20092009
LICS 20092009

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.