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, et al. Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis. IEEE SANER 2023 (International Conference on Software Analysis, Evolution and Reengineering), 2023, doi:10.48550/ARXIV.2301.04419.
LibreCat
| Files available
| DOI
2023 | Journal Article | LibreCat-ID: 35602 |
von Neumann, Thilo, et al. “Segment-Less Continuous Speech Separation of Meetings: Training and Evaluation Criteria.” IEEE/ACM Transactions on Audio, Speech, and Language Processing, vol. 31, Institute of Electrical and Electronics Engineers (IEEE), 2023, pp. 576–89, doi:10.1109/taslp.2022.3228629.
LibreCat
| Files available
| DOI
2021 | Conference Paper | LibreCat-ID: 24159
Malena, Kevin, et al. “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, vol. 7, SCITEPRESS, 2021, pp. 386–95.
LibreCat
| Files available
| Download (ext.)
2021 | Conference Paper | LibreCat-ID: 48855
Bossek, Jakob, et al. “Exact Counting And~Sampling of Optima for the Knapsack Problem.” Learning and Intelligent Optimization, Springer-Verlag, 2021, pp. 40–54, doi:10.1007/978-3-030-92121-7_4.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 17651
Polevoy, Gleb, et al. “Removing Undesirable Flows by Edge Deletion.” Combinatorial Optimization and Applications, edited by Donghyun Kim et al., Springer International Publishing, 2018, pp. 217–32.
LibreCat
2018 | Conference Paper | LibreCat-ID: 5675 |
Rauchecker, Gerhard, and Guido Schryen. “Decision Support for the Optimal Coordination of Spontaneous Volunteers in Disaster Relief.” 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, et al. “Quantum Generalizations of the Polynomial Hierarchy with Applications to QMA(2).” 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018), edited by Igor Potapov et al., vol. 117, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018, p. 58:1-58:16, doi:10.4230/LIPIcs.MFCS.2018.58.
LibreCat
| DOI
| Download (ext.)
| arXiv
2010 | Conference Paper | LibreCat-ID: 37011
Klobedanz, Kay, et al. “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study.” Proceedings of DATE’10, Dresden, IEEE, 2010, doi:10.1109/DATE.2010.5457125.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37046
Becker, Markus, et al. A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. Edited by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010, doi: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.” Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007), IEEE, 2007, pp. 447–54, doi: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.” Proceedings of VL/HCC 05, 2005, doi: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.” Proceedings of HICSS-35, 2002, doi:10.1109/HICSS.2002.994469.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39432
Müller, Wolfgang, et al. “A Language for the Rapid Prototyping of Mobile Evolving Agents.” Proceedings of the 34th Annual Hawaii International Conference on System Sciences, 2001, doi:10.1109/HICSS.2001.926319.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39493
Geiger, Christian, et al. “SAM - An Animated 3D Programming Language.” Proceedings of the IEEE Symposium on Visual Languages, 1998, doi:10.1109/VL.1998.706167.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39502
Dücker, M., et al. “A Generic System for Interactive Real--Time Animation.” Proceedings International Conference and Workshop on Engineering of Computer-Based Systems, 1997, doi:10.1109/ECBS.1997.581876.
LibreCat
| DOI