From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “programming language standards” 42

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

MISRust: Mapping MISRA-C++ Coding Guidelines to the Rust Programming Language
2026 arXiv (Cornell University) preprint Engineering Safety Systems Engineering in Autonomy Open access

Marius Molz, Niels Schneider, Sven Lechner, Stefan Kowalewski, Alexandru Kampmann

0

citations
Template‐based generation of programming language specific code for smart grid modelling compliant with CIM and CGMES
2022 The Journal of Engineering article Engineering Power Systems and Technologies Open access

Jan Dinkelbach, Lukas Razik, Markus Mirz, Andrea Benigni, Antonello Monti

1

citations
Standards in software development and modeling
2025 Software & Systems Modeling article Computer Science Software Engineering Techniques and Practices Open access

Marsha Chećhik, Benoît Combemale, Jeff Gray, Bernhard Rumpe⋆

0

citations
P03.06 Boolean logic puzzles as a neurosurgical mapping tool to preserve programming skill
2021 Neuro-Oncology conference-abstract Medicine Glioma Diagnosis and Treatment

Marike Donders-Kamphuis, Bas F.W. van der Kallen, Marike L. D. Broekman

0

citations
Evolving Executable Pipeline Programs for AutoML with Language Models
2026 arXiv (Cornell University) preprint Computer Science Machine Learning and Data Classification Open access

Sofoklis Kitharidis, Cor J. Veenman, Jan N. van Rijn, Thomas Bäck, Bas van Stein

0

citations
FlexibleSUSY extended to automatically compute physical quantities in any beyond the standard model theory: Charged lepton flavor violation processes, Higgs decays, and user-defined observables
2024 Computer Physics Communications article Physics and Astronomy Particle physics theoretical and experimental studies Open access

Uladzimir Khasianevich, Wojciech Kotlarski, Dominik Stöckinger, Alexander Voigt

1

citations
Dynamic Separation Logic
2023 Electronic Notes in Theoretical Informatics and Computer Science article Computer Science Logic, programming, and type systems Open access

Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw

1

citations
Quantum Chemistry Common Driver and Databases (QCDB) and Quantum Chemistry Engine (QCE ngine ): Automation and interoperability among computational chemistry programs
2021 The Journal of Chemical Physics article Physics and Astronomy Advanced Chemical Physics Studies Open access

Daniel G. A. Smith, Annabelle T. Lolinco, Zachary L. Glick, Jiyoung Lee, Asem Alenaizan, Taylor Barnes, +42 more

52

citations
Editorial: Conversational AI
2023 Frontiers in Artificial Intelligence editorial Computer Science Speech and dialogue systems Open access

Stephan Raaijmakers, Anita Cremers, Emiel Krahmer, Matthijs Westera

3

citations
Chinese Investment Rules (CIRUS): A Novel Database on the Impact of Large Global Chinese Investments
2025 Academy of Management Proceedings conference-abstract Business, Management and Accounting International Business and FDI

Omar Ramon Serrano Oswald, Matthias Rüdiger, Maria Ljung

0

citations
Surface EMG in Clinical Assessment and Neurorehabilitation: Barriers Limiting Its Use
2020 Frontiers in Neurology article Engineering Muscle activation and electromyography studies Open access

Isabella Campanini, Catherine Dißelhorst-Klug, William Z. Rymer, Roberto Merletti

275

citations
The Role of Open-Source Software in the Energy Sector
2023 Energies article Computer Science Open Source Software Innovations Open access

Jonathan Klimt, Niklas Eiling, Felix Wege, Jonas Baude, Antonello Monti

9

citations
Towards a Data Lake for High Pressure Die Casting
2022 Metals article Engineering Digital Transformation in Industry Open access

Maximilian Rudack, Michael Rath, Uwe Vroomen, Andreas Bührig–Polaczek

9

citations
AutoEFT: Automated operator construction for effective field theories
2024 Computer Physics Communications article Physics and Astronomy Particle physics theoretical and experimental studies Open access

Robert V. Harlander, Magnus C. Schaaf

12

citations
Generative Datalog with Continuous Distributions
2020 ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS) conference-paper Computer Science Advanced Database Systems and Queries

Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner

7

citations
Generative Datalog with Continuous Distributions
2022 Journal of the ACM article Computer Science Advanced Database Systems and Queries Open access

Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner

5

citations
Generative Datalog with Continuous Distributions
2020 arXiv (Cornell University) preprint Computer Science Advanced Database Systems and Queries Open access

Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner

0

citations
A Deductive Verification Infrastructure for Probabilistic Programs
2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

22

citations
A Model-Driven Approach to Design, Generation, and Deployment of GUI Component Libraries
2025 ACM SIGPLAN International Conference on Software Language Engineering (SLE) conference-paper Computer Science Model-Driven Software Engineering Techniques Open access

Arkadii Gerasimov, Nico Jansen, Judith Michael, Bernhard Rumpe⋆

2

citations
Audiovisual translation and media accessibility training in the EMT network
2023 Journal of Audiovisual Translation article Arts and Humanities Subtitles and Audiovisual Media Open access

Susana Valdez, Alina Secară, Emília Peréz, Lindsay Bywood

9

citations
Recommendations for uniform definitions used in newborn screening for severe combined immunodeficiency
2021 Journal of Allergy and Clinical Immunology article Immunology and Microbiology Immunodeficiency and Autoimmune Disorders Open access

Maartje Blom, Rolf H Zetterström, Asbjørg Stray‐Pedersen, Kimberly C Gilmour, Andrew Richard Gennery, Jennifer M. Puck, +1 more

40

citations
Model Checking Temporal Properties of Recursive Probabilistic Programs
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen

9

citations
Model Checking Temporal Properties of Recursive Probabilistic Programs
2023 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

Christina Gehnen, Joost-Pieter Katoen

4

citations
ScipionTomo: Towards cryo-electron tomography software integration, reproducibility, and validation
2022 Journal of Structural Biology article Biochemistry, Genetics and Molecular Biology Advanced Electron Microscopy Techniques and Applications Open access

J. Jiménez de la Morena, Pablo Conesa, Yunior C. Fonseca, F.P. de Isidro-Gómez, David Herreros, Estrella Fernández-Giménez, +24 more

50

citations
ftint: Calculating gradient-flow integrals with pySecDec
2024 Computer Physics Communications article Physics and Astronomy Particle physics theoretical and experimental studies Open access

Robert V. Harlander, Theodoros Nellopoulos, Anton Olsson, Marius Wesle

3

citations