Open Access Helper

OpenAlex Citation Counts

OpenAlex Citations Logo

OpenAlex is a bibliographic catalogue of scientific papers, authors and institutions accessible in open access mode, named after the Library of Alexandria. It's citation coverage is excellent and I hope you will find utility in this listing of citing articles!

If you click the article title, you'll navigate to the article, as listed in CrossRef. If you click the Open Access links, you'll navigate to the "best Open Access location". Clicking the citation count will open this listing for that article. Lastly at the bottom of the page, you'll find basic pagination options.

Requested Article:

Optimized SAT encoding of conformance checking artefacts
Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
Computing (2020) Vol. 103, Iss. 1, pp. 29-50
Closed Access | Times Cited: 23

Showing 23 citing articles:

PM4Py: A process mining library for Python
Alessandro Berti, Sebastiaan van Zelst, Daniel Schuster
Software Impacts (2023) Vol. 17, pp. 100556-100556
Open Access | Times Cited: 53
Process Tree Alignments
Christopher T. Schwanen, Wied Pakusa, Wil M. P. van der Aalst
Lecture notes in computer science (2025), pp. 300-317
Closed Access | Times Cited: 1
Conformance Checking: Foundations, Milestones and Challenges
Josep Carmona, Boudewijn F. van Dongen, Matthias Weidlich
Lecture notes in business information processing (2022), pp. 155-190
Open Access | Times Cited: 30
Static and dynamic techniques for iterative test-driven modelling of Dynamic Condition Response Graphs
Axel Kjeld Fjelrad Christfort, Vlad Paul Cosma, Søren Debois, et al.
Data & Knowledge Engineering (2025), pp. 102413-102413
Closed Access
Data-aware conformance checking with SMT
Paolo Felli, Alessandro Gianola, Marco Montali, et al.
Information Systems (2023) Vol. 117, pp. 102230-102230
Open Access | Times Cited: 9
CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT
Paolo Felli, Alessandro Gianola, Marco Montali, et al.
Lecture notes in computer science (2021), pp. 217-234
Closed Access | Times Cited: 19
Multi-perspective conformance checking of uncertain process traces: An SMT-based approach
Paolo Felli, Alessandro Gianola, Marco Montali, et al.
Engineering Applications of Artificial Intelligence (2023) Vol. 126, pp. 106895-106895
Open Access | Times Cited: 5
Conformance Checking with Model Projections
Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen
Lecture notes in computer science (2024), pp. 61-82
Closed Access | Times Cited: 1
Object-Centric Conformance Alignments with Synchronization
Alessandro Gianola, Marco Montali, Sarah Winkler
Lecture notes in computer science (2024), pp. 3-19
Closed Access | Times Cited: 1
Aligning Event Logs to Resource-Constrained $$\nu $$-Petri Nets
Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen
Lecture notes in computer science (2022), pp. 325-345
Closed Access | Times Cited: 6
Conformance Checking with Uncertainty via SMT
Paolo Felli, Alessandro Gianola, Marco Montali, et al.
Lecture notes in computer science (2022), pp. 199-216
Closed Access | Times Cited: 6
Data-Aware Declarative Process Mining with SAT
Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi, et al.
ACM Transactions on Intelligent Systems and Technology (2023) Vol. 14, Iss. 4, pp. 1-26
Open Access | Times Cited: 3
Explainable conformance checking: Understanding patterns of anomalous behavior
Azadeh Sadat Mozafari Mehr, Renata Medeiros de Carvalho, Boudewijn F. van Dongen
Engineering Applications of Artificial Intelligence (2023) Vol. 126, pp. 106827-106827
Open Access | Times Cited: 3
Efficient Approximate Conformance Checking Using Trie Data Structures
Ahmed Awad, Kristo Raun, Matthias Weidlich
(2021), pp. 1-8
Closed Access | Times Cited: 8
Sampling What Matters: Relevance-guided Sampling of Event Logs
Martin Kabierski, Hoang Lam Nguyen, Lars Grunske, et al.
(2021), pp. 64-71
Closed Access | Times Cited: 6
Conformance checking artefacts through weighted partial MaxSAT
Jesús Ojeda
Information Systems (2023) Vol. 114, pp. 102168-102168
Closed Access | Times Cited: 2
I Will Survive: An Event-driven Conformance Checking Approach Over Process Streams
Kristo Raun, Riccardo Tommasini, Ahmed Awad
(2023), pp. 49-60
Open Access | Times Cited: 2
Efficient Optimal Alignment Between Dynamic Condition Response Graphs and Traces
Axel Kjeld Fjelrad Christfort, Tijs Slaats
Lecture notes in computer science (2023), pp. 3-19
Closed Access | Times Cited: 2
An A*-Algorithm for Computing Discounted Anti-Alignments in Process Mining
Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
(2021), pp. 25-31
Open Access | Times Cited: 3
Conformance Checking: A Systemic View
Boudewijn F. van Dongen
Lecture notes in business information processing (2022), pp. 61-72
Closed Access | Times Cited: 1
CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version)
Paolo Felli, Alessandro Gianola, Marco Montali, et al.
arXiv (Cornell University) (2021)
Open Access | Times Cited: 1
C-3PA: Streaming Conformance, Confidence and Completeness in Prefix-Alignments
Kristo Raun, Max Nielsen, Andrea Burattin, et al.
Lecture notes in computer science (2023), pp. 437-453
Closed Access
Partial MaxSAT Computation of Conformance Checking Artefacts
Jesús Ojeda
(2021), pp. 17-24
Closed Access
Page 1

Scroll to top