Morphosyntactic analysis and parsing of unrestricted Spanish text. - Jordi Atserias Batalla; Josep Carmona Vargas; Irene Castellón Masalles; Sergi Cervell; Montserrat Civit Torruella; Lluís Màrquez; Maria Antònia Martí Antonín; Lluís Padró Cirera; Roberto Placer; Horacio Rodríguez Hontoria; Mariona Taulé Delor; Jordi Turmo (LREC, 1998)

An environment for mophosyntactic processing of unrestricted Spanish text. - Josep Carmona Vargas; Sergi Cervell; Lluís Màrquez; Maria Antònia Martí; Lluís Padró Cirera; Roberto Placer; Horacio Rodríguez; Mariona Taulé Delor; Jordi Turmo (LREC, 1998)

Improving POS Tagging Using Machine-Learning Techniques. - Lluís Màrquez; Horacio Rodríguez; Josep Carmona 001; Josep Montolio (EMNLP, 1999)

Synthesis of Reactive Systems: Application to Asynchronous Circuit Design. - Josep Carmona 001; Jordi Cortadella; Enric Pastor (Concurrency and Hardware Design, 2002)

Input/Output Compatibility of Reactive Systems. - Josep Carmona 001; Jordi Cortadella (FMCAD, 2002)

A structural encoding technique for the synthesis of asynchronous circuits. - Josep Carmona 001; Jordi Cortadella; Enric Pastor (Fundam. Informaticae, 2002)

Synthesis of Asynchronous Hardware from Petri Nets. - Josep Carmona 001; Jordi Cortadella; Victor Khomenko; Alexandre Yakovlev (Lectures on Concurrency and Petri Nets, 2003)

ILP Models for the Synthesis of Asynchronous Control Circuits. - Josep Carmona 001; Jordi Cortadella (ICCAD, 2003)

State encoding of large asynchronous controllers. - Josep Carmona 001; Jordi Cortadella (DAC, 2006)

From molecular interactions to gates: a systematic approach. - Josep Carmona 001; Jordi Cortadella; Yousuke Takada; Ferdinand Peper (ICCAD, 2006)

Synthesis of asynchronous controllers using integer linear programming. - Josep Carmona 001; José Manuel Colom; Jordi Cortadella; Fernando García-Vallés (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006)

A Symbolic Algorithm for the Synthesis of Bounded Petri Nets. - Josep Carmona 001; Jordi Cortadella; Michael Kishinevsky; Alex Kondratyev; Luciano Lavagno; Alexandre Yakovlev (Petri Nets, 2008)

A Region-Based Algorithm for Discovering Petri Nets from Event Logs. - Josep Carmona 001; Jordi Cortadella; Michael Kishinevsky (BPM, 2008)

Logic Synthesis of Handshake Components Using Structural Clustering Techniques. - Francisco Fernández-Nogueira; Josep Carmona 001 (PATMOS, 2008)

Formal methods for the analysis and synthesis of nanometer-scale cellular arrays. - Josep Carmona 001; Jordi Cortadella; Yousuke Takada; Ferdinand Peper (ACM J. Emerg. Technol. Comput. Syst., 2008)

