From

Institution

Field

Type

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

Reset

Papers matching “process semantics” 339

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Towards an OR-Join Semantics that Meets Expectations
2026 Lecture notes in computer science conference-paper Business, Management and Accounting Business Process Modeling and Analysis

Andreas V. Hense, Wil M. P. van der Aalst

0

citations
Data-Aware Process Oriented Query Language
2021 Springer eBooks book-chapter Business, Management and Accounting Business Process Modeling and Analysis

Eduardo González López de Murillas, Hajo Alexander Reijers, Wil M. P. van der Aalst

2

citations
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
Tool-Assisted Conformance Checking to Reference Process Models
2025 arXiv (Cornell University) preprint Business, Management and Accounting Business Process Modeling and Analysis Open access

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

2

citations
Asset management knowledge graph for production plants in process industry
2024 at - Automatisierungstechnik article Engineering Digital Transformation in Industry

Ramy Hana, Tobias Kleinert

0

citations
An In-Context Foundation Model for Predictive Process Monitoring on Event Logs
2026 IEEE Access article Business, Management and Accounting Business Process Modeling and Analysis Open access

Alessandro Berti, Wil M. P. van der Aalst

0

citations
An In-Context Foundation Model for Predictive Process Monitoring on Event Logs
2026 IEEE Access article Business, Management and Accounting Business Process Modeling and Analysis Open access

Alessandro Berti, Wil M. P. van der Aalst

0

citations
Science fiction and innovation: A literature analysis on science fiction-related methods mapped into the innovation process
2026 Futures article Social Sciences Innovation, Technology, and Society Open access

Sven Schimpf, Michael Lauster, Jan Oliver Schwarz, Marcus John

5

citations
The IEEE XES Standard for Process Mining: Experiences, Adoption, and Revision [Society Briefs]
2024 IEEE Computational Intelligence Magazine article Business, Management and Accounting Business Process Modeling and Analysis Open access

Moe Thandar Wynn, Wil M. P. van der Aalst, H. M. W. Verbeek, Bruno Di Stefano

8

citations
Towards a Natural Language Conversational Interface for Process Mining
2022 Lecture notes in business information processing conference-paper Business, Management and Accounting Business Process Modeling and Analysis Open access

Luciana Barbieri, Edmundo R. M. Madeira, Kleber Stroeh, Wil M. P. van der Aalst

9

citations
Development of a Unified Function Library for Composable and Generatable Skills in Process and Manufacturing Control
2024 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Engineering Flexible and Reconfigurable Manufacturing Systems

Tobias Kleinert

0

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
SynthRoads: A framework for comprehensive enrichment of the Scan-to-Twin process for road space modeling with synthetic data
2026 Advanced Engineering Informatics article Engineering 3D Modeling in Geospatial Applications Open access

David Crampen, Marcel Hein, Jörg Blankenbach

0

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
Digital twin framework for the ex-ante evaluation of process-level decarbonisation measures
2026 RWTH Publications (RWTH Aachen) dissertation Engineering Digital Transformation in Industry Open access

Rosario Othen

0

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
Compositional workflow modeling with priority constraints
2020 Science of Computer Programming article Business, Management and Accounting Business Process Modeling and Analysis Open access

Behnaz Changizi, Natallia Kokash, Farhad Arbab, Леонид Петрович Махнист

2

citations
Computing Alignments for Partially-Ordered Traces Through Petri Net Unfoldings
2025 Lecture notes in computer science conference-paper Business, Management and Accounting Business Process Modeling and Analysis Open access

Wil M. P. van der Aalst, Daniel Schuster

1

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
Multi-Dimensional Event Data in Graph Databases
2021 Journal on Data Semantics article Business, Management and Accounting Business Process Modeling and Analysis Open access cited by 2 patents

Stefan Esser, Dirk Fahland

103

citations
Analysis of the OR-join Survey Results: 14 situation, 37 participants, 5 Or-join policies
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Business, Management and Accounting Business Process Modeling and Analysis Open access

Wil M. P. van der Aalst, Andreas V. Hense

0

citations
Analysis of the OR-join Survey Results: 14 situation, 37 participants, 5 Or-join policies
2026 Publication Server of Bonn-Rhein-Sieg University of Applied Sciences (Bonn-Rhein-Sieg University of Applied Sciences) other Business, Management and Accounting Business Process Modeling and Analysis Open access

Wil M. P. van der Aalst, Andreas V. Hense

0

citations