Advanced search

Authors whose works are in public domain in at least one jurisdiction

List of works by Josep Carmona

1-50 of 54 results

View this query on the Wikidata Query Service
Process Mining Manifesto

scientific article published in 2012
Measuring precision of modeled behavior

A Fresh Look at Precision in Process Conformance

scientific article published in 2010
Process Mining from a Basis of State Regions

scientific article published in 2010
New Region-Based Algorithms for Deriving Bounded Petri Nets

scholarly article by Josep Carmona et al published March 2010 in IEEE Transactions on Computers
Single-Entry Single-Exit decomposed conformance checking

article by Jorge Munoz-Gama et al published December 2014 in Information Systems
Process Mining Meets Abstract Interpretation

article
Process Discovery Algorithms Using Numerical Abstract Domains

article
Divide-and-Conquer Strategies for Process Mining

Enhancing precision in Process Conformance: Stability, confidence and severity

scientific article published in April 2011
Projection approaches to process mining using region-based techniques

scientific article published on 12 June 2011
Log-Based Simplification of Process Models

Online Techniques for Dealing with Concept Drift in Process Mining

scientific article published in 2012
Elastic Circuits

article
A Symbolic Algorithm for the Synthesis of Bounded Petri Nets

article
Compatibility in a multi-component environment

scientific article published in May 2013
Region-Based Foldings in Process Discovery

scientific article published in January 2013
Encoding Large Asynchronous Controllers With ILP Techniques

Conformance Checking in the Large: Partitioning and Topology

Anti-alignments in Conformance Checking – The Dark Side of Process Models

scientific article published in 2016
The Label Splitting Problem

scientific article published in 2012
Genet: A Tool for the Synthesis and Mining of Petri Nets

scholarly article
Unfolding-Based Process Discovery

scientific article published in 2015
An SMT-Based Discovery Algorithm for C-Nets

scientific article published in 2012
Brownian Circuits

Integrating formal verification in an online judge for e-Learning logic circuit design

Aligning textual and model-based process descriptions

scientific article published in November 2018
A Recommender System for Process Discovery

scientific article published in 2014
Formal methods for the analysis and synthesis of nanometer-scale cellular arrays

Logic Synthesis of Handshake Components Using Structural Clustering Techniques

scientific article published in 2009
State encoding of large asynchronous controllers

The Alignment of Formal, Structured and Unstructured Process Descriptions

scientific article published in 2017
A Method for Assessing Parameter Impact on Control-Flow Discovery Algorithms

scientific article published in 2016
A High-Level Strategy for C-net Discovery

scientific article published in June 2012
Amending C-net discovery algorithms

scientific article published in 2013
Synthesis of asynchronous controllers using integer linear programming

Conformance Checking

scientific article published in 2018
Communication Requirements for Team Automata

scientific article published in 2017
A Recursive Paradigm for Aligning Observed Behavior of Large Structured Process Models

scientific article published in 2016
Incremental Process Discovery

scientific article published in 2012
Fraud Detection in Energy Consumption: A Supervised Approach

scientific article published in October 2016
A structural encoding technique for the synthesis of asynchronous circuits

Process Model Comparison Based on Cophenetic Distance

scientific article published in 2016
A Unified Approach for Measuring Precision and Generalization Based on Anti-alignments

scientific article published in 2016
Analytical Performance Modeling of Hierarchical Interconnect Fabrics

From molecular interactions to gates: a systematic approach

Hierarchical Conformance Checking of Process Models Based on Event Logs

Rbminer: A Tool for Discovering Petri Nets from Transition Systems

scientific article published in 2010
Mining Conditional Partial Order Graphs from Event Logs

scientific article published in 2016
Conditions for Compatibility of Components

scientific article published in 2016

Paulina is supported by:

About Paulina

Help