Publications

2022

• SAR-Based Sensing of Harmonic TranspondersBatra, A., Khaliel, M., El-Awamry, A., Fawky, A., Alam, J., Wiemeler, M., Gohringer, D. & 1 others, 2022, 2022 16th European Conference on Antennas and Propagation, EuCAP 2022. Institute of Electrical and Electronics Engineers (IEEE), p. 1-5Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 others, 2022, Proceedings - 2022 IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2022. p. 308-313, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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, p. 2595-2608, 14 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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. (ed.). ijcai.org, p. 2634–2640, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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, p. 431-448, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Strategies in Flexible Dispute Derivations for Assumption-Based Argumentation.Diller, M., Gaggl, S. A. & Gorczyca, P., 2022, p. 59-72, 14 p.Electronic (full-text) versionResearch output: Contribution to conferences > 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)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. p. 283-286, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.).p. 205-214, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. p. 414-418, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Towards Implementing Collaborative Learning in Remote Teaching Scenarios.Kubica, T., Braun, I. & Schill, A., 2022, p. 245-260, 16 p.Electronic (full-text) versionResearch output: Contribution to conferences > 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. p. 10410-10416, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Tractable Combinations of Temporal CSPsBodirsky, M., Greiner, J. & Rydval, J., 2022, In: Logical Methods in Computer Science. 18, 2, p. 11:1-11:33, 2Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Transformer-Encoder and Decoder Models for Questions on MathReusch, A., Thiele, M. & Lehner, W., 2022, CLEF 2022 Working Notes: Proceedings of the Working Notes of CLEF 2022 - Conference and Labs of the Evaluation Forum. Faggioli, G., Ferro, N., Hanbury, A. & Potthast, M. (eds.).p. 119-137, 19 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Transformer-Encoder-Based Mathematical Information RetrievalReusch, A., Thiele, M. & Lehner, W., 2022, Experimental IR Meets Multilinguality, Multimodality, and Interaction: 13th International Conference of the CLEF Association, CLEF 2022, Bologna, Italy, September 5–8, 2022, Proceedings. Barrón-Cedeño, A., Da San Martino, G., Faggioli, G., Ferro, N., Degli Esposti, M., Sebastiani, F., Macdonald, C., Pasi, G., Hanbury, A. & Potthast, M. (eds.). Springer Science and Business Media B.V., p. 175-189, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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), p. 649-654, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.). Springer, p. 89-102, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.).13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.). Gesellschaft fur Informatik (GI), p. 249-250, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.).Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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), p. 54-60, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution

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 others, 12 Dec 2021, In: Software and Systems Modeling. 21, 2, p. 755-804, 50 p., 2Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Multi-objective Parameter Tuning with Dynamic Compositional Surrogate ModelsPukhkaiev, D., Husak, O., Götz, S. & Aßmann, U., 9 Dec 2021, p. 333-350, 18 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Be Lazy and Don’t Care: Faster CTL Model Checking for Recursive State MachinesDubslaff, C., Wienhöft, P. & Fehnker, A., 6 Dec 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. (eds.). Springer, Cham, p. 332–350, 19 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 Dec 2021, In: DAC: Design Automation Conference. 2021, p. 1111-1116, 6 p.Electronic (full-text) versionResearch output: Contribution to journal > Conference article