Tomás Babiak
According to our database1,
Tomás Babiak
authored at least 6 papers
between 2010 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
2013
Proceedings of the Model Checking Software - 20th International Symposium, 2013
Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment.
Proceedings of the Automated Technology for Verification and Analysis, 2013
2012
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012
2010
CoRR, 2010