Publications

2022

• Universal Horn Sentences and the Joint Embedding Property.Bodirsky, M., Rydval, J. & Schrottenloher, A., 6 May 2022, In: Discrete mathematics & theoretical computer science. 23, 2, 15 p., 4Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Where should we put it? Layout and placement strategies of documents in augmented reality for collaborative sensemakingLuo, W., Lehmann, A., Widengren, H. & Dachselt, R., 5 May 2022, Proceedings of the ACM Conference on Human Factors in Computing Systems (CHI). Barbosa, S., Lampe, C., Appert, C., Shamma, D. A., Drucker, S., Williamson, J. & Yatani, K. (eds.).p. 627:1-627:16, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• AvatAR: An immersive analysis environment for human motion data combining interactive 3D avatars and trajectoriesReipschläger, P., Brudy, F., Dachselt, R., Matejka, J., Fitzmaurice, G. & Anderson, F., 2 May 2022, Proceedings of the ACM Conference on Human Factors in Computing Systems (CHI). Barbosa, S., Lampe, C., Appert, C., Shamma, D. A., Drucker, S., Williamson, J. & Yatani, K. (eds.).p. 23:1-23:15, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Topology-Preserving Simplification of OpenStreetMap Network Data for Large-scale Simulation in SUMOMeng, Z., Du, X., Sottovia, P., Foroni, D., Axenie, C., Wieder, A., Eckhoff, D. & 3 others, 1 May 2022, SUMO User Conference 2022 (SUMO 2022). Vol. 3. p. 181-197, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• AppAxO: Designing Application-specific Approximate Operators for FPGA-based Embedded SystemsUllah, S., Sahoo, S. S., Ahmed, N., Chaudhury, D. & Kumar, A., May 2022, In: ACM transactions on embedded computing systems. 21, 3, p. 29:1-29:31, 31 p., 29Electronic (full-text) versionResearch output: Contribution to journal > Research article
• CHORS: hardening high-assurance security systems with trusted computingOzga, W., Faqeh, R., Le Quoc, D. & Gregor, F., May 2022, p. 1626–1635Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Ingredient-based Forecast of Sold Dish Portions in Campus Canteen KitchensWoltmann, L., Drechsel, J., Hartmann, C. & Lehner, W., May 2022, Proceedings - 2022 IEEE 38th International Conference on Data Engineering Workshops, ICDEW 2022. p. 111-116, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• STRAIDE: A Research Platform for Shape-Changing Spatial Displays based on Actuated StringsEngert, S., Klamka, K., Peetz, A. & Dachselt, R., 29 Apr 2022, CHI 2022 - Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems. New Orleans, LA, USA, p. 263:1-263:16, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• To share or not to share vector registers?Pietrzyk, J., Krause, A., Habich, D. & Lehner, W., 28 Apr 2022, In: The VLDB journal. 31, 6, p. 1215-1236, 22 p., 6Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Computing generalizations of temporal 𝓔𝓛 concepts with next and global.Tirtarasa, S. & Turhan, A., 25 Apr 2022, p. 903-910, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Probabilistic causes in Markov ChainsZiemek, R., Piribauer, J., Funke, F., Jantsch, S. & Baier, C., 25 Apr 2022, In: Innovations in Systems and Software Engineering. 18, 3, p. 347-367, 21 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• AGILER: An Adaptive Heterogeneous Tile-Based Many-Core Architecture for RISC-V ProcessorsKamaleldin, A. & Göhringer, D., 18 Apr 2022, In: IEEE Access. 10, p. 43895-43913, 19 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Memory Performance of AMD EPYC Rome and Intel Cascade Lake SP Server ProcessorsVelten, M., Schöne, R., Ilsche, T. & Hackenberg, D., 9 Apr 2022, ICPE 2022 - Proceedings of the 2022 ACM/SPEC International Conference on Performance Engineering. p. 165–175, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Fast Privileged Function CallsMiemietz, T., Planeta, M., Reusch, V. L., Bierbaum, J., Roitzsch, M. & Härtig, H., 5 Apr 2022Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation FormalismsBaumann, R. & Straß, H., 1 Apr 2022, In: Artificial intelligence. 305, 103680Electronic (full-text) versionResearch output: Contribution to journal > Research article
• A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear ArithmeticBromberger, M., Dragoste, I. T., Faqeh, R., Fetzer, C., González González, L. J., Krötzsch, M., Marx, M. & 2 others, 30 Mar 2022, Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I. Fisman, D. & Rosu, G. (eds.).p. 480–501, 22 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Slashing the Disaggregation Tax in Heterogeneous Data Centers with FractOSVilanova, L., Maudlej, L., Bergman, S., Miemietz, T., Hille, M., Asmussen, N., Roitzsch, M. & 2 others, 28 Mar 2022, EuroSys 2022 - Proceedings of the 17th European Conference on Computer Systems. Association for Computing Machinery, Inc, p. 352-367, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• MPER – A motion profiling experiment and research system for human body movementRettlinger, S., Knaus, B., Wieczorek, F., Ivakko, N., Hanisch, S., Nguyen, G. T., Strufe, T. & 1 others, 23 Mar 2022, 2022 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2022. p. 88-90, 3 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Partial-Reconfiguration-Enabled HW/SW Co-Design Benchmark for LTE ApplicationsHosseinghorban, A. & Kumar, A., 22 Mar 2022, In: Electronics (Switzerland). 11, 7, 978Electronic (full-text) versionResearch output: Contribution to journal > Research article
• BlendCache: An Energy and Area Efficient Racetrack Last-Level-Cache ArchitectureHameed, F. & Castrillon, J., 22 Mar 2022, In: IEEE transactions on computer-aided design of integrated circuits and systems. 41, 12, p. 5288-5298, 11 p., 12Electronic (full-text) versionResearch output: Contribution to journal > Research article
• DMA Security in the Presence of IOMMUsSchwarz, C., Reusch, V. & Planeta, M., 18 Mar 2022, Tagungsband des FG-BS Frühjahrstreffens 2022. Gesellschaft für Informatik e.V., 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Improving Technology Mapping for And-Inverter-ConesThummler, M., Rai, S. & Kumar, A., 14 Mar 2022, 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE). IEEE, p. 274-279, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Beyond Sensing: Suitability of LoRa for Meshed Automatic Section Control of Agricultural VehiclesLautenschlaeger, K. & Sommer, C., 1 Mar 2022, 17th Conference on Wireless On-Demand Network Systems and Services, WONS 2022. Welzl, M., Karlsson, G., Alay, O. & Peng, C. (eds.). IEEEElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Context-Aware Security for 6G Wireless: The Role of Physical Layer SecurityChorti, A., Barreto, A. N., Köpsell, S., Zoli, M., Chafii, M., Sehier, P., Fettweis, G. & 1 others, 1 Mar 2022, In: IEEE Communications Standards Magazine. 6, 1, p. 102-108, 7 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Opportunistic UAV Relaying for Urban Vehicular NetworksHardes, T. & Sommer, C., 1 Mar 2022, 17th Conference on Wireless On-Demand Network Systems and Services, WONS 2022. Welzl, M., Karlsson, G., Alay, O. & Peng, C. (eds.). IEEE, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution