Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
1
views
27
references
Top references
cited by
2
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,606
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Business Process Management : 19th International Conference, BPM 2021, Rome, Italy, September 06–10, 2021, Proceedings
CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT
other
Author(s):
Paolo Felli
,
Alessandro Gianola
,
Marco Montali
,
Andrey Rivkin
,
Sarah Winkler
Publication date
(Online):
August 28 2021
Publisher:
Springer International Publishing
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
International Journal of Automation & Digital Transformation
Most cited references
27
Record
: found
Abstract
: not found
Article
: not found
A general method applicable to the search for similarities in the amino acid sequence of two proteins
Saul Needleman
,
Christian Wunsch
(1970)
0
comments
Cited
495
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Z3: An Efficient SMT Solver
Leonardo de Moura
,
Nikolaj Bjørner
(2008)
0
comments
Cited
131
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book
: not found
Process Mining
Wil M. P. van der Aalst
(2011)
0
comments
Cited
115
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2021
Publication date (Online):
August 28 2021
Pages
: 217-234
DOI:
10.1007/978-3-030-85469-0_15
SO-VID:
ce917fdd-a782-4936-b502-822181523efe
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 3
Process Automation and Process Mining in Manufacturing
pp. 17
Cognitive Effectiveness of Representations for Process Mining
pp. 23
RuM: Declarative Process Mining, Distilled
pp. 30
Applications of Automated Planning for Business Process Management
pp. 37
Artifact-Driven Process Monitoring: A Viable Solution to Continuously and Autonomously Monitor Business Processes
pp. 47
Weighing the Pros and Cons: Process Discovery with Negative Examples
pp. 65
A Method for Debugging Process Discovery Pipelines to Analyze the Consistency of Model Properties
pp. 85
Extracting Decision Models from Textual Descriptions of Processes
pp. 105
Robust and Generalizable Predictive Models for Business Processes
pp. 123
Incremental Predictive Process Monitoring: The Next Activity Case
pp. 141
Learning Uncertainty with Artificial Neural Networks for Improved Remaining Time Prediction of Business Processes
pp. 161
Zoom and Enhance: Action Refinement via Subprocesses in Timed Declarative Processes
pp. 179
Delta-BPMN: A Concrete Language and Verifier for Data-Aware BPMN
pp. 197
A Real-Time Method for Detecting Temporary Process Variants in Event Log Data
pp. 217
CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT
pp. 235
Aligning Data-Aware Declarative Process Models and Event Logs
pp. 252
A Discounted Cost Function for Fast Alignments of Business Processes
pp. 273
Task Clustering Method Using User Interaction Logs to Plan RPA Introduction
pp. 289
From Symbolic RPA to Intelligent RPA: Challenges for Developing and Operating Intelligent Software Robots
pp. 327
Multivariate Business Process Representation Learning Utilizing Gramian Angular Fields and Convolutional Neural Networks
pp. 345
Seeing the Forest for the Trees: Group-Oriented Workforce Analytics
pp. 363
A Case Study of Inconsistency in Process Mining Use: Implications for the Theory of Effective Use
pp. 383
A Robust and Accurate Approach to Detect Process Drifts from Event Streams
pp. 417
Graph Autoencoders for Business Process Anomaly Detection
pp. 437
Drivers and Barriers of the Digital Innovation Process – Case Study Insights from a German Public University
pp. 455
A Stakeholder Engagement Model for Process Improvement Initiatives
Similar content
3,606
Automated Verification of Silq Quantum Programs using SMT Solvers
Authors:
Marco Lewis
,
Paolo Zuliani
,
Sadegh Soudjani
SMT proof checking using a logical framework
Authors:
Aaron Stump
,
Duckki Oe
,
Andrew Reynolds
…
Instrução Normativa SMT n. 001, de 17 de fevereiro de 2012. Estabelece normas e procedimentos relacionados ao credenciamento de condutores ambientais locais junto à Secretaria Municipal de Turismo de Garopaba
Authors:
See all similar
Cited by
2
Conformance Checking: Foundations, Milestones and Challenges
Authors:
Josep Carmona
,
Boudewijn van Dongen
,
Matthias Weidlich
CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT
Authors:
Paolo Felli
,
Alessandro Gianola
,
Marco Montali
…
See all cited by