BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Estonia
1 × USA
Collaborated with:
J.Strejcek M.Kretínský V.Rehák F.Blahoudek A.Duret-Lutz J.Klein J.Kretínský D.Müller D.Parker
Talks about:
automata (2) determinist (1) translat (1) format (1) omega (1) hanoi (1) büchi (1) more (1) fast (1) ltl (1)

Person: Tomás Babiak

DBLP DBLP: Babiak:Tom=aacute=s

Contributed to:

CAV 20152015
TACAS 20122012

Wrote 2 papers:

CAV-2015-BabiakBDKKM0S
The Hanoi Omega-Automata Format (TB, FB, ADL, JK, JK, DM, DP, JS), pp. 479–486.
TACAS-2012-BabiakKRS #automaton #ltl #performance
LTL to Büchi Automata Translation: Fast and More Deterministic (TB, MK, VR, JS), pp. 95–109.

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.