Edit Profile (opens in new tab) Ulbrich, Mattias Compute Distance To: Compute Author ID: ulbrich.mattias Published as: Ulbrich, Mattias Documents Indexed: 10 Publications since 2011 1 Contribution as Editor Co-Authors: 23 Co-Authors with 10 Joint Publications 191 Co-Co-Authors all top 5 Co-Authors 1 single-authored 4 Schmitt, Peter H. 3 Klebanov, Vladimir 2 Beckert, Bernhard 2 Schiffl, Jonas 1 Abbasi, Rosa 1 Ahrendt, Wolfgang 1 Bruns, Daniel 1 Darulova, Eva 1 De Angelis, Emanuele 1 de Boer, Martin J. M. 1 De Gouw, Stijn 1 El Ghazi, Aboubakr Achraf 1 Fedyukovich, Grigory 1 Geilmann, Ulrich 1 Jung, Christian Antonius 1 Kiefer, Moritz 1 Klamroth, Jonas 1 Rümmer, Philipp 1 Scheben, Christoph 1 Taghdiri, Mana 1 Tzevelekos, Nikos 1 Weigl, Alexander 1 Weiss, Benjamin Serials 1 Journal of Automated Reasoning 1 Formal Methods in System Design 1 Electronic Proceedings in Theoretical Computer Science (EPTCS) Fields 11 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) 1 Numerical analysis (65-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 3 Publications have been cited 7 times in 7 Documents Cited by ▼ Year ▼ Relational program reasoning using compiler IR. Zbl 1426.68052Kiefer, Moritz; Klebanov, Vladimir; Ulbrich, Mattias 4 2018 Proving JDK’s dual pivot quicksort correct. Zbl 1403.68047Beckert, Bernhard; Schiffl, Jonas; Schmitt, Peter H.; Ulbrich, Mattias 2 2017 Information flow in object-oriented software. Zbl 1453.68027Beckert, Bernhard; Bruns, Daniel; Klebanov, Vladimir; Scheben, Christoph; Schmitt, Peter H.; Ulbrich, Mattias 1 2014 Relational program reasoning using compiler IR. Zbl 1426.68052Kiefer, Moritz; Klebanov, Vladimir; Ulbrich, Mattias 4 2018 Proving JDK’s dual pivot quicksort correct. Zbl 1403.68047Beckert, Bernhard; Schiffl, Jonas; Schmitt, Peter H.; Ulbrich, Mattias 2 2017 Information flow in object-oriented software. Zbl 1453.68027Beckert, Bernhard; Bruns, Daniel; Klebanov, Vladimir; Scheben, Christoph; Schmitt, Peter H.; Ulbrich, Mattias 1 2014 all cited Publications top 5 cited Publications all top 5 Cited by 24 Authors 2 Ulbrich, Mattias 1 Beckert, Bernhard 1 Blatter, Lionel 1 Brunner, Etienne 1 de Boer, Martin J. M. 1 De Gouw, Stijn 1 Heath, David G. 1 Herda, Mihai 1 Jung, Christian Antonius 1 Kirsten, Michael 1 Klamroth, Jonas 1 Klebanov, Vladimir 1 Kosmatov, Nikolai 1 Lammich, Peter 1 Le Gall, Pascale 1 Mordvinov, Dmitriĭ Aleksandrovich 1 Plewnia, Joana 1 Prevosto, Virgile 1 Rümmer, Philipp 1 Scheler, Ulla 1 Staudenmaier, Chiara 1 Wagner, Benedikt 1 Weigl, Alexander 1 Zwick, Pascal Cited in 2 Serials 1 Formal Methods in System Design 1 Modelirovanie i Analiz Informatsionnykh Sistem Cited in 2 Fields 7 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) Citations by Year