Josep Carmona - RankMe

161 papers A* 2A 25B 20C 2Misc 2Journal 54Unranked 41

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	A case study of improving a non-technical losses detection system through explainability. Data Min. Knowl. Discov. Bernat Coma-Puig, Albert Calvo, Josep Carmona, Ricard Gavaldà
2022	—	`ch.`	Advanced Process Discovery Techniques. Process Mining Handbook Adriano Augusto, Josep Carmona, Eric Verbeek
2022	J	`jnl`	Computation of alignments of business processes through relaxation labeling and local optimal search. Inf. Syst. Lluís Padró, Josep Carmona
2022	—	`ch.`	Conformance Checking: Foundations, Milestones and Challenges. Process Mining Handbook Josep Carmona, Boudewijn F. van Dongen, Matthias Weidlich
2022	J	`jnl`	Non-technical losses detection in energy consumption focusing on energy recovery and explainability. Mach. Learn. Bernat Coma-Puig, Josep Carmona
2022	J	`jnl`	Preface. Fundam. Informaticae Didier Buchs, Josep Carmona, Jetty Kleijn
2022	—	`book`	Process Mining Handbook Wil M. P. van der Aalst, Josep Carmona
2022	J	`jnl`	Process mining for healthcare: Characteristics and challenges. J. Biomed. Informatics Jorge Munoz-Gama, Niels Martin, Carlos Fernández-Llatas, Owen A. Johnson, Marcos Sepúlveda, Emmanuel Helm, Victor Galvez-Yanjari, Eric Rojas, Antonio Martinez-Millana, Davide Aloini, Ilaria Angela Amantea, Robert Andrews, Michael Arias, Iris Beerepoot, Elisabetta Benevento, Andrea Burattin, Daniel Capurro, Josep Carmona, Marco Comuzzi, Benjamin Dalmas, Rene de la Fuente, Chiara Di Francescomarino, Claudio Di Ciccio, Roberto Gatta, Chiara Ghidini, Fernanda Gonzalez-Lopez, Gema Ibáñez-Sánchez, Hilda B. Klasky, Angelina Prima Kurniati, Xixi Lu, Felix Mannhardt, Ronny Mans, Mar Marcos, Renata Medeiros de Carvalho, Marco Pegoraro, Simon K. Poon, Luise Pufahl, Hajo A. Reijers, Simon Remy, Stefanie Rinderle-Ma, Lucia Sacchi, Fernando Seoane, Minseok Song, Alessandro Stefanini, Emilio Sulis, Arthur H. M. ter Hofstede, Pieter J. Toussaint, Vicente Traver, Zoe Valero-Ramon, Inge van de Weerd, Wil M. P. van der Aalst, Rob J. B. Vanwersch, Mathias Weske, Moe Thandar Wynn, Francesca Zerbato
2022	—	`ch.`	Scaling Process Mining to Turn Insights into Actions. Process Mining Handbook Wil M. P. van der Aalst, Josep Carmona
2022	J	`jnl`	Special issue: Selected papers of ICPM 2019. Inf. Syst. Josep Carmona, Mieke Jans, Marcello La Rosa
2021	A	`conf`	A Discounted Cost Function for Fast Alignments of Business Processes. BPM Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
2021	—	`conf`	A Human-in-the-Loop Approach based on Explainability to Improve NTL Detection. ICDM (Workshops) Bernat Coma-Puig, Josep Carmona
2021	B	`conf`	An A ICPM Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
2021	J	`jnl`	Anti-alignments - Measuring the precision of process models and event logs. Inf. Syst. Thomas Chatain, Mathilde Boltenhagen, Josep Carmona
2021	B	`ed.`	Application and Theory of Petri Nets and Concurrency - 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23-25, 2021, Proceedings Petri Nets Didier Buchs, Josep Carmona
2021	J	`jnl`	Automated Repair of Process Models with Non-Local Constraints Using State-Based Region Theory. CoRR Anna A. Kalenkova, Josep Carmona, Artem Polyvyanyy, Marcello La Rosa
2021	J	`jnl`	Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory. Fundam. Informaticae Anna A. Kalenkova, Josep Carmona, Artem Polyvyanyy, Marcello La Rosa
2021	—	`conf`	CC4Spark: Distributing event logs and big complex conformance checking problems. BPM (PhD/Demos) Álvaro Valencia-Parra, Angel Jesus Varela-Vaca, María Teresa Gómez-López, Josep Carmona
2021	J	`jnl`	Empowering conformance checking using Big Data through horizontal decomposition. Inf. Syst. Álvaro Valencia-Parra, Ángel Jesús Varela-Vaca, María Teresa Gómez-López, Josep Carmona, Robin Bergenthum
2021	A	`conf`	Extracting Decision Models from Textual Descriptions of Processes. BPM Luis Quishpi, Josep Carmona, Lluís Padró
2021	J	`jnl`	Model-based trace variant analysis of event logs. Inf. Syst. Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
2021	B	`conf`	Non-Technical Losses Detection in Energy Consumption Focusing on Energy Recovery and Explainability: Extended Abstract. DSAA Bernat Coma-Puig, Josep Carmona
2021	J	`jnl`	Optimized SAT encoding of conformance checking artefacts. Computing Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
2021	J	`jnl`	Unleashing textual descriptions of business processes. Softw. Syst. Model. Josep Sànchez-Ferreres, Andrea Burattin, Josep Carmona, Marco Montali, Lluís Padró, Luis Quishpi
2020	J	`jnl`	An Iterative Approach based on Explainability to Improve the Learning of Fraud Detection Models. CoRR Bernat Coma-Puig, Josep Carmona
2020	B	`conf`	Automated Repair of Process Models Using Non-local Constraints. Petri Nets Anna A. Kalenkova, Josep Carmona, Artem Polyvyanyy, Marcello La Rosa
2020	A	`conf`	Business Process Variant Analysis Based on Mutual Fingerprints of Event Logs. CAiSE Farbod Taymouri, Marcello La Rosa, Josep Carmona
2020	J	`jnl`	Computing Alignments of Well-Formed Process Models using Local Search. ACM Trans. Softw. Eng. Methodol. Farbod Taymouri, Josep Carmona
2020	B	`conf`	Explainable Predictive Process Monitoring. ICPM Riccardo Galanti, Bernat Coma-Puig, Massimiliano de Leoni, Josep Carmona, Nicolò Navarin
2020	J	`jnl`	Explainable Predictive Process Monitoring. CoRR Riccardo Galanti, Bernat Coma-Puig, Massimiliano de Leoni, Josep Carmona, Nicolò Navarin
2020	A	`conf`	Extracting Annotations from Textual Descriptions of Processes. BPM Luis Quishpi, Josep Carmona, Lluís Padró
2020	J	`jnl`	Flexible Process Model Mapping using Relaxation Labeling. Fundam. Informaticae Josep Carmona, Lluís Padró, Luis Delicado
2020	—	`conf`	Improving the Extraction of Process Annotations from Text with Inter-sentence Analysis. ICPM Workshops Luis Quishpi, Josep Carmona, Lluís Padró
2020	—	`ed.`	Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2020 Satellite event of the 41st International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2020, virtual workshop, June 24, 2020. ATAED@Petri Nets Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona
2020	J	`jnl`	Supporting the Process of Learning and Teaching Process Models. IEEE Trans. Learn. Technol. Josep Sànchez-Ferreres, Luis Delicado, Amine Abbad Andaloussi, Andrea Burattin, Guillermo Calderón-Ruiz, Barbara Weber, Josep Carmona, Lluís Padró
2019	J	`jnl`	A Tour in Process Mining: From Practice to Algorithmic Challenges. Trans. Petri Nets Other Model. Concurr. Wil M. P. van der Aalst, Josep Carmona, Thomas Chatain, Boudewijn F. van Dongen
2019	—	`conf`	Actionable Conformance Checking: From Intuitions to Code. eBISS Josep Carmona, Matthias Weidlich, Boudewijn F. van Dongen
2019	J	`jnl`	Anti-Alignments - Measuring The Precision of Process Models and Event Logs. CoRR Thomas Chatain, Mathilde Boltenhagen, Josep Carmona
2019	A	`conf`	Approximate Computation of Alignments of Business Processes Through Relaxation Labelling. BPM Lluís Padró, Josep Carmona
2019	J	`jnl`	Business Process Variant Analysis based on Mutual Fingerprints of Event Logs. CoRR Farbod Taymouri, Marcello La Rosa, Josep Carmona
2019	J	`jnl`	Conformance checking in UML artifact-centric business process models. Softw. Syst. Model. Montserrat Estañol, Jorge Munoz-Gama, Josep Carmona, Ernest Teniente
2019	J	`jnl`	Corrections to "Jutge.org: Characteristics and Experiences". IEEE Trans. Learn. Technol. Jordi Petit, Salvador Roura, Josep Carmona, Jordi Cortadella, Jordi Duch, Omer Giménez, Anaga Mani, Jan Mas, Enric Rodríguez-Carbonell, Enric Rubio, Enric de San Pedro, Divya Venkataramani
2019	—	`ch.`	Decomposed Process Discovery and Conformance Checking. Encyclopedia of Big Data Technologies Josep Carmona
2019	—	`conf`	Encoding Conformance Checking Artefacts in SAT. Business Process Management Workshops Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
2019	A	`conf`	Formal Reasoning on Natural Language Descriptions of Processes. BPM Josep Sànchez-Ferreres, Andrea Burattin, Josep Carmona, Marco Montali, Lluís Padró
2019	A	`conf`	From Process Models to Chatbots. CAiSE Anselmo López, Josep Sànchez-Ferreres, Josep Carmona, Lluís Padró
2019	B	`conf`	Generalized Alignment-Based Trace Clustering of Process Behavior. Petri Nets Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
2019	—	`ed.`	Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2019 Satellite event of the conferences: 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and 19th International Conference on Application of Concurrency to System Design ACSD 2019, ATAED@Petri Nets/ACSD 2019, Aachen, Germany, June 25, 2019. ATAED@Petri Nets/ACSD Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona
2019	J	`jnl`	Special issue: Selected papers of BPM 2017. Inf. Syst. Josep Carmona, Gregor Engels, Akhil Kumar, Manfred Reichert
2019	—	`conf`	Structural Computation of Alignments of Business Processes Over Partial Orders. ACSD Farbod Taymouri, Josep Carmona
2018	Misc	`conf`	A quality control method for fraud detection on utility customers without an active contract. SAC Bernat Coma-Puig, Josep Carmona
2018	J	`jnl`	Aligning textual and model-based process descriptions. Data Knowl. Eng. Josep Sànchez-Ferreres, Han van der Aa, Josep Carmona, Lluís Padró
2018	A	`conf`	An Evolutionary Technique to Approximate Multiple Optimal Alignments. BPM Farbod Taymouri, Josep Carmona
2018	B	`conf`	Challenges and Opportunities of Applying Natural Language Processing in Business Process Management. COLING Han van der Aa, Josep Carmona, Henrik Leopold, Jan Mendling, Lluís Padró
2018	—	`book`	Conformance Checking - Relating Processes and Models Josep Carmona, Boudewijn F. van Dongen, Andreas Solti, Matthias Weidlich
2018	J	`jnl`	Encoding process discovery problems in SMT. Softw. Syst. Model. Marc Solé, Josep Carmona
2018	J	`jnl`	Incorporating negative information to process discovery of complex systems. Inf. Sci. Hernán Ponce de León, Lucio Nardelli, Josep Carmona, Seppe K. L. M. vanden Broucke
2018	J	`jnl`	Jutge.org: Characteristics and Experiences. IEEE Trans. Learn. Technol. Jordi Petit, Salvador Roura, Josep Carmona, Jordi Cortadella, Jordi Duch, Omer Giménez, Anaga Mani, Jan Mas, Enric Rodríguez-Carbonell, Enric Rubio, Enric de San Pedro, Divya Venkataramani
2018	A	`conf`	Online Conformance Checking Using Behavioural Patterns. BPM Andrea Burattin, Sebastiaan J. van Zelst, Abel Armas-Cervantes, Boudewijn F. van Dongen, Josep Carmona
2018	—	`ed.`	Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 25, 2018. ATAED@Petri Nets/ACSD Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona
2018	—	`conf`	The Model Judge - A Tool for Supporting Novices in Learning Process Modeling. BPM (Dissertation/Demos/Industry) Luis Delicado, Josep Sànchez-Ferreres, Josep Carmona, Lluís Padró
2017	—	`conf`	A Framework for Online Conformance Checking. Business Process Management Workshops Andrea Burattin, Josep Carmona
2017	A	`conf`	Aligning Modeled and Observed Behavior: A Compromise Between Computation Complexity and Quality. CAiSE Boudewijn F. van Dongen, Josep Carmona, Thomas Chatain, Farbod Taymouri
2017	A	`conf`	Aligning Textual and Graphical Descriptions of Processes Through ILP Techniques. CAiSE Josep Sànchez-Ferreres, Josep Carmona, Lluís Padró
2017	A	`conf`	Alignment-Based Trace Clustering. ER Thomas Chatain, Josep Carmona, Boudewijn F. van Dongen
2017	A	`ed.`	Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings BPM Josep Carmona, Gregor Engels, Akhil Kumar
2017	—	`ed.`	Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10-15, 2017, Proceedings BPM (Forum) Josep Carmona, Gregor Engels, Akhil Kumar
2017	C	`conf`	Communication Requirements for Team Automata. COORDINATION Maurice H. ter Beek, Josep Carmona, Rolf Hennicker, Jetty Kleijn
2017	J	`jnl`	Log- and Model-Based Techniques for Security-Sensitive Tackling of Obstructed Workflow Executions. Trans. Petri Nets Other Model. Concurr. Julius Holderer, Josep Carmona, Farbod Taymouri, Günter Müller
2017	—	`conf`	NLP4BPM - Natural Language Processing Tools for Business Process Management. BPM (Demos) Luis Delicado, Josep Sànchez-Ferreres, Josep Carmona, Lluís Padró
2017	—	`ed.`	Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2017 Satellite event of the conferences: 38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 26-27, 2017. ATAED@Petri Nets/ACSD Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona
2017	—	`conf`	Reducing Event Variability in Logs by Clustering of Word Embeddings. Business Process Management Workshops David Sánchez-Charles, Josep Carmona, Victor Muntés-Mulero, Marc Solé
2017	B	`conf`	The Alignment of Formal, Structured and Unstructured Process Descriptions. Petri Nets Josep Carmona
2016	J	`jnl`	A Method for Assessing Parameter Impact on Control-Flow Discovery Algorithms. Trans. Petri Nets Other Model. Concurr. Joel Ribeiro, Josep Carmona
2016	A	`conf`	A Recursive Paradigm for Aligning Observed Behavior of Large Structured Process Models. BPM Farbod Taymouri, Josep Carmona
2016	A	`conf`	A Unified Approach for Measuring Precision and Generalization Based on Anti-alignments. BPM Boudewijn F. van Dongen, Josep Carmona, Thomas Chatain
2016	—	`conf`	Alignment-based Quality Metrics in Conformance Checking (Summary). EMISA Boudewijn F. van Dongen, Josep Carmona, Thomas Chatain
2016	J	`jnl`	Alignment-based Quality Metrics in Conformance Checking. EMISA Forum Boudewijn F. van Dongen, Josep Carmona, Thomas Chatain
2016	B	`conf`	Anti-alignments in Conformance Checking - The Dark Side of Process Models. Petri Nets Thomas Chatain, Josep Carmona
2016	—	`conf`	Clustering Software Developer Repository Accesses with the Cophenetic Distance. SIMPDA David Sanchez-Charles, Josep Carmona, Victor Muntés-Mulero, Marc Solé
2016	—	`conf`	Computing Alignments with Constraint Programming: The Acyclic Case. ATAED@Petri Nets/ACSD María Teresa Gómez-López, Diana Borrego, Josep Carmona, Rafael M. Gasca
2016	—	`conf`	Conditions for Compatibility of Components - The Case of Masters and Slaves. ISoLA (1) Maurice H. ter Beek, Josep Carmona, Jetty Kleijn
2016	B	`conf`	Fraud Detection in Energy Consumption: A Supervised Approach. DSAA Bernat Coma-Puig, Josep Carmona, Ricard Gavaldà, Santiago Alcoverro, Victor Martin
2016	—	`conf`	Improving Process Model Precision by Loop Unrolling. SIMPDA David Sanchez-Charles, Marc Solé, Josep Carmona, Victor Muntés-Mulero
2016	J	`jnl`	Mining Conditional Partial Order Graphs from Event Logs. Trans. Petri Nets Other Model. Concurr. Andrey Mokhov, Josep Carmona, Jonathan Beaumont
2016	—	`conf`	Model and Event Log Reductions to Boost the Computation of Alignments. SIMPDA Farbod Taymouri, Josep Carmona
2016	—	`conf`	Model and Event Log Reductions to Boost the Computation of Alignments. SIMPDA (Revised Selected Papers) Farbod Taymouri, Josep Carmona
2016	—	`ed.`	Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2016 Satellite event of the conferences: 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and 16th International Conference on Application of Concurrency to System Design ACSD 2016, Torun, Poland, June 20-21, 2016. ATAED@Petri Nets/ACSD Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona
2016	—	`conf`	Process Model Comparison Based on Cophenetic Distance. BPM (Forum) David Sánchez-Charles, Victor Muntés-Mulero, Josep Carmona, Marc Solé
2016	—	`conf`	Security-Sensitive Tackling of Obstructed Workow Executions. ATAED@Petri Nets/ACSD Julius Holderer, Josep Carmona, Günter Müller
2016	J	`jnl`	Self-tracking Reloaded: Applying Process Mining to Personalized Health Care from Labeled Sensor Data. Trans. Petri Nets Other Model. Concurr. Timo Sztyler, Josep Carmona, Johanna Völker, Heiner Stuckenschmidt
2015	—	`conf`	A Method for Assessing Parameter Impact on Control-Flow Discovery Algorithms. ATAED@Petri Nets/ACSD Joel Ribeiro, Josep Carmona
2015	J	`jnl`	Communication and Compatibility in Systems of Systems: Correctness-by-Construction. ERCIM News Maurice H. ter Beek, Josep Carmona, Jetty Kleijn
2015	—	`conf`	Discovery of Personal Processes from Labeled Sensor Data - An Application of Process Mining to Personalized Health Care. ATAED@Petri Nets/ACSD Timo Sztyler, Johanna Völker, Josep Carmona, Oliver Meier, Heiner Stuckenschmidt
2015	—	`conf`	Event Log Visualisation with Conditional Partial Order Graphs: from Control Flow to Data. ATAED@Petri Nets/ACSD Andrey Mokhov, Josep Carmona
2015	A	`conf`	Incorporating Negative Information in Process Discovery. BPM Hernán Ponce de León, Josep Carmona, Seppe K. L. M. vanden Broucke
2015	A	`conf`	Log-Based Simplification of Process Models. BPM Javier de San Pedro, Josep Carmona, Jordi Cortadella
2015	J	`jnl`	Measuring precision of modeled behavior. Inf. Syst. E Bus. Manag. Arya Adriansyah, Jorge Munoz-Gama, Josep Carmona, Boudewijn F. van Dongen, Wil M. P. van der Aalst
2015	—	`conf`	POD - A Tool For Process Discovery Using Partial Orders and Independence Information. BPM (Demos) Hernán Ponce de León, César Rodríguez, Josep Carmona
2015	—	`ed.`	Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data, ATAED 2015, Satellite event of the conferences: 36th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and 15th International Conference on Application of Concurrency to System Design ACSD 2015, Brussels, Belgium, June 22-23, 2015. ATAED@Petri Nets/ACSD Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona
2015	B	`conf`	Unfolding-Based Process Discovery. ATVA Hernán Ponce de León, César Rodríguez, Josep Carmona, Keijo Heljanko, Stefan Haar
2015	J	`jnl`	Unfolding-Based Process Discovery. CoRR Hernán Ponce de León, César Rodríguez, Josep Carmona, Keijo Heljanko, Stefan Haar
2014	A	`conf`	A Recommender System for Process Discovery. BPM Joel Ribeiro, Josep Carmona, Mustafa Misir, Michèle Sebag
2014	—	`conf`	Decomposing Alignment-Based Conformance Checking of Data-Aware Process Models. OTM Conferences Massimiliano de Leoni, Jorge Munoz-Gama, Josep Carmona, Wil M. P. van der Aalst
2014	—	`conf`	Event-Based Real-Time Decomposed Conformance Analysis. OTM Conferences Seppe K. L. M. vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, Jan Vanthienen
2014	J	`jnl`	Introduction to Special Issue on Application of Concurrency to System Design (ACSD'13). ACM Trans. Embed. Comput. Syst. Josep Carmona, Mihai Teodor Lazarescu, Marta Pietkiewicz-Koutny
2014	—	`conf`	PMLAB: An Scripting Environment for Process Mining. BPM (Demos) Josep Carmona, Marc Solé
2014	J	`jnl`	Process Discovery Algorithms Using Numerical Abstract Domains. IEEE Trans. Knowl. Data Eng. Josep Carmona, Jordi Cortadella
2014	—	`conf`	Process-Oriented Analysis for Medical Devices. MCPS Vasiliki Sfyrla, Josep Carmona, Pascal Henck
2014	—	`conf`	RS4PD: A Tool for Recommending Control-Flow Algorithms. BPM (Demos) Joel Ribeiro, Josep Carmona
2014	J	`jnl`	Single-Entry Single-Exit decomposed conformance checking. Inf. Syst. Jorge Munoz-Gama, Josep Carmona, Wil M. P. van der Aalst
2013	—	`ed.`	13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, 8-10 July, 2013 ACSD Josep Carmona, Mihai T. Lazarescu, Marta Pietkiewicz-Koutny
2013	Misc	`conf`	Amending C-net discovery algorithms. SAC Marc Solé, Josep Carmona
2013	J	`jnl`	Brownian Circuits: Fundamentals. ACM J. Emerg. Technol. Comput. Syst. Ferdinand Peper, Jia Lee, Josep Carmona, Jordi Cortadella, Kenichi Morita
2013	J	`jnl`	Compatibility in a multi-component environment. Theor. Comput. Sci. Josep Carmona, Jetty Kleijn
2013	A	`conf`	Conformance Checking in the Large: Partitioning and Topology. BPM Jorge Munoz-Gama, Josep Carmona, Wil M. P. van der Aalst
2013	B	`conf`	Hierarchical Conformance Checking of Process Models Based on Event Logs. Petri Nets Jorge Munoz-Gama, Josep Carmona, Wil M. P. van der Aalst
2013	J	`jnl`	Region-Based Foldings in Process Discovery. IEEE Trans. Knowl. Data Eng. Marc Solé, Josep Carmona
2012	—	`conf`	A High-Level Strategy for C-net Discovery. ACSD Marc Solé, Josep Carmona
2012	—	`conf`	Alignment Based Precision Checking. Business Process Management Workshops Arya Adriansyah, Jorge Munoz-Gama, Josep Carmona, Boudewijn F. van Dongen, Wil M. P. van der Aalst
2012	B	`conf`	An SMT-Based Discovery Algorithm for C-Nets. Petri Nets Marc Solé, Josep Carmona
2012	—	`conf`	Analytical Performance Modeling of Hierarchical Interconnect Fabrics. NOCS Nikita Nikitin, Javier de San Pedro, Josep Carmona, Jordi Cortadella
2012	J	`jnl`	Incremental Process Discovery. Trans. Petri Nets Other Model. Concurr. Marc Solé, Josep Carmona
2012	A	`conf`	Integrating formal verification in an online judge for e-Learning logic circuit design. SIGCSE Javier de San Pedro, Josep Carmona, Jordi Cortadella, Jordi Petit
2012	B	`conf`	Online Techniques for Dealing with Concept Drift in Process Mining. IDA Josep Carmona, Ricard Gavaldà
2012	J	`jnl`	Projection approaches to process mining using region-based techniques. Data Min. Knowl. Discov. Josep Carmona
2012	J	`jnl`	The Label Splitting Problem. Trans. Petri Nets Other Model. Concurr. Josep Carmona
2011	—	`ed.`	11th International Conference on Application of Concurrency to System Design, ACSD 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011 ACSD Benoît Caillaud, Josep Carmona, Kunihiko Hiraishi
2011	J	`jnl`	A Scheduling Strategy for Synchronous Elastic Designs. Fundam. Informaticae Josep Carmona, Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky
2011	C	`conf`	Enhancing precision in Process Conformance: Stability, confidence and severity. CIDM Jorge Munoz-Gama, Josep Carmona
2011	J	`jnl`	Light Region-based Techniques for Process Discovery. Fundam. Informaticae Marc Solé, Josep Carmona
2011	—	`conf`	Process Mining Manifesto. Business Process Management Workshops (1) Wil M. P. van der Aalst, Arya Adriansyah, Ana Karla Alves de Medeiros, Franco Arcieri, Thomas Baier, Tobias Blickle, R. P. Jagadeesh Chandra Bose, Peter van den Brand, Ronald Brandtjen, Joos C. A. M. Buijs, Andrea Burattin, Josep Carmona, Malú Castellanos, Jan Claes, Jonathan E. Cook, Nicola Costantini, Francisco Curbera, Ernesto Damiani, Massimiliano de Leoni, Pavlos Delias, Boudewijn F. van Dongen, Marlon Dumas, Schahram Dustdar, Dirk Fahland, Diogo R. Ferreira, Walid Gaaloul, Frank van Geffen, Sukriti Goel, Christian W. Günther, Antonella Guzzo, Paul Harmon, Arthur H. M. ter Hofstede, John Hoogland, Jon Espen Ingvaldsen, Koki Kato, Rudolf Kuhn, Akhil Kumar, Marcello La Rosa, Fabrizio Maria Maggi, Donato Malerba, R. S. Mans, Alberto Manuel, Martin McCreesh, Paola Mello, Jan Mendling, Marco Montali, Hamid R. Motahari Nezhad, Michael zur Muehlen, Jorge Munoz-Gama, Luigi Pontieri, Joel Ribeiro, Anne Rozinat, Hugo Seguel Pérez, Ricardo Seguel Pérez, Marcos Sepúlveda, Jim Sinur, Pnina Soffer, Minseok Song, Alessandro Sperduti, Giovanni Stilo, Casper Stoel, Keith D. Swenson, Maurizio Talamo, Wei Tan, Chris Turner, Jan Vanthienen, George Varvaressos, Eric Verbeek, Marc Verdonk, Roberto Vigo, Jianmin Wang, Barbara Weber, Matthias Weidlich, Ton Weijters, Lijie Wen, Michael Westergaard, Moe Thandar Wynn
2011	—	`conf`	The Label Splitting Problem. ART @ Petri Nets Josep Carmona
2010	A	`conf`	A Fresh Look at Precision in Process Conformance. BPM Jorge Munoz-Gama, Josep Carmona
2010	—	`conf`	Incremental Process Mining. ACSD/Petri Nets Workshops Marc Solé, Josep Carmona
2010	J	`jnl`	New Region-Based Algorithms for Deriving Bounded Petri Nets. IEEE Trans. Computers Josep Carmona, Jordi Cortadella, Michael Kishinevsky
2010	—	`conf`	Process Mining Meets Abstract Interpretation. ECML/PKDD (1) Josep Carmona, Jordi Cortadella
2010	B	`conf`	Process Mining from a Basis of State Regions. Petri Nets Marc Solé, Josep Carmona
2010	B	`conf`	Rbminer: A Tool for Discovering Petri Nets from Transition Systems. ATVA Marc Solé, Josep Carmona
2009	A	`conf`	Divide-and-Conquer Strategies for Process Mining. BPM Josep Carmona, Jordi Cortadella, Michael Kishinevsky
2009	J	`jnl`	Elastic Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Josep Carmona, Jordi Cortadella, Michael Kishinevsky, Alexander Taubin
2009	—	`conf`	Genet: A Tool for the Synthesis and Mining of Petri Nets. ACSD Josep Carmona, Jordi Cortadella, Michael Kishinevsky
2009	—	`conf`	Scheduling Synchronous Elastic Designs. ACSD Josep Carmona, Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky
2008	A	`conf`	A Region-Based Algorithm for Discovering Petri Nets from Event Logs. BPM Josep Carmona, Jordi Cortadella, Michael Kishinevsky
2008	B	`conf`	A Symbolic Algorithm for the Synthesis of Bounded Petri Nets. Petri Nets Josep Carmona, Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev
2008	J	`jnl`	Elasticity and Petri Nets. Trans. Petri Nets Other Model. Concurr. Jordi Cortadella, Michael Kishinevsky, Dmitry Bufistov, Josep Carmona, Jorge Júlvez
2008	J	`jnl`	Encoding Large Asynchronous Controllers With ILP Techniques. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Josep Carmona, Jordi Cortadella
2008	J	`jnl`	Formal methods for the analysis and synthesis of nanometer-scale cellular arrays. ACM J. Emerg. Technol. Comput. Syst. Josep Carmona, Jordi Cortadella, Yousuke Takada, Ferdinand Peper
2008	—	`conf`	Logic Synthesis of Handshake Components Using Structural Clustering Techniques. PATMOS Francisco Fernández-Nogueira, Josep Carmona
2006	A	`conf`	From molecular interactions to gates: a systematic approach. ICCAD Josep Carmona, Jordi Cortadella, Yousuke Takada, Ferdinand Peper
2006	A*	`conf`	State encoding of large asynchronous controllers. DAC Josep Carmona, Jordi Cortadella
2006	J	`jnl`	Synthesis of asynchronous controllers using integer linear programming. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Josep Carmona, José Manuel Colom, Jordi Cortadella, Fernando García-Vallés
2003	A	`conf`	ILP Models for the Synthesis of Asynchronous Control Circuits. ICCAD Josep Carmona, Jordi Cortadella
2003	—	`conf`	Synthesis of Asynchronous Hardware from Petri Nets. Lectures on Concurrency and Petri Nets Josep Carmona, Jordi Cortadella, Victor Khomenko, Alexandre Yakovlev
2002	J	`jnl`	A structural encoding technique for the synthesis of asynchronous circuits. Fundam. Informaticae Josep Carmona, Jordi Cortadella, Enric Pastor
2002	B	`conf`	Input/Output Compatibility of Reactive Systems. FMCAD Josep Carmona, Jordi Cortadella
2002	—	`conf`	Synthesis of Reactive Systems: Application to Asynchronous Circuit Design. Concurrency and Hardware Design Josep Carmona, Jordi Cortadella, Enric Pastor
2001	—	`conf`	A structural encoding technique for the synthesis of asynchronous circuits. ACSD Josep Carmona, Jordi Cortadella, Enric Pastor
1999	A*	`conf`	Improving POS Tagging Using Machine-Learning Techniques. EMNLP Lluís Màrquez, Horacio Rodríguez, Josep Carmona, Josep Montolio
1998	B	`conf`	An environment for mophosyntactic processing of unrestricted Spanish text. LREC Josep Carmona, Sergi Cervell, Lluís Màrquez, Maria Antònia Martí, Lluís Padró Cirera, Roberto Placer, Horacio Rodríguez, Mariona Taulé Delor, Jordi Turmo
1998	B	`conf`	Morphosyntactic analysis and parsing of unrestricted Spanish text. LREC Jordi Atserias Batalla, Josep Carmona, 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