Joost-Pieter Katoen
ORCIDPublication Activity (10 Years)
Years Active: 1989-2024
Publications (10 Years): 240
Publications (10 Years): 240
Publications
- Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano
- Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler
- Tobias Winkler, Joost-Pieter Katoen
- Joost-Pieter Katoen
- Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Lena Verscht
- Tobias Winkler, Joost-Pieter Katoen
- Tobias Winkler, Joost-Pieter Katoen
- Lutz Klinkenberg, Tobias Winkler, Mingshuai Chen, Joost-Pieter Katoen
- Bahare Salmani, Joost-Pieter Katoen
- Bahare Salmani, Joost-Pieter Katoen
- Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák
- Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
- Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Joost-Pieter Katoen
- Bahare Salmani, Joost-Pieter Katoen
- Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
- Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan
- Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan
- Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák
- Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler
- Tobias Winkler, Joost-Pieter Katoen
- Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen
- Ira Fesefeldt, Joost-Pieter Katoen, Thomas Noll
- Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias WinklerWeighted Programming. CoRR (2022)
- Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen
- Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan, Mariëlle Stoelinga
- Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
- Xaver Fink, Philipp Berger, Joost-Pieter Katoen
- Thom S. Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
- Alexander Bork, Joost-Pieter Katoen, Tim Quatmann
- Ira Fesefeldt, Joost-Pieter Katoen, Thomas Noll
- Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Saba Aflaki
- Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen
- Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
- Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
- Alexander Bork, Joost-Pieter Katoen, Tim Quatmann
- Jip Spel, Svenja Stein, Joost-Pieter Katoen
- Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan, Mariëlle Stoelinga
- Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner
- Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler
- Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen
- Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
- Norman Weik, Matthias Volk, Joost-Pieter Katoen, Nils Nießen
- Tobias Winkler, Johannes Lehman, Joost-Pieter Katoen
- Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
- Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, Thomas Noll
- Emma Ahrens, Marius Bozga, Radu Iosif, Joost-Pieter Katoen
- Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Lena Verscht
- Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen
- Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen
- Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen
- Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen
- Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen
- Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Simon Stupinský
- Tim Quatmann, Joost-Pieter Katoen
- Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen
- Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
- Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner
- Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen
- Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen
- Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
- Shahid Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant, Marc Bouissou
- Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou
- Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Muhammad Ahmad Zafar, Falak Sher
- Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner
- Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen
- Bahare Salmani, Joost-Pieter Katoen
- Jip Spel, Sebastian Junges, Joost-Pieter Katoen
- Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen
- Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
- Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
- Arnd Hartmanns, Joost-Pieter Katoen, Bram Kohlen, Jip Spel
- Shahid Khan, Joost-Pieter Katoen
- Bahare Salmani, Joost-Pieter Katoen
- Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
- Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, Tobias Winkler
- Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
- Emma Ahrens, Marius Bozga, Radu Iosif, Joost-Pieter Katoen
- Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
- Thom S. Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
- Tim Lange, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen
- Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
- Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
- Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
- Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler
- Bahare Salmani, Joost-Pieter Katoen
- Marcel Hark, Benjamin Lucien Kaminski, Jürgen Giesl, Joost-Pieter Katoen
- Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
- Shahid Khan, Joost-Pieter Katoen, Marc Bouissou
- Jan Svejda, Philipp Berger, Joost-Pieter Katoen
- Marcin Szymczak, Joost-Pieter Katoen