From

Institution

Field

Type

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

Reset

Papers matching “semantics” 285

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
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 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
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
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
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
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
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
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
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 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

Erich Grädel, Lovro Mrkonjić

1

citations
Filling the Semantics Gap in Industrial Communication: Middleware+ for an Internet of Production
2021 IFAC-PapersOnLine article Computer Science Service-Oriented Architecture and Web Services Open access

Raphael Kiesel, Arno Weiss, Robert Heinrich Schmitt

4

citations
Provenance Analysis and Semiring Semantics for First-Order Logic
2024 arXiv (Cornell University) preprint Computer Science Semantic Web and Ontologies Open access

Erich Grädel, Val Tannen

1

citations
Artefact for PhD thesis "Dynamic Fault Trees: Semantics, Analysis and Applications"
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Software System Performance and Reliability Open access

Matthias Volk

0

citations
Artefact for PhD thesis "Dynamic Fault Trees: Semantics, Analysis and Applications"
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Software System Performance and Reliability Open access

Matthias Volk

0

citations
On the Presburger fragment of logics with multiteam semantics
2022 Annals of Pure and Applied Logic article Computer Science Logic, Reasoning, and Knowledge

Richard Wilke

1

citations