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, 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
| Files available
| DOI
2023 | Journal Article | LibreCat-ID: 35602 |
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
| Files available
| DOI
2021 | Conference Paper | LibreCat-ID: 24159
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
| Files available
| Download (ext.)
2021 | Conference Paper | LibreCat-ID: 48855
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
| DOI
2018 | Conference Paper | LibreCat-ID: 17651
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
2018 | Conference Paper | LibreCat-ID: 5675 |
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
| Files available
2018 | Conference Paper | LibreCat-ID: 8161 |
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
| DOI
| Download (ext.)
| arXiv
2010 | Conference Paper | LibreCat-ID: 37011
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
| DOI
2010 | Conference Paper | LibreCat-ID: 37046
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
| DOI
2007 | Conference Paper | LibreCat-ID: 6508
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
| DOI
2005 | Conference Paper | LibreCat-ID: 39032
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
| DOI
2002 | Conference Paper | LibreCat-ID: 39403
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
| DOI
2001 | Conference Paper | LibreCat-ID: 39432
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
| DOI
1998 | Conference Paper | LibreCat-ID: 39493
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
| DOI
1997 | Conference Paper | LibreCat-ID: 39502
Dücker, M., Lehrenfeld, G., Müller, W., & Tahedl, C. (1997). A Generic System for Interactive Real--Time Animation. Proceedings International Conference and Workshop on Engineering of Computer-Based Systems. https://doi.org/10.1109/ECBS.1997.581876
LibreCat
| DOI