Organisation:
Zeige 1 bis 10 von 57 Ergebnissen
Zeige 1 bis 10 von 57 Ergebnissen
Gutsfeld Jens Oliver, Müller-Olm Markus, Ohrem Christoph (2021) In: ((Bitte Journal prüfen)), 5(POPL), 1-29. doi:10.1145/3434319 Research article (journal) | Peer reviewed | Published | |
Gutsfeld Jens Oliver, Müller-Olm Markus, Dielitz Christian (2021) In: Leporati Alberto, Martı́n-Vide Carlos, Shapira Dana Zandron Claudio (eds.), Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, 187-199. . Research article in edited proceedings (conference) | Peer reviewed | Published | |
Gutsfeld Jens, Müller-Olm Markus, Ohrem Christoph
(2020) In: Konnov Igor, Kovács Laura (eds.), 31st International Conference on Concurrency Theory. . Research article in edited proceedings (conference) | Peer reviewed | Published | |
Feng Xinyu, Müller-Olm Markus, Yang Zijiang (eds.) (2018) . Book (edited collection) | Published | |
Gutsfeld Jens, Müller-Olm Markus, Nordhoff Benedikt (2018) In: Gallardo María-del-Mar, Merino Pedro (eds.), Model Checking Software - 25th International Symposium, SPIN 2018, 153-170. . Research article in edited proceedings (conference) | Peer reviewed | Published | |
Mantel Heiko, Müller-Olm Markus, Perner Matthias, Wenner Alexander (2015) In: Falaschi Moreno (eds.), Logic-Based Program Synthesis and Transformation. . Research article in edited proceedings (conference) | Peer reviewed | Published | |
Arzt Steven, Bartel Alexandre, Gay Richard, Lortz Steffen, Lovat Enrico, Mantel Heiko, Mohr Martin, Nordhoff Benedikt, Perner Matthias, Rasthofer Siegfried, Schneider David, Snelting Gregor, Starostin Artem, Weber Alexandra (2015) In: 36th IEEE Symposium on Security and Privacy, San Jose, CA, USA. Abstract in digital collection (conference) | Peer reviewed | Published | |
Müller-Olm Markus, Seidl Helmut (eds.) (2014) . Book (edited collection) | Published | |
Nordhoff Benedikt, Müller-Olm Markus, Lammich Peter (2013) In: Banerjee A, Danvy O, Doh K, Hatcliff J (eds.), Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, 384-403. Manhattan, Kansas, USA: . Research article (book contribution) | Peer reviewed | Published | |
Graf Jürgen, Hecker Martin, Mohr Martin, Nordhoff Benedikt (2013) Other scientific publication | Published |