Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis
A.P. Shivarpatna Venkatesh, J. Wang, L. Li, E. Bodden, in: IEEE SANER 2023 (International Conference on Software Analysis, Evolution and Reengineering), 2023.

Segment-Less Continuous Speech Separation of Meetings: Training and Evaluation Criteria
T. von Neumann, K. Kinoshita, C. Boeddeker, M. Delcroix, R. Haeb-Umbach, IEEE/ACM Transactions on Audio, Speech, and Language Processing 31 (2023) 576–589.

Online State Estimation for Microscopic Traffic Simulations using Multiple Data Sources*
K. Malena, C. Link, S. Mertin, S. Gausemeier, A. Trächtler, in: VEHITS 2021 Proceedings of the 7th International Conference on Vehicle Technology and Intelligent Transport Systems, SCITEPRESS, Portugal, 2021, pp. 386–395.

Exact Counting and~Sampling of Optima for the Knapsack Problem
J. Bossek, A. Neumann, F. Neumann, in: Learning and Intelligent Optimization, Springer-Verlag, Berlin, Heidelberg, 2021, pp. 40–54.

Removing Undesirable Flows by Edge Deletion
G. Polevoy, S. Trajanovski, P. Grosso, C. de Laat, in: D. Kim, R.N. Uma, A. Zelikovsky (Eds.), Combinatorial Optimization and Applications, Springer International Publishing, Cham, 2018, pp. 217–232.

Decision Support for the Optimal Coordination of Spontaneous Volunteers in Disaster Relief
G. Rauchecker, G. Schryen, in: Proceedings of the 15th International Conference on Information Systems for Crisis Response and Management, 2018.

Quantum Generalizations of the Polynomial Hierarchy with Applications to QMA(2)
S. Gharibian, M. Santha, J. Sikora, A. Sundaram, J. Yirka, in: I. Potapov, P. Spirakis, J. Worrell (Eds.), 43rd International Symposium on Mathematical Foundations  of Computer Science (MFCS 2018), Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 2018, p. 58:1-58:16.

Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study
K. Klobedanz, C. Kuznik, A. Thuy, W. Müller, in: Proceedings of DATE’10, Dresden, IEEE, Dresden, 2010.

A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement
M. Becker, H. Zabel, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.

MOVES: A Modular Framework for Hardware Evolution
P. Kaufmann, M. Platzner, in: Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007), IEEE, 2007, pp. 447–454.

Transformation of UML State Machines for Direct Execution
T. Schattkowsky, W. Müller, in: Proceedings of VL/HCC 05, Dallas, TX, USA, 2005.

Specification of Real-Time Properties for UML Models
S. Flake, W. Müller, in: Proceedings of HICSS-35, Big Island, HI, USA , 2002.

A Language for the Rapid Prototyping of Mobile Evolving Agents
W. Müller, A. Meyer, H. Zabel, in: Proceedings of the 34th Annual Hawaii International Conference on System Sciences, Maui, HI, USA , 2001.

SAM - An Animated 3D Programming Language
C. Geiger, W. Müller, W. Rosenbach, in: Proceedings of the IEEE Symposium on Visual Languages, Halifax, Canada, 1998.

A Generic System for Interactive Real--Time Animation
M. Dücker, G. Lehrenfeld, W. Müller, C. Tahedl, in:  Proceedings International Conference and Workshop on Engineering of Computer-Based Systems, Monterey, CA, USA , 1997.