Tim Quatmann
ORCIDPublication Activity (10 Years)
Years Active: 2015-2024
Publications (10 Years): 30
Publications (10 Years): 30
Publications
- Alexander Bork, Joost-Pieter Katoen, Tim Quatmann
- Alexander Bork, Joost-Pieter Katoen, Tim Quatmann
- Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen
- Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
- 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
- Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
- Florent Delgrange, Joost-Pieter Katoen, Tim Quatmann, Mickael Randour
- Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters
- Tim Quatmann, Joost-Pieter Katoen
- Tim Quatmann, Joost-Pieter KatoenSound Value Iteration. CoRR (2018)
- Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
- Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen
- Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen
- Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker