Koenen, J. (Corresponding author) ; Petersen, M. ; Garth, C. ; Gerrits, T. S.

2024 IEEE Visualization and Visual Analytics (VIS) : 13-18 Oct. 2024

DOI: 10.1109/VIS55277.2024.00010

Schroer, P. ; Katoen, J.-P. (Thesis advisor) ; Müller, P. (Thesis advisor) ; Batz, K. (Consultant) ; ; et al

DOI: 10.18154/RWTH-2024-11340

Schröer, P. ; Randone, F. ; Pardo, R. (Corresponding author) ; Wa̧sowski, A.

Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I / edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, Seiten/Artikel-Nr: 128-154

DOI: 10.1007/978-3-031-75783-9_6

Aubard, M. (Corresponding author) ; Quijano, S. (Corresponding author) ; Álvarez-Tuñón, O. (Corresponding author) ; Antal, L. (Corresponding author) ; ; et al

OCEANS 2024 - Singapore : [Proceedings], Seiten/Artikel-Nr: 6 Seiten

DOI: 10.1109/OCEANS51537.2024.10682385

Van Detten, J. N. (Corresponding author) ; Schumacher, P. (Corresponding author) ; Leemans, S. J. J. (Corresponding author)

2024 6th International Conference on Process Mining (ICPM), Seiten/Artikel-Nr: 113-120

DOI: 10.1109/ICPM63005.2024.10680659

Álvarez-Tuñón, O. (Corresponding author) ; Marnet, L. R. ; Aubard, M. ; Antal, L. ; ; et al

OCEANS 2024 - Singapore : [Proceedings], Seiten/Artikel-Nr: 7 Seiten

DOI: 10.1109/OCEANS51537.2024.10682150

Schmitz, T. (Corresponding author) ; Gerrits, T. S. (Corresponding author)

2024 IEEE Workshop on Uncertainty Visualization: Applications, Techniques, Software, and Decision Frameworks : [Proceedings]

DOI: 10.1109/UncertaintyVisualization63963.2024.00005

Rave, H. ; Evers, M. ; Gerrits, T. S. ; Linsen, L.

[Vision, Modeling, and Visualization], Seiten/Artikel-Nr: 8 pages

DOI: 10.2312/VMV.20241206

Goulart Rocha, E. (Corresponding author) ; Leemans, S. J. J. (Corresponding author) ; van der Aalst, W. M. P. (Corresponding author)

2024 6th International Conference on Process Mining (ICPM), Seiten/Artikel-Nr: 73-80

DOI: 10.1109/ICPM63005.2024.10680673

Böckenhauer, H.-J. (Corresponding author) ; Frei, F. (Corresponding author) ; Rossmanith, P. (Corresponding author)

41st International Symposium on Theoretical Aspects of Computer Science : STACS 2024, March 12-14, 2024, Clermont-Ferrand, France / edited by Olaf Beyersdorff, Mamadou Moustapha Kanté, Orna Kupferman, Daniel Lokshtanov, Seiten/Artikel-Nr: 18, [1]-17

DOI: 10.4230/LIPIcs.STACS.2024.18