Josep Carmona
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
55
Venues
18
Active years
1998–2021
Best venue rank
A*
Where they publish
Papers
55 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | BPM | A Discounted Cost Function for Fast Alignments of Business Processes. | Mathilde Boltenhagen, Thomas Chatain, Josep Carmona |
| 2021 | BPM | Extracting Decision Models from Textual Descriptions of Processes. | Luis Quishpi, Josep Carmona, Llus Padr |
| 2021 | BPM | CC4Spark: Distributing event logs and big complex conformance checking problems. | lvaro Valencia-Parra, Angel Jesus Varela-Vaca, Mara Teresa Gmez-Lpez, Josep Carmona |
| 2021 | DSAA | Non-Technical Losses Detection in Energy Consumption Focusing on Energy Recovery and Explainability: Extended Abstract. | Bernat Coma-Puig, Josep Carmona |
| 2021 | ICPM | An A | Mathilde Boltenhagen, Thomas Chatain, Josep Carmona |
| 2020 | BPM | Extracting Annotations from Textual Descriptions of Processes. | Luis Quishpi, Josep Carmona, Llus Padr |
| 2020 | CaiSE | Business Process Variant Analysis Based on Mutual Fingerprints of Event Logs. | Farbod Taymouri, Marcello La Rosa, Josep Carmona |
| 2020 | ICPM | Explainable Predictive Process Monitoring. | Riccardo Galanti, Bernat Coma-Puig, Massimiliano de Leoni, Josep Carmona, Nicol Navarin |
| 2020 | ICPM | Improving the Extraction of Process Annotations from Text with Inter-sentence Analysis. | Luis Quishpi, Josep Carmona, Llus Padr |
| 2019 | BPM | Encoding Conformance Checking Artefacts in SAT. | Mathilde Boltenhagen, Thomas Chatain, Josep Carmona |
| 2019 | BPM | Approximate Computation of Alignments of Business Processes Through Relaxation Labelling. | Llus Padr, Josep Carmona |
| 2019 | BPM | Formal Reasoning on Natural Language Descriptions of Processes. | Josep Snchez-Ferreres, Andrea Burattin, Josep Carmona, Marco Montali, Llus Padr |
| 2019 | CaiSE | From Process Models to Chatbots. | Anselmo Lpez, Josep Snchez-Ferreres, Josep Carmona, Llus Padr |
| 2018 | BPM | Online Conformance Checking Using Behavioural Patterns. | Andrea Burattin, Sebastiaan J. van Zelst, Abel Armas-Cervantes, Boudewijn F. van Dongen, Josep Carmona |
| 2018 | BPM | The Model Judge - A Tool for Supporting Novices in Learning Process Modeling. | Luis Delicado, Josep Snchez-Ferreres, Josep Carmona, Llus Padr |
| 2018 | BPM | An Evolutionary Technique to Approximate Multiple Optimal Alignments. | Farbod Taymouri, Josep Carmona |
| 2018 | COLING | Challenges and Opportunities of Applying Natural Language Processing in Business Process Management. | Han van der Aa, Josep Carmona, Henrik Leopold, Jan Mendling, Llus Padr |
| 2018 | SAC | A quality control method for fraud detection on utility customers without an active contract. | Bernat Coma-Puig, Josep Carmona |
| 2017 | BPM | A Framework for Online Conformance Checking. | Andrea Burattin, Josep Carmona |
| 2017 | BPM | NLP4BPM - Natural Language Processing Tools for Business Process Management. | Luis Delicado, Josep Snchez-Ferreres, Josep Carmona, Llus Padr |
| 2017 | BPM | Reducing Event Variability in Logs by Clustering of Word Embeddings. | David Snchez-Charles, Josep Carmona, Victor Munts-Mulero, Marc Sol |
| 2017 | CaiSE | Aligning Modeled and Observed Behavior: A Compromise Between Computation Complexity and Quality. | Boudewijn F. van Dongen, Josep Carmona, Thomas Chatain, Farbod Taymouri |
| 2017 | CaiSE | Aligning Textual and Graphical Descriptions of Processes Through ILP Techniques. | Josep Snchez-Ferreres, Josep Carmona, Llus Padr |
| 2017 | Coordination | Communication Requirements for Team Automata. | Maurice H. ter Beek, Josep Carmona, Rolf Hennicker, Jetty Kleijn |
| 2017 | ER | Alignment-Based Trace Clustering. | Thomas Chatain, Josep Carmona, Boudewijn F. van Dongen |
| 2016 | BPM | A Unified Approach for Measuring Precision and Generalization Based on Anti-alignments. | Boudewijn F. van Dongen, Josep Carmona, Thomas Chatain |
| 2016 | BPM | Process Model Comparison Based on Cophenetic Distance. | David Snchez-Charles, Victor Munts-Mulero, Josep Carmona, Marc Sol |
| 2016 | BPM | A Recursive Paradigm for Aligning Observed Behavior of Large Structured Process Models. | Farbod Taymouri, Josep Carmona |
| 2016 | DSAA | Fraud Detection in Energy Consumption: A Supervised Approach. | Bernat Coma-Puig, Josep Carmona, Ricard Gavald, Santiago Alcoverro, Victor Martin |
| 2016 | ISoLA | Conditions for Compatibility of Components - The Case of Masters and Slaves. | Maurice H. ter Beek, Josep Carmona, Jetty Kleijn |
| 2015 | ATVA | Unfolding-Based Process Discovery. | Hernn Ponce de Len, Csar Rodrguez, Josep Carmona, Keijo Heljanko, Stefan Haar |
| 2015 | BPM | Incorporating Negative Information in Process Discovery. | Hernn Ponce de Len, Josep Carmona, Seppe K. L. M. vanden Broucke |
| 2015 | BPM | POD - A Tool For Process Discovery Using Partial Orders and Independence Information. | Hernn Ponce de Len, Csar Rodrguez, Josep Carmona |
| 2015 | BPM | Log-Based Simplification of Process Models. | Javier de San Pedro, Josep Carmona, Jordi Cortadella |
| 2014 | BPM | PMLAB: An Scripting Environment for Process Mining. | Josep Carmona, Marc Sol |
| 2014 | BPM | RS4PD: A Tool for Recommending Control-Flow Algorithms. | Joel Ribeiro, Josep Carmona |
| 2014 | BPM | A Recommender System for Process Discovery. | Joel Ribeiro, Josep Carmona, Mustafa Misir, Michle Sebag |
| 2013 | BPM | Conformance Checking in the Large: Partitioning and Topology. | Jorge Munoz-Gama, Josep Carmona, Wil M. P. van der Aalst |
| 2013 | SAC | Amending C-net discovery algorithms. | Marc Sol, Josep Carmona |
| 2012 | BPM | Alignment Based Precision Checking. | Arya Adriansyah, Jorge Munoz-Gama, Josep Carmona, Boudewijn F. van Dongen, Wil M. P. van der Aalst |
| 2012 | IDA | Online Techniques for Dealing with Concept Drift in Process Mining. | Josep Carmona, Ricard Gavald |
| 2012 | SIGCSE | Integrating formal verification in an online judge for e-Learning logic circuit design. | Javier de San Pedro, Josep Carmona, Jordi Cortadella, Jordi Petit |
| 2011 | BPM | Process Mining Manifesto. | 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. Gnther, 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 Prez, Ricardo Seguel Prez, Marcos Seplveda, 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 | CIDM | Enhancing precision in Process Conformance: Stability, confidence and severity. | Jorge Munoz-Gama, Josep Carmona |
| 2010 | ATVA | Rbminer: A Tool for Discovering Petri Nets from Transition Systems. | Marc Sol, Josep Carmona |
| 2010 | BPM | A Fresh Look at Precision in Process Conformance. | Jorge Munoz-Gama, Josep Carmona |
| 2009 | BPM | Divide-and-Conquer Strategies for Process Mining. | Josep Carmona, Jordi Cortadella, Michael Kishinevsky |
| 2008 | BPM | A Region-Based Algorithm for Discovering Petri Nets from Event Logs. | Josep Carmona, Jordi Cortadella, Michael Kishinevsky |
| 2006 | DAC | State encoding of large asynchronous controllers. | Josep Carmona, Jordi Cortadella |
| 2006 | ICCAD | From molecular interactions to gates: a systematic approach. | Josep Carmona, Jordi Cortadella, Yousuke Takada, Ferdinand Peper |
| 2003 | ICCAD | ILP Models for the Synthesis of Asynchronous Control Circuits. | Josep Carmona, Jordi Cortadella |
| 2002 | FMCAD | Input/Output Compatibility of Reactive Systems. | Josep Carmona, Jordi Cortadella |
| 1999 | EMNLP | Improving POS Tagging Using Machine-Learning Techniques. | Llus Mrquez, Horacio Rodrguez, Josep Carmona, Josep Montolio |
| 1998 | LREC | Morphosyntactic analysis and parsing of unrestricted Spanish text. | Jordi Atserias Batalla, Josep Carmona, Irene Castelln Masalles, Sergi Cervell, Montserrat Civit Torruella, Llus Mrquez, Maria Antnia Mart Antonn, Llus Padr Cirera, Roberto Placer, Horacio Rodrguez Hontoria, Mariona Taul Delor, Jordi Turmo |
| 1998 | LREC | An environment for mophosyntactic processing of unrestricted Spanish text. | Josep Carmona, Sergi Cervell, Llus Mrquez, Maria Antnia Mart, Llus Padr Cirera, Roberto Placer, Horacio Rodrguez, Mariona Taul Delor, Jordi Turmo |