From

Institution

Field

Type

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

Reset

Papers matching “semantics” 512

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
Of saints and ancestors: The ethnopragmatics and cultural semantics of religious terms
2025 Intercultural Pragmatics article Arts and Humanities Christian Theology and Mission Open access

Felix K. Ameka

0

citations
Multi-label semantics preserving based deep cross-modal hashing
2021 Signal Processing Image Communication article Computer Science Advanced Image and Video Retrieval Techniques

Xitao Zou, Xinzhi Wang, Erwin M. Bakker, Song Wu

60

citations
Automated semantics-preserving parallel decomposition of finite component and connector architectures
2020 Automated Software Engineering article Computer Science Advanced Software Engineering Methodologies

Oliver Kautz, Bernhard Rumpe⋆, Andreas Wortmann

4

citations
Realizing the eRobotics Approach in Semantics-Based Multi-Domain VR Simulation Systems
2020 International Journal of Simulation Systems Science & Technology article Engineering Simulation and Modeling Applications Open access

Nico Hempe, Jürgen Roßmann

2

citations
ASO Visual Abstract: International Expert Consensus on Semantics of Multimodal Esophageal Cancer Treatment—Delphi Study
2024 Annals of Surgical Oncology article Medicine Esophageal Cancer Research and Treatment Open access

Charlène J. van der Zijden, Sjoerd M. Lagarde, Bianca Mostert, Joost J.M.E. Nuyttens, Manon C.W. Spaander, Bas P. L. Wijnhoven, +46 more

0

citations
Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
2025 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

0

citations
Logics of dependence and independence: The local variants
2021 Journal of Logic and Computation article Computer Science Logic, Reasoning, and Knowledge Open access

Erich Grädel, Phil Pützstück

1

citations
Modeling non-deterministic quantum programs for model checking
2025 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

0

citations
Varying Abstractions: a conceptual vs. distributional view on prepositional polysemy
2021 Glossa a journal of general linguistics article Arts and Humanities Syntax, Semantics, Linguistic Variation Open access

Lauren Fonteyn

4

citations
Formalizing spatial-causal polysemy of Agent prepositions
2024 Semantics and Pragmatics article Arts and Humanities Syntax, Semantics, Linguistic Variation Open access

Camil Staps, Johan Rooryck

1

citations
Persian perception verbs
2023 Proceedings of the Lexical Functional Grammar Conference article Arts and Humanities Syntax, Semantics, Linguistic Variation Open access

Ash Asudeh, Siavash Rafiee Rad

0

citations
Nuclear prominence in ellipsis: Evidence from aggressively non-D-linked phrases
2020 Journal of Linguistics article Arts and Humanities Syntax, Semantics, Linguistic Variation Open access

Güliz Güneş, Anikó Lipták

4

citations
Three yě s in Mandarin
2025 International Journal of Chinese Linguistics article Arts and Humanities Syntax, Semantics, Linguistic Variation Open access

Zhaole Yang

3

citations
Degrees of Compositionality (In the Realm of Idioms)
2025 Kriterion – Journal of Philosophy article Arts and Humanities Syntax, Semantics, Linguistic Variation Open access

Thorben Petersen

0

citations
On Implementing Open World Semantic Differencing for Class Diagrams.
2023 The Journal of Object Technology article Computer Science Model-Driven Software Engineering Techniques Open access

Jan Oliver Ringert, Bernhard Rumpe⋆, Max Stachon

6

citations
Generative Datalog with Continuous Distributions
2022 Journal of the ACM article Computer Science Advanced Database Systems and Queries Open access

Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner

5

citations
Guarded Teams: The Horizontally Guarded Case
2020 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Logic, Reasoning, and Knowledge Open access

Erich Grädel, Martin Otto

1

citations
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
2024 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Lutz Klinkenberg, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen

11

citations
Towards a Semantically Useful Definition of Conformance with a Reference Model.
2024 The Journal of Object Technology article Computer Science Model-Driven Software Engineering Techniques Open access

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

5

citations
CDMerge: Semantically Sound Merging of Class Diagrams for Software Component Integration.
2023 The Journal of Object Technology article Computer Science Model-Driven Software Engineering Techniques Open access

Achim Lindt, Bernhard Rumpe⋆, Max Stachon, Sebastian Stüber

2

citations
Independence in Infinite Probabilistic Databases
2022 Journal of the ACM article Computer Science Advanced Database Systems and Queries

Martin Grohe, Peter Lindner

1

citations
Semantic properties of prepositions
2024 Brill s Journal of Afroasiatic Languages and Linguistics article Arts and Humanities Syntax, Semantics, Linguistic Variation Open access

Camil Staps, Martijn Beukenhorst

1

citations
Context, Composition, Automation, and Communication: The C 2 AC Roadmap for Modeling and Simulation
2024 ACM Transactions on Modeling and Computer Simulation article Decision Sciences Simulation Techniques and Applications

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

19

citations
Model-driven development for functional correctness of avionics systems: a verification framework for SysML specifications
2024 CEAS Aeronautical Journal article Computer Science Formal Methods in Verification Open access

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

14

citations