Get my own profile
Public access
View all27 articles
7 articles
available
not available
Based on funding mandates
Co-authors
- Krzysztof R. AptCWI fellow, CWI , The NetherlandsVerified email at cwi.nl
- Anders P. RavnAalborg UniversityVerified email at cs.aau.dk
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
- Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.de
- Jonathan P. BowenEmeritus Professor of Computing, London South Bank UniversityVerified email at lsbu.ac.uk
- Manuel GiesekingCarl von Ossietzky Universität OldenburgVerified email at informatik.uni-oldenburg.de
- Jan Willem KlopVrije Universiteit AmsterdamVerified email at vu.nl
- John-Jules Meyeremeritus Utrecht UniversityVerified email at cs.uu.nl
- Jan Aldert Bergstraprofessor of informatics, Institute of Informatics, University of Amsterdam NLVerified email at uva.nl
- Martin HilscherCarl von Ossietzky University OldenburgVerified email at informatik.uni-oldenburg.de
- Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
- Rob van GlabbeekUNSWVerified email at cs.stanford.edu
- Mani SwaminathanResearcher in Computer ScienceVerified email at uni-oldenburg.de
- Bernd BeckerProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
- David BasinProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
- Joost KokVice-Dean Mathematics and Computer ScienceVerified email at tue.nl
- Bernhard SteffenProfessor für Informatik, TU DortmundVerified email at cs.uni-dortmund.de
- André PlatzerAlexander von Humboldt Professor, Karlsruhe Institute of TechnologyVerified email at kit.edu
- Johannes FaberUnited Nations University, International Institute for Software Technology (UNU-IIST)Verified email at iist.unu.edu
- Jan-David QueselGoogleVerified email at google.com
Follow
Ernst-Ruediger Olderog
Professor für Informatik, Universität Oldenburg
Verified email at informatik.uni-oldenburg.de - Homepage