Publications

2020

• A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Normsvan Berkel, K., Lyon, T. & Olivieri, F., 2020, Logic and Argumentation. Dastani, M., Dong, H. & van der Torre, L. (eds.). Cham: Springer International Publishing AG, p. 219-241, 23 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Design Kit for Mobile Device-Based Interaction TechniquesKorzetz, M., Kühn, R., Aßmann, U. & Schlegel, T., 2020, HCI International 2020 - Posters: 22nd International Conference, HCII 2020, Proceedings. Stephanidis, C. & Antona, M. (eds.). Springer, p. 52-59, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Advances in Using Grammars with Latent Annotations for Discontinuous ParsingGebhardt, K., 2020, Proceedings of the 16th International Conference on Parsing Technologies and the IWPT 2020 Shared Task on Parsing into Enhanced Universal Dependencies. Online: The Association for Computational Linguistics, p. 91-97, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Adversarial Continual LearningEbrahimi, S., Meier, F., Calandra, R., Darrell, T. & Rohrbach, M., 2020, Computer Vision – ECCV 2020 - 16th European Conference, 2020, Proceedings. Vedaldi, A., Bischof, H., Brox, T. & Frahm, J. (eds.). Springer, Berlin [u. a.], p. 386-402, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• AITIA: Embedded AI Techniques for Embedded Industrial ApplicationsBrandalero, M., Ali, M., Le Jeune, L., Hernandez, H. G. M., Veleski, M., da Silva, B., Lemeire, J. & 7 others, 2020, p. 1-7, 7 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• A Lightweight Defeasible Description Logic in Depth: Quantification in Rational Reasoning and BeyondPensel, M., 2020, In: KI - Künstliche Intelligenz. 34, p. 527-531Electronic (full-text) versionResearch output: Contribution to journal > Research article
• ALigN: A Highly Accurate Adaptive Layerwise Log_2_Lead Quantization of Pre-Trained Neural Networks.Gupta, S., Ullah, S., Ahuja, K., Tiwari, A. & Kumar, A., 2020, In: IEEE access. 8, p. 118899-118911, 13 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• An Approach to Support Interactive Activities in Live Stream Lectures.Kubica, T., Hara, T., Braun, I. & Schill, A., 2020, p. 432-436Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• An Approximate Binary Classifier for Data Integrity Assessment in IoT Sensors.John, A., Ullah, S., Kumar, A., Cardiff, B. & John, D., 2020, 2020 27th IEEE International Conference on Electronics, Circuits and Systems (ICECS). Institute of Electrical and Electronics Engineers (IEEE), p. 1-4, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Anknüpfungspunkte zur Integration informatischer Inhalte und Kompetenzen in der Grundschule am Beispiel sächsischer LehrpläneNenner, C., Damnik, G. & Bergner, N., 2020, Gemeinschaften in Neuen Medien. Von hybriden Realitäten zu hybriden Gemeinschaften.: 23. Workshop GeNeMe‘20 Gemeinschaften in Neuen Medien. Köhler, T., Schoop, E. & Kahnwald, N. (eds.).p. 370-376, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Practical Approach for Updating an Integrity-Enforced Operating SystemOzga, W., Quoc, D. L. & Fetzer, C., 2020, In: Middleware '20: 21st International Middleware Conference. 2020, p. 311–325Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• A role-based architecture for self-adaptive cyber-physical systems.Kluge, T., 2020, SEAMS@ICSE. p. 120-124, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.). Springer, Cham, p. 159-165, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Attack resistant Leader Election in Social Overlay Networks by Leveraging Local Voting.Byrenheid, M., Strufe, T. & Roos, S., 2020, p. 7:1-7:10Electronic (full-text) versionResearch output: Contribution to conferences > 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. p. 4:1-4:8, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.). Springer, Berlin [u. a.], p. 280-297, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• CANopen Flying Master over TSNSoler Perez Olaya, S., Winkel, A., Ehrlich, M., Majumder, M., Schupp, A. & Wollschlaeger, M., 2020Research output: Contribution to conferences > 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, p. 15-18, 4 p.Research output: Contribution to conferences > Paper
• Classifying Approaches for Constructing Single Underlying ModelsMeier, J., Werner, C., Klare, H., Tunjic, C., Aßmann, U., Atkinson, C., Burger, E. & 2 others, 2020, Model-Driven Engineering and Software Development - 7th International Conference, MODELSWARD 2019, Revised Selected Papers. Hammoudi, S., Pires, L. F. & Selic, B. (eds.). Springer, p. 350-375, 26 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. p. 1-6, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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, 25Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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, p. 1-2, 2 p.Electronic (full-text) versionResearch output: Contribution to conferences > 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, p. 441-482, 42 p., 3Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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. (eds.). Springer, Cham, p. 240-261, 22 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution