Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
15 Publications
2023 | Journal Article | LibreCat-ID: 35602 |

T. von Neumann, K. Kinoshita, C. Boeddeker, M. Delcroix, and R. Haeb-Umbach, “Segment-Less Continuous Speech Separation of Meetings: Training and Evaluation Criteria,” IEEE/ACM Transactions on Audio, Speech, and Language Processing, vol. 31, pp. 576–589, 2023, doi: 10.1109/taslp.2022.3228629.
LibreCat
| Files available
| DOI
2023 | Conference Paper | LibreCat-ID: 36522 |

A. P. Shivarpatna Venkatesh, J. Wang, L. Li, and E. Bodden, “Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis,” presented at the IEEE SANER 2023 (International Conference on Software Analysis, Evolution and Reengineering), 2023, doi: 10.48550/ARXIV.2301.04419.
LibreCat
| Files available
| DOI
2021 | Conference Paper | LibreCat-ID: 48855
J. Bossek, A. Neumann, and F. Neumann, “Exact Counting and~Sampling of Optima for the Knapsack Problem,” in Learning and Intelligent Optimization, 2021, pp. 40–54, doi: 10.1007/978-3-030-92121-7_4.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 24159
K. Malena, C. Link, S. Mertin, S. Gausemeier, and A. Trächtler, “Online State Estimation for Microscopic Traffic Simulations using Multiple Data Sources*,” in VEHITS 2021 Proceedings of the 7th International Conference on Vehicle Technology and Intelligent Transport Systems, Online Streaming, 2021, vol. 7, pp. 386–395.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 17651
G. Polevoy, S. Trajanovski, P. Grosso, and C. de Laat, “Removing Undesirable Flows by Edge Deletion,” in Combinatorial Optimization and Applications, 2018, pp. 217–232.
LibreCat
2018 | Conference Paper | LibreCat-ID: 5675 |

G. Rauchecker and G. Schryen, “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, 2018.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 8161 |

S. Gharibian, M. Santha, J. Sikora, A. Sundaram, and J. Yirka, “Quantum Generalizations of the Polynomial Hierarchy with Applications to QMA(2),” in 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018), Liverpool, UK, 2018, vol. 117, p. 58:1-58:16, doi: 10.4230/LIPIcs.MFCS.2018.58.
LibreCat
| DOI
| Download (ext.)
| arXiv
2010 | Conference Paper | LibreCat-ID: 37011
K. Klobedanz, C. Kuznik, A. Thuy, and W. Müller, “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study,” presented at the 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5457125.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37046
M. Becker, H. Zabel, and W. Müller, “A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement,” 2010, doi: 10.1007/978-3-642-15234-4_15.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39032
T. Schattkowsky and W. Müller, “Transformation of UML State Machines for Direct Execution,” 2005, doi: 10.1109/VLHCC.2005.64.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39403
S. Flake and W. Müller, “Specification of Real-Time Properties for UML Models,” presented at the Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA , 2002, doi: 10.1109/HICSS.2002.994469.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39432
W. Müller, A. Meyer, and H. Zabel, “A Language for the Rapid Prototyping of Mobile Evolving Agents,” 2001, doi: 10.1109/HICSS.2001.926319.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39493
C. Geiger, W. Müller, and W. Rosenbach, “SAM - An Animated 3D Programming Language,” presented at the 1998 IEEE Symposium on Visual Languages, Halifax, Canada, 1998, doi: 10.1109/VL.1998.706167.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39502
M. Dücker, G. Lehrenfeld, W. Müller, and C. Tahedl, “A Generic System for Interactive Real--Time Animation,” Monterey, CA, USA , 1997, doi: 10.1109/ECBS.1997.581876.
LibreCat
| DOI