Shivarpatna Venkatesh, A. P., Wang, J., Li, L., &; Bodden, E. (2023). Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis. IEEE SANER 2023 (International Conference on Software Analysis, Evolution and Reengineering).https://doi.org/10.48550/ARXIV.2301.04419 
LibreCat: /record/36522
DOI: 10.48550/ARXIV.2301.04419

von Neumann, T., Kinoshita, K., Boeddeker, C., Delcroix, M., &; Haeb-Umbach, R. (2023). Segment-Less Continuous Speech Separation of Meetings: Training and Evaluation Criteria. IEEE/ACM Transactions on Audio, Speech, and Language Processing, 31, 576–589.https://doi.org/10.1109/taslp.2022.3228629 
LibreCat: /record/35602
DOI: 10.1109/taslp.2022.3228629

Malena, K., Link, C., Mertin, S., Gausemeier, S., &; Trächtler, A. (2021). Online State Estimation for Microscopic Traffic Simulations using Multiple Data Sources*. VEHITS 2021 Proceedings of the 7th International Conference on Vehicle Technology and Intelligent Transport Systems, 7, 386–395.
LibreCat: /record/24159

Bossek, J., Neumann, A., &; Neumann, F. (2021). Exact Counting and~Sampling of Optima for the Knapsack Problem. Learning and Intelligent Optimization, 40–54.https://doi.org/10.1007/978-3-030-92121-7_4 
LibreCat: /record/48855
DOI: 10.1007/978-3-030-92121-7_4

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

Rauchecker, G., &; Schryen, G. (2018). Decision Support for the Optimal Coordination of Spontaneous Volunteers in Disaster Relief. In Proceedings of the 15th International Conference on Information Systems for Crisis Response and Management. Rochester, NY, USA.
LibreCat: /record/5675

Gharibian, S., Santha, M., Sikora, J., Sundaram, A., &; Yirka, J. (2018). Quantum Generalizations of the Polynomial Hierarchy with Applications to QMA(2). In I. Potapov, P. Spirakis, &; J. Worrell (Eds.), 43rd International Symposium on Mathematical Foundations  of Computer Science (MFCS 2018) (Vol. 117, p. 58:1-58:16). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.https://doi.org/10.4230/LIPIcs.MFCS.2018.58 
LibreCat: /record/8161
DOI: 10.4230/LIPIcs.MFCS.2018.58
arXiv: 1805.11139

Klobedanz, K., Kuznik, C., Thuy, A., &; Müller, W. (2010). Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study. Proceedings of DATE’10, Dresden. 2010 Design, Automation &; Test in Europe Conference &; Exhibition (DATE 2010), Dresden.https://doi.org/10.1109/DATE.2010.5457125 
LibreCat: /record/37011
DOI: 10.1109/DATE.2010.5457125

Becker, M., Zabel, H., &; Müller, W. (2010). A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement (L. Kleinjohann &; B. Kleinjohann, Eds.). Springer Verlag.https://doi.org/10.1007/978-3-642-15234-4_15 
LibreCat: /record/37046
DOI: 10.1007/978-3-642-15234-4_15

Kaufmann, P., &; Platzner, M. (2007). MOVES: A Modular Framework for Hardware Evolution. In Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007) (pp. 447–454). Edinburgh, UK: IEEE.https://doi.org/10.1109/ahs.2007.73 
LibreCat: /record/6508
DOI: 10.1109/ahs.2007.73

Schattkowsky, T., &; Müller, W. (2005). Transformation of UML State Machines for Direct Execution. Proceedings of VL/HCC 05.https://doi.org/10.1109/VLHCC.2005.64 
LibreCat: /record/39032
DOI: 10.1109/VLHCC.2005.64

Flake, S., &; Müller, W. (2002). Specification of Real-Time Properties for UML Models. Proceedings of HICSS-35. Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA .https://doi.org/10.1109/HICSS.2002.994469 
LibreCat: /record/39403
DOI: 10.1109/HICSS.2002.994469

Müller, W., Meyer, A., &; Zabel, H. (2001). A Language for the Rapid Prototyping of Mobile Evolving Agents. Proceedings of the 34th Annual Hawaii International Conference on System Sciences.https://doi.org/10.1109/HICSS.2001.926319 
LibreCat: /record/39432
DOI: 10.1109/HICSS.2001.926319

Geiger, C., Müller, W., &; Rosenbach, W. (1998). SAM - An Animated 3D Programming Language. Proceedings of the IEEE Symposium on Visual Languages. 1998 IEEE Symposium on Visual Languages, Halifax, Canada.https://doi.org/10.1109/VL.1998.706167 
LibreCat: /record/39493
DOI: 10.1109/VL.1998.706167

Dücker, M., Lehrenfeld, G., Müller, W., &; Tahedl, C. (1997). A Generic System for Interactive Real--Time Animation. https://doi.org/10.1109/ECBS.1997.581876__Proceedings International Conference and Workshop on Engineering of Computer-Based Systems.https://doi.org/10.1109/ECBS.1997.581876 
LibreCat: /record/39502
DOI: 10.1109/ECBS.1997.581876