Get my own profile
Public access
View all8 articles
2 articles
available
not available
Based on funding mandates
Co-authors
Martin TapplerGraz University of TechnologyVerified email at ist.tugraz.at
Florian LorberAalborg UniversityVerified email at cs.aau.dk
Willibald KrennSAL Silicon Austria LabsVerified email at silicon-austria.com
Stefan TiranStudent, Graz, University of TechnologyVerified email at ist.tugraz.at
Franz WotawaProfessor of Computer Science, Graz University of Technology, AustriaVerified email at ist.tugraz.at
Rupert SchlickAIT Austrian Institute of Technology GmbHVerified email at ait.ac.at
Meng SunProfessor, School of Mathematical Science, Peking UniversityVerified email at math.pku.edu.cn
Dejan NickovicAustrian Institute of TechnologyVerified email at ait.ac.at
Andrea PferscherPostdoctoral Research Fellow, Department of Informatics, University of OsloVerified email at ifi.uio.no
Edi MuškardinSillicon-Austria LabsVerified email at silicon-austria.com
Richard SchumiSingapore Management University (SMU)Verified email at smu.edu.sg
Andreas GriesmayerImperial College LondonVerified email at arm.com
Einar Broch JohnsenProfessor, University of OsloVerified email at ifi.uio.no
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Ingo PillSilicon Austria Labs GmbH, Inffeldgasse 33, 8010 GrazVerified email at silicon-austria.com
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
Franz PernkopfGraz University of TechnologyVerified email at tugraz.at
Luis S. BarbosaProfessor of Computer Science, Universidade do MinhoVerified email at di.uminho.pt