Publications

2023

• Investigating the Impact of Non-Volatile Memories on Energy-Efficiency of Coarse-Grained Reconfigurable ArchitecturesAliagha, E., Iskandar, V., Enseleit, S. & Gohringer, D., 2023, Proceedings - 2023 26th Euromicro Conference on Digital System Design, DSD 2023. Niar, S., Ouarnoughi, H. & Skavhaug, A. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 748-755, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Learning Mealy Machines with Local TimersKogel, P., Klös, V. & Glesner, S., 2023, Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Proceedings. Li, Y. & Tahar, S. (eds.). Springer Science and Business Media B.V., p. 47-64, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, ProceedingsGaggl, S. A., Martinez, M. V. & Ortiz, M., 2023, Springer VS/Springer Fachmedien, 831 p.Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• 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.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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, Vol. 3515Electronic (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
• 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
• 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
• 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
• Proceedings 39th International Conference on Logic Programming, ICLP 2023, Imperial College London, UK, 9th July 2023 - 15th July 2023.Pontelli, E., Costantini, S., Dodaro, C., Gaggl, S. A., Garcez, A. S. D., Fabiano, F., Mileo, A. & 2 others, 2023, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 385Electronic (full-text) versionResearch output: Contribution to journal > Editorial (Lead article)
• 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 Inc.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 Inc., 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
• Semi-automatic Generation of Historical Urban 3D Models at a Larger Scale Using Structure-from-Motion, Neural Rendering and Historical MapsMaiwald, F., Komorowicz, D., Munir, I., Beck, C. & Münster, S., 2023, UHDL 2023: Research and Education in Urban History in the Age of Digital Libraries . p. 107-127Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Seminarkonzept zur fachlichen und fachdidaktischen Qualifizierung von Informatiklehramtsstudierenden zum Maschinellen LernenMarx, E. & Bergner, N., 2023, 10. Fachtagung Hochschuldidaktik Informatik (HDI) 2023. Gesellschaft fur Informatik (GI), Vol. 10. p. 65-74, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Seminar zur informatischen Bildung in der GrundschuleNenner, C. & Bergner, N., 2023, 10. Fachtagung Hochschuldidaktik Informatik (HDI) 2023. Desel, J. & Opel, S. (eds.). FernUniversität in Hagen, p. 75-85, 11 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution