From

Institution

Field

Type

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

Reset

Papers matching “process semantics” 124

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
The de novo FAIRification process of a registry for vascular anomalies
2021 Orphanet Journal of Rare Diseases article Computer Science Research Data Management Practices Open access

Karlijn H.J. Groenen, Annika Jacobsen, Martijn G. Kersloot, Bruna dos Santos Vieira, David van Enckevort, Rajaram Kaliyaperumal, +5 more

27

citations
The de novo FAIRification process of a registry for vascular anomalies
2020 medRxiv preprint Computer Science Research Data Management Practices Open access

Karlijn H.J. Groenen, Annika Jacobsen, Martijn G. Kersloot, Bruna dos Santos Vieira, David van Enckevort, Rajaram Kaliyaperumal, +5 more

8

citations
Adapted Ontology Development Process: A Co-Simulation Scenario Ontology for Energy Systems
2026 Open Conference Proceedings conference-paper Computer Science Semantic Web and Ontologies Open access

Jan Sören Schwarz, Philipp Schmurr, Corinna Seiwerth, Zhiyu Pan, Ramiz Qussous

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
Model checking smart contracts for Ethereum
2020 Pervasive and Mobile Computing article Computer Science Blockchain Technology Applications and Security

Thomas Osterland, Thomas Rose

47

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
Enjoy the Silence: Analysis of Stochastic Petri Nets with Silent Transitions
2023 arXiv (Cornell University) preprint Computer Science Petri Nets in System Modeling Open access

Sander J. J. Leemans, Fabrizio Maria Maggi, Marco Montali

0

citations
Methodik zur Modularisierung und Komposition von Datenmodellen in der agilen Softwareentwicklung
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Model-Driven Software Engineering Techniques Open access

Achim Lindt

0

citations
Generative Datalog with Continuous Distributions
2020 ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS) conference-paper Computer Science Advanced Database Systems and Queries

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

7

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
Generative Datalog with Continuous Distributions
2020 arXiv (Cornell University) preprint Computer Science Advanced Database Systems and Queries Open access

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

0

citations
Explaining Boolean-Logic Driven Markov Processes using GSPNs
2020 European Dependable Computing Conference conference-paper Computer Science Petri Nets in System Modeling

Shahid Ali Khan, Joost-Pieter Katoen, Marc Bouissou

5

citations
Enhancing System Model Quality: Evaluation of the Systems Modeling Language (SysML)-Driven Approach in Avionics
2025 Journal of Aerospace Information Systems article Computer Science Model-Driven Software Engineering Techniques Open access

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

7

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
Explicit versus implicit models: What are good languages for modeling?
2022 Software & Systems Modeling article Computer Science Model-Driven Software Engineering Techniques Open access

Jeff Gray, Bernhard Rumpe⋆

2

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
Infinite Probabilistic Databases
2022 Logical Methods in Computer Science article Computer Science Advanced Database Systems and Queries Open access

Martin Grohe, Peter Lindner

5

citations
Verifying Belief-Based Programs via Symbolic Dynamic Programming
2023 Frontiers in artificial intelligence and applications book-chapter Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Qinfei Huang, Vaishak Belle, Gerhard Lakemeyer

1

citations
Metadata4Ing: An ontology for describing the generation of research data within a scientific activity.
2025 Zenodo (CERN European Organization for Nuclear Research) other Computer Science Research Data Management Practices Open access

0

citations
FAIRness assessment of the metadata of omics datasets in online repositories
2026 Journal of Biomedical Semantics article Computer Science Research Data Management Practices Open access

Nirupama Benis, Eleni Mina, Ronald Cornet

0

citations
OntoURL: A benchmark for evaluating large language models on symbolic ontological understanding, reasoning and learning
2026 Journal of Web Semantics article Computer Science Semantic Web and Ontologies Open access

Xiao Zhang, Huiyuan Lai, Qianru Meng, Johan Bos

0

citations
Enabling the digital transformation in materials science and engineering: leveraging ontologies for knowledge representation, provenance, and text mining
2025 JuSER (Forschungszentrum Jülich) dissertation Computer Science Semantic Web and Ontologies Open access

0

citations
SEDAR: A Semantic Data Reservoir for Heterogeneous Datasets
2023 ACM International Conference on Information and Knowledge Management (CIKM) conference-paper Computer Science Semantic Web and Ontologies Open access cited by 5 patents

Sayed Hoseini, Haron Shaker, Christoph Quix

11

citations
Semantic data management with applications in data-driven chemistry
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Semantic Web and Ontologies Open access

Sayed Massih Hoseini

0

citations