From

Institution

Field

Type

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

Reset

Papers matching “semantics” 636

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 Computer Science Semantic Web and Ontologies Open access

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

0

citations
Logics with Multiteam Semantics
2022 ACM Transactions on Computational Logic article Computer Science Logic, Reasoning, and Knowledge Open access

Erich Grädel, Richard Wilke

8

citations
A Compositional Semantics of Boolean-Logic Driven Markov Processes
2023 IEEE Transactions on Dependable and Secure Computing article Engineering Safety Systems Engineering in Autonomy

Shahid Ali Khan, Joost-Pieter Katoen, Marc Bouissou

3

citations
Logics with Multiteam Semantics
2020 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

0

citations
Semantics in Dataspaces: Origin and Future Directions
2023 ACM Web Conference (WWW) conference-paper Computer Science Semantic Web and Ontologies Open access

Johannes Lipp, Max Kocher, Christoph Lange, Stefan Decker, Alexander Paulus, André Pomp, +1 more

7

citations
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
2021 Logical Methods in Computer Science article Computer Science Logic, Reasoning, and Knowledge Open access

Matthias Hoelzel, Richard Wilke

2

citations
Probabilistic Query Evaluation with Bag Semantics
2022 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Martin Grohe, Peter Lindner, Christoph Standke

1

citations
Development Use Cases for Semantics-Driven Modeling Languages
2023 Communications of the ACM article Computer Science Model-Driven Software Engineering Techniques Open access

Manfred Broy, Bernhard Rumpe⋆

10

citations
Synchronous Execution Semantics for Component & Connector Models
2021 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) conference-paper Computer Science Real-Time Systems Scheduling

Malte Heithoff, Evgeny Kusmenko, Bernhard Rumpe⋆

0

citations
Axis-Aligned Semantics for ODRL: Resolving Dimensional Ambiguity in Policy Constraints
2026 arXiv (Cornell University) preprint Computer Science Natural Language Processing Techniques Open access

Daham Mohammed Mustafa, Diego Collarana, Sabrina Kirrane, Christoph Lange, Christoph Quix, Rafiqul Haque, +2 more

0

citations
Preservation Theorems in Semiring Semantics
2026 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Sophie Brinke, Anuj Dawar, Erich Grädel, Benedikt Pago

0

citations
Preservation Theorems in Semiring Semantics
2026 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Semantic Web and Ontologies Open access

Sophie Brinke, Anuj Dawar, Erich Grädel, Benedikt Pago

0

citations
Preservation Theorems in Semiring Semantics
2026 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Sophie Brinke, Anuj Dawar, Erich Grädel, Benedikt Pago

0

citations
A Compositional Semantics for Repairable BDMPs
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Shahid Ali Khan, Joost-Pieter Katoen, Marc Bouissou

5

citations
Weakest Preexpectation Semantics for Bayesian Inference
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Marcin Szymczak, Joost-Pieter Katoen

5

citations
Separation logic and logics with team semantics
2021 Annals of Pure and Applied Logic article Computer Science Logic, programming, and type systems

Darion Haase, Erich Grädel, Richard Wilke

3

citations
Ehrenfeucht-Fraïssé Games in Semiring Semantics
2023 arXiv (Cornell University) preprint Decision Sciences Scientific Computing and Data Management Open access

Sophie Brinke, Erich Grädel, Lovro Mrkonjić

0

citations
Locality Theorems in Semiring Semantics
2023 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Clotilde Bizière, Erich Grädel, Matthias Naaf

0

citations
Cognitive performance in open-plan office acoustic simulations: Effects of room acoustics and semantics but not spatial separation of sound sources
2023 Applied Acoustics article Health Professions Noise Effects and Management Open access

Manuj Yadav, Markus Georgi, Larissa Leist, Maria Klatte, Sabine J. Schlittmeier, Janina Fels

15

citations
Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics
2022 conference-paper Computer Science Logic, Reasoning, and Knowledge

Erich Grädel, Hayyan Helal, Matthias Naaf, Richard Wilke

7

citations
Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics
2022 RWTH Publications (RWTH Aachen) preprint Computer Science Advanced Algebra and Logic Open access

Erich Grädel, Hayyan Helal, Matthias Naaf

2

citations
Elementary Equivalence Versus Isomorphism in Semiring Semantics
2021 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Logic, Reasoning, and Knowledge Open access

Erich Grädel, Lovro Mrkonjić

2

citations
Semantics of Colours: Ontological, Epistemological Dimensions.
2025 Filosofiya osvity Philosophy of Education article Psychology Color perception and design Open access

Анна Лактіонова

1

citations
Cognitive performance in open-plan office acoustic simulations: Effects of room acoustics and semantics but not spatial separation of sound sources
2023 RWTH Publications (RWTH Aachen) article Health Professions Noise Effects and Management Open access

Manuj Yadav, Markus Georgi, Larissa Leist, Maria Klatte, Sabine J. Schlittmeier, Janina Fels

1

citations
Elementary Equivalence Versus Isomorphism in Semiring Semantics
2021 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

Erich Grädel, Lovro Mrkonjić

1

citations