From

Institution

Field

Type

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

Reset

Papers matching “program representation” 42

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Quad Layouts via Constrained T‐Mesh Quantization
2021 Computer Graphics Forum article Computer Science Computational Geometry and Mesh Generation Open access

Marcel Campen, Leif P. Kobbelt

28

citations
Parameter synthesis in Markov models
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

Sebastian Junges

27

citations
Methodology for agile and iterative ontology development for toolmaking
2023 Procedia CIRP article Computer Science Semantic Web and Ontologies Open access

Tammo Dannen, Lars Stauder, Sebastian Barth, Thomas Bergs

5

citations
Optimising the relative entropy under semidefinite constraints
2026 npj Quantum Information article Computer Science Quantum Information and Cryptography Open access

Gereon Koßmann, René Schwonnek

4

citations
Explicit versus implicit models: What are good languages for modeling?
2022 Software & Systems Modeling article Computer Science Model-Driven Software Engineering Techniques Open access

Jeff Gray, Bernhard Rumpe⋆

2

citations
Error exponent of activated non-signaling assisted classical-quantum channel coding
2024 arXiv (Cornell University) preprint Computer Science Quantum Information and Cryptography Open access

Aadil Oufkir, Marco Tomamichel, Mario Berta

1

citations
Disproving (Positive) Almost-Sure Termination of Probabilistic Term Rewriting via Random Walks
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Jan-Christoph Kassing, Henri Nagel, Alexander Schlecht, Jürgen Giesl

1

citations
VILLASnode API Gateway demonstrated for FMU and OpenDSS Co-Simulation of IEEE13bus System
2026 Open Source Modelling and Simulation of Energy Systems (OSMSES) conference-paper Computer Science Modeling and Simulation Systems

Alexandra Bach, Jitpanu Maneerapongsuk, Antonello Monti

0

citations
qutil
2025 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Computational Physics and Python Applications Open access

0

citations
Narrativizing Care: Exploring Narrative Medicine for Designing AI-Mediated Remote Patient Monitoring
2026 Proceedings of DRS conference-paper Computer Science Innovative Human-Technology Interaction Open access

Somayeh Ranjbar, Tara Capel, Peter A. Lloyd, Douwe Atsma, Somaya Ben Allouch, Jeroen Raijmakers

0

citations
Disproving (Positive) Almost-Sure Termination of Probabilistic Term Rewriting via Random Walks
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Jan-Christoph Kassing, Henri Nagel, Alexander Schlecht, Jürgen Giesl

0

citations
qutil
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Computational Physics and Python Applications Open access

Tobias Hangleiter, Simon Humpohl, Paul Surrey, Han Na We

0

citations
Disproving (Positive) Almost-Sure Termination of Probabilistic Term Rewriting via Random Walks
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Jan-Christoph Kassing, H. Nagel, A. Schlecht, Jürgen Giesl

0

citations
Approximating fixed size quantum correlations in polynomial time
2025 arXiv (Cornell University) preprint Computer Science Quantum Information and Cryptography Open access

Julius A. Zeiss, Gereon Koßmann, Omar Fawzi, Mario Berta

0

citations
Technical Considerations for a Transactional Model to Realize the Digital Extended Specimen
2021 Biodiversity Information Science and Standards article Computer Science Research Data Management Practices Open access

Nelson Rios, Sharif Islam, James Macklin, Andrew C. Bentley

0

citations
Optimal Refinement in Dynamic Discretisation Discovery for Continuous-Time Service Network Design
2026 arXiv (Cornell University) preprint Computer Science Complexity and Algorithms in Graphs Open access

Alexander Helber, Oliver Bachtler, Tom Wüllner

0

citations
EduCrypt: an educational tool for learning game-based cryptographic proofs
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Teaching and Learning Programming Open access

Jonas Broeckmann

0

citations