Lista de obras - Josep Carmona - Dominio Público Uruguay

A Fresh Look at Precision in Process Conformance

artículo científico publicado en 2010

A High-Level Strategy for C-net Discovery

artículo científico publicado en 2012

A Method for Assessing Parameter Impact on Control-Flow Discovery Algorithms

artículo científico publicado en 2016

A Recommender System for Process Discovery

artículo científico publicado en 2014

A Recursive Paradigm for Aligning Observed Behavior of Large Structured Process Models

artículo científico publicado en 2016

A Symbolic Algorithm for the Synthesis of Bounded Petri Nets

article

A Unified Approach for Measuring Precision and Generalization Based on Anti-alignments

artículo científico publicado en 2016

A structural encoding technique for the synthesis of asynchronous circuits

Aligning textual and model-based process descriptions

artículo científico publicado en 2018

Amending C-net discovery algorithms

artículo científico publicado en 2013

An SMT-Based Discovery Algorithm for C-Nets

artículo científico publicado en 2012

Analytical Performance Modeling of Hierarchical Interconnect Fabrics

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

artículo científico publicado en 2016

Brownian Circuits

Communication Requirements for Team Automata

artículo científico publicado en 2017

Compatibility in a multi-component environment

artículo científico publicado en 2013

Conditions for Compatibility of Components

artículo científico publicado en 2016

Conformance Checking

artículo científico publicado en 2018

Conformance Checking in the Large: Partitioning and Topology

Divide-and-Conquer Strategies for Process Mining

Elastic Circuits

article

Encoding Large Asynchronous Controllers With ILP Techniques

Enhancing precision in Process Conformance: Stability, confidence and severity

artículo científico publicado en 2011

Formal methods for the analysis and synthesis of nanometer-scale cellular arrays

Fraud Detection in Energy Consumption: A Supervised Approach

artículo científico publicado en 2016

From molecular interactions to gates: a systematic approach

Genet: A Tool for the Synthesis and Mining of Petri Nets

scholarly article

Hierarchical Conformance Checking of Process Models Based on Event Logs

Incorporating Negative Information in Process Discovery

artículo científico publicado en 2015

Incremental Process Discovery

artículo científico publicado en 2012

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

Log-Based Simplification of Process Models

Logic Synthesis of Handshake Components Using Structural Clustering Techniques

artículo científico publicado en 2009

Measuring precision of modeled behavior

Mining Conditional Partial Order Graphs from Event Logs

artículo científico publicado en 2016

New Region-Based Algorithms for Deriving Bounded Petri Nets

scholarly article by Josep Carmona et al published March 2010 in IEEE Transactions on Computers

Online Techniques for Dealing with Concept Drift in Process Mining

artículo científico publicado en 2012

Process Discovery Algorithms Using Numerical Abstract Domains

article

Process Mining Manifesto

artículo científico publicado en 2012

Process Mining Meets Abstract Interpretation

article

Process Mining from a Basis of State Regions

artículo científico publicado en 2010

Process Model Comparison Based on Cophenetic Distance

artículo científico publicado en 2016

Projection approaches to process mining using region-based techniques

artículo científico publicado en 2011

Rbminer: A Tool for Discovering Petri Nets from Transition Systems

artículo científico publicado en 2010

Region-Based Foldings in Process Discovery

artículo científico publicado en 2013

Scheduling Synchronous Elastic Designs

Self-tracking Reloaded: Applying Process Mining to Personalized Health Care from Labeled Sensor Data

artículo científico publicado en 2016

Single-Entry Single-Exit decomposed conformance checking

article by Jorge Munoz-Gama et al published December 2014 in Information Systems

Lista de obras de Josep Carmona

A Fresh Look at Precision in Process Conformance

A High-Level Strategy for C-net Discovery

A Method for Assessing Parameter Impact on Control-Flow Discovery Algorithms

A Recommender System for Process Discovery

A Recursive Paradigm for Aligning Observed Behavior of Large Structured Process Models

A Symbolic Algorithm for the Synthesis of Bounded Petri Nets

A Unified Approach for Measuring Precision and Generalization Based on Anti-alignments

A structural encoding technique for the synthesis of asynchronous circuits

Aligning textual and model-based process descriptions

Amending C-net discovery algorithms

An SMT-Based Discovery Algorithm for C-Nets

Analytical Performance Modeling of Hierarchical Interconnect Fabrics

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

Brownian Circuits

Communication Requirements for Team Automata

Compatibility in a multi-component environment

Conditions for Compatibility of Components

Conformance Checking

Conformance Checking in the Large: Partitioning and Topology

Divide-and-Conquer Strategies for Process Mining

Elastic Circuits

Encoding Large Asynchronous Controllers With ILP Techniques

Enhancing precision in Process Conformance: Stability, confidence and severity

Formal methods for the analysis and synthesis of nanometer-scale cellular arrays

Fraud Detection in Energy Consumption: A Supervised Approach

From molecular interactions to gates: a systematic approach

Genet: A Tool for the Synthesis and Mining of Petri Nets

Hierarchical Conformance Checking of Process Models Based on Event Logs

Incorporating Negative Information in Process Discovery

Incremental Process Discovery

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

Log-Based Simplification of Process Models

Logic Synthesis of Handshake Components Using Structural Clustering Techniques

Measuring precision of modeled behavior

Mining Conditional Partial Order Graphs from Event Logs

New Region-Based Algorithms for Deriving Bounded Petri Nets

Online Techniques for Dealing with Concept Drift in Process Mining

Process Discovery Algorithms Using Numerical Abstract Domains

Process Mining Manifesto

Process Mining Meets Abstract Interpretation

Process Mining from a Basis of State Regions

Process Model Comparison Based on Cophenetic Distance

Projection approaches to process mining using region-based techniques

Rbminer: A Tool for Discovering Petri Nets from Transition Systems

Region-Based Foldings in Process Discovery

Scheduling Synchronous Elastic Designs

Self-tracking Reloaded: Applying Process Mining to Personalized Health Care from Labeled Sensor Data

Single-Entry Single-Exit decomposed conformance checking

State encoding of large asynchronous controllers

Supporting the Process of Learning and Teaching Process Models

Synthesis of asynchronous controllers using integer linear programming

The Alignment of Formal, Structured and Unstructured Process Descriptions

The Label Splitting Problem

Unfolding-Based Process Discovery