Get my own profile
Public access
View all50 articles
2 articles
available
not available
Based on funding mandates
Co-authors
Anthony Widjaja LinProfessor@TU Kaiserslautern, Max-Planck Fellow at Max-Planck Institute for Software SystemsVerified email at cs.uni-kl.de
Daniel KroeningAmazonVerified email at amazon.com
Yu-Fang ChenResearch Fellow/Professor, Academia SinicaVerified email at iis.sinica.edu.tw
Martin SchaefAmazon Web ServicesVerified email at amazon.com
Lukas HolikBrno University of TehcnologyVerified email at fit.vutbr.cz
Viktor KunčakEPFLVerified email at epfl.ch
Thomas WahlNortheastern University, Boston, USAVerified email at northeastern.edu
Parosh AbdullaProfessor of Computer Science, Uppsala UniversityVerified email at it.uu.se
Alastair DonaldsonImperial College LondonVerified email at imperial.ac.uk
Christoph M. WintersteigerImandraVerified email at imandra.ai
Mohamed Faouzi AtigUppsala UniversityVerified email at it.uu.se
Ahmed RezineLinköping UniversityVerified email at liu.se
Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtVerified email at cs.tu-darmstadt.de
Martin GieseProf., Dept. of Informatics, University of OsloVerified email at ifi.uio.no
Temesghen KahsaiPrincipal Applied Scientist @ AmazonVerified email at amazon.com
Cesare TinelliProfessor of Computer Science, The University of IowaVerified email at uiowa.edu
Radu IosifCNRS/VERIMAGVerified email at imag.fr
Georg WeissenbacherProfessor of Computer Science, TU WienVerified email at tuwien.ac.at
André PlatzerAlexander von Humboldt Professor, Karlsruhe Institute of TechnologyVerified email at kit.edu
Wolfgang AhrendtProfessor of Computer Science, Chalmers University of TechnologyVerified email at chalmers.se
Follow![Philipp Ruemmer](/citations/images/avatar_scholar_128.png)
![Philipp Ruemmer](/citations/images/avatar_scholar_128.png)
Philipp Ruemmer
Professor in Computer Science, University of Regensburg
Verified email at ur.de - Homepage