Publikationen

2020

• A Stochastic Bin Packing Approach for Server Consolidation with ConflictsMartinovic, J., Hähnel, M., Dargie, W. & Scheithauer, G., 2020, Operations Research Proceedings 2019: Selected Papers of the Annual International Conference of the German Operations Research Society (GOR), Dresden, Germany, September 4-6, 2019. Neufeld, J. S., Buscher, U., Lasch, R., Möst, D. & Schönberger, J. (Hrsg.). Springer, Cham, S. 159-165, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Attack resistant Leader Election in Social Overlay Networks by Leveraging Local Voting.Byrenheid, M., Strufe, T. & Roos, S., 2020, S. 7:1-7:10Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Best of both worlds: combining traditional and machine learning models for cardinality estimation.Woltmann, L., Hartmann, C., Habich, D. & Lehner, W., 2020, aiDM@SIGMOD. S. 4:1-4:8, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Bionic Tracking: Using Eye Tracking to Track Biological Cells in Virtual RealityGünther, U., Harrington, K. I., Dachselt, R. & Sbalzarini, I. F., 2020, Computer Vision – ECCV 2020 Workshops: Glasgow, UK, August 23–28, 2020, Proceedings, Part I. Bartoli, A. & Fusiello, A. (Hrsg.). Springer, Berlin [u. a.], S. 280-297, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• CANopen Flying Master over TSNSoler Perez Olaya, S., Winkel, A., Ehrlich, M., Majumder, M., Schupp, A. & Wollschlaeger, M., 2020Publikation: Beitrag zu Konferenzen > Paper
• Challenges of Stochastic Project Scheduling in Manual Manufacturing. A Hybrid Simulation-Based Scheduling ApproachKühn, M., Schmidt, T., Schöne, R., Pukhkaiev, D. & Aßmann, U., 2020, S. 15-18, 4 S.Publikation: Beitrag zu Konferenzen > Paper
• Classifying Approaches for Constructing Single Underlying ModelsMeier, J., Werner, C., Klare, H., Tunjic, C., Aßmann, U., Atkinson, C., Burger, E. & 2 weitere, 2020, Model-Driven Engineering and Software Development - 7th International Conference, MODELSWARD 2019, Revised Selected Papers. Hammoudi, S., Pires, L. F. & Selic, B. (Hrsg.). Springer, S. 350-375, 26 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• CL(R)Early: An Early-stage DSE Methodology for Cross-Layer Reliability-aware Heterogeneous Embedded Systems.Sahoo, S. S., Veeravalli, B. & Kumar, A., 2020, DAC. S. 1-6, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• CoHEARence of audible shapes—a qualitative user study for coherent visual audio design with resynthesized shapesEngeln, L. & Groh, R., 2020, in: Personal and ubiquitous computing : PUC. 2021, 25Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Comparing Methods for Mapping Facial Expressions to Enhance Immersive Collaboration with Signs of EmotionHube, N., Lenz, O., Engeln, L., Groh, R. & Sedlmair, M., 2020, Proceedings of the International Symposium on Mixed and Augmented Reality (ISMAR)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Comparison Analysis of Small and Large Bandwidth Indoor SAR Multi-Object Imaging at Low Terahertz SpectrumBatra, A., Wiemeler, M., Göhringer, D. & Kaiser, T., 2020, S. 1-2, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Completeness and soundness guarantees for conjunctive SPARQL queries over RDF data sources with completeness statements.Darari, F., Nutt, W., Razniewski, S. & Rudolph, S., 2020, in: Semantic web. 11, 3, S. 441-482, 42 S., 3Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Components in Probabilistic Systems: Suitable by ConstructionBaier, C., Dubslaff, C., Hermanns, H., Klauck, M., Klüppelholz, S. & Köhl, M. A., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I. Margaria, T. & Steffen, B. (Hrsg.). Springer, Berlin [u. a.], S. 240-261, 22 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Computing Cores for Existential Rules with the Standard Chase and ASPKrötzsch, M., 2020, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020). Calvanese, D., Erdem, E. & Thielscher, M. (Hrsg.). IJCAI Organization, S. 603–613Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Connecting conceptual models using relational reference attribute grammars.Schöne, R., Mey, J., Ebert, S. & Aßmann, U., 2020, Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. S. 88:1-88:11, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Considering Time-Critical Barriers in Indoor Routing for People with DisabilitiesSchmalfuß-Schwarz, J., Loitsch, C. & Weber, G., 2020, Lecture Notes in Computer Science. S. 315-322Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Controller of Controllers Architecture for Management of Heterogeneous Industrial NetworksAnsah, F., Soler Perez Olaya, S., Krummacker, D., Fischer, C., Winkel, A., Guillaume, R., Wisniewski, L. & 7 weitere, 2020Publikation: Beitrag zu Konferenzen > Paper
• CoopCL: Cooperative Execution of OpenCL Programs on Heterogeneous CPU-GPU PlatformsMoren, K. & Göhringer, D., 2020, S. 224-231, 8 S.Publikation: Beitrag zu Konferenzen > Paper
• Crisp-Determinization of Weighted Tree Automata over Additively Locally Finite and Past-Finite Monotonic Strong Bimonoids Is DecidableDroste, M., Fülöp, Z., Kószó, D. & Vogler, H., 2020, Descriptional Complexity of Formal Systems: 22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings. Jirásková, G. & Pighizzini, G. (Hrsg.).S. 39-51, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Cycle-Accurate Debugging of Embedded Designs Using Recurrent Neural NetworksKhan, H., Podlubne, A., Akgün, G. & Göhringer, D., 2020, S. 73-83, 11 S.Publikation: Beitrag zu Konferenzen > Paper
• Deciding the Word Problem for Ground Identities with Commutative and Extensional SymbolsBaader, F. & Kapur, D., 2020, Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I. Peltier, N. & Sofronie-Stokkermans, V. (Hrsg.). Springer, Berlin [u. a.], S. 163-180Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Deductive Module Extraction for Expressive Description LogicsKoopmann, P. & Chen, J., 2020, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence Main track. AAAI Press, S. 1636-1643Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Deductive Module Extraction for Expressive Description Logics (Extended Abstract)Koopmann, P. & Chen, J., 2020, Proceedings of the 33rd International Workshop on Description Logics (DL 2020). CEUR-WSElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• DELFI 2020: die 18. Fachtagung Bildungstechnologien der Gesellschaft für Informatik e.V. : 14.-18. September 2020, OnlineZender, R., Ifenthaler, D., Leonhardt, T. & Schumacher, C., 2020Publikation: Buch/Gutachten/Sammelbände > Monographie
• Demonstrating Rapid Iron-On User Interfaces: Hands-on Fabrication of Interactive Textile PrototypesKlamka, K., Dachselt, R. & Steimle, J., 2020, Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery (ACM), New York, S. 1–4Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband