Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Sofronie-Stokkermans, Viorica
On symbol elimination in theory extensions and applications to parametric verification.Logic Colloquium 2023 - European Summer Meeting of the Association for Symbolic Logic, University of Milano, 5-9 June 2023, Book of Abstracts. https://lc2023.unimi.it/wp-content/uploads/2023/06/book-of-abstracts-LC2023.pdf. 2023 S. 9
Großer, Katharina; Rukavitsyna, Marina; Jürjens, Jan
A Comparative Evaluation of Requirement Template SystemsKurt Schneider; Fabiano Dalpiaz; Jennifer Horkoff (Hrsg). Proceedings of the 31st International Requirements Engineering Conference RE 2023; 4 - 8 September 2023, Hannover, Germany. Los Alamitos, CA: IEEE Computer Society 2023 S. 41 - 52
Zhao, Mengyisong; Harvey, Morgan; Cameron, Dave et al.
An Analysis of Classification Approaches for Hit Song Prediction using Engineered Metadata Features with Lyrics and Audio FeaturesIsaac Sserwanga; Anne Goulding; Heather Moulaison-Sandy; Jia Tina Du; António Lucas Soares; Viviane Hessami; Rebecca D. Frank (Hrsg). Information for a Better World: Normality, Virtuality, Physicality, Inclusivity; 18th International Conference, iConference 2023, Virtual Event, March 13–17, 2023, Proceedings, Part I. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2023 S. 303 - 311
Paramita, Monica Lestari; Kasinidou, Maria; Kleanthous, Styliani et al.
BASE: a Bias-Aware news Search Engine for improving user awareness [Prototype]Omar Alonso; Ricardo Baeza-Yates; Tracy Holloway King; Gianmaria Silvello (Hrsg). Proceedings of the Third International Conference on Design of Experimental Search & Information REtrieval Systems DESIRES 2022: San Jose, CA, USA, August 30-31, 2022. Aachen: CEUR/RWTH 2023 S. 76 - 82
Boukhers, Zeyd; Bouabdellah, Azeddine; Yang, Cong et al.
Beyond Trading Data: The Hidden Influence of Public Awareness and Interest on Cryptocurrency VolatilityIngo Frommholz; Frank Hopfgartner; Mark Lee; Michael Oakes; Mounia Lalmas; Min Zhang; Rodrygo Santos; Carl Yang; Chanyoung Park (Hrsg). CIKM 23: Proceedings of the 32nd International Conference on information and Knowledge Management; October 21–25, 2023 Birmingham, United Kingdom. New York, NY: ACM Association for Computing Machinery 2023 S. 142 - 151
Tuma, Katja; Peldszus, Sven; Strüber, Daniel et al.
Checking security compliance between models and codeSoftware and Systems Modeling. Bd. 22. H. 1. Berlin: Springer 2023 S. 273 - 296
Frommholz, Ingo; Hopfgartner, Frank; Lee, Mark et al.
CIKM 23: Proceedings of the 32nd International Conference on information and Knowledge Management; October 21–25, 2023 Birmingham, United KingdomNew York, NY: ACM Association for Computing Machinery 2023
Fechner, Richard; Dörpinghaus, Jens; Firll, Anja
Classifying Industrial Sectors from German Textual Data with a Domain Adapted TransformerMaria Ganzha; Leszek Maciaszek; Marcin Paprzycki; Dominik Ślęzak (Hrsg). Proceedings of the 18th Conference on Computer Science and Intelligence Systems : September 17–20, 2023. Warsaw, Poland. Warschau: Polskie Towarzystwo Informatyczne 2023 S. 463 - 470
Hasso, Hussein; Großer, Katharina; Aymaz, Iliass et al.
Enhanced abbreviation–expansion pair detection for glossary term extractionInformation and Software Technology. Bd. 159. Amsterdam: Elsevier 2023 S. 107203
Cao, Chen; Zhao, Xin; Hopfgartner, Frank
Enhancing Chinese International Students’ Motivation and Engagement in a STEM Subject in UK Higher Education: A Case of Gamification in ProgrammingJose Luis Rodriguez Illera; Piet Kommers; Zhong Sun; Mario Barajas Frutos; Baohui Zhang; Mike Joy; Núria Molas (Hrsg). Proceedings of the 14th International Conference on Education Technology and Computers ICETC 2022: October 28-30, 2022; University of Barcelona, Spain. New York, NY: ACM Association for Computing Machinery 2023 S. 6 - 11