Not finding it? Sign in to also search OpenAlex live.
-
Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning2021 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
33citations -
A Library of Literals, Expressions, Types, and Statements for Compositional Language Design.2020 The Journal of Object Technology article Computer Science Model-Driven Software Engineering Techniques Open access
Arvid Butting, Robert Eikermann, Katrin Hölldobler, Nico Jansen, Bernhard Rumpe⋆, Andreas Wortmann
10citations -
From Prose to Prototype: Synthesising Executable UML Models from Natural Language2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) conference-paper Computer Science Model-Driven Software Engineering Techniques Open access
Guus J. Ramackers, Pepijn Griffioen, Martijn B. J. Schouten, Michel R. V. Chaudron
8citations -
Enhancing System Model Quality: Evaluation of the Systems Modeling Language (SysML)-Driven Approach in Avionics2025 Journal of Aerospace Information Systems article Computer Science Model-Driven Software Engineering Techniques Open access
Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe⋆
8citations -
Word-Emoji Embeddings from large scale Messaging Data reflect real-world Semantic Associations of Expressive Icons2020 arXiv (Cornell University) preprint Computer Science Digital Communication and Language Open access
Jens Helge Reelfs, Oliver Hohlfeld, Markus Strohmaier, Niklas Henckell
2citations -
Mind the Gap: Exposing LLM Translation Blind Spots Using the AlphaMWE Multilingual Parallel Corpus2026 Conference on Machine Translation (WMT) conference-paper Computer Science Natural Language Processing Techniques Open access
L. Han, Jiahui Liang, Anna Latusek, K. El Haff, A. Haddad, Josua Höfgen, +3 more
0citations -
The Effect of LLM-Based NPC Emotional States on Player Emotions: An Analysis of Interactive Game Play2024 IEEE Conference on Games (CoG) conference-paper Computer Science Artificial Intelligence in Games
Alessandro Marincioni, Myriana Miltiadous, Katerina Zacharia, Rick Heemskerk, Georgios Doukeris, Mike Preuß, +1 more
17citations -
Vibe Coding in Practice: Building a Driving Simulator Without Expert Programming Skills2025 International Conference on Automotive User Interfaces and Interactive Vehicular Applications (AutomotiveUI) conference-paper Computer Science Software Engineering Research Open access
Margarida Fortes-Ferreira, Md Shadab Alam, Pavlo Bazilinskyy
12citations