Publikationen

2022

• On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract).Artale, A., Kontchakov, R., Kovtunova, A., Ryzhikov, V., Wolter, F. & Zakharyaschev, M., 2022, Proceedings of the 31st International Joint Conference on Artificial Intelligence, IJCAI 2022. De Raedt, L. & De Raedt, L. (Hrsg.). ijcai.org, S. 5703-5707, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• On the Foundations of Cycles in Bayesian NetworksBaier, C., Dubslaff, C., Hermanns, H. & Käfer, N., 2022, Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Raskin, J., Chatterjee, K., Doyen, L. & Majumdar, R. (Hrsg.). Springer, Cham, S. 343-363, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Parameterizable mobile workloads for adaptable base station optimizationsRobledo, J. & Castrillon, J., 2022, Proceedings - 2022 IEEE 15th International Symposium on Embedded Multicore/Many-Core Systems-on-Chip, MCSoC 2022. Institute of Electrical and Electronics Engineers Inc., S. 381-386, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Pattern Recognition: 44th DAGM German Conference, DAGM GCPR 2022, Konstanz, Germany, September 27-30, 2022, ProceedingsAndres, B., Bernard, F., Cremers, D., Frintrop, S., Goldlücke, B. & Ihrke, I., 2022, Springer, Cham, 608 S.Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• Peak-Power Aware Life-Time Reliability Improvement in Fault-Tolerant Mixed-Criticality SystemsNavardi, M., Ranjbar, B., Rohbani, N., Ejlali, A. & Kumar, A., 2022, in: IEEE Open Journal of Circuits and Systems. 3, S. 199-215, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• PosAx-O: Exploring Operator-level Approximations for Posit Arithmetic in Embedded AI/ML.Immaneni, A., Ullah, S., Nambi, S., Sahoo, S. S. & Kumar, A., 2022, Proceedings - 2022 25th Euromicro Conference on Digital System Design, DSD 2022. Fabelo, H., Ortega, S. & Skavhaug, A. (Hrsg.).S. 214-223, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Potenziale und Herausforderungen Energieautonomer Sensorsysteme für den Einsatz in sensorintegrierenden MaschinenelementenHofmann, K., Keil, F., Matthiesen, S., Gwosch, T., Kupnik, M., Kirchner, E., Göhringer, D. & 2 weitere, 2022, EASS 2022 Energieautonome Sensorsysteme 2022: Beiträge der 11. GMM-Fachtagung, 5. – 6. Juli 2022 in Erfurt. Schecker, O. (Hrsg.). VDE Verlag, Berlin [u. a.], S. 36-38, 3 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI_⊥de Camargo e Souza Câmara, I. & Turhan, A., 2022, NMR 2022 International Workshop on Non-Monotonic Reasoning 2022: Proceedings of the 20th International Workshop on Non-Monotonic Reasoning. Arieli, O., Casini, G. & Giordano, L. (Hrsg.).S. 159-162, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• RBPMN - The Power of Roles for Business Process Modeling with BPMNSkouti, T., Furrer, F. J. & Strahringer, S., 2022, Enterprise, Business-Process and Information Systems Modeling. Cham: Springer International Publishing, Band 450. S. 29-42, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Reduced-Precision Acceleration of Radio-Astronomical Imaging on Reconfigurable HardwareCorda, S., Veenboer, B., Awan, A. J., Romein, J. W., Jordans, R., Kumar, A., Boonstra, A. J. & 1 weitere, 2022, in: IEEE access. 10, 10, S. 22819-22843, 25 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Restricted Unification in the Description Logic 𝓕𝓛⊥Baader, F. & Gil, O. F., 2022, Proceedings of the 36th International Workshop on Unification (UNIF 2022). Cerna, D. M. & Morawska, B. (Hrsg.). Haifa, IsraelPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Rethinking Assessment with Automatic Item Generation.Braun, I., Damnik, G. & Baum, H., 2022, Inted2022 Proceedings. S. 1176-1180Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 Inc., 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 Inc., 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
• 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, EDBT. S. 2:414-2: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