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 | Conference Paper | LibreCat-ID: 36522 | 
Shivarpatna Venkatesh, Ashwin Prasad, Jiawei Wang, Li Li, and Eric Bodden. “Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis.” IEEE SANER 2023 (International Conference on Software Analysis, Evolution and Reengineering), 2023. https://doi.org/10.48550/ARXIV.2301.04419.
LibreCat
| Files available
| DOI
2023 | Journal Article | LibreCat-ID: 35602 |
Neumann, Thilo von, Keisuke Kinoshita, Christoph Boeddeker, Marc Delcroix, and Reinhold Haeb-Umbach. “Segment-Less Continuous Speech Separation of Meetings: Training and Evaluation Criteria.” IEEE/ACM Transactions on Audio, Speech, and Language Processing 31 (2023): 576–89. https://doi.org/10.1109/taslp.2022.3228629.
LibreCat
| Files available
| DOI
2021 | Conference Paper | LibreCat-ID: 24159
Malena, Kevin, Christopher Link, Sven Mertin, Sandra Gausemeier, and Ansgar 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, 7:386–95. VEHITS 2021 Proceedings of the 7th International Conference on Vehicle Technology and Intelligent Transport Systems. Portugal: SCITEPRESS, 2021.
LibreCat
| Files available
| Download (ext.)
2021 | Conference Paper | LibreCat-ID: 48855
Bossek, Jakob, Aneta Neumann, and Frank Neumann. “Exact Counting And~Sampling of Optima for the Knapsack Problem.” In Learning and Intelligent Optimization, 40–54. Berlin, Heidelberg: Springer-Verlag, 2021. https://doi.org/10.1007/978-3-030-92121-7_4.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 17651
Polevoy, Gleb, Stojan Trajanovski, Paola Grosso, and Cees de Laat. “Removing Undesirable Flows by Edge Deletion.” In Combinatorial Optimization and Applications, edited by Donghyun Kim, R. N. Uma, and Alexander Zelikovsky, 217–32. Cham: Springer International Publishing, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 5675 |
Rauchecker, Gerhard, and Guido 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, 2018.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 8161 |
Gharibian, Sevag, Miklos Santha, Jamie Sikora, Aarthi Sundaram, and Justin Yirka. “Quantum Generalizations of the Polynomial Hierarchy with Applications to QMA(2).” In 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018), edited by Igor Potapov, Paul Spirakis, and James Worrell, 117:58:1-58:16. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. https://doi.org/10.4230/LIPIcs.MFCS.2018.58.
LibreCat
| DOI
| Download (ext.)
| arXiv
2010 | Conference Paper | LibreCat-ID: 37011
Klobedanz, Kay, Christoph Kuznik, Andre Thuy, and Wolfgang Müller. “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study.” In Proceedings of DATE’10, Dresden. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5457125.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37046
Becker, Markus, Henning Zabel, and Wolfgang Müller. “A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht: Springer Verlag, 2010. https://doi.org/10.1007/978-3-642-15234-4_15.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 6508
Kaufmann, Paul, and Marco Platzner. “MOVES: A Modular Framework for Hardware Evolution.” In Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007), 447–54. IEEE, 2007. https://doi.org/10.1109/ahs.2007.73.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39032
Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines for Direct Execution.” In Proceedings of VL/HCC 05. Dallas, TX, USA, 2005. https://doi.org/10.1109/VLHCC.2005.64.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39403
Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.” In Proceedings of HICSS-35. Big Island, HI, USA , 2002. https://doi.org/10.1109/HICSS.2002.994469.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39432
Müller, Wolfgang, A. Meyer, and Henning Zabel. “A Language for the Rapid Prototyping of Mobile Evolving Agents.” In Proceedings of the 34th Annual Hawaii International Conference on System Sciences. Maui, HI, USA , 2001. https://doi.org/10.1109/HICSS.2001.926319.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39493
Geiger, Christian, Wolfgang Müller, and W. Rosenbach. “SAM - An Animated 3D Programming Language.” In Proceedings of the IEEE Symposium on Visual Languages. Halifax, Canada, 1998. https://doi.org/10.1109/VL.1998.706167.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39502
Dücker, M., Georg Lehrenfeld, Wolfgang Müller, and C. Tahedl. “A Generic System for Interactive Real--Time Animation.” In Proceedings International Conference and Workshop on Engineering of Computer-Based Systems. Monterey, CA, USA , 1997. https://doi.org/10.1109/ECBS.1997.581876.
LibreCat
| DOI