Publikationen

2022

• ROS-based Image Guidance Navigation System for Minimally Invasive Liver SurgeryDocea, R., Müller, J., Krug, K., Hardner, M., Riedel, P., Pfeiffer, M., Menzel, M. & 4 weitere, 2022Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Wissenschaftliche Vortragsfolien
• Safe Adaptation of Cobotic Cells based on Petri NetsEbert, S., 2022, Proceedings - 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2022. Institute of Electrical and Electronics Engineers (IEEE), S. 43-47, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• SAR-Based Sensing of Harmonic TranspondersBatra, A., Khaliel, M., El-Awamry, A., Fawky, A., Alam, J., Wiemeler, M., Gohringer, D. & 1 weitere, 2022, 2022 16th European Conference on Antennas and Propagation, EuCAP 2022. Institute of Electrical and Electronics Engineers (IEEE), S. 1-5Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• SCRAMBLE: A Secure and Configurable, Memristor-Based Neuromorphic Hardware Leveraging 3D Architecture.Rangarajan, N., Patnaik, S., Nabeel, M., Ashraf, M., Rai, S., Raut, G., Abunahla, H. & 5 weitere, 2022, Proceedings - 2022 IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2022. S. 308-313, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• SGXTuner: Performance Enhancement of Intel SGX Applications Via Stochastic OptimizationMazzeo, G., Arnautov, S., Fetzer, C. & Romano, L., 2022, in:  IEEE Transactions on Dependable and Secure Computing. 19, 4, S. 2595-2608, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Simulating Sets in Answer Set ProgrammingGaggl, S. A., Hanisch, P. & Krötzsch, M., 2022, Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI 2022). Raedt, L. D. (Hrsg.). ijcai.org, S. 2634–2640, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Spoki: Unveiling a New Wave of Scanners through a Reactive Network TelescopeHiesgen, R., Nawrocki, M., King, A., Dainotti, A., Schmidt, T. C. & Wählisch, M., 2022, Proceedings of 31st USENIX Security Symposium. USENIX Association, S. 431-448, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Strategies in Flexible Dispute Derivations for Assumption-Based Argumentation.Diller, M., Gaggl, S. A. & Gorczyca, P., 2022, S. 59-72, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Tailored but versatile, simple but powerful: Challenges and Insights of Wearable Toolkit DesignPeetz, A., Klamka, K. & Dachselt, R., 2022, Workshop on Toolkits & Wearables - Developing Toolkits for Exploring Wearable Designs (CHI 2022)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• TeachInVR: A virtual reality classroom for remote educationSchier, F., Peringottukurussi Chandran, K. & McGinity, M., 2022, Proceedings - 2022 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2022. S. 283-286, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief FusionKarge, J. & Rudolph, S., 2022, 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022. Kern-Isberner, G., Lakemeyer, G. & Meyer, T. (Hrsg.).S. 205-214, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Towards A General SIMD Concurrent Approach to Accelerating Integer Compression Algorithms.Hildebrandt, J., Habich, D. & Lehner, W., 2022, Proceedings 25th International Conference on Extending Database Technology ( EDBT 2022 ) Edinburgh, UK, March 29 - April 1. S. 414-418, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Towards Implementing Collaborative Learning in Remote Teaching Scenarios.Kubica, T., Braun, I. & Schill, A., 2022, S. 245-260, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Towards Learning to Play Piano with Dexterous Hands and Touch.Xu, H., Luo, Y., Wang, S., Darrell, T. & Calandra, R., 2022, 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Kyoto, Japan. S. 10410-10416, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Tractable Combinations of Temporal CSPsBodirsky, M., Greiner, J. & Rydval, J., 2022, in: Logical Methods in Computer Science. 18, 2, S. 11:1-11:33, 2Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Transparency for Bystanders in IoT regarding audiovisual RecordingsEscher, S., Etzrodt, K., Weller, B., Kopsell, S. & Strufe, T., 2022, 2022 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops). Pisa: Institute of Electrical and Electronics Engineers (IEEE), S. 649-654, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Tunas - Fishing for Diverse Answer Sets: A Multi-shot Trade up StrategyBöhl, E. & Gaggl, S. A., 2022, Logic Programming and Nonmonotonic Reasoning: 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings. Gottlob, G., Inclezan, D. & Maratea, M. (Hrsg.). Springer, S. 89-102, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Uniform and Modular Sequent Systems for Description LogicsLyon, T. & Karge, J., 2022, Proceedings of the 35th International Workshop on Description Logics (DL 2022). Arieli, O., Homola, M., Jung, J. C. & Mugnier, M. (Hrsg.).13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Unterstütze den Lernprozess: Externe Steuerung des Ablaufs einer VR-LernanwendungBaberowski, D., Leonhardt, T., Hamann, A., Bergner, N. & Ehlenz, M., 2022, DELFI 2022 - Die 20. Fachtagung Bildungstechnologien der Gesellschaft fur Informatik e.V.. Henning, P. A., Striewe, M. & Wolfel, M. (Hrsg.). Gesellschaft fur Informatik (GI), S. 249-250, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• User-aware Explications of Ontology Consequences: Levelling TechnicalityPeñaloza, R. & Turhan, A., 2022, FCR 2022 Formal and Cognitive Reasoning 2022: Proceedings of the 8th Workshop on Formal and Cognitive Reasoning. Beierle, C., Ragni, M., Sauerwald, K., Stolzenburg, F. & Thimm, M. (Hrsg.).Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Virtualization of Reconfigurable Mixed-Criticality SystemsWulf, C., Charaf, N. & Göhringer, D., 2022, 2022 32nd International Conference on Field-Programmable Logic and Applications (FPL). Institute of Electrical and Electronics Engineers (IEEE), S. 54-60, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband

2021

• A cross-technology benchmark for incremental graph queries.Hinkel, G., García-Domínguez, A., Schöne, R., Boronat, A., Tisi, M., Le Calvar, T., Jouault, F. & 5 weitere, 12 Dez. 2021, in: Software and Systems Modeling. 21, 2, S. 755-804, 50 S., 2Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Multi-objective Parameter Tuning with Dynamic Compositional Surrogate ModelsPukhkaiev, D., Husak, O., Götz, S. & Aßmann, U., 9 Dez. 2021, S. 333-350, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Be Lazy and Don’t Care: Faster CTL Model Checking for Recursive State MachinesDubslaff, C., Wienhöft, P. & Fehnker, A., 6 Dez. 2021, Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Proceedings: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings. Calinescu, R. & Păsăreanu, C. S. (Hrsg.). Springer, Cham, S. 332–350, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• BLOwing Trees to the Ground: Layout Optimization of Decision Trees on Racetrack MemoryHakert, C., Khan, A. A., Chen, K. H., Hameed, F., Castrillon, J. & Chen, J. J., 5 Dez. 2021, in: DAC: Design Automation Conference. 2021, S. 1111-1116, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel