From

Institution

Field

Type

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

Reset

Papers matching “language composition” 40

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Semantic Difference Analysis with Invariant Tracing for Class Diagrams Extended by OCL
2024 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) conference-paper Computer Science Model-Driven Software Engineering Techniques

Bernhard Rumpe⋆, Max Stachon, Sebastian Stüber, Valdes Voufo

3

citations
A formal framework for distributed cyber-physical systems
2022 Journal of Logical and Algebraic Methods in Programming article Computer Science Logic, programming, and type systems Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

2

citations
A Formal Framework for Distributed Cyber-Physical Systems
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

1

citations
Quantum Deep Learning: A Comprehensive Review
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Yanjun Ji, Zhao-Yun Chen, Marco Roth, David A. Kreplin, Christian Schiffer, Martin King, +7 more

0

citations
Quantum Deep Learning: A Comprehensive Review
2026 JuSER (Forschungszentrum Jülich) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Yanjun Ji, Zhao-Yun Chen, Marco Roth, David A. Kreplin, Christian Schiffer, Martin King, +7 more

0

citations
Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types
2022 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

Alex C. Keizer, Henning Basold, Jorge A. Pérez

4

citations
Towards a Deductive Verification Infrastructure for Weighted Programming
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Emma Ahrens, Samuel Rode, Philipp Schröer, Joost-Pieter Katoen

0

citations
Simulation of Hybrid Reo Connectors
2020 conference-paper Computer Science Formal Methods in Verification

Ebrahim Ardeshir-Larijani, Alireza Farhadi, Farhad Arbab

3

citations
A Compositional Semantics of Boolean-Logic Driven Markov Processes
2023 IEEE Transactions on Dependable and Secure Computing article Computer Science Formal Methods in Verification

Shahid Ali Khan, Joost-Pieter Katoen, Marc Bouissou

3

citations
Differentiable Programming: Efficient Smoothing of Control-Flow-Induced Discontinuities
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Sebastian Christodoulou, Uwe Naumann

2

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
MontiBelle - Toolbox for a Model-Based Development and Verification of Distributed Critical Systems for Compliance with Functional Safety
2020 AIAA SciTech Forum conference-paper Computer Science Formal Methods in Verification

Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe⋆

5

citations
New Tunable Test Problems for Benchmarking Niching Methods for Multimodal Optimization
2024 Genetic and Evolutionary Computation Conference (GECCO) conference-paper Computer Science Metaheuristic Optimization Algorithms Research

Ali Ahrari, Jonathan Edward Fieldsend, Mike Preuß, Xiaodong Li, Michael G. Epitropakis

4

citations
Let's Split Up: Zero-Shot Classifier Edits for Fine-Grained Video Understanding
2026 arXiv (Cornell University) preprint Computer Science Domain Adaptation and Few-Shot Learning Open access

Kaiting Liu, Hazel Doughty

0

citations
A Unified Framework for Zero-Shot Reinforcement Learning
2026 conference-paper Computer Science Reinforcement Learning in Robotics Open access

Jan Felix Kleuker, Aske Plaat, Thomas M. Moerland

0

citations