From

Institution

Field

Type

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

Reset

Papers matching “compositional semantics” 9

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection
2026 arXiv (Cornell University) preprint Social Sciences Access Control and Trust Open access

Daham Mohammed Mustafa, Diego Collarana, Yixin Peng, Rafiqul Haque, Christoph Lange-Bever, Christoph Quix, +1 more

0

citations
Compositional Reasoning for Probabilistic Automata with Uncertainty
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Hannah Mertens, Tim Quatmann, Joost-Pieter Katoen

0

citations
A Rewriting Framework for Interacting Cyber-Physical Agents
2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

0

citations
Runtime Composition Of Systems of Interacting Cyber-Physical Components
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

0

citations
Context, Composition, Automation, and Communication -- The C2AC Roadmap for Modeling and Simulation
2023 arXiv (Cornell University) preprint Decision Sciences Simulation Techniques and Applications Open access

Adelinde M. Uhrmacher, Peter I. Frazier, Reiner Hähnle, Franziska Klügl, Fabian Lorig, Bertram Ludäscher, +6 more

3

citations
A Semantic Model for Interacting Cyber-Physical Systems
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

0

citations
HopfE: Knowledge Graph Representation Learning using Inverse Hopf Fibrations
2021 arXiv (Cornell University) preprint Computer Science Advanced Graph Neural Networks Open access

Anson Bastos, Kuldeep Singh, Abhishek Nadgeri, Saeedeh Shekarpour, Isaiah Onando Mulang, Johannes Hoffart

1

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
Probabilistic Salary Prediction with Graph Attention Networks and a Mixture Density Network
2026 arXiv (Cornell University) preprint Computer Science Advanced Graph Neural Networks Open access

Zhipei Qin, Mohammad Shokri, N. van Weeren, F.W. Takes

0

citations

9 results