default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJosep Carmona 0001
Josep Carmona Vargas
Person information
- affiliation: Polytechnic University of Catalonia (UPC), Barcelona, Spain
Other persons with a similar name
- Josep Maria Carmona
![[0000-0002-5148-301X]](https://dblp.org/img/orcid-mark.12x12.png "0000-0002-5148-301X")
— Polytechnic University of Catalonia, Barcelona, Spain
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j47]Bernat Coma-Puig, Albert Calvo, Josep Carmona, Ricard Gavaldà:
A case study of improving a non-technical losses detection system through explainability. Data Min. Knowl. Discov. 38(5): 2704-2732 (2024)- 2022
- [j46]Didier Buchs, Josep Carmona, Jetty Kleijn:
Preface. Fundam. Informaticae 187(2-4) (2022) - [j45]Lluís Padró, Josep Carmona:
Computation of alignments of business processes through relaxation labeling and local optimal search. Inf. Syst. 104: 101703 (2022) - [j44]Josep Carmona, Mieke Jans, Marcello La Rosa:
Special issue: Selected papers of ICPM 2019. Inf. Syst. 106: 101899 (2022) - [j43]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:
Process mining for healthcare: Characteristics and challenges. J. Biomed. Informatics 127: 103994 (2022) - [j42]Bernat Coma-Puig, Josep Carmona:
Non-technical losses detection in energy consumption focusing on energy recovery and explainability. Mach. Learn. 111(2): 487-517 (2022) - [p3]Adriano Augusto, Josep Carmona, Eric Verbeek:
Advanced Process Discovery Techniques. Process Mining Handbook 2022: 76-107 - [p2]Josep Carmona, Boudewijn F. van Dongen, Matthias Weidlich:
Conformance Checking: Foundations, Milestones and Challenges. Process Mining Handbook 2022: 155-190 - [p1]Wil M. P. van der Aalst, Josep Carmona:
Scaling Process Mining to Turn Insights into Actions. Process Mining Handbook 2022: 495-502 - [e12]Wil M. P. van der Aalst, Josep Carmona:
Process Mining Handbook. Lecture Notes in Business Information Processing 448, Springer 2022, ISBN 978-3-031-08847-6 [contents] - 2021
- [j41]Mathilde Boltenhagen, Thomas Chatain, Josep Carmona:
Optimized SAT encoding of conformance checking artefacts. Computing 103(1): 29-50 (2021) - [j40]Anna A. Kalenkova, Josep Carmona, Artem Polyvyanyy, Marcello La Rosa:
Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory. Fundam. Informaticae 183(3-4): 293-317 (2021) - [j39]Thomas Chatain, Mathilde Boltenhagen, Josep Carmona:
Anti-alignments - Measuring the precision of process models and event logs. Inf. Syst. 98: 101708 (2021) - [j38]Álvaro Valencia-Parra, Ángel Jesús Varela-Vaca, María Teresa Gómez-López, Josep Carmona, Robin Bergenthum:
Empowering conformance checking using Big Data through horizontal decomposition. Inf. Syst. 99: 101731 (2021) - [j37]Mathilde Boltenhagen, Thomas Chatain, Josep Carmona:
Model-based trace variant analysis of event logs. Inf. Syst. 102: 101675 (2021) - [j36]Josep Sànchez-Ferreres, Andrea Burattin, Josep Carmona, Marco Montali, Lluís Padró, Luis Quishpi:
Unleashing textual descriptions of business processes. Softw. Syst. Model. 20(6): 2131-2153 (2021) - [c90]Luis Quishpi, Josep Carmona, Lluís Padró:
Extracting Decision Models from Textual Descriptions of Processes. BPM 2021: 85-102 - [c89]Álvaro Valencia-Parra, Angel Jesus Varela-Vaca, María Teresa Gómez-López, Josep Carmona:
CC4Spark: Distributing event logs and big complex conformance checking problems. BPM (PhD/Demos) 2021: 136-140 - [c88]Mathilde Boltenhagen, Thomas Chatain, Josep Carmona:
A Discounted Cost Function for Fast Alignments of Business Processes. BPM 2021: 252-269 - [c87]Bernat Coma-Puig, Josep Carmona:
Non-Technical Losses Detection in Energy Consumption Focusing on Energy Recovery and Explainability: Extended Abstract. DSAA 2021: 1-2 - [c86]Mathilde Boltenhagen, Thomas Chatain, Josep Carmona:
An A*-Algorithm for Computing Discounted Anti-Alignments in Process Mining. ICPM 2021: 25-31 - [c85]Bernat Coma-Puig, Josep Carmona:
A Human-in-the-Loop Approach based on Explainability to Improve NTL Detection. ICDM (Workshops) 2021: 943-950 - [e11]Didier Buchs, Josep Carmona:
Application and Theory of Petri Nets and Concurrency - 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23-25, 2021, Proceedings. Lecture Notes in Computer Science 12734, Springer 2021, ISBN 978-3-030-76982-6 [contents] - [i7]Anna A. Kalenkova, Josep Carmona, Artem Polyvyanyy, Marcello La Rosa:
Automated Repair of Process Models with Non-Local Constraints Using State-Based Region Theory. CoRR abs/2106.15398 (2021) - 2020
- [j35]Josep Carmona, Lluís Padró, Luis Delicado:
Flexible Process Model Mapping using Relaxation Labeling. Fundam. Informaticae 175(1-4): 123-141 (2020) - [j34]Josep Sànchez-Ferreres, Luis Delicado, Amine Abbad Andaloussi, Andrea Burattin, Guillermo Calderón-Ruiz, Barbara Weber, Josep Carmona, Lluís Padró:
Supporting the Process of Learning and Teaching Process Models. IEEE Trans. Learn. Technol. 13(3): 552-566 (2020) - [j33]Farbod Taymouri, Josep Carmona:
Computing Alignments of Well-Formed Process Models using Local Search. ACM Trans. Softw. Eng. Methodol. 29(3): 15:1-15:41 (2020) - [c84]Anna A. Kalenkova, Josep Carmona, Artem Polyvyanyy, Marcello La Rosa:
Automated Repair of Process Models Using Non-local Constraints. Petri Nets 2020: 280-300 - [c83]Luis Quishpi, Josep Carmona, Lluís Padró:
Extracting Annotations from Textual Descriptions of Processes. BPM 2020: 184-201 - [c82]Farbod Taymouri, Marcello La Rosa, Josep Carmona:
Business Process Variant Analysis Based on Mutual Fingerprints of Event Logs. CAiSE 2020: 299-318 - [c81]Riccardo Galanti, Bernat Coma-Puig, Massimiliano de Leoni, Josep Carmona, Nicolò Navarin:
Explainable Predictive Process Monitoring. ICPM 2020: 1-8 - [c80]Luis Quishpi, Josep Carmona, Lluís Padró:
Improving the Extraction of Process Annotations from Text with Inter-sentence Analysis. ICPM Workshops 2020: 149-161 - [e10]Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona:
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. CEUR Workshop Proceedings 2625, CEUR-WS.org 2020 [contents] - [i6]Riccardo Galanti, Bernat Coma-Puig, Massimiliano de Leoni, Josep Carmona, Nicolò Navarin:
Explainable Predictive Process Monitoring. CoRR abs/2008.01807 (2020) - [i5]Bernat Coma-Puig, Josep Carmona:
An Iterative Approach based on Explainability to Improve the Learning of Fraud Detection Models. CoRR abs/2009.13437 (2020)
2010 – 2019
- 2019
- [j32]Josep Carmona, Gregor Engels, Akhil Kumar, Manfred Reichert:
Special issue: Selected papers of BPM 2017. Inf. Syst. 84: 238-239 (2019) - [j31]Montserrat Estañol, Jorge Munoz-Gama, Josep Carmona, Ernest Teniente:
Conformance checking in UML artifact-centric business process models. Softw. Syst. Model. 18(4): 2531-2555 (2019) - [j30]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:
Corrections to "Jutge.org: Characteristics and Experiences". IEEE Trans. Learn. Technol. 12(2): 290 (2019) - [j29]Wil M. P. van der Aalst, Josep Carmona, Thomas Chatain, Boudewijn F. van Dongen:
A Tour in Process Mining: From Practice to Algorithmic Challenges. Trans. Petri Nets Other Model. Concurr. 14: 1-35 (2019) - [c79]Farbod Taymouri, Josep Carmona:
Structural Computation of Alignments of Business Processes Over Partial Orders. ACSD 2019: 73-81 - [c78]Mathilde Boltenhagen, Thomas Chatain, Josep Carmona:
Generalized Alignment-Based Trace Clustering of Process Behavior. Petri Nets 2019: 237-257 - [c77]Josep Sànchez-Ferreres, Andrea Burattin, Josep Carmona, Marco Montali, Lluís Padró:
Formal Reasoning on Natural Language Descriptions of Processes. BPM 2019: 86-101 - [c76]Mathilde Boltenhagen, Thomas Chatain, Josep Carmona:
Encoding Conformance Checking Artefacts in SAT. Business Process Management Workshops 2019: 160-171 - [c75]Lluís Padró, Josep Carmona:
Approximate Computation of Alignments of Business Processes Through Relaxation Labelling. BPM 2019: 250-267 - [c74]Anselmo López, Josep Sànchez-Ferreres, Josep Carmona, Lluís Padró:
From Process Models to Chatbots. CAiSE 2019: 383-398 - [c73]Josep Carmona, Matthias Weidlich, Boudewijn F. van Dongen:
Actionable Conformance Checking: From Intuitions to Code. eBISS 2019: 1-24 - [e9]Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona:
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. CEUR Workshop Proceedings 2371, CEUR-WS.org 2019 [contents] - [r1]Josep Carmona:
Decomposed Process Discovery and Conformance Checking. Encyclopedia of Big Data Technologies 2019 - [i4]Thomas Chatain, Mathilde Boltenhagen, Josep Carmona:
Anti-Alignments - Measuring The Precision of Process Models and Event Logs. CoRR abs/1912.05907 (2019) - [i3]Farbod Taymouri, Marcello La Rosa, Josep Carmona:
Business Process Variant Analysis based on Mutual Fingerprints of Event Logs. CoRR abs/1912.10598 (2019) - 2018
- [b1]Josep Carmona, Boudewijn F. van Dongen, Andreas Solti, Matthias Weidlich:
Conformance Checking - Relating Processes and Models. Springer 2018, ISBN 978-3-319-99413-0, pp. 1-263 - [j28]Josep Sànchez-Ferreres, Han van der Aa, Josep Carmona, Lluís Padró:
Aligning textual and model-based process descriptions. Data Knowl. Eng. 118: 25-40 (2018) - [j27]Hernán Ponce de León, Lucio Nardelli, Josep Carmona, Seppe K. L. M. vanden Broucke:
Incorporating negative information to process discovery of complex systems. Inf. Sci. 422: 480-496 (2018) - [j26]Marc Solé, Josep Carmona:
Encoding process discovery problems in SMT. Softw. Syst. Model. 17(4): 1055-1078 (2018) - [j25]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:
Jutge.org: Characteristics and Experiences. IEEE Trans. Learn. Technol. 11(3): 321-333 (2018) - [c72]Luis Delicado, Josep Sànchez-Ferreres, Josep Carmona, Lluís Padró:
The Model Judge - A Tool for Supporting Novices in Learning Process Modeling. BPM (Dissertation/Demos/Industry) 2018: 91-95 - [c71]Farbod Taymouri, Josep Carmona:
An Evolutionary Technique to Approximate Multiple Optimal Alignments. BPM 2018: 215-232 - [c70]Andrea Burattin, Sebastiaan J. van Zelst, Abel Armas-Cervantes, Boudewijn F. van Dongen, Josep Carmona:
Online Conformance Checking Using Behavioural Patterns. BPM 2018: 250-267 - [c69]Han van der Aa, Josep Carmona, Henrik Leopold, Jan Mendling, Lluís Padró:
Challenges and Opportunities of Applying Natural Language Processing in Business Process Management. COLING 2018: 2791-2801 - [c68]Bernat Coma-Puig, Josep Carmona:
A quality control method for fraud detection on utility customers without an active contract. SAC 2018: 495-498 - [e8]Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona:
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. CEUR Workshop Proceedings 2115, CEUR-WS.org 2018 [contents] - 2017
- [j24]Julius Holderer, Josep Carmona, Farbod Taymouri, Günter Müller:
Log- and Model-Based Techniques for Security-Sensitive Tackling of Obstructed Workflow Executions. Trans. Petri Nets Other Model. Concurr. 12: 43-69 (2017) - [c67]Josep Carmona:
The Alignment of Formal, Structured and Unstructured Process Descriptions. Petri Nets 2017: 3-11 - [c66]Andrea Burattin, Josep Carmona:
A Framework for Online Conformance Checking. Business Process Management Workshops 2017: 165-177 - [c65]Luis Delicado, Josep Sànchez-Ferreres, Josep Carmona, Lluís Padró:
NLP4BPM - Natural Language Processing Tools for Business Process Management. BPM (Demos) 2017 - [c64]David Sánchez-Charles, Josep Carmona, Victor Muntés-Mulero, Marc Solé:
Reducing Event Variability in Logs by Clustering of Word Embeddings. Business Process Management Workshops 2017: 191-203 - [c63]Boudewijn F. van Dongen, Josep Carmona, Thomas Chatain, Farbod Taymouri:
Aligning Modeled and Observed Behavior: A Compromise Between Computation Complexity and Quality. CAiSE 2017: 94-109 - [c62]Josep Sànchez-Ferreres, Josep Carmona, Lluís Padró:
Aligning Textual and Graphical Descriptions of Processes Through ILP Techniques. CAiSE 2017: 413-427 - [c61]Maurice H. ter Beek, Josep Carmona, Rolf Hennicker, Jetty Kleijn:
Communication Requirements for Team Automata. COORDINATION 2017: 256-277 - [c60]Thomas Chatain, Josep Carmona, Boudewijn F. van Dongen:
Alignment-Based Trace Clustering. ER 2017: 295-308 - [e7]Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona:
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. CEUR Workshop Proceedings 1847, CEUR-WS.org 2017 [contents] - [e6]Josep Carmona, Gregor Engels, Akhil Kumar:
Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10-15, 2017, Proceedings. Lecture Notes in Business Information Processing 297, Springer 2017, ISBN 978-3-319-65014-2 [contents] - [e5]Josep Carmona, Gregor Engels, Akhil Kumar:
Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings. Lecture Notes in Computer Science 10445, Springer 2017, ISBN 978-3-319-64999-3 [contents] - 2016
- [j23]Boudewijn F. van Dongen, Josep Carmona, Thomas Chatain:
Alignment-based Quality Metrics in Conformance Checking. EMISA Forum 36(2): 77-80 (2016) - [j22]Andrey Mokhov, Josep Carmona, Jonathan Beaumont:
Mining Conditional Partial Order Graphs from Event Logs. Trans. Petri Nets Other Model. Concurr. 11: 114-136 (2016) - [j21]Timo Sztyler, Josep Carmona, Johanna Völker, Heiner Stuckenschmidt:
Self-tracking Reloaded: Applying Process Mining to Personalized Health Care from Labeled Sensor Data. Trans. Petri Nets Other Model. Concurr. 11: 160-180 (2016) - [j20]Joel Ribeiro, Josep Carmona:
A Method for Assessing Parameter Impact on Control-Flow Discovery Algorithms. Trans. Petri Nets Other Model. Concurr. 11: 181-202 (2016) - [c59]María Teresa Gómez-López, Diana Borrego, Josep Carmona, Rafael M. Gasca:
Computing Alignments with Constraint Programming: The Acyclic Case. ATAED@Petri Nets/ACSD 2016: 96-110 - [c58]Julius Holderer, Josep Carmona, Günter Müller:
Security-Sensitive Tackling of Obstructed Workow Executions. ATAED@Petri Nets/ACSD 2016: 126-137 - [c57]Thomas Chatain, Josep Carmona:
Anti-alignments in Conformance Checking - The Dark Side of Process Models. Petri Nets 2016: 240-258 - [c56]Boudewijn F. van Dongen, Josep Carmona, Thomas Chatain:
A Unified Approach for Measuring Precision and Generalization Based on Anti-alignments. BPM 2016: 39-56 - [c55]David Sánchez-Charles, Victor Muntés-Mulero, Josep Carmona, Marc Solé:
Process Model Comparison Based on Cophenetic Distance. BPM (Forum) 2016: 141-158 - [c54]Farbod Taymouri, Josep Carmona:
A Recursive Paradigm for Aligning Observed Behavior of Large Structured Process Models. BPM 2016: 197-214 - [c53]Bernat Coma-Puig, Josep Carmona, Ricard Gavaldà, Santiago Alcoverro, Victor Martin:
Fraud Detection in Energy Consumption: A Supervised Approach. DSAA 2016: 120-129 - [c52]Boudewijn F. van Dongen, Josep Carmona, Thomas Chatain:
Alignment-based Quality Metrics in Conformance Checking (Summary). EMISA 2016: 87-90 - [c51]Maurice H. ter Beek, Josep Carmona, Jetty Kleijn:
Conditions for Compatibility of Components - The Case of Masters and Slaves. ISoLA (1) 2016: 784-805 - [c50]Farbod Taymouri, Josep Carmona:
Model and Event Log Reductions to Boost the Computation of Alignments. SIMPDA (Revised Selected Papers) 2016: 1-21 - [c49]Farbod Taymouri, Josep Carmona:
Model and Event Log Reductions to Boost the Computation of Alignments. SIMPDA 2016: 50-62 - [c48]David Sanchez-Charles, Marc Solé, Josep Carmona, Victor Muntés-Mulero:
Improving Process Model Precision by Loop Unrolling. SIMPDA 2016: 89-99 - [c47]David Sanchez-Charles, Josep Carmona, Victor Muntés-Mulero, Marc Solé:
Clustering Software Developer Repository Accesses with the Cophenetic Distance. SIMPDA 2016: 100-110 - [e4]Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona:
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. CEUR Workshop Proceedings 1592, CEUR-WS.org 2016 [contents] - 2015
- [j19]Arya Adriansyah, Jorge Munoz-Gama, Josep Carmona, Boudewijn F. van Dongen, Wil M. P. van der Aalst:
Measuring precision of modeled behavior. Inf. Syst. E Bus. Manag. 13(1): 37-67 (2015) - [c46]Andrey Mokhov, Josep Carmona:
Event Log Visualisation with Conditional Partial Order Graphs: from Control Flow to Data. ATAED@Petri Nets/ACSD 2015: 16-30 - [c45]Timo Sztyler, Johanna Völker, Josep Carmona, Oliver Meier, Heiner Stuckenschmidt:
Discovery of Personal Processes from Labeled Sensor Data - An Application of Process Mining to Personalized Health Care. ATAED@Petri Nets/ACSD 2015: 31-46 - [c44]Joel Ribeiro, Josep Carmona:
A Method for Assessing Parameter Impact on Control-Flow Discovery Algorithms. ATAED@Petri Nets/ACSD 2015: 83-96 - [c43]Hernán Ponce de León, César Rodríguez, Josep Carmona, Keijo Heljanko, Stefan Haar:
Unfolding-Based Process Discovery. ATVA 2015: 31-47 - [c42]Hernán Ponce de León, César Rodríguez, Josep Carmona:
POD - A Tool For Process Discovery Using Partial Orders and Independence Information. BPM (Demos) 2015: 100-104 - [c41]Hernán Ponce de León, Josep Carmona, Seppe K. L. M. vanden Broucke:
Incorporating Negative Information in Process Discovery. BPM 2015: 126-143 - [c40]Javier de San Pedro, Josep Carmona, Jordi Cortadella:
Log-Based Simplification of Process Models. BPM 2015: 457-474 - [e3]Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona:
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. CEUR Workshop Proceedings 1371, CEUR-WS.org 2015 [contents] - [i2]Hernán Ponce de León, César Rodríguez, Josep Carmona, Keijo Heljanko, Stefan Haar:
Unfolding-Based Process Discovery. CoRR abs/1507.02744 (2015) - [i1]Maurice H. ter Beek, Josep Carmona, Jetty Kleijn:
Communication and Compatibility in Systems of Systems: Correctness-by-Construction. ERCIM News 2015(102) (2015) - 2014
- [j18]Jorge Munoz-Gama, Josep Carmona, Wil M. P. van der Aalst:
Single-Entry Single-Exit decomposed conformance checking. Inf. Syst. 46: 102-122 (2014) - [j17]Josep Carmona, Mihai Teodor Lazarescu, Marta Pietkiewicz-Koutny:
Introduction to Special Issue on Application of Concurrency to System Design (ACSD'13). ACM Trans. Embed. Comput. Syst. 13(4s): 140:1-140:2 (2014) - [j16]Josep Carmona, Jordi Cortadella:
Process Discovery Algorithms Using Numerical Abstract Domains. IEEE Trans. Knowl. Data Eng. 26(12): 3064-3076 (2014) - [c39]Josep Carmona, Marc Solé:
PMLAB: An Scripting Environment for Process Mining. BPM (Demos) 2014: 16 - [c38]Joel Ribeiro, Josep Carmona:
RS4PD: A Tool for Recommending Control-Flow Algorithms. BPM (Demos) 2014: 66 - [c37]Joel Ribeiro, Josep Carmona, Mustafa Misir, Michèle Sebag:
A Recommender System for Process Discovery. BPM 2014: 67-83 - [c36]Vasiliki Sfyrla, Josep Carmona, Pascal Henck:
Process-Oriented Analysis for Medical Devices. MCPS 2014: 143-146 - [c35]Massimiliano de Leoni, Jorge Munoz-Gama, Josep Carmona, Wil M. P. van der Aalst:
Decomposing Alignment-Based Conformance Checking of Data-Aware Process Models. OTM Conferences 2014: 3-20 - [c34]Seppe K. L. M. vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, Jan Vanthienen:
Event-Based Real-Time Decomposed Conformance Analysis. OTM Conferences 2014: 345-363 - 2013
- [j15]Ferdinand Peper, Jia Lee, Josep Carmona, Jordi Cortadella, Kenichi Morita:
Brownian Circuits: Fundamentals. ACM J. Emerg. Technol. Comput. Syst. 9(1): 3:1-3:24 (2013) - [j14]Josep Carmona, Jetty Kleijn:
Compatibility in a multi-component environment. Theor. Comput. Sci. 484: 1-15 (2013) - [j13]Marc Solé, Josep Carmona:
Region-Based Foldings in Process Discovery. IEEE Trans. Knowl. Data Eng. 25(1): 192-205 (2013) - [c33]Jorge Munoz-Gama, Josep Carmona, Wil M. P. van der Aalst:
Hierarchical Conformance Checking of Process Models Based on Event Logs. Petri Nets 2013: 291-310 - [c32]Jorge Munoz-Gama, Josep Carmona, Wil M. P. van der Aalst:
Conformance Checking in the Large: Partitioning and Topology. BPM 2013: 130-145 - [c31]Marc Solé, Josep Carmona:
Amending C-net discovery algorithms. SAC 2013: 1418-1425 - [e2]Josep Carmona, Mihai T. Lazarescu, Marta Pietkiewicz-Koutny:
13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, 8-10 July, 2013. IEEE Computer Society 2013, ISBN 978-0-7695-5035-0 [contents] - 2012
- [j12]Josep Carmona:
Projection approaches to process mining using region-based techniques. Data Min. Knowl. Discov. 24(1): 218-246 (2012) - [j11]Marc Solé, Josep Carmona:
Incremental Process Discovery. Trans. Petri Nets Other Model. Concurr. 5: 221-242 (2012) - [j10]Josep Carmona:
The Label Splitting Problem. Trans. Petri Nets Other Model. Concurr. 6: 1-23 (2012) - [c30]Marc Solé, Josep Carmona:
A High-Level Strategy for C-net Discovery. ACSD 2012: 102-111 - [c29]Marc Solé, Josep Carmona:
An SMT-Based Discovery Algorithm for C-Nets. Petri Nets 2012: 51-71 - [c28]Arya Adriansyah, Jorge Munoz-Gama, Josep Carmona, Boudewijn F. van Dongen, Wil M. P. van der Aalst:
Alignment Based Precision Checking. Business Process Management Workshops 2012: 137-149 - [c27]Josep Carmona, Ricard Gavaldà:
Online Techniques for Dealing with Concept Drift in Process Mining. IDA 2012: 90-102 - [c26]Nikita Nikitin, Javier de San Pedro, Josep Carmona, Jordi Cortadella:
Analytical Performance Modeling of Hierarchical Interconnect Fabrics. NOCS 2012: 107-114 - [c25]Javier de San Pedro, Josep Carmona, Jordi Cortadella, Jordi Petit:
Integrating formal verification in an online judge for e-Learning logic circuit design. SIGCSE 2012: 451-456 - 2011
- [j9]Josep Carmona, Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky:
A Scheduling Strategy for Synchronous Elastic Designs. Fundam. Informaticae 108(1-2): 1-21 (2011) - [j8]Marc Solé, Josep Carmona:
Light Region-based Techniques for Process Discovery. Fundam. Informaticae 113(3-4): 343-376 (2011) - [c24]Josep Carmona:
The Label Splitting Problem. ART @ Petri Nets 2011: 22-35 - [c23]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:
Process Mining Manifesto. Business Process Management Workshops (1) 2011: 169-194 - [c22]Jorge Munoz-Gama, Josep Carmona:
Enhancing precision in Process Conformance: Stability, confidence and severity. CIDM 2011: 184-191 - [e1]Benoît Caillaud, Josep Carmona, Kunihiko Hiraishi:
11th International Conference on Application of Concurrency to System Design, ACSD 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011. IEEE Computer Society 2011, ISBN 978-0-7695-4387-1 [contents] - 2010
- [j7]Josep Carmona, Jordi Cortadella, Michael Kishinevsky:
New Region-Based Algorithms for Deriving Bounded Petri Nets. IEEE Trans. Computers 59(3): 371-384 (2010) - [c21]Marc Solé, Josep Carmona:
Incremental Process Mining. ACSD/Petri Nets Workshops 2010: 175-190 - [c20]Marc Solé, Josep Carmona:
Process Mining from a Basis of State Regions. Petri Nets 2010: 226-245 - [c19]Marc Solé, Josep Carmona:
Rbminer: A Tool for Discovering Petri Nets from Transition Systems. ATVA 2010: 396-402 - [c18]Jorge Munoz-Gama, Josep Carmona:
A Fresh Look at Precision in Process Conformance. BPM 2010: 211-226 - [c17]Josep Carmona, Jordi Cortadella:
Process Mining Meets Abstract Interpretation. ECML/PKDD (1) 2010: 184-199
2000 – 2009
- 2009
- [j6]Josep Carmona, Jordi Cortadella, Michael Kishinevsky, Alexander Taubin:
Elastic Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 28(10): 1437-1455 (2009) - [c16]Josep Carmona, Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky:
Scheduling Synchronous Elastic Designs. ACSD 2009: 52-59 - [c15]Josep Carmona, Jordi Cortadella, Michael Kishinevsky:
Genet: A Tool for the Synthesis and Mining of Petri Nets. ACSD 2009: 181-185 - [c14]Josep Carmona, Jordi Cortadella, Michael Kishinevsky:
Divide-and-Conquer Strategies for Process Mining. BPM 2009: 327-343 - 2008
- [j5]Josep Carmona, Jordi Cortadella, Yousuke Takada, Ferdinand Peper:
Formal methods for the analysis and synthesis of nanometer-scale cellular arrays. ACM J. Emerg. Technol. Comput. Syst. 4(2): 8:1-8:27 (2008) - [j4]Josep Carmona, Jordi Cortadella:
Encoding Large Asynchronous Controllers With ILP Techniques. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(1): 20-33 (2008) - [j3]Jordi Cortadella, Michael Kishinevsky, Dmitry Bufistov, Josep Carmona, Jorge Júlvez:
Elasticity and Petri Nets. Trans. Petri Nets Other Model. Concurr. 1: 221-249 (2008) - [c13]Josep Carmona, Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev:
A Symbolic Algorithm for the Synthesis of Bounded Petri Nets. Petri Nets 2008: 92-111 - [c12]Josep Carmona, Jordi Cortadella, Michael Kishinevsky:
A Region-Based Algorithm for Discovering Petri Nets from Event Logs. BPM 2008: 358-373 - [c11]Francisco Fernández-Nogueira, Josep Carmona:
Logic Synthesis of Handshake Components Using Structural Clustering Techniques. PATMOS 2008: 188-198 - 2006
- [j2]Josep Carmona, José Manuel Colom, Jordi Cortadella, Fernando García-Vallés:
Synthesis of asynchronous controllers using integer linear programming. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(9): 1637-1651 (2006) - [c10]Josep Carmona, Jordi Cortadella:
State encoding of large asynchronous controllers. DAC 2006: 939-944 - [c9]Josep Carmona, Jordi Cortadella, Yousuke Takada, Ferdinand Peper:
From molecular interactions to gates: a systematic approach. ICCAD 2006: 891-898 - 2003
- [c8]Josep Carmona, Jordi Cortadella, Victor Khomenko, Alexandre Yakovlev:
Synthesis of Asynchronous Hardware from Petri Nets. Lectures on Concurrency and Petri Nets 2003: 345-401 - [c7]Josep Carmona, Jordi Cortadella:
ILP Models for the Synthesis of Asynchronous Control Circuits. ICCAD 2003: 818-826 - 2002
- [j1]Josep Carmona, Jordi Cortadella, Enric Pastor:
A structural encoding technique for the synthesis of asynchronous circuits. Fundam. Informaticae 50(2): 135-154 (2002) - [c6]Josep Carmona, Jordi Cortadella, Enric Pastor:
Synthesis of Reactive Systems: Application to Asynchronous Circuit Design. Concurrency and Hardware Design 2002: 108-151 - [c5]Josep Carmona, Jordi Cortadella:
Input/Output Compatibility of Reactive Systems. FMCAD 2002: 360-377 - 2001
- [c4]Josep Carmona, Jordi Cortadella, Enric Pastor:
A structural encoding technique for the synthesis of asynchronous circuits. ACSD 2001: 157-166
1990 – 1999
- 1999
- [c3]Lluís Màrquez, Horacio Rodríguez, Josep Carmona, Josep Montolio:
Improving POS Tagging Using Machine-Learning Techniques. EMNLP 1999 - 1998
- [c2]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:
An environment for mophosyntactic processing of unrestricted Spanish text. LREC 1998: 915-922 - [c1]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:
Morphosyntactic analysis and parsing of unrestricted Spanish text. LREC 1998: 1267-1272
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
