@inproceedingsShivarpatna Venkatesh_Wang_Li_Bodden_2023, title=Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis, DOI=10.48550/ARXIV.2301.04419, publisher=IEEE SANER 2023 (International Conference on Software Analysis, Evolution and Reengineering), author=Shivarpatna Venkatesh, Ashwin Prasad and Wang, Jiawei and Li, Li and Bodden, Eric, year=2023 
LibreCat: /record/36522
DOI: 10.48550/ARXIV.2301.04419

@articlevon Neumann_Kinoshita_Boeddeker_Delcroix_Haeb-Umbach_2023, title=Segment-Less Continuous Speech Separation of Meetings: Training and Evaluation Criteria, volume=31, DOI=10.1109/taslp.2022.3228629, journal=IEEE/ACM Transactions on Audio, Speech, and Language Processing, publisher=Institute of Electrical and Electronics Engineers (IEEE), author=von Neumann, Thilo and Kinoshita, Keisuke and Boeddeker, Christoph and Delcroix, Marc and Haeb-Umbach, Reinhold, year=2023, pages=576–589 
LibreCat: /record/35602
DOI: 10.1109/taslp.2022.3228629

@inproceedingsMalena_Link_Mertin_Gausemeier_Trächtler_2021, place=Portugal, series=VEHITS 2021 Proceedings of the 7th International Conference on Vehicle Technology and Intelligent Transport Systems, title=Online State Estimation for Microscopic Traffic Simulations using Multiple Data Sources*, volume=7, booktitle=VEHITS 2021 Proceedings of the 7th International Conference on Vehicle Technology and Intelligent Transport Systems, publisher=SCITEPRESS, author=Malena, Kevin and Link, Christopher and Mertin, Sven and Gausemeier, Sandra and Trächtler, Ansgar, year=2021, pages=386–395, collection=VEHITS 2021 Proceedings of the 7th International Conference on Vehicle Technology and Intelligent Transport Systems 
LibreCat: /record/24159

@inproceedingsBossek_Neumann_Neumann_2021, place=Berlin, Heidelberg, title=Exact Counting and~Sampling of Optima for the Knapsack Problem, DOI=10.1007/978-3-030-92121-7_4, booktitle=Learning and Intelligent Optimization, publisher=Springer-Verlag, author=Bossek, Jakob and Neumann, Aneta and Neumann, Frank, year=2021, pages=40–54 
LibreCat: /record/48855
DOI: 10.1007/978-3-030-92121-7_4

@inproceedingsPolevoy_Trajanovski_Grosso_de Laat_2018, place=Cham, title=Removing Undesirable Flows by Edge Deletion, booktitle=Combinatorial Optimization and Applications, publisher=Springer International Publishing, author=Polevoy, Gleb and Trajanovski, Stojan and Grosso, Paola and de Laat, Cees, editor=Kim, Donghyun and Uma, R. N. and Zelikovsky, AlexanderEditors, year=2018, pages=217–232 
LibreCat: /record/17651

@inproceedingsRauchecker_Schryen_2018, title=Decision Support for the Optimal Coordination of Spontaneous Volunteers in Disaster Relief, booktitle=Proceedings of the 15th International Conference on Information Systems for Crisis Response and Management, author=Rauchecker, Gerhard and Schryen, Guido, year=2018 
LibreCat: /record/5675

@inproceedingsGharibian_Santha_Sikora_Sundaram_Yirka_2018, place=Dagstuhl, Germany, series=Leibniz International Proceedings in Informatics (LIPIcs), title=Quantum Generalizations of the Polynomial Hierarchy with Applications to QMA(2), volume=117, DOI=10.4230/LIPIcs.MFCS.2018.58, booktitle=43rd International Symposium on Mathematical Foundations  of Computer Science (MFCS 2018), publisher=Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, author=Gharibian, Sevag and Santha, Miklos and Sikora, Jamie and Sundaram, Aarthi and Yirka, Justin, editor=Potapov, Igor and Spirakis, Paul and Worrell, James, year=2018, pages=58:1-58:16, collection=Leibniz International Proceedings in Informatics (LIPIcs) 
LibreCat: /record/8161
DOI: 10.4230/LIPIcs.MFCS.2018.58
arXiv: 1805.11139

@inproceedingsKlobedanz_Kuznik_Thuy_Müller_2010, place=Dresden, title=Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study, DOI=10.1109/DATE.2010.5457125, booktitle=Proceedings of DATE’10, Dresden, publisher=IEEE, author=Klobedanz, Kay and Kuznik, Christoph and Thuy, Andre and Müller, Wolfgang, year=2010 
LibreCat: /record/37011
DOI: 10.1109/DATE.2010.5457125

@inproceedingsBecker_Zabel_Müller_2010, place=Dordrecht, title=A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement, DOI=10.1007/978-3-642-15234-4_15, publisher=Springer Verlag, author=Becker, Markus and Zabel, Henning and Müller, Wolfgang, editor=Kleinjohann, L. and Kleinjohann, B., year=2010 
LibreCat: /record/37046
DOI: 10.1007/978-3-642-15234-4_15

@inproceedingsKaufmann_Platzner_2007, title=MOVES: A Modular Framework for Hardware Evolution, DOI=10.1109/ahs.2007.73, booktitle=Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007), publisher=IEEE, author=Kaufmann, Paul and Platzner, Marco, year=2007, pages=447–454 
LibreCat: /record/6508
DOI: 10.1109/ahs.2007.73

@inproceedingsSchattkowsky_Müller_2005, place=Dallas, TX, USA, title=Transformation of UML State Machines for Direct Execution, DOI=10.1109/VLHCC.2005.64, booktitle=Proceedings of VL/HCC 05, author=Schattkowsky, Tim and Müller, Wolfgang, year=2005 
LibreCat: /record/39032
DOI: 10.1109/VLHCC.2005.64

@inproceedingsFlake_Müller_2002, place=Big Island, HI, USA , title=Specification of Real-Time Properties for UML Models, DOI=10.1109/HICSS.2002.994469, booktitle=Proceedings of HICSS-35, author=Flake, Stephan and Müller, Wolfgang, year=2002 
LibreCat: /record/39403
DOI: 10.1109/HICSS.2002.994469

@inproceedingsMüller_Meyer_Zabel_2001, place=Maui, HI, USA , title=A Language for the Rapid Prototyping of Mobile Evolving Agents, DOI=10.1109/HICSS.2001.926319, booktitle=Proceedings of the 34th Annual Hawaii International Conference on System Sciences, author=Müller, Wolfgang and Meyer, A. and Zabel, Henning, year=2001 
LibreCat: /record/39432
DOI: 10.1109/HICSS.2001.926319

@inproceedingsGeiger_Müller_Rosenbach_1998, place=Halifax, Canada, title=SAM - An Animated 3D Programming Language, DOI=10.1109/VL.1998.706167, booktitle=Proceedings of the IEEE Symposium on Visual Languages, author=Geiger, Christian and Müller, Wolfgang and Rosenbach, W., year=1998 
LibreCat: /record/39493
DOI: 10.1109/VL.1998.706167

@inproceedingsDücker_Lehrenfeld_Müller_Tahedl_1997, place=Monterey, CA, USA , title=A Generic System for Interactive Real--Time Animation, DOI=10.1109/ECBS.1997.581876, booktitle= Proceedings International Conference and Workshop on Engineering of Computer-Based Systems, author=Dücker, M. and Lehrenfeld, Georg and Müller, Wolfgang and Tahedl, C., year=1997 
LibreCat: /record/39502
DOI: 10.1109/ECBS.1997.581876