Publications

2023

• Maschinelles Lernen in der Sekundarstufe I erlebbar machen: Workshop-Konzept zur Entwicklung einer intelligenten MuseumsappMarx, E. & Bergner, N., 2023, p. 429-430, 2 p.Electronic (full-text) versionResearch output: Contribution to conferences > Poster
• Measuring Didactical Competencies for Informatics Education among Prospective Primary School TeachersNenner, C. & Bergner, N., 2023, ISSEP 2023 : 16th international conference on informatics in schools. Local proceedings. Lausanne, p. 129-138, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Mobile Device-Based Interactions for Collocated Direct Voting in Collaborative ScenariosKühn, R., Kegel, K., Kallenbach, F., Korzetz, M., Aßmann, U. & Schlegel, T., 2023, Learning and Collaboration Technologies: 10th International Conference, LCT 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part II. Zaphiris, P., Ioannou, A. & Ioannou, A. (eds.).p. 520–537, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Mr-Fosdick at SemEval-2023 Task 5: Comparing Dataset Expansion Techniques for Non-Transformer and Transformer Models: Improving Model Performance through Data AugmentationFalkenberg, C., Schönwälder, E., Rietzke, T., Görner, C. A., Walther, R., Gonsior, J. & Reusch, A., 2023, Proceedings of the 17th International Workshop on Semantic Evaluation (SemEval-2023). Ojha, A. K., Dogruoz, A. S., Da San Martino, G., Madabushi, H. T., Kumar, R. & Sartori, E. (eds.). Association for Computational Linguistics (ACL), p. 88-93, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett LogicsLyon, T., 2023, In: Journal of applied non-classical logics. 33, 2, p. 121-164, 44 p., 2Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Nested Sequents for Quantified Modal LogicsLyon, T. S. & Orlandelli, E., 2023, Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings. Ramanayake, R. & Urban, J. (eds.). Springer, Cham, p. 449–467, 19 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• NetPU-M: A Generic Reconfigurable Neural Network Accelerator Architecture for MLPsLiu, Y., Rai, S., Ullah, S. & Kumar, A., 2023, 2023 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2023. Institute of Electrical and Electronics Engineers (IEEE), p. 85-92, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Normalizing Flow Based Feature Synthesis for Outlier-Aware Object DetectionKumar, N., Šegvić, S., Eslami, A. & Gumhold, S., 2023, 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). Vol. 2023-June. p. 5156-5165, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On the Abstract Expressive Power of Description Logics with Concrete DomainsDe Bortoli, F. & Baader, F., 2023, Proceedings of the 36th International Workshop on Description Logics. Ozaki, A., Lutz, C. & Kutz, O. (eds.). CEUR-WS.org, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change (Extended Abstract)Baader, F., 2023, Proceedings of the 36th International Workshop on Description Logics (DL 2023), Rhodes, Greece, September 2--4, 2023. CEUR-WS.org, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Optimizing Analytical Query Processing on Disaggregated HardwareGeyer, A. & Lehner, W., 2023, EDBT/ICDT 2023 Workshops: Proceedings of the Workshops of the EDBT/ICDT 2023 Joint Conference. Fletcher, G. & Kantere, V. (eds.).Vol. 3379. 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Partial Optimality in Cubic Correlation Clustering.Stein, D., Gregorio, S. D. & Andres, B., 2023, Proceedings of the 40th International Conference on Machine Learning. p. 32598-32617, 20 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Pipeline Group Optimization on Disaggregated SystemsGeyer, A., Krause, A., Habich, D. & Lehner, W., 2023Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• PNRG – A Library for Modeling Variable Structure Energy Gridsin Modelica using Energetic Petri NetsGutsche, C., Wang, Z., Götz, S., Prokopets, V. & Aßmann, U., 2023, Proceedings of the 15th International Modelica Conference 2023, Aachen, October 9-11. Linköping, Univ., p. 727 - 736, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• PostBOUND: PostgreSQL with Upper Bound SPJ Query OptimizationBergmann, R., Hertzschuch, A., Hartmann, C., Habich, D. & Lehner, W., 2023, Datenbanksysteme fur Business, Technologie und Web, BTW 2023. Konig-Ries, B., Scherzinger, S., Lehner, W. & Vossen, G. (eds.). Gesellschaft fur Informatik (GI), p. 283-304, 22 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• PraxisCheckUnterricht: 360° Videografie und immersive UnterrichtsreflexionBaberowski, D. & Spalteholz, W., 2023, Workshops der 21. Fachtagung Bildungstechnologien (DELFI): Bildungstechnologien in der Schule. Gesellschaft für Informatik e.V., p. 31-38, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• PrefacePontelli, E., Costantini, S., Dodaro, C., Gaggl, S. A., Garcez, A. S. D., Fabiano, F., Mileo, A. & 2 others, 2023, Proceedings 39th International Conference on Logic ProgrammingElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Foreword/Postscript
• Pruning and Early-Exit Co-Optimization for CNN Acceleration on FPGAsKorol, G., Jordan, M. G., Rutzig, M. B., Castrillon, J. & Beck, A. C. S., 2023, 2023 Design, Automation and Test in Europe Conference and Exhibition, DATE 2023 - Proceedings. Institute of Electrical and Electronics Engineers (IEEE)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+Álvarez, L. G., Rudolph, S. & Strass, H., 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023. Marquis, P., Son, T. C. & Kern-Isberner, G. (eds.). Association for the Advancement of Artificial Intelligence, p. 333-343, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Pushing the Limits of an FCN and A CRF Towards Near-Ideal Vertebrae Labelling.Sekuboyina, A., Irmai, J., Shit, S., Kirschke, J., Andres, B. & Menze, B. H., 2023, 2023 IEEE 20th International Symposium on Biomedical Imaging (ISBI), Cartagena, Colombia. p. 1-5, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Representative Answer Sets: Collecting Something of Everything.Böhl, E., Gaggl, S. A. & Rusovac, D., 2023, p. 271-278, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Revision of the AIG Software Toolkit: A Contribute to More User Friendliness and Algorithmic EfficiencyKucharski, S., Damnik, G., Stahr, F. & Braun, I., 2023, Proceedings of the 15th International Conference on Computer Supported Education - Volume 2, CSEDU 2023. Jovanovic, J., Chounta, I., Uhomoibhi, J. & McLaren, B. (eds.). SCITEPRESS - Science and Technology Publications, Vol. 2. p. 410-417, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Sabrina Spellman at SemEval-2023 Task 5: Discover the Shocking Truth Behind this Composite Approach to Clickbait Spoiling!Birkenheuer, S., Drechsel, J., Justen, P., Pöhlmann, J., Gonsior, J. & Reusch, A., 2023, Proceedings of the 17th International Workshop on Semantic Evaluation (SemEval-2023). Ojha, A. K., Dogruoz, A. S., Da San Martino, G., Madabushi, H. T., Kumar, R. & Sartori, E. (eds.). Association for Computational Linguistics (ACL), p. 969-977, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Secure and Dynamic Publish/Subscribe: LCMsecJasper, M. & Kopsell, S., 2023, 2023 IEEE 98th Vehicular Technology Conference, VTC 2023-Fall - Proceedings. Institute of Electrical and Electronics Engineers (IEEE), p. 1-7Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Securing the Execution of ML Workflows across the Compute ContinuaMartin, A., Lordan Gomis, F. & Lezzi, D., 2023, 8 p.Research output: Contribution to conferences > Paper