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
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]