More Groups
More People
More Years
More Publications
More Publishers
Giacobbe, Mirco; Guet, Cǎlin C; Gupta, Ashutosh K; Henzinger, Thomas A; Paixão, Tiago; more... Acta Informatica (2017)
Daca, Przemysław; Henzinger, Thomas A; Křetínský, Jan; Petrov, Tatjana ACM Transactions on Computational Logic (TOCL) (2017)
Daca, Przemysław; Henzinger, Thomas A; Křetínský, Jan; Petrov, Tatjana P TACAS: Tools and Algorithms for the Construction and Analysis of Systems Springer (2016)
Daca, Przemyslaw; Henzinger, Thomas A; Křetínský, Jan; Petrov, Tatjana CONCUR: Concurrency Theory Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2016)
Giacobbe, Mirco; Guet, Cǎlin C; Gupta, Ashutosh K; Henzinger, Thomas A; Paixão, Tiago; more... TACAS: Tools and Algorithms for the Construction and Analysis of Systems Springer (2015)
Feret, Jérôme; Henzinger, Thomas A; Koeppl, Heinz; Petrov, Tatjana Theoretical Computer Science (2012)
Feret, Jérôme; Henzinger, Thomas A; Koeppl, Heinz; Petrov, Tatjana MECBIC: Membrane Computing and Biologically Inspired Process Calculi Open Publishing Association (2010)
Doyen, Laurent; Henzinger, Thomas A; Jobstmann, Barbara; Petrov, Tatjana EMSOFT: Embedded Software ACM (2008)
Institute of Science and Technology Austria | Library Am Campus 1, A-3400 Klosterneuburg | Phone: +43 2243 9000 Powered by BibApp