Encoding Large Asynchronous Controllers With ILP Techniques. - Josep Carmona 001; Jordi Cortadella (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

Elasticity and Petri Nets. - Jordi Cortadella; Michael Kishinevsky; Dmitry Bufistov; Josep Carmona 001; Jorge Júlvez (Trans. Petri Nets Other Model. Concurr., 2008)

Genet: A Tool for the Synthesis and Mining of Petri Nets. - Josep Carmona 001; Jordi Cortadella; Michael Kishinevsky (ACSD, 2009)

Scheduling Synchronous Elastic Designs. - Josep Carmona 001; Jorge Júlvez; Jordi Cortadella; Michael Kishinevsky (ACSD, 2009)

Divide-and-Conquer Strategies for Process Mining. - Josep Carmona 001; Jordi Cortadella; Michael Kishinevsky (BPM, 2009)

Elastic Circuits. - Josep Carmona 001; Jordi Cortadella; Michael Kishinevsky; Alexander Taubin (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009)

Incremental Process Mining. - Marc Solé; Josep Carmona 001 (ACSD/Petri Nets Workshops, 2010)

Process Mining from a Basis of State Regions. - Marc Solé; Josep Carmona 001 (Petri Nets, 2010)

Rbminer: A Tool for Discovering Petri Nets from Transition Systems. - Marc Solé; Josep Carmona 001 (ATVA, 2010)

A Fresh Look at Precision in Process Conformance. - Jorge Munoz-Gama; Josep Carmona 001 (BPM, 2010)

Process Mining Meets Abstract Interpretation. - Josep Carmona 001; Jordi Cortadella (ECML/PKDD (1), 2010)

New Region-Based Algorithms for Deriving Bounded Petri Nets. - Josep Carmona 001; Jordi Cortadella; Michael Kishinevsky (IEEE Trans. Computers, 2010)

Process Mining Manifesto. - Wil M. P. van der Aalst; Arya Adriansyah; Ana Karla Alves de Medeiros; Franco Arcieri; Thomas Baier 001; Tobias Blickle; R. P. Jagadeesh Chandra Bose; Peter van den Brand; Ronald Brandtjen; Joos C. A. M. Buijs; Andrea Burattin; Josep Carmona 001; et al. (Business Process Management Workshops (1), 2011)

Enhancing precision in Process Conformance: Stability, confidence and severity. - Jorge Munoz-Gama; Josep Carmona 001 (CIDM, 2011)

A Scheduling Strategy for Synchronous Elastic Designs. - Josep Carmona 001; Jorge Júlvez; Jordi Cortadella; Michael Kishinevsky (Fundam. Informaticae, 2011)

Light Region-based Techniques for Process Discovery. - Marc Solé; Josep Carmona 001 (Fundam. Informaticae, 2011)

A High-Level Strategy for C-net Discovery. - Marc Solé; Josep Carmona 001 (ACSD, 2012)

An SMT-Based Discovery Algorithm for C-Nets. - Marc Solé; Josep Carmona 001 (Petri Nets, 2012)

Alignment Based Precision Checking. - Arya Adriansyah; Jorge Munoz-Gama; Josep Carmona 001; Boudewijn F. van Dongen; Wil M. P. van der Aalst (Business Process Management Workshops, 2012)

Online Techniques for Dealing with Concept Drift in Process Mining. - Josep Carmona 001; Ricard Gavaldà (IDA, 2012)

Analytical Performance Modeling of Hierarchical Interconnect Fabrics. - Nikita Nikitin; Javier de San Pedro; Josep Carmona 001; Jordi Cortadella (NOCS, 2012)

Integrating formal verification in an online judge for e-Learning logic circuit design. - Javier de San Pedro; Josep Carmona 001; Jordi Cortadella; Jordi Petit (SIGCSE, 2012)

Projection approaches to process mining using region-based techniques. - Josep Carmona 001 (Data Min. Knowl. Discov., 2012)

The Label Splitting Problem. - Josep Carmona 001 (Trans. Petri Nets Other Model. Concurr., 2012)

Incremental Process Discovery. - Marc Solé; Josep Carmona 001 (Trans. Petri Nets Other Model. Concurr., 2012)

Hierarchical Conformance Checking of Process Models Based on Event Logs. - Jorge Munoz-Gama; Josep Carmona 001; Wil M. P. van der Aalst (Petri Nets, 2013)

Conformance Checking in the Large: Partitioning and Topology. - Jorge Munoz-Gama; Josep Carmona 001; Wil M. P. van der Aalst (BPM, 2013)

Amending C-net discovery algorithms. - Marc Solé; Josep Carmona 001 (SAC, 2013)

Brownian Circuits: Fundamentals. - Ferdinand Peper; Jia Lee; Josep Carmona 001; Jordi Cortadella; Kenichi Morita (ACM J. Emerg. Technol. Comput. Syst., 2013)

Compatibility in a multi-component environment. - Josep Carmona 001; Jetty Kleijn (Theor. Comput. Sci., 2013)

Region-Based Foldings in Process Discovery. - Marc Solé; Josep Carmona 001 (IEEE Trans. Knowl. Data Eng., 2013)

PMLAB: An Scripting Environment for Process Mining. - Josep Carmona 001; Marc Solé (BPM (Demos), 2014)

RS4PD: A Tool for Recommending Control-Flow Algorithms. - Joel Ribeiro; Josep Carmona 001 (BPM (Demos), 2014)

A Recommender System for Process Discovery. - Joel Ribeiro; Josep Carmona 001; Mustafa Misir; Michèle Sebag (BPM, 2014)

Process-Oriented Analysis for Medical Devices. - Vasiliki Sfyrla; Josep Carmona 001; Pascal Henck (MCPS, 2014)

Event-Based Real-Time Decomposed Conformance Analysis. - Seppe K. L. M. vanden Broucke; Jorge Munoz-Gama; Josep Carmona 001; Bart Baesens; Jan Vanthienen (OTM Conferences, 2014)

Decomposing Alignment-Based Conformance Checking of Data-Aware Process Models. - Massimiliano de Leoni; Jorge Munoz-Gama; Josep Carmona 001; Wil M. P. van der Aalst (OTM Conferences, 2014)

Single-Entry Single-Exit decomposed conformance checking. - Jorge Munoz-Gama; Josep Carmona 001; Wil M. P. van der Aalst (Inf. Syst., 2014)

Introduction to Special Issue on Application of Concurrency to System Design (ACSD'13). - Josep Carmona 001; Mihai Teodor Lazarescu; Marta Pietkiewicz-Koutny (ACM Trans. Embed. Comput. Syst., 2014)

Process Discovery Algorithms Using Numerical Abstract Domains. - Josep Carmona 001; Jordi Cortadella (IEEE Trans. Knowl. Data Eng., 2014)

Event Log Visualisation with Conditional Partial Order Graphs: from Control Flow to Data. - Andrey Mokhov; Josep Carmona 001 (ATAED@Petri Nets/ACSD, 2015)

Discovery of Personal Processes from Labeled Sensor Data - An Application of Process Mining to Personalized Health Care. - Timo Sztyler; Johanna Völker; Josep Carmona 001; Oliver Meier; Heiner Stuckenschmidt (ATAED@Petri Nets/ACSD, 2015)

Unfolding-Based Process Discovery. - Hernán Ponce de León; César Rodríguez; Josep Carmona 001; Keijo Heljanko; Stefan Haar (ATVA, 2015)

Incorporating Negative Information in Process Discovery. - Hernán Ponce de León; Josep Carmona 001; Seppe K. L. M. vanden Broucke (BPM, 2015)

POD - A Tool For Process Discovery Using Partial Orders and Independence Information. - Hernán Ponce de León; César Rodríguez; Josep Carmona 001 (BPM (Demos), 2015)

Log-Based Simplification of Process Models. - Javier de San Pedro; Josep Carmona 001; Jordi Cortadella (BPM, 2015)

Communication and Compatibility in Systems of Systems: Correctness-by-Construction. - Maurice H. ter Beek; Josep Carmona 001; Jetty Kleijn (ERCIM News, 2015)

Measuring precision of modeled behavior. - Arya Adriansyah; Jorge Munoz-Gama; Josep Carmona 001; Boudewijn F. van Dongen; Wil M. P. van der Aalst (Inf. Syst. E Bus. Manag., 2015)

Anti-alignments in Conformance Checking - The Dark Side of Process Models. - Thomas Chatain; Josep Carmona 001 (Petri Nets, 2016)

Security-Sensitive Tackling of Obstructed Workow Executions. - Julius Holderer; Josep Carmona 001; Günter Müller (ATAED@Petri Nets/ACSD, 2016)

Computing Alignments with Constraint Programming: The Acyclic Case. - María Teresa Gómez-López; Diana Borrego; Josep Carmona 001; Rafael M. Gasca (ATAED@Petri Nets/ACSD, 2016)

A Unified Approach for Measuring Precision and Generalization Based on Anti-alignments. - Boudewijn F. van Dongen; Josep Carmona 001; Thomas Chatain (BPM, 2016)

Process Model Comparison Based on Cophenetic Distance. - David Sánchez-Charles; Victor Muntés-Mulero; Josep Carmona 001; Marc Solé (BPM (Forum), 2016)

A Recursive Paradigm for Aligning Observed Behavior of Large Structured Process Models. - Farbod Taymouri; Josep Carmona 001 (BPM, 2016)

Fraud Detection in Energy Consumption: A Supervised Approach. - Bernat Coma-Puig; Josep Carmona 001; Ricard Gavaldà; Santiago Alcoverro; Victor Martin (DSAA, 2016)

Alignment-based Quality Metrics in Conformance Checking (Summary). - Boudewijn F. van Dongen; Josep Carmona 001; Thomas Chatain (EMISA, 2016)

Conditions for Compatibility of Components - The Case of Masters and Slaves. - Maurice H. ter Beek; Josep Carmona 001; Jetty Kleijn (ISoLA (1), 2016)

Improving Process Model Precision by Loop Unrolling. - David Sanchez-Charles; Marc Solé; Josep Carmona 001; Victor Muntés-Mulero (SIMPDA, 2016)

Clustering Software Developer Repository Accesses with the Cophenetic Distance. - David Sanchez-Charles; Josep Carmona 001; Victor Muntés-Mulero; Marc Solé (SIMPDA, 2016)

Model and Event Log Reductions to Boost the Computation of Alignments. - Farbod Taymouri; Josep Carmona 001 (SIMPDA (Revised Selected Papers), 2016)

Alignment-based Quality Metrics in Conformance Checking. - Boudewijn F. van Dongen; Josep Carmona 001; Thomas Chatain (EMISA Forum, 2016)

Mining Conditional Partial Order Graphs from Event Logs. - Andrey Mokhov; Josep Carmona 001; Jonathan Beaumont (Trans. Petri Nets Other Model. Concurr., 2016)

A Method for Assessing Parameter Impact on Control-Flow Discovery Algorithms. - Joel Ribeiro; Josep Carmona 001 (Trans. Petri Nets Other Model. Concurr., 2016)

Self-tracking Reloaded: Applying Process Mining to Personalized Health Care from Labeled Sensor Data. - Timo Sztyler; Josep Carmona 001; Johanna Völker; Heiner Stuckenschmidt (Trans. Petri Nets Other Model. Concurr., 2016)

The Alignment of Formal, Structured and Unstructured Process Descriptions. - Josep Carmona 001 (Petri Nets, 2017)

A Framework for Online Conformance Checking. - Andrea Burattin; Josep Carmona 001 (Business Process Management Workshops, 2017)

NLP4BPM - Natural Language Processing Tools for Business Process Management. - Luis Delicado; Josep Sànchez-Ferreres; Josep Carmona 001; Lluís Padró 001 (BPM (Demos), 2017)

Reducing Event Variability in Logs by Clustering of Word Embeddings. - David Sánchez-Charles; Josep Carmona 001; Victor Muntés-Mulero; Marc Solé (Business Process Management Workshops, 2017)

Aligning Modeled and Observed Behavior: A Compromise Between Computation Complexity and Quality. - Boudewijn F. van Dongen; Josep Carmona 001; Thomas Chatain; Farbod Taymouri (CAiSE, 2017)

Aligning Textual and Graphical Descriptions of Processes Through ILP Techniques. - Josep Sànchez-Ferreres; Josep Carmona 001; Lluís Padró 001 (CAiSE, 2017)

Communication Requirements for Team Automata. - Maurice H. ter Beek; Josep Carmona 001; Rolf Hennicker; Jetty Kleijn (COORDINATION, 2017)

Alignment-Based Trace Clustering. - Thomas Chatain; Josep Carmona 001; Boudewijn F. van Dongen (ER, 2017)

Log- and Model-Based Techniques for Security-Sensitive Tackling of Obstructed Workflow Executions. - Julius Holderer; Josep Carmona 001; Farbod Taymouri; Günter Müller (Trans. Petri Nets Other Model. Concurr., 2017)

Conformance Checking - Relating Processes and Models - Josep Carmona 001; Boudewijn F. van Dongen; Andreas Solti; Matthias Weidlich 001 (Springer, 2018)

Online Conformance Checking Using Behavioural Patterns. - Andrea Burattin; Sebastiaan J. van Zelst; Abel Armas-Cervantes; Boudewijn F. van Dongen; Josep Carmona 001 (BPM, 2018)

The Model Judge - A Tool for Supporting Novices in Learning Process Modeling. - Luis Delicado; Josep Sànchez-Ferreres; Josep Carmona 001; Lluís Padró 001 (BPM (Dissertation/Demos/Industry), 2018)

An Evolutionary Technique to Approximate Multiple Optimal Alignments. - Farbod Taymouri; Josep Carmona 001 (BPM, 2018)

Challenges and Opportunities of Applying Natural Language Processing in Business Process Management. - Han van der Aa; Josep Carmona 001; Henrik Leopold; Jan Mendling; Lluís Padró 001 (COLING, 2018)

A quality control method for fraud detection on utility customers without an active contract. - Bernat Coma-Puig; Josep Carmona 001 (SAC, 2018)

Aligning textual and model-based process descriptions. - Josep Sànchez-Ferreres; Han van der Aa; Josep Carmona 001; Lluís Padró 001 (Data Knowl. Eng., 2018)

Incorporating negative information to process discovery of complex systems. - Hernán Ponce de León; Lucio Nardelli; Josep Carmona 001; Seppe K. L. M. vanden Broucke (Inf. Sci., 2018)

Encoding process discovery problems in SMT. - Marc Solé; Josep Carmona 001 (Softw. Syst. Model., 2018)

Jutge.org: Characteristics and Experiences. - Jordi Petit; Salvador Roura; Josep Carmona 001; Jordi Cortadella; Jordi Duch; Omer Giménez; Anaga Mani; Jan Mas; Enric Rodríguez-Carbonell; Enric Rubio; Enric de San Pedro; Divya Venkataramani (IEEE Trans. Learn. Technol., 2018)

Structural Computation of Alignments of Business Processes Over Partial Orders. - Farbod Taymouri; Josep Carmona 001 (ACSD, 2019)

Generalized Alignment-Based Trace Clustering of Process Behavior. - Mathilde Boltenhagen; Thomas Chatain; Josep Carmona 001 (Petri Nets, 2019)

Encoding Conformance Checking Artefacts in SAT. - Mathilde Boltenhagen; Thomas Chatain; Josep Carmona 001 (Business Process Management Workshops, 2019)

Approximate Computation of Alignments of Business Processes Through Relaxation Labelling. - Lluís Padró 001; Josep Carmona 001 (BPM, 2019)

Formal Reasoning on Natural Language Descriptions of Processes. - Josep Sànchez-Ferreres; Andrea Burattin; Josep Carmona 001; Marco Montali; Lluís Padró 001 (BPM, 2019)

From Process Models to Chatbots. - Anselmo López; Josep Sànchez-Ferreres; Josep Carmona 001; Lluís Padró 001 (CAiSE, 2019)

Actionable Conformance Checking: From Intuitions to Code. - Josep Carmona 001; Matthias Weidlich 001; Boudewijn F. van Dongen (eBISS, 2019)

Special issue: Selected papers of BPM 2017. - Josep Carmona 001; Gregor Engels; Akhil Kumar 001; Manfred Reichert (Inf. Syst., 2019)

Conformance checking in UML artifact-centric business process models. - Montserrat Estañol; Jorge Munoz-Gama; Josep Carmona 001; Ernest Teniente (Softw. Syst. Model., 2019)

Corrections to "Jutge.org: Characteristics and Experiences". - Jordi Petit; Salvador Roura; Josep Carmona 001; Jordi Cortadella; Jordi Duch; Omer Giménez; Anaga Mani; Jan Mas; Enric Rodríguez-Carbonell; Enric Rubio; Enric de San Pedro; Divya Venkataramani (IEEE Trans. Learn. Technol., 2019)

A Tour in Process Mining: From Practice to Algorithmic Challenges. - Wil M. P. van der Aalst; Josep Carmona 001; Thomas Chatain; Boudewijn F. van Dongen (Trans. Petri Nets Other Model. Concurr., 2019)

Decomposed Process Discovery and Conformance Checking. - Josep Carmona 001 (Encyclopedia of Big Data Technologies, 2019)

Automated Repair of Process Models Using Non-local Constraints. - Anna A. Kalenkova; Josep Carmona 001; Artem Polyvyanyy; Marcello La Rosa (Petri Nets, 2020)

Extracting Annotations from Textual Descriptions of Processes. - Luis Quishpi; Josep Carmona 001; Lluís Padró 001 (BPM, 2020)

Business Process Variant Analysis Based on Mutual Fingerprints of Event Logs. - Farbod Taymouri; Marcello La Rosa; Josep Carmona 001 (CAiSE, 2020)

Explainable Predictive Process Monitoring. - Riccardo Galanti; Bernat Coma-Puig; Massimiliano de Leoni; Josep Carmona 001; Nicolò Navarin (ICPM, 2020)

Improving the Extraction of Process Annotations from Text with Inter-sentence Analysis. - Luis Quishpi; Josep Carmona 001; Lluís Padró 001 (ICPM Workshops, 2020)

An Iterative Approach based on Explainability to Improve the Learning of Fraud Detection Models. - Bernat Coma-Puig; Josep Carmona 001 (CoRR, 2020)

Flexible Process Model Mapping using Relaxation Labeling. - Josep Carmona 001; Lluís Padró 001; Luis Delicado (Fundam. Informaticae, 2020)

Supporting the Process of Learning and Teaching Process Models. - Josep Sànchez-Ferreres; Luis Delicado; Amine Abbad Andaloussi; Andrea Burattin; Guillermo Calderón-Ruiz; Barbara Weber; Josep Carmona 001; Lluís Padró 001 (IEEE Trans. Learn. Technol., 2020)

Computing Alignments of Well-Formed Process Models using Local Search. - Farbod Taymouri; Josep Carmona 001 (ACM Trans. Softw. Eng. Methodol., 2020)

A Discounted Cost Function for Fast Alignments of Business Processes. - Mathilde Boltenhagen; Thomas Chatain; Josep Carmona 001 (BPM, 2021)

Extracting Decision Models from Textual Descriptions of Processes. - Luis Quishpi; Josep Carmona 001; Lluís Padró 001 (BPM, 2021)

CC4Spark: Distributing event logs and big complex conformance checking problems. - Álvaro Valencia-Parra; Angel Jesus Varela-Vaca; María Teresa Gómez-López; Josep Carmona 001 (BPM (PhD/Demos), 2021)

Non-Technical Losses Detection in Energy Consumption Focusing on Energy Recovery and Explainability: Extended Abstract. - Bernat Coma-Puig; Josep Carmona 001 (DSAA, 2021)

An A*-Algorithm for Computing Discounted Anti-Alignments in Process Mining. - Mathilde Boltenhagen; Thomas Chatain; Josep Carmona 001 (ICPM, 2021)

A Human-in-the-Loop Approach based on Explainability to Improve NTL Detection. - Bernat Coma-Puig; Josep Carmona 001 (ICDM (Workshops), 2021)

Optimized SAT encoding of conformance checking artefacts. - Mathilde Boltenhagen; Thomas Chatain; Josep Carmona 001 (Computing, 2021)

Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory. - Anna A. Kalenkova; Josep Carmona 001; Artem Polyvyanyy; Marcello La Rosa (Fundam. Informaticae, 2021)

Model-based trace variant analysis of event logs. - Mathilde Boltenhagen; Thomas Chatain; Josep Carmona 001 (Inf. Syst., 2021)

Anti-alignments - Measuring the precision of process models and event logs. - Thomas Chatain; Mathilde Boltenhagen; Josep Carmona 001 (Inf. Syst., 2021)

Empowering conformance checking using Big Data through horizontal decomposition. - Álvaro Valencia-Parra; Ángel Jesús Varela-Vaca; María Teresa Gómez-López; Josep Carmona 001; Robin Bergenthum (Inf. Syst., 2021)

Unleashing textual descriptions of business processes. - Josep Sànchez-Ferreres; Andrea Burattin; Josep Carmona 001; Marco Montali; Lluís Padró 001; Luis Quishpi (Softw. Syst. Model., 2021)

Conformance Checking: Foundations, Milestones and Challenges. - Josep Carmona 001; Boudewijn F. van Dongen; Matthias Weidlich 001 (Process Mining Handbook, 2022)

Scaling Process Mining to Turn Insights into Actions. - Wil M. P. van der Aalst; Josep Carmona 001 (Process Mining Handbook, 2022)

Advanced Process Discovery Techniques. - Adriano Augusto; Josep Carmona 001; Eric Verbeek 001 (Process Mining Handbook, 2022)

Preface. - Didier Buchs; Josep Carmona 001; Jetty Kleijn (Fundam. Informaticae, 2022)

Special issue: Selected papers of ICPM 2019. - Josep Carmona 001; Mieke Jans; Marcello La Rosa (Inf. Syst., 2022)

Computation of alignments of business processes through relaxation labeling and local optimal search. - Lluís Padró 001; Josep Carmona 001 (Inf. Syst., 2022)

Process mining for healthcare: Characteristics and challenges. - Jorge Munoz-Gama; Niels Martin; Carlos Fernández-Llatas; Owen A. Johnson; Marcos Sepúlveda; Emmanuel Helm; Victor Galvez-Yanjari; Eric Rojas 001; Antonio Martinez-Millana; Davide Aloini; Ilaria Angela Amantea; Robert Andrews 001; et al. (J. Biomed. Informatics, 2022)

Non-technical losses detection in energy consumption focusing on energy recovery and explainability. - Bernat Coma-Puig; Josep Carmona 001 (Mach. Learn., 2022)

A case study of improving a non-technical losses detection system through explainability. - Bernat Coma-Puig; Albert Calvo; Josep Carmona 001; Ricard Gavaldà (Data Min. Knowl. Discov., 2024)