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 | 
@inproceedings{Shivarpatna 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
| Files available
| DOI
2023 | Journal Article | LibreCat-ID: 35602 |
@article{von 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
| Files available
| DOI
2021 | Conference Paper | LibreCat-ID: 24159
@inproceedings{Malena_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
| Files available
| Download (ext.)
2021 | Conference Paper | LibreCat-ID: 48855
@inproceedings{Bossek_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
| DOI
2018 | Conference Paper | LibreCat-ID: 17651
@inproceedings{Polevoy_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
2018 | Conference Paper | LibreCat-ID: 5675 |
@inproceedings{Rauchecker_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
| Files available
2018 | Conference Paper | LibreCat-ID: 8161 |
@inproceedings{Gharibian_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
| DOI
| Download (ext.)
| arXiv
2010 | Conference Paper | LibreCat-ID: 37011
@inproceedings{Klobedanz_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
| DOI
2010 | Conference Paper | LibreCat-ID: 37046
@inproceedings{Becker_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
| DOI
2007 | Conference Paper | LibreCat-ID: 6508
@inproceedings{Kaufmann_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
| DOI
2005 | Conference Paper | LibreCat-ID: 39032
@inproceedings{Schattkowsky_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
| DOI
2002 | Conference Paper | LibreCat-ID: 39403
@inproceedings{Flake_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
| DOI
2001 | Conference Paper | LibreCat-ID: 39432
@inproceedings{Mü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
| DOI
1998 | Conference Paper | LibreCat-ID: 39493
@inproceedings{Geiger_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
| DOI
1997 | Conference Paper | LibreCat-ID: 39502
@inproceedings{Dü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
| DOI