Get my own profile
Public access
View all8 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Einar Broch JohnsenProfessor, University of OsloVerified email at ifi.uio.no
Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtVerified email at cs.tu-darmstadt.de
Olaf OweProfessor, Department of Informatics, University of OsloVerified email at ifi.uio.no
Silvia Lizeth Tapia TarifaAssociate Professor, Department of Informatics - University Of OsloVerified email at ifi.uio.no
ludovic henrioCNRSVerified email at ens-lyon.fr
Richard BubelDepartment of Computer Science, TU DarmstadtVerified email at cs.tu-darmstadt.de
Ingrid Chieh YuAssociate Professor, University of OsloVerified email at ifi.uio.no
Eduard KamburjanSenior Researcher, University of OsloVerified email at ifi.uio.no
Marjan SirjaniMälardalen UniversityVerified email at mdh.se
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Tzu-chun ChenPostdoc of Computer Science, TU Darmstadt, GermanyVerified email at dsp.tu-darmstadt.de
Leif Harald KarlsenSenior Lecturer in Computer Science, University of OsloVerified email at ifi.uio.no
Keiko NakataSAP SEVerified email at cs.ioc.ee
Ina SchaeferKarlsruhe Institute of Technology (KIT)Verified email at kit.edu
Adrian HoffPhD student, IT University of CopenhagenVerified email at itu.dk
Christoph SeidlAssociate Professor at ITU CopenhagenVerified email at itu.dk
Michael NiekeVolkswagen AGVerified email at volkswagen.de
Thomas ØsterlieSenior research scientist at NTNU Social ResearchVerified email at samfunn.ntnu.no
Lars M KristensenProfessor in Computer Science - Western Norway University of Applied SciencesVerified email at hvl.no
Martin SteffenUniversity of OsloVerified email at ifi.uio.no
Follow![Crystal Chang Din](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=pfg7QQEAAAAJ&citpid=1)