Publications

2020

• Augmented Displays: Seamlessly Extending Interactive Surfaces With Head-Mounted Augmented RealityReipschläger, P., Engert, S. & Dachselt, R., 25 Apr 2020, Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems. p. 1-4Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• TimeBOMB: An Interactive Game Station Showcasing the History of Computer GamesEngert, S., Albrecht, R. D., Amend, C. & Meyer, F., 25 Apr 2020, Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing SystemsElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Caladan: A Distributed Meta-OS for Data Center DisaggregationVilanova, L., Maudlej, L., Hille, M., Asmussen, N., Roitzsch, M. & Silberstein, M., Apr 2020Research output: Contribution to conferences > Paper
• Challenges in Collaborative Immersive VisualizationBüschel, W., Eckert, G. & Dachselt, R., Apr 2020, p. 1-6, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Software-Defined Mobile Supply ChainsEngeßer, S., Aßmann, U., Buscher, U., Schönberger, J. O. & Urbas, L., Apr 2020, Dynamics in Logistics. Freitag, M., Haasis, H., Kotzab, H. & Pannek, J. (eds.). Springer Link, p. 420-430Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Towards Formalization of Enhanced Privacy ID (EPID)-based Remote Attestation in Intel SGXSardar, M. U., Quoc, D. L. & Fetzer, C., Apr 2020, 5 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• HPPT-NoC: A dark-silicon inspired hierarchical TDM NoC with efficient power-performance tradingHesham, S., Goehringer, D. & Abd El Ghany, M. A., 1 Mar 2020, In: IEEE Transactions on Parallel and Distributed Systems. 31, 3, p. 675-694, 20 p., 8845671Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Achieving Determinism in Adaptive AUTOSARMenard, C., Goens, A., Lohstroh, M. & Castrillon, J., Mar 2020, 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE). Di Natale, G., Bolchini, C. & Vatajelu, E. (eds.). IEEE, New York [u. a.], p. 822-827, 6 p., 9116430Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Energy-efficient Runtime Resource Management for Adaptable Multi-application MappingKhasanov, R. & Castrillon, J., Mar 2020, 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE). Di Natale, G., Bolchini, C. & Vatajelu, E. (eds.). IEEE, New York [u. a.], p. 909-914, 6 p., 9116381Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Formal Foundations for Intel SGX Data Center Attestation PrimitivesSardar, M. U., Faqeh, R. & Fetzer, C., Mar 2020, p.  268–283Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Generalized Data Placement Strategies for Racetrack MemoriesKhan, A. A., Goens, A., Hameed, F. & Castrillon, J., Mar 2020, 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE). Di Natale, G., Bolchini, C. & Vatajelu, E. (eds.). IEEE, New York [u. a.], p. 1502-1507, 6 p., 9116245Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Why We Need Automation Models: Handling Complexity in Industry 4.0 and the Internet of ThingsJasperneite, J., Sauter, T. & Wollschlaeger, M., Mar 2020, In: IEEE Industrial Electronics Magazine. 14, 1, p. 29-40, 12 p., 9044672Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Compiler-based graph representations for deep learning models of codeBrauckmann, A., Goens, A., Ertel, S. & Castrillon, J., 22 Feb 2020, CC 2020 - Proceedings of the 29th International Conference on Compiler Construction. Pouchet, L. & Jimborean, A. (eds.). Association for Computing Machinery, Inc, p. 201-211, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Most Specific Consequences in the Description Logic ℰℒKriegel, F., 15 Feb 2020, In: Discrete applied mathematics. 273, p. 172-204, 33 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Checking Chase Termination over Ontologies of Existential Rules with EqualityCarral, D. & Urbani, J., 1 Feb 2020, Proceedings of the 34rd Conference on Artificial Intelligence (AAAI 2020)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Design and results of the second international competition on computational models of argumentationGaggl, S. A., Linsbichler, T., Maratea, M. & Woltran, S., 1 Feb 2020, In: Artificial intelligence. 279Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Designing IT Curriculum to Foster Self-Regulated Learning through Peer Instruction and Audience Response SystemsHara, T., Luntovskyy, A., Braun, I. & Kubica, T., 1 Feb 2020, Proceedings - 15th International Conference on Advanced Trends in Radioelectronics, Telecommunications and Computer Engineering, TCSET 2020Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Relational reference attribute grammars: Improving continuous model validation.Mey, J., Schöne, R., Hedin, G., Söderberg, E., Kühn, T., Fors, N., Öqvist, J. & 1 others, 20 Jan 2020, In: Journal of Computer Languages. 57, 21 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Big-Data Analytics transformiert die LebenswissenschaftenSbalzarini, I. F., 1 Jan 2020, In:  Informatik-Spektrum : Organ der Gesellschaft für Informatik e.V. und mit ihr assoziierter Organisationen. 42, 6, p. 394-400, 7 p.Electronic (full-text) versionResearch output: Contribution to journal > Editorial (Lead article)
• One-Variable Logic Meets Presburger ArithmeticBednarczyk, B., 1 Jan 2020, In: Theoretical computer science : the journal of the EATCS. 802, 141-146Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Solving Advanced Argumentation Problems with Answer Set ProgrammingBrewka, G., Diller, M., Heissenberger, G., Linsbichler, T. & Woltran, S., 1 Jan 2020, In: Theory and practice of logic programming : TPLP. 20, 3, p. 391–431, 41 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• System noise of a digital pulse processing module for nuclear instrumentationMa, Y., Fischer, W., Henniger, J., Weinberger, D. & Kormoll, T., 1 Jan 2020, ANIMMA 2019 – Advancements in Nuclear Instrumentation Measurement Methods and their Applications. Lyoussi, A., Giot, M., Carette, M., Jenčič, I., Reynard-Carette, C., Vermeeren, L., Snoj , L. & Le Dû, P. (eds.).p. 01012Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Büchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storageEngelfriet, J. & Vogler, H., 2020, In: Discrete Mathematics and Theoretical Computer Science. #3Electronic (full-text) versionResearch output: Contribution to journal > Research article
• AccessibleMaps: Addressing Gaps in Maps for People with Visual and Mobility ImpairmentsLoitsch, C., Müller, K., Engel, C., Weber, G. & Stiefelhagen, R., 2020, Lecture Notes in Computer ScienceElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A CORDIC Based Configurable Activation Function for ANN Applications.Raut, G., Rai, S., Vishvakarma, S. K. & Kumar, A., 2020, ISVLSI. p. 78-83, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution