A case study of improving a non-technical losses detection system through explainability.

Josep Carmona 0001 Josep Carmona Vargas Polytechnic University of Catalonia (UPC), Barcelona, Spain http://www.lsi.upc.edu/~jcarmona/ https://scholar.google.com/citations?user=3o4yV1cAAAAJ https://zbmath.org/authors/?q=ai:carmona.josep https://orcid.org/0000-0001-9656-254X https://www.wikidata.org/entity/Q56955487 https://ieeexplore.ieee.org/author/37295433400 Josep Carmona

Bernat Coma-Puig Albert Calvo Josep Carmona 0001 Ricard Gavaldà A case study of improving a non-technical losses detection system through explainability. 2704-2732 2024 September 38 Data Min. Knowl. Discov. 5 https://doi.org/10.1007/s10618-023-00927-7 db/journals/datamine/datamine38.html#ComaPuigCCG24 streams/journals/datamine

Didier Buchs Josep Carmona 0001 Jetty Kleijn Preface. 2022 187 Fundam. Informaticae 2-4 https://fi.episciences.org/public/volumes/590/1224647595650c04ce695568.68529029-preface_21.pdf https://doi.org/10.3233/FI-222132 db/journals/fuin/fuin187.html#BuchsCK22

Lluís Padró 0001 Josep Carmona 0001 Computation of alignments of business processes through relaxation labeling and local optimal search. 101703 2022 104 Inf. Syst. https://doi.org/10.1016/j.is.2020.101703 db/journals/is/is104.html#PadroC22

Josep Carmona 0001 Mieke Jans Marcello La Rosa Special issue: Selected papers of ICPM 2019. 101899 2022 106 Inf. Syst. https://doi.org/10.1016/j.is.2021.101899 db/journals/is/is106.html#CarmonaJR22

Jorge Munoz-Gama Niels Martin Carlos Fernández-Llatas Owen A. Johnson Marcos Sepúlveda Emmanuel Helm Victor Galvez-Yanjari Eric Rojas 0001 Antonio Martinez-Millana Davide Aloini Ilaria Angela Amantea Robert Andrews 0001 Michael Arias Iris Beerepoot Elisabetta Benevento Andrea Burattin Daniel Capurro Josep Carmona 0001 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 0001 Felix Mannhardt Ronny Mans Mar Marcos Renata Medeiros de Carvalho Marco Pegoraro 0001 Simon K. Poon Luise Pufahl Hajo A. Reijers Simon Remy Stefanie Rinderle-Ma Lucia Sacchi Fernando Seoane Minseok Song 0001 Alessandro Stefanini Emilio Sulis Arthur H. M. ter Hofstede Pieter J. Toussaint Vicente Traver 0001 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. 103994 2022 127 J. Biomed. Informatics https://doi.org/10.1016/j.jbi.2022.103994 db/journals/jbi/jbi127.html#Munoz-GamaMFJSH22

Bernat Coma-Puig Josep Carmona 0001 Non-technical losses detection in energy consumption focusing on energy recovery and explainability. 487-517 2022 111 Mach. Learn. 2 https://doi.org/10.1007/s10994-021-06051-1 db/journals/ml/ml111.html#Coma-PuigC22

Adriano Augusto Josep Carmona 0001 Eric Verbeek 0001 Advanced Process Discovery Techniques. 76-107 2022 Process Mining Handbook https://doi.org/10.1007/978-3-031-08848-3_3 books/sp/22/PMH2022 db/books/collections/PMH2022.html#Augusto0022 Josep Carmona 0001 Boudewijn F. van Dongen Matthias Weidlich 0001 Conformance Checking: Foundations, Milestones and Challenges. 155-190 2022 Process Mining Handbook https://doi.org/10.1007/978-3-031-08848-3_5 books/sp/22/PMH2022 db/books/collections/PMH2022.html#0001DW22 Wil M. P. van der Aalst Josep Carmona 0001 Scaling Process Mining to Turn Insights into Actions. 495-502 2022 Process Mining Handbook https://doi.org/10.1007/978-3-031-08848-3_17 books/sp/22/PMH2022 db/books/collections/PMH2022.html#Aalst022 Wil M. P. van der Aalst Josep Carmona 0001 Process Mining Handbook Springer 2022 Lecture Notes in Business Information Processing 448 978-3-031-08847-6 978-3-031-08848-3 https://doi.org/10.1007/978-3-031-08848-3 db/books/collections/PMH2022.html

Mathilde Boltenhagen Thomas Chatain Josep Carmona 0001 Optimized SAT encoding of conformance checking artefacts. 29-50 2021 103 Computing 1 https://doi.org/10.1007/s00607-020-00831-8 db/journals/computing/computing103.html#BoltenhagenCC21

Anna A. Kalenkova Josep Carmona 0001 Artem Polyvyanyy Marcello La Rosa Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory. 293-317 2021 183 Fundam. Informaticae 3-4 https://fi.episciences.org/8834 https://doi.org/10.3233/FI-2021-2089 db/journals/fuin/fuin183.html#KalenkovaCPR21

Thomas Chatain Mathilde Boltenhagen Josep Carmona 0001 Anti-alignments - Measuring the precision of process models and event logs. 101708 2021 98 Inf. Syst. https://doi.org/10.1016/j.is.2020.101708 db/journals/is/is98.html#ChatainBC21

Álvaro Valencia-Parra Ángel Jesús Varela-Vaca María Teresa Gómez-López Josep Carmona 0001 Robin Bergenthum Empowering conformance checking using Big Data through horizontal decomposition. 101731 2021 99 Inf. Syst. https://doi.org/10.1016/j.is.2021.101731 db/journals/is/is99.html#Valencia-ParraV21

Mathilde Boltenhagen Thomas Chatain Josep Carmona 0001 Model-based trace variant analysis of event logs. 101675 2021 102 Inf. Syst. https://doi.org/10.1016/j.is.2020.101675 db/journals/is/is102.html#BoltenhagenCC21

Josep Sànchez-Ferreres Andrea Burattin Josep Carmona 0001 Marco Montali Lluís Padró 0001 Luis Quishpi Unleashing textual descriptions of business processes. 2131-2153 2021 20 Softw. Syst. Model. 6 https://doi.org/10.1007/s10270-021-00886-x db/journals/sosym/sosym20.html#Sanchez-Ferreres21

Luis Quishpi Josep Carmona 0001 Lluís Padró 0001 Extracting Decision Models from Textual Descriptions of Processes. 85-102 2021 BPM https://doi.org/10.1007/978-3-030-85469-0_8 conf/bpm/2021 db/conf/bpm/bpm2021.html#QuishpiCP21 Álvaro Valencia-Parra Angel Jesus Varela-Vaca María Teresa Gómez-López Josep Carmona 0001 CC4Spark: Distributing event logs and big complex conformance checking problems. 136-140 2021 BPM (PhD/Demos) https://ceur-ws.org/Vol-2973/paper_277.pdf conf/bpm/2021d db/conf/bpm/bpmd2021.html#Valencia-ParraV21 Mathilde Boltenhagen Thomas Chatain Josep Carmona 0001 A Discounted Cost Function for Fast Alignments of Business Processes. 252-269 2021 BPM https://doi.org/10.1007/978-3-030-85469-0_17 conf/bpm/2021 db/conf/bpm/bpm2021.html#BoltenhagenCC21 Bernat Coma-Puig Josep Carmona 0001 Non-Technical Losses Detection in Energy Consumption Focusing on Energy Recovery and Explainability: Extended Abstract. 1-2 2021 DSAA https://doi.org/10.1109/DSAA53316.2021.9564167 conf/dsaa/2021 db/conf/dsaa/dsaa2021.html#Coma-PuigC21 Mathilde Boltenhagen Thomas Chatain Josep Carmona 0001 An A<sup>*</sup>-Algorithm for Computing Discounted Anti-Alignments in Process Mining. 25-31 2021 ICPM https://doi.org/10.1109/ICPM53251.2021.9576887 conf/icpm/2021 db/conf/icpm/icpm2021.html#BoltenhagenCC21 Bernat Coma-Puig Josep Carmona 0001 A Human-in-the-Loop Approach based on Explainability to Improve NTL Detection. 943-950 2021 ICDM (Workshops) https://doi.org/10.1109/ICDMW53433.2021.00123 conf/incdm/2021w db/conf/incdm/incdm2021w.html#Coma-PuigC21 Didier Buchs Josep Carmona 0001 Application and Theory of Petri Nets and Concurrency - 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23-25, 2021, Proceedings Petri Nets Springer 2021 Lecture Notes in Computer Science 12734 978-3-030-76982-6 978-3-030-76983-3 https://doi.org/10.1007/978-3-030-76983-3 db/conf/apn/pn2021.html

Anna A. Kalenkova Josep Carmona 0001 Artem Polyvyanyy Marcello La Rosa Automated Repair of Process Models with Non-Local Constraints Using State-Based Region Theory. 2021 abs/2106.15398 CoRR https://arxiv.org/abs/2106.15398 db/journals/corr/corr2106.html#abs-2106-15398

Josep Carmona 0001 Lluís Padró 0001 Luis Delicado Flexible Process Model Mapping using Relaxation Labeling. 123-141 2020 175 Fundam. Informaticae 1-4 https://doi.org/10.3233/FI-2020-1950 db/journals/fuin/fuin175.html#CarmonaPD20

Josep Sànchez-Ferreres Luis Delicado Amine Abbad Andaloussi Andrea Burattin Guillermo Calderón-Ruiz Barbara Weber Josep Carmona 0001 Lluís Padró 0001 Supporting the Process of Learning and Teaching Process Models. 552-566 2020 13 IEEE Trans. Learn. Technol. 3 https://doi.org/10.1109/TLT.2020.2983916 https://www.wikidata.org/entity/Q115208515 db/journals/tlt/tlt13.html#Sanchez-Ferreres20

Farbod Taymouri Josep Carmona 0001 Computing Alignments of Well-Formed Process Models using Local Search. 15:1-15:41 2020 29 ACM Trans. Softw. Eng. Methodol. 3 https://doi.org/10.1145/3394056 db/journals/tosem/tosem29.html#TaymouriC20

Anna A. Kalenkova Josep Carmona 0001 Artem Polyvyanyy Marcello La Rosa Automated Repair of Process Models Using Non-local Constraints. 280-300 2020 Petri Nets https://doi.org/10.1007/978-3-030-51831-8_14 conf/apn/2020 db/conf/apn/pn2020.html#KalenkovaCPR20 Luis Quishpi Josep Carmona 0001 Lluís Padró 0001 Extracting Annotations from Textual Descriptions of Processes. 184-201 2020 BPM https://doi.org/10.1007/978-3-030-58666-9_11 conf/bpm/2020 db/conf/bpm/bpm2020.html#QuishpiCP20 Farbod Taymouri Marcello La Rosa Josep Carmona 0001 Business Process Variant Analysis Based on Mutual Fingerprints of Event Logs. 299-318 2020 CAiSE https://doi.org/10.1007/978-3-030-49435-3_19 conf/caise/2020 db/conf/caise/caise2020.html#TaymouriRC20 Riccardo Galanti Bernat Coma-Puig Massimiliano de Leoni Josep Carmona 0001 Nicolò Navarin Explainable Predictive Process Monitoring. 1-8 2020 ICPM https://doi.org/10.1109/ICPM49681.2020.00012 https://www.wikidata.org/entity/Q102630752 conf/icpm/2020 db/conf/icpm/icpm2020.html#GalantiCLCN20 Luis Quishpi Josep Carmona 0001 Lluís Padró 0001 Improving the Extraction of Process Annotations from Text with Inter-sentence Analysis. 149-161 2020 ICPM Workshops https://doi.org/10.1007/978-3-030-72693-5_12 conf/icpm/2020w db/conf/icpm/icpm2020w.html#QuishpiCP20 Wil M. P. van der Aalst Robin Bergenthum Josep Carmona 0001 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 CEUR-WS.org CEUR Workshop Proceedings 2625 2020 https://ceur-ws.org/Vol-2625 https://nbn-resolving.org/urn:nbn:de:0074-2625-7 db/conf/apn/ataed2020.html

Riccardo Galanti Bernat Coma-Puig Massimiliano de Leoni Josep Carmona 0001 Nicolò Navarin Explainable Predictive Process Monitoring. 2020 abs/2008.01807 CoRR https://arxiv.org/abs/2008.01807 db/journals/corr/corr2008.html#abs-2008-01807

Bernat Coma-Puig Josep Carmona 0001 An Iterative Approach based on Explainability to Improve the Learning of Fraud Detection Models. 2020 abs/2009.13437 CoRR https://arxiv.org/abs/2009.13437 db/journals/corr/corr2009.html#abs-2009-13437

Josep Carmona 0001 Gregor Engels Akhil Kumar 0001 Manfred Reichert Special issue: Selected papers of BPM 2017. 238-239 2019 84 Inf. Syst. https://doi.org/10.1016/j.is.2019.06.001 https://www.wikidata.org/entity/Q127651507 db/journals/is/is84.html#CarmonaEKR19

Montserrat Estañol Jorge Munoz-Gama Josep Carmona 0001 Ernest Teniente Conformance checking in UML artifact-centric business process models. 2531-2555 2019 18 Softw. Syst. Model. 4 https://doi.org/10.1007/s10270-018-0681-6 https://www.wikidata.org/entity/Q129767435 db/journals/sosym/sosym18.html#EstanolMCT19

Jordi Petit Salvador Roura Josep Carmona 0001 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". 290 2019 12 IEEE Trans. Learn. Technol. 2 https://doi.org/10.1109/TLT.2019.2902762 db/journals/tlt/tlt12.html#PetitRCCDGMMRRP19

Wil M. P. van der Aalst Josep Carmona 0001 Thomas Chatain Boudewijn F. van Dongen A Tour in Process Mining: From Practice to Algorithmic Challenges. 1-35 2019 14 Trans. Petri Nets Other Model. Concurr. https://doi.org/10.1007/978-3-662-60651-3_1 journals/topnoc/2019-14 db/journals/topnoc/topnoc14.html#AalstCCD19

Farbod Taymouri Josep Carmona 0001 Structural Computation of Alignments of Business Processes Over Partial Orders. 73-81 2019 ACSD https://doi.org/10.1109/ACSD.2019.00012 conf/acsd/2019 db/conf/acsd/acsd2019.html#TaymouriC19 Mathilde Boltenhagen Thomas Chatain Josep Carmona 0001 Generalized Alignment-Based Trace Clustering of Process Behavior. 237-257 2019 Petri Nets https://doi.org/10.1007/978-3-030-21571-2_14 conf/apn/2019 db/conf/apn/pn2019.html#BoltenhagenCC19 Josep Sànchez-Ferreres Andrea Burattin Josep Carmona 0001 Marco Montali Lluís Padró 0001 Formal Reasoning on Natural Language Descriptions of Processes. 86-101 2019 BPM https://doi.org/10.1007/978-3-030-26619-6_8 conf/bpm/2019 db/conf/bpm/bpm2019.html#Sanchez-Ferreres19 Mathilde Boltenhagen Thomas Chatain Josep Carmona 0001 Encoding Conformance Checking Artefacts in SAT. 160-171 2019 Business Process Management Workshops https://doi.org/10.1007/978-3-030-37453-2_14 conf/bpm/2019w db/conf/bpm/bpmw2019.html#BoltenhagenCC19 Lluís Padró 0001 Josep Carmona 0001 Approximate Computation of Alignments of Business Processes Through Relaxation Labelling. 250-267 2019 BPM https://doi.org/10.1007/978-3-030-26619-6_17 conf/bpm/2019 db/conf/bpm/bpm2019.html#PadroC19 Anselmo López Josep Sànchez-Ferreres Josep Carmona 0001 Lluís Padró 0001 From Process Models to Chatbots. 383-398 2019 CAiSE https://doi.org/10.1007/978-3-030-21290-2_24 conf/caise/2019 db/conf/caise/caise2019.html#LopezSCP19 Josep Carmona 0001 Matthias Weidlich 0001 Boudewijn F. van Dongen Actionable Conformance Checking: From Intuitions to Code. 1-24 2019 eBISS https://doi.org/10.1007/978-3-030-61627-4_1 conf/ebiss/2019 db/conf/ebiss/ebiss2019.html#CarmonaWD19 Wil M. P. van der Aalst Robin Bergenthum Josep Carmona 0001 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 CEUR-WS.org CEUR Workshop Proceedings 2371 2019 https://ceur-ws.org/Vol-2371 https://nbn-resolving.org/urn:nbn:de:0074-2371-0 db/conf/apn/ataed2019.html Josep Carmona 0001 Decomposed Process Discovery and Conformance Checking. 2019 Encyclopedia of Big Data Technologies https://doi.org/10.1007/978-3-319-63962-8_95-1 reference/bdt/2019 db/reference/bdt/1.html#Carmona19

Thomas Chatain Mathilde Boltenhagen Josep Carmona 0001 Anti-Alignments - Measuring The Precision of Process Models and Event Logs. 2019 abs/1912.05907 CoRR http://arxiv.org/abs/1912.05907 db/journals/corr/corr1912.html#abs-1912-05907

Farbod Taymouri Marcello La Rosa Josep Carmona 0001 Business Process Variant Analysis based on Mutual Fingerprints of Event Logs. 2019 abs/1912.10598 CoRR http://arxiv.org/abs/1912.10598 db/journals/corr/corr1912.html#abs-1912-10598

Josep Carmona 0001 Boudewijn F. van Dongen Andreas Solti Matthias Weidlich 0001 Conformance Checking - Relating Processes and Models Springer 2018 1-263 978-3-319-99413-0 https://doi.org/10.1007/978-3-319-99414-7 https://www.wikidata.org/entity/Q62039911

Josep Sànchez-Ferreres Han van der Aa Josep Carmona 0001 Lluís Padró 0001 Aligning textual and model-based process descriptions. 25-40 2018 118 Data Knowl. Eng. https://doi.org/10.1016/j.datak.2018.09.001 https://www.wikidata.org/entity/Q62039908 db/journals/dke/dke118.html#Sanchez-Ferreres18

Hernán Ponce de León Lucio Nardelli Josep Carmona 0001 Seppe K. L. M. vanden Broucke Incorporating negative information to process discovery of complex systems. 480-496 2018 422 Inf. Sci. https://doi.org/10.1016/j.ins.2017.09.027 db/journals/isci/isci422.html#LeonNCB18

Marc Solé Josep Carmona 0001 Encoding process discovery problems in SMT. 1055-1078 2018 17 Softw. Syst. Model. 4 https://doi.org/10.1007/s10270-016-0536-y db/journals/sosym/sosym17.html#SoleC18

Jordi Petit Salvador Roura Josep Carmona 0001 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. 321-333 2018 11 IEEE Trans. Learn. Technol. 3 https://doi.org/10.1109/TLT.2017.2723389 http://doi.ieeecomputersociety.org/10.1109/TLT.2017.2723389 https://www.wikidata.org/entity/Q99713713 db/journals/tlt/tlt11.html#PetitRCCDGMMRRP18

Luis Delicado Josep Sànchez-Ferreres Josep Carmona 0001 Lluís Padró 0001 The Model Judge - A Tool for Supporting Novices in Learning Process Modeling. 91-95 2018 BPM (Dissertation/Demos/Industry) https://ceur-ws.org/Vol-2196/BPM_2018_paper_19.pdf conf/bpm/2018d db/conf/bpm/bpmd2018.html#DelicadoSCP18 Farbod Taymouri Josep Carmona 0001 An Evolutionary Technique to Approximate Multiple Optimal Alignments. 215-232 2018 BPM https://doi.org/10.1007/978-3-319-98648-7_13 conf/bpm/2018 db/conf/bpm/bpm2018.html#TaymouriC18 Andrea Burattin Sebastiaan J. van Zelst Abel Armas-Cervantes Boudewijn F. van Dongen Josep Carmona 0001 Online Conformance Checking Using Behavioural Patterns. 250-267 2018 BPM https://doi.org/10.1007/978-3-319-98648-7_15 conf/bpm/2018 db/conf/bpm/bpm2018.html#BurattinZADC18 Han van der Aa Josep Carmona 0001 Henrik Leopold Jan Mendling Lluís Padró 0001 Challenges and Opportunities of Applying Natural Language Processing in Business Process Management. 2791-2801 2018 COLING https://aclanthology.org/C18-1236/ conf/coling/2018 db/conf/coling/coling2018.html#AaCLMP18 Bernat Coma-Puig Josep Carmona 0001 A quality control method for fraud detection on utility customers without an active contract. 495-498 2018 SAC https://doi.org/10.1145/3167132.3167384 conf/sac/2018 db/conf/sac/sac2018.html#Coma-PuigC18 Wil M. P. van der Aalst Robin Bergenthum Josep Carmona 0001 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 CEUR-WS.org CEUR Workshop Proceedings 2115 2018 https://ceur-ws.org/Vol-2115 https://nbn-resolving.org/urn:nbn:de:0074-2115-7 db/conf/apn/ataed2018.html

Julius Holderer Josep Carmona 0001 Farbod Taymouri Günter Müller Log- and Model-Based Techniques for Security-Sensitive Tackling of Obstructed Workflow Executions. 43-69 2017 12 Trans. Petri Nets Other Model. Concurr. https://doi.org/10.1007/978-3-662-55862-1_3 journals/topnoc/2017-12 db/journals/topnoc/topnoc12.html#HoldererCTM17

Josep Carmona 0001 The Alignment of Formal, Structured and Unstructured Process Descriptions. 3-11 2017 Petri Nets https://doi.org/10.1007/978-3-319-57861-3_1 https://www.wikidata.org/entity/Q62039919 conf/apn/2017 db/conf/apn/pn2017.html#Carmona17 Andrea Burattin Josep Carmona 0001 A Framework for Online Conformance Checking. 165-177 2017 Business Process Management Workshops https://doi.org/10.1007/978-3-319-74030-0_12 conf/bpm/2017w db/conf/bpm/bpmw2017.html#BurattinC17 Luis Delicado Josep Sànchez-Ferreres Josep Carmona 0001 Lluís Padró 0001 NLP4BPM - Natural Language Processing Tools for Business Process Management. 2017 BPM (Demos) https://ceur-ws.org/Vol-1920/BPM_2017_paper_164.pdf conf/bpm/2017d db/conf/bpm/bpmd2017.html#DelicadoSCP17 David Sánchez-Charles Josep Carmona 0001 Victor Muntés-Mulero Marc Solé Reducing Event Variability in Logs by Clustering of Word Embeddings. 191-203 2017 Business Process Management Workshops https://doi.org/10.1007/978-3-319-74030-0_14 conf/bpm/2017w db/conf/bpm/bpmw2017.html#Sanchez-Charles17 Boudewijn F. van Dongen Josep Carmona 0001 Thomas Chatain Farbod Taymouri Aligning Modeled and Observed Behavior: A Compromise Between Computation Complexity and Quality. 94-109 2017 CAiSE https://doi.org/10.1007/978-3-319-59536-8_7 conf/caise/2017 db/conf/caise/caise2017.html#DongenCCT17 Josep Sànchez-Ferreres Josep Carmona 0001 Lluís Padró 0001 Aligning Textual and Graphical Descriptions of Processes Through ILP Techniques. 413-427 2017 CAiSE https://doi.org/10.1007/978-3-319-59536-8_26 conf/caise/2017 db/conf/caise/caise2017.html#Sanchez-Ferreres17 Maurice H. ter Beek Josep Carmona 0001 Rolf Hennicker Jetty Kleijn Communication Requirements for Team Automata. 256-277 2017 COORDINATION https://doi.org/10.1007/978-3-319-59746-1_14 https://www.wikidata.org/entity/Q62039916 conf/coordination/2017 db/conf/coordination/coordination2017.html#BeekCHK17 Thomas Chatain Josep Carmona 0001 Boudewijn F. van Dongen Alignment-Based Trace Clustering. 295-308 2017 ER https://doi.org/10.1007/978-3-319-69904-2_24 conf/er/2017 db/conf/er/er2017.html#ChatainCD17 Wil M. P. van der Aalst Robin Bergenthum Josep Carmona 0001 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 CEUR-WS.org CEUR Workshop Proceedings 1847 2017 https://ceur-ws.org/Vol-1847 https://nbn-resolving.org/urn:nbn:de:0074-1847-5 db/conf/apn/ataed2017.html Josep Carmona 0001 Gregor Engels Akhil Kumar 0001 Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10-15, 2017, Proceedings BPM (Forum) Springer 2017 Lecture Notes in Business Information Processing 297 978-3-319-65014-2 978-3-319-65015-9 https://doi.org/10.1007/978-3-319-65015-9 db/conf/bpm/bpmf2017.html Josep Carmona 0001 Gregor Engels Akhil Kumar 0001 Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings BPM Springer 2017 Lecture Notes in Computer Science 10445 978-3-319-64999-3 978-3-319-65000-5 https://doi.org/10.1007/978-3-319-65000-5 db/conf/bpm/bpm2017.html

Boudewijn F. van Dongen Josep Carmona 0001 Thomas Chatain Alignment-based Quality Metrics in Conformance Checking. 77-80 2016 36 EMISA Forum 2 db/journals/emisa/emisa36.html#DongenCC16

Andrey Mokhov Josep Carmona 0001 Jonathan Beaumont Mining Conditional Partial Order Graphs from Event Logs. 114-136 2016 11 Trans. Petri Nets Other Model. Concurr. https://doi.org/10.1007/978-3-662-53401-4_6 https://www.wikidata.org/entity/Q62039939 journals/topnoc/2016-11 db/journals/topnoc/topnoc11.html#MokhovCB16

Timo Sztyler Josep Carmona 0001 Johanna Völker Heiner Stuckenschmidt Self-tracking Reloaded: Applying Process Mining to Personalized Health Care from Labeled Sensor Data. 160-180 2016 11 Trans. Petri Nets Other Model. Concurr. https://doi.org/10.1007/978-3-662-53401-4_8 https://www.wikidata.org/entity/Q62039947 journals/topnoc/2016-11 db/journals/topnoc/topnoc11.html#SztylerCVS16

Joel Ribeiro Josep Carmona 0001 A Method for Assessing Parameter Impact on Control-Flow Discovery Algorithms. 181-202 2016 11 Trans. Petri Nets Other Model. Concurr. https://doi.org/10.1007/978-3-662-53401-4_9 https://www.wikidata.org/entity/Q62039923 journals/topnoc/2016-11 db/journals/topnoc/topnoc11.html#RibeiroC16

María Teresa Gómez-López Diana Borrego Josep Carmona 0001 Rafael M. Gasca Computing Alignments with Constraint Programming: The Acyclic Case. 96-110 2016 ATAED@Petri Nets/ACSD https://ceur-ws.org/Vol-1592/paper07.pdf conf/apn/2016ataed db/conf/apn/ataed2016.html#LopezBCG16 Julius Holderer Josep Carmona 0001 Günter Müller Security-Sensitive Tackling of Obstructed Workow Executions. 126-137 2016 ATAED@Petri Nets/ACSD https://ceur-ws.org/Vol-1592/paper09.pdf conf/apn/2016ataed db/conf/apn/ataed2016.html#HoldererCM16 Thomas Chatain Josep Carmona 0001 Anti-alignments in Conformance Checking - The Dark Side of Process Models. 240-258 2016 Petri Nets https://doi.org/10.1007/978-3-319-39086-4_15 https://www.wikidata.org/entity/Q62039932 conf/apn/2016 db/conf/apn/pn2016.html#ChatainC16 Boudewijn F. van Dongen Josep Carmona 0001 Thomas Chatain A Unified Approach for Measuring Precision and Generalization Based on Anti-alignments. 39-56 2016 BPM https://doi.org/10.1007/978-3-319-45348-4_3 https://www.wikidata.org/entity/Q62039928 conf/bpm/2016 db/conf/bpm/bpm2016.html#DongenCC16 David Sánchez-Charles Victor Muntés-Mulero Josep Carmona 0001 Marc Solé Process Model Comparison Based on Cophenetic Distance. 141-158 2016 BPM (Forum) https://doi.org/10.1007/978-3-319-45468-9_9 https://www.wikidata.org/entity/Q62039943 conf/bpm/2016f db/conf/bpm/bpmf2016.html#Sanchez-Charles16 Farbod Taymouri Josep Carmona 0001 A Recursive Paradigm for Aligning Observed Behavior of Large Structured Process Models. 197-214 2016 BPM https://doi.org/10.1007/978-3-319-45348-4_12 https://www.wikidata.org/entity/Q62039925 conf/bpm/2016 db/conf/bpm/bpm2016.html#TaymouriC16 Bernat Coma-Puig Josep Carmona 0001 Ricard Gavaldà Santiago Alcoverro Victor Martin Fraud Detection in Energy Consumption: A Supervised Approach. 120-129 2016 DSAA https://doi.org/10.1109/DSAA.2016.19 https://www.wikidata.org/entity/Q62039937 conf/dsaa/2016 db/conf/dsaa/dsaa2016.html#Coma-PuigCGAM16 Boudewijn F. van Dongen Josep Carmona 0001 Thomas Chatain Alignment-based Quality Metrics in Conformance Checking (Summary). 87-90 2016 EMISA https://ceur-ws.org/Vol-1701/paper22.pdf conf/emisa/2016 db/conf/emisa/emisa2016.html#DongenCC16 Maurice H. ter Beek Josep Carmona 0001 Jetty Kleijn Conditions for Compatibility of Components - The Case of Masters and Slaves. 784-805 2016 ISoLA (1) https://doi.org/10.1007/978-3-319-47166-2_55 https://www.wikidata.org/entity/Q62039934 conf/isola/2016-1 db/conf/isola/isola2016-1.html#BeekCK16 Farbod Taymouri Josep Carmona 0001 Model and Event Log Reductions to Boost the Computation of Alignments. 1-21 2016 SIMPDA (Revised Selected Papers) https://doi.org/10.1007/978-3-319-74161-1_1 conf/simpda/2016s db/conf/simpda/simpda2016s.html#TaymouriC16a Farbod Taymouri Josep Carmona 0001 Model and Event Log Reductions to Boost the Computation of Alignments. 50-62 2016 SIMPDA https://ceur-ws.org/Vol-1757/paper4.pdf conf/simpda/2016 db/conf/simpda/simpda2016.html#TaymouriC16 David Sanchez-Charles Marc Solé Josep Carmona 0001 Victor Muntés-Mulero Improving Process Model Precision by Loop Unrolling. 89-99 2016 SIMPDA https://ceur-ws.org/Vol-1757/paper7.pdf conf/simpda/2016 db/conf/simpda/simpda2016.html#Sanchez-Charles16 David Sanchez-Charles Josep Carmona 0001 Victor Muntés-Mulero Marc Solé Clustering Software Developer Repository Accesses with the Cophenetic Distance. 100-110 2016 SIMPDA https://ceur-ws.org/Vol-1757/paper8.pdf conf/simpda/2016 db/conf/simpda/simpda2016.html#Sanchez-Charles16a Wil M. P. van der Aalst Robin Bergenthum Josep Carmona 0001 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 CEUR-WS.org CEUR Workshop Proceedings 1592 2016 https://ceur-ws.org/Vol-1592 https://nbn-resolving.org/urn:nbn:de:0074-1592-9 db/conf/apn/ataed2016.html

Arya Adriansyah Jorge Munoz-Gama Josep Carmona 0001 Boudewijn F. van Dongen Wil M. P. van der Aalst Measuring precision of modeled behavior. 37-67 2015 13 Inf. Syst. E Bus. Manag. 1 https://doi.org/10.1007/s10257-014-0234-7 https://www.wikidata.org/entity/Q57004828 db/journals/isem/isem13.html#AdriansyahMCDA15

Andrey Mokhov Josep Carmona 0001 Event Log Visualisation with Conditional Partial Order Graphs: from Control Flow to Data. 16-30 2015 ATAED@Petri Nets/ACSD https://ceur-ws.org/Vol-1371/paper02.pdf conf/apn/2015ataed db/conf/apn/ataed2015.html#MokhovC15 Timo Sztyler Johanna Völker Josep Carmona 0001 Oliver Meier Heiner Stuckenschmidt Discovery of Personal Processes from Labeled Sensor Data - An Application of Process Mining to Personalized Health Care. 31-46 2015 ATAED@Petri Nets/ACSD https://ceur-ws.org/Vol-1371/paper03.pdf conf/apn/2015ataed db/conf/apn/ataed2015.html#SztylerVCMS15 Joel Ribeiro Josep Carmona 0001 A Method for Assessing Parameter Impact on Control-Flow Discovery Algorithms. 83-96 2015 ATAED@Petri Nets/ACSD https://ceur-ws.org/Vol-1371/paper07.pdf conf/apn/2015ataed db/conf/apn/ataed2015.html#RibeiroC15 Hernán Ponce de León César Rodríguez Josep Carmona 0001 Keijo Heljanko Stefan Haar Unfolding-Based Process Discovery. 31-47 2015 ATVA https://doi.org/10.1007/978-3-319-24953-7_4 https://www.wikidata.org/entity/Q62039953 conf/atva/2015 db/conf/atva/atva2015.html#LeonRCHH15 Hernán Ponce de León César Rodríguez Josep Carmona 0001 POD - A Tool For Process Discovery Using Partial Orders and Independence Information. 100-104 2015 BPM (Demos) https://ceur-ws.org/Vol-1418/paper21.pdf conf/bpm/2015d db/conf/bpm/bpmd2015.html#LeonRC15 Hernán Ponce de León Josep Carmona 0001 Seppe K. L. M. vanden Broucke Incorporating Negative Information in Process Discovery. 126-143 2015 BPM https://doi.org/10.1007/978-3-319-23063-4_8 https://www.wikidata.org/entity/Q62039950 conf/bpm/2015 db/conf/bpm/bpm2015.html#LeonCB15 Javier de San Pedro Josep Carmona 0001 Jordi Cortadella Log-Based Simplification of Process Models. 457-474 2015 BPM https://doi.org/10.1007/978-3-319-23063-4_30 https://www.wikidata.org/entity/Q56891756 conf/bpm/2015 db/conf/bpm/bpm2015.html#PedroCC15 Wil M. P. van der Aalst Robin Bergenthum Josep Carmona 0001 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 CEUR-WS.org CEUR Workshop Proceedings 1371 2015 https://ceur-ws.org/Vol-1371 https://nbn-resolving.org/urn:nbn:de:0074-1371-7 db/conf/apn/ataed2015.html

Hernán Ponce de León César Rodríguez Josep Carmona 0001 Keijo Heljanko Stefan Haar Unfolding-Based Process Discovery. 2015 abs/1507.02744 CoRR http://arxiv.org/abs/1507.02744 db/journals/corr/corr1507.html#LeonRCHH15

Maurice H. ter Beek Josep Carmona 0001 Jetty Kleijn Communication and Compatibility in Systems of Systems: Correctness-by-Construction. 2015 2015 ERCIM News 102 http://ercim-news.ercim.eu/en102/special/communication-and-compatibility-in-systems-of-systems-correctness-by-construction db/journals/ercim/ercim2015.html#BeekCK15

Jorge Munoz-Gama Josep Carmona 0001 Wil M. P. van der Aalst Single-Entry Single-Exit decomposed conformance checking. 102-122 2014 46 Inf. Syst. https://doi.org/10.1016/j.is.2014.04.003 https://www.wikidata.org/entity/Q57004854 db/journals/is/is46.html#Munoz-GamaCA14

Josep Carmona 0001 Mihai Teodor Lazarescu Marta Pietkiewicz-Koutny Introduction to Special Issue on Application of Concurrency to System Design (ACSD'13). 140:1-140:2 2014 13 ACM Trans. Embed. Comput. Syst. 4s https://doi.org/10.1145/2627347 https://www.wikidata.org/entity/Q62039958 db/journals/tecs/tecs13.html#CarmonaLP14

Josep Carmona 0001 Jordi Cortadella Process Discovery Algorithms Using Numerical Abstract Domains. 3064-3076 2014 26 IEEE Trans. Knowl. Data Eng. 12 https://doi.org/10.1109/TKDE.2013.156 http://doi.ieeecomputersociety.org/10.1109/TKDE.2013.156 https://www.wikidata.org/entity/Q56891847 db/journals/tkde/tkde26.html#CarmonaC14

Josep Carmona 0001 Marc Solé PMLAB: An Scripting Environment for Process Mining. 16 2014 BPM (Demos) https://ceur-ws.org/Vol-1295/paper4.pdf conf/bpm/2014d db/conf/bpm/bpmd2014.html#CarmonaS14 Joel Ribeiro Josep Carmona 0001 RS4PD: A Tool for Recommending Control-Flow Algorithms. 66 2014 BPM (Demos) https://ceur-ws.org/Vol-1295/paper14.pdf conf/bpm/2014d db/conf/bpm/bpmd2014.html#RibeiroC14 Joel Ribeiro Josep Carmona 0001 Mustafa Misir Michèle Sebag A Recommender System for Process Discovery. 67-83 2014 BPM https://doi.org/10.1007/978-3-319-10172-9_5 https://www.wikidata.org/entity/Q62039956 conf/bpm/2014 db/conf/bpm/bpm2014.html#RibeiroCMS14 Vasiliki Sfyrla Josep Carmona 0001 Pascal Henck Process-Oriented Analysis for Medical Devices. 143-146 2014 MCPS https://doi.org/10.4230/OASIcs.MCPS.2014.143 conf/mcps/2014 db/conf/mcps/mcps2014.html#SfyrlaCH14 Massimiliano de Leoni Jorge Munoz-Gama Josep Carmona 0001 Wil M. P. van der Aalst Decomposing Alignment-Based Conformance Checking of Data-Aware Process Models. 3-20 2014 OTM Conferences https://doi.org/10.1007/978-3-662-45563-0_1 conf/otm/2014 db/conf/otm/otm2014.html#LeoniMCA14 Seppe K. L. M. vanden Broucke Jorge Munoz-Gama Josep Carmona 0001 Bart Baesens Jan Vanthienen Event-Based Real-Time Decomposed Conformance Analysis. 345-363 2014 OTM Conferences https://doi.org/10.1007/978-3-662-45563-0_20 conf/otm/2014 db/conf/otm/otm2014.html#BrouckeMCBV14

Ferdinand Peper Jia Lee Josep Carmona 0001 Jordi Cortadella Kenichi Morita Brownian Circuits: Fundamentals. 3:1-3:24 2013 9 ACM J. Emerg. Technol. Comput. Syst. 1 https://doi.org/10.1145/2422094.2422097 https://www.wikidata.org/entity/Q56891911 db/journals/jetc/jetc9.html#PeperLCCM13

Josep Carmona 0001 Jetty Kleijn Compatibility in a multi-component environment. 1-15 2013 484 Theor. Comput. Sci. https://doi.org/10.1016/j.tcs.2013.03.006 https://www.wikidata.org/entity/Q62039966 db/journals/tcs/tcs484.html#CarmonaK13

Marc Solé Josep Carmona 0001 Region-Based Foldings in Process Discovery. 192-205 2013 25 IEEE Trans. Knowl. Data Eng. 1 https://doi.org/10.1109/TKDE.2011.192 http://doi.ieeecomputersociety.org/10.1109/TKDE.2011.192 https://www.wikidata.org/entity/Q62039972 db/journals/tkde/tkde25.html#SoleC13

Jorge Munoz-Gama Josep Carmona 0001 Wil M. P. van der Aalst Hierarchical Conformance Checking of Process Models Based on Event Logs. 291-310 2013 Petri Nets https://doi.org/10.1007/978-3-642-38697-8_16 https://www.wikidata.org/entity/Q57004941 conf/apn/2013 db/conf/apn/pn2013.html#Munoz-GamaCA13 Jorge Munoz-Gama Josep Carmona 0001 Wil M. P. van der Aalst Conformance Checking in the Large: Partitioning and Topology. 130-145 2013 BPM https://doi.org/10.1007/978-3-642-40176-3_11 https://www.wikidata.org/entity/Q57004894 conf/bpm/2013 db/conf/bpm/bpm2013.html#Munoz-GamaCA13 Marc Solé Josep Carmona 0001 Amending C-net discovery algorithms. 1418-1425 2013 SAC https://doi.org/10.1145/2480362.2480628 https://www.wikidata.org/entity/Q62039964 conf/sac/2013 db/conf/sac/sac2013.html#SoleC13 Josep Carmona 0001 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 978-0-7695-5035-0 https://ieeexplore.ieee.org/xpl/conhome/6597648/proceeding http://www.computer.org/csdl/proceedings/acsd/2013/5035/00/index.html ACSD db/conf/acsd/acsd2013.html

Josep Carmona 0001 Projection approaches to process mining using region-based techniques. 218-246 2012 24 Data Min. Knowl. Discov. 1 https://doi.org/10.1007/s10618-011-0226-x https://www.wikidata.org/entity/Q62039987 db/journals/datamine/datamine24.html#Carmona12

Marc Solé Josep Carmona 0001 Incremental Process Discovery. 221-242 2012 5 Trans. Petri Nets Other Model. Concurr. https://doi.org/10.1007/978-3-642-29072-5_10 https://www.wikidata.org/entity/Q62039979 journals/topnoc/2012-5 db/journals/topnoc/topnoc5.html#SoleC12

Josep Carmona 0001 The Label Splitting Problem. 1-23 2012 6 Trans. Petri Nets Other Model. Concurr. https://doi.org/10.1007/978-3-642-35179-2_1 https://www.wikidata.org/entity/Q62039990 journals/topnoc/2012-6 db/journals/topnoc/topnoc6.html#Carmona12

Marc Solé Josep Carmona 0001 A High-Level Strategy for C-net Discovery. 102-111 2012 ACSD https://doi.org/10.1109/ACSD.2012.20 https://doi.ieeecomputersociety.org/10.1109/ACSD.2012.20 https://www.wikidata.org/entity/Q62039975 conf/acsd/2012 db/conf/acsd/acsd2012.html#SoleC12 Marc Solé Josep Carmona 0001 An SMT-Based Discovery Algorithm for C-Nets. 51-71 2012 Petri Nets https://doi.org/10.1007/978-3-642-31131-4_4 https://www.wikidata.org/entity/Q62039977 conf/apn/2012 db/conf/apn/pn2012.html#SoleC12 Arya Adriansyah Jorge Munoz-Gama Josep Carmona 0001 Boudewijn F. van Dongen Wil M. P. van der Aalst Alignment Based Precision Checking. 137-149 2012 Business Process Management Workshops https://doi.org/10.1007/978-3-642-36285-9_15 conf/bpm/2012w db/conf/bpm/bpmw2012.html#AdriansyahMCDA12 Josep Carmona 0001 Ricard Gavaldà Online Techniques for Dealing with Concept Drift in Process Mining. 90-102 2012 IDA https://doi.org/10.1007/978-3-642-34156-4_10 https://www.wikidata.org/entity/Q62039983 conf/ida/2012 db/conf/ida/ida2012.html#CarmonaG12 Nikita Nikitin Javier de San Pedro Josep Carmona 0001 Jordi Cortadella Analytical Performance Modeling of Hierarchical Interconnect Fabrics. 107-114 2012 NOCS https://doi.org/10.1109/NOCS.2012.20 https://doi.ieeecomputersociety.org/10.1109/NOCS.2012.20 https://www.wikidata.org/entity/Q56891946 conf/nocs/2012 db/conf/nocs/nocs2012.html#NikitinPCC12 Javier de San Pedro Josep Carmona 0001 Jordi Cortadella Jordi Petit Integrating formal verification in an online judge for e-Learning logic circuit design. 451-456 2012 SIGCSE https://doi.org/10.1145/2157136.2157268 https://www.wikidata.org/entity/Q56891959 conf/sigcse/2012 db/conf/sigcse/sigcse2012.html#PedroCCP12

Josep Carmona 0001 Jorge Júlvez Jordi Cortadella Michael Kishinevsky A Scheduling Strategy for Synchronous Elastic Designs. 1-21 2011 108 Fundam. Informaticae 1-2 https://doi.org/10.3233/FI-2011-411 db/journals/fuin/fuin108.html#CarmonaJCK11

Marc Solé Josep Carmona 0001 Light Region-based Techniques for Process Discovery. 343-376 2011 113 Fundam. Informaticae 3-4 https://doi.org/10.3233/FI-2011-612 db/journals/fuin/fuin113.html#SoleC11

Josep Carmona 0001 The Label Splitting Problem. 22-35 2011 ART @ Petri Nets https://ceur-ws.org/Vol-725/paper02.pdf conf/apn/2011art db/conf/apn/art2011.html#Carmona11 Wil M. P. van der Aalst Arya Adriansyah Ana Karla Alves de Medeiros Franco Arcieri Thomas Baier 0001 Tobias Blickle R. P. Jagadeesh Chandra Bose Peter van den Brand Ronald Brandtjen Joos C. A. M. Buijs Andrea Burattin Josep Carmona 0001 Malú Castellanos Jan Claes Jonathan E. Cook 0001 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 0001 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 0001 Alessandro Sperduti Giovanni Stilo Casper Stoel Keith D. Swenson Maurizio Talamo Wei Tan 0001 Chris Turner Jan Vanthienen George Varvaressos Eric Verbeek 0001 Marc Verdonk Roberto Vigo Jianmin Wang 0001 Barbara Weber Matthias Weidlich 0001 Ton Weijters Lijie Wen 0001 Michael Westergaard Moe Thandar Wynn Process Mining Manifesto. 169-194 2011 Business Process Management Workshops (1) https://doi.org/10.1007/978-3-642-28108-2_19 https://www.wikidata.org/entity/Q57005093 conf/bpm/2011w1 db/conf/bpm/bpmw2011-1.html#AalstAM11 Jorge Munoz-Gama Josep Carmona 0001 Enhancing precision in Process Conformance: Stability, confidence and severity. 184-191 2011 CIDM https://doi.org/10.1109/CIDM.2011.5949451 https://www.wikidata.org/entity/Q62039994 conf/cidm/2011 db/conf/cidm/cidm2011.html#Munoz-GamaC11 Benoît Caillaud Josep Carmona 0001 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 https://ieeexplore.ieee.org/xpl/conhome/5986770/proceeding http://www.computer.org/csdl/proceedings/acsd/2011/4387/00/index.html 978-0-7695-4387-1 ACSD db/conf/acsd/acsd2011.html

Josep Carmona 0001 Jordi Cortadella Michael Kishinevsky New Region-Based Algorithms for Deriving Bounded Petri Nets. 371-384 2010 59 IEEE Trans. Computers 3 https://doi.org/10.1109/TC.2009.131 http://doi.ieeecomputersociety.org/10.1109/TC.2009.131 https://www.wikidata.org/entity/Q56892030 db/journals/tc/tc59.html#CarmonaCK10

Marc Solé Josep Carmona 0001 Incremental Process Mining. 175-190 2010 ACSD/Petri Nets Workshops https://ceur-ws.org/Vol-827/14_MarcSole_article.pdf conf/acsd/2010w db/conf/acsd/acsd2010w.html#SoleC10 Marc Solé Josep Carmona 0001 Process Mining from a Basis of State Regions. 226-245 2010 Petri Nets https://doi.org/10.1007/978-3-642-13675-7_14 https://www.wikidata.org/entity/Q62040006 conf/apn/2010 db/conf/apn/pn2010.html#SoleC10 Marc Solé Josep Carmona 0001 Rbminer: A Tool for Discovering Petri Nets from Transition Systems. 396-402 2010 ATVA https://doi.org/10.1007/978-3-642-15643-4_33 https://www.wikidata.org/entity/Q62040009 conf/atva/2010 db/conf/atva/atva2010.html#SoleC10 Jorge Munoz-Gama Josep Carmona 0001 A Fresh Look at Precision in Process Conformance. 211-226 2010 BPM https://doi.org/10.1007/978-3-642-15618-2_16 https://www.wikidata.org/entity/Q62040001 conf/bpm/2010 db/conf/bpm/bpm2010.html#Munoz-GamaC10 Josep Carmona 0001 Jordi Cortadella Process Mining Meets Abstract Interpretation. 184-199 2010 ECML/PKDD (1) https://doi.org/10.1007/978-3-642-15880-3_18 https://www.wikidata.org/entity/Q56892058 conf/pkdd/2010-1 db/conf/pkdd/pkdd2010-1.html#CarmonaC10

Josep Carmona 0001 Jordi Cortadella Michael Kishinevsky Alexander Taubin Elastic Circuits. 1437-1455 2009 28 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 10 https://doi.org/10.1109/TCAD.2009.2030436 https://www.wikidata.org/entity/Q56892150 db/journals/tcad/tcad28.html#CarmonaCKT09

Josep Carmona 0001 Jorge Júlvez Jordi Cortadella Michael Kishinevsky Scheduling Synchronous Elastic Designs. 52-59 2009 ACSD https://doi.org/10.1109/ACSD.2009.12 https://doi.ieeecomputersociety.org/10.1109/ACSD.2009.12 https://www.wikidata.org/entity/Q56892201 conf/acsd/2009 db/conf/acsd/acsd2009.html#CarmonaJCK09 Josep Carmona 0001 Jordi Cortadella Michael Kishinevsky Genet: A Tool for the Synthesis and Mining of Petri Nets. 181-185 2009 ACSD https://doi.org/10.1109/ACSD.2009.6 https://doi.ieeecomputersociety.org/10.1109/ACSD.2009.6 https://www.wikidata.org/entity/Q56892088 conf/acsd/2009 db/conf/acsd/acsd2009.html#CarmonaCK09 Josep Carmona 0001 Jordi Cortadella Michael Kishinevsky Divide-and-Conquer Strategies for Process Mining. 327-343 2009 BPM https://doi.org/10.1007/978-3-642-03848-8_22 https://www.wikidata.org/entity/Q56892140 conf/bpm/2009 db/conf/bpm/bpm2009.html#CarmonaCK09

Josep Carmona 0001 Jordi Cortadella Yousuke Takada Ferdinand Peper Formal methods for the analysis and synthesis of nanometer-scale cellular arrays. 2008 4 ACM J. Emerg. Technol. Comput. Syst. 2 https://doi.org/10.1145/1350763.1350768 https://www.wikidata.org/entity/Q56892304 db/journals/jetc/jetc4.html#CarmonaCTP08 8:1-8:27

Josep Carmona 0001 Jordi Cortadella Encoding Large Asynchronous Controllers With ILP Techniques. 20-33 2008 27 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1 https://doi.org/10.1109/TCAD.2007.907238 https://www.wikidata.org/entity/Q56892298 db/journals/tcad/tcad27.html#CarmonaC08

Jordi Cortadella Michael Kishinevsky Dmitry Bufistov Josep Carmona 0001 Jorge Júlvez Elasticity and Petri Nets. 221-249 2008 1 Trans. Petri Nets Other Model. Concurr. https://doi.org/10.1007/978-3-540-89287-8_13 https://www.wikidata.org/entity/Q56892287 journals/topnoc/2008-1 db/journals/topnoc/topnoc1.html#CortadellaKBCJ08

Josep Carmona 0001 Jordi Cortadella Michael Kishinevsky Alex Kondratyev Luciano Lavagno Alexandre Yakovlev A Symbolic Algorithm for the Synthesis of Bounded Petri Nets. 92-111 2008 Petri Nets https://doi.org/10.1007/978-3-540-68746-7_10 https://www.wikidata.org/entity/Q56892275 conf/apn/2008 db/conf/apn/pn2008.html#CarmonaCKKLY08 Josep Carmona 0001 Jordi Cortadella Michael Kishinevsky A Region-Based Algorithm for Discovering Petri Nets from Event Logs. 358-373 2008 BPM https://doi.org/10.1007/978-3-540-85758-7_26 https://www.wikidata.org/entity/Q56893244 conf/bpm/2008 db/conf/bpm/bpm2008.html#CarmonaCK08 Francisco Fernández-Nogueira Josep Carmona 0001 Logic Synthesis of Handshake Components Using Structural Clustering Techniques. 188-198 2008 PATMOS https://doi.org/10.1007/978-3-540-95948-9_19 https://www.wikidata.org/entity/Q62040015 conf/patmos/2008 db/conf/patmos/patmos2008.html#Fernandez-NogueiraC08

Josep Carmona 0001 José Manuel Colom Jordi Cortadella Fernando García-Vallés Synthesis of asynchronous controllers using integer linear programming. 1637-1651 2006 25 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 9 https://doi.org/10.1109/TCAD.2005.859516 https://www.wikidata.org/entity/Q56892515 db/journals/tcad/tcad25.html#CarmonaCCG06

Josep Carmona 0001 Jordi Cortadella State encoding of large asynchronous controllers. 939-944 2006 conf/dac/2006 DAC https://doi.org/10.1145/1146909.1147148 https://www.wikidata.org/entity/Q56892492 db/conf/dac/dac2006.html#CarmonaC06 Josep Carmona 0001 Jordi Cortadella Yousuke Takada Ferdinand Peper From molecular interactions to gates: a systematic approach. 891-898 2006 conf/iccad/2006 ICCAD https://doi.org/10.1145/1233501.1233688 https://doi.org/10.1109/ICCAD.2006.320094 https://doi.ieeecomputersociety.org/10.1109/ICCAD.2006.320094 https://www.wikidata.org/entity/Q56892407 db/conf/iccad/iccad2006.html#CarmonaCTP06 Josep Carmona 0001 Jordi Cortadella Victor Khomenko Alexandre Yakovlev Synthesis of Asynchronous Hardware from Petri Nets. 345-401 https://doi.org/10.1007/978-3-540-27755-2_9 https://www.wikidata.org/entity/Q56892643 2003 conf/ac/2003pn Lectures on Concurrency and Petri Nets db/conf/ac/acpn2003.html#CarmonaCKY03 Josep Carmona 0001 Jordi Cortadella ILP Models for the Synthesis of Asynchronous Control Circuits. 818-826 2003 conf/iccad/2003 ICCAD https://doi.ieeecomputersociety.org/10.1109/ICCAD.2003.1257903 https://dl.acm.org/citation.cfm?id=1009982 db/conf/iccad/iccad2003.html#CarmonaC03

Josep Carmona 0001 Jordi Cortadella Enric Pastor A structural encoding technique for the synthesis of asynchronous circuits. 135-154 2002 50 Fundam. Informaticae 2 db/journals/fuin/fuin50.html#CarmonaCP02 http://content.iospress.com/articles/fundamenta-informaticae/fi50-2-03

Josep Carmona 0001 Jordi Cortadella Enric Pastor Synthesis of Reactive Systems: Application to Asynchronous Circuit Design. 108-151 2002 conf/ac/2002chd Concurrency and Hardware Design https://doi.org/10.1007/3-540-36190-1_4 https://www.wikidata.org/entity/Q56892769 db/conf/ac/chd2002.html#CarmonaCP02 Josep Carmona 0001 Jordi Cortadella Input/Output Compatibility of Reactive Systems. 360-377 2002 conf/fmcad/2002 FMCAD https://doi.org/10.1007/3-540-36126-X_22 https://www.wikidata.org/entity/Q56892730 db/conf/fmcad/fmcad2002.html#CarmonaC02 Josep Carmona 0001 Jordi Cortadella Enric Pastor A structural encoding technique for the synthesis of asynchronous circuits. 157-166 2001 conf/acsd/2001 ACSD https://doi.org/10.1109/CSD.2001.981773 https://doi.ieeecomputersociety.org/10.1109/CSD.2001.981773 https://www.wikidata.org/entity/Q56892791 db/conf/acsd/acsd2001.html#CarmonaCP01 Lluís Màrquez Horacio Rodríguez Josep Carmona 0001 Josep Montolio Improving POS Tagging Using Machine-Learning Techniques. 1999 EMNLP https://aclanthology.org/W99-0608/ conf/emnlp/1999 db/conf/emnlp/emnlp1999.html#MarquezRCM99 Josep Carmona 0001 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. 915-922 1998 LREC conf/lrec/1998 db/conf/lrec/lrec1998.html#VargasCMMCPRDT98 Jordi Atserias Batalla Josep Carmona 0001 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. 1267-1272 1998 LREC conf/lrec/1998 db/conf/lrec/lrec1998.html#BatallaVMCTMACP98 Han van der Aa Wil M. P. van der Aalst Amine Abbad-AndaloussiAmine Abbad Andaloussi Arya Adriansyah Santiago Alcoverro Davide Aloini Ilaria Angela Amantea Robert Andrews 0001 Franco Arcieri Michael Arias Abel Armas-Cervantes Adriano Augusto Bart Baesens Thomas Baier 0001 Jordi Atserias Batalla Jonathan Beaumont Maurice H. ter Beek Iris Beerepoot Elisabetta Benevento Robin Bergenthum Tobias Blickle Mathilde Boltenhagen Diana Borrego R. P. Jagadeesh Chandra Bose Peter van den Brand Ronald Brandtjen Seppe K. L. M. vanden Broucke Didier Buchs Dmitry Bufistov Joos C. A. M. Buijs Andrea Burattin Benoît Caillaud Guillermo Calderón-Ruiz Albert Calvo Daniel Capurro Renata Medeiros de Carvalho Malú Castellanos Irene CastellónIrene Castellón Masalles Sergi Cervell Thomas Chatain Claudio Di Ciccio Montserrat CivitMontserrat Civit Torruella Jan Claes José Manuel Colom Bernat Coma-Puig Marco Comuzzi Jonathan E. Cook 0001 Eric Rojas CordobaEric Rojas 0001 Jordi Cortadella Nicola Costantini Francisco Curbera Benjamin Dalmas Ernesto Damiani Pavlos Delias Luis Delicado Boudewijn F. van Dongen Jordi Duch Marlon Dumas Schahram Dustdar Gregor Engels Montserrat Estañol Dirk Fahland Carlos Fernández-Llatas Francisco Fernández-Nogueira Diogo R. Ferreira Chiara Di Francescomarino Rene de la Fuente Walid Gaaloul Riccardo Galanti Victor Galvez-Yanjari Fernando García-Vallés Rafael M. Gasca Roberto Gatta Ricard Gavaldà Frank van Geffen Chiara Ghidini Omer Giménez Sukriti Goel María Teresa Gómez-López Fernanda Gonzalez-Lopez Christian W. Günther Antonella Guzzo Stefan Haar Paul Harmon Keijo Heljanko Emmanuel Helm Pascal Henck Rolf Hennicker Kunihiko Hiraishi Arthur H. M. ter Hofstede Julius Holderer Horacio Rodríguez Hontoria John Hoogland Gema Ibáñez-Sánchez Jon Espen Ingvaldsen Mieke Jans Owen A. Johnson Jorge Júlvez Anna A. Kalenkova Koki Kato Victor Khomenko Michael Kishinevsky Hilda B. Klasky Jetty Kleijn Alex Kondratyev Rudolf Kuhn Akhil Kumar 0001 Angelina Prima Kurniati Luciano Lavagno Mihai T. LazarescuMihai Teodor Lazarescu Jia Lee Hernán Ponce de León Massimiliano de Leoni Henrik Leopold Anselmo López Xixi Lu 0001 Fabrizio Maria Maggi Donato Malerba Anaga Mani Felix Mannhardt R. S. MansRonny Mans Alberto Manuel Mar Marcos Lluís Màrquez Maria Antònia MartíMaria Antònia Martí Antonín Niels Martin Victor Martin Antonio Martinez-Millana Jan Mas Martin McCreesh Ana Karla A. de MedeirosAna Karla Alves de Medeiros Oliver Meier Paola Mello Jan Mendling Mustafa Misir Andrey Mokhov Marco Montali Josep Montolio Kenichi Morita Michael zur Muehlen Günter Müller Jorge Munoz-Gama Victor Muntés-Mulero Lucio Nardelli Nicolò Navarin Hamid R. Motahari Nezhad Nikita Nikitin Lluís Padró 0001Lluís Padró Cirera Enric Pastor Enric de San Pedro Javier de San Pedro Marco Pegoraro 0001 Ferdinand Peper Hugo Seguel Pérez Jordi Petit Marta Pietkiewicz-Koutny Roberto Placer Artem Polyvyanyy Luigi Pontieri Simon K. Poon Luise Pufahl Luis Quishpi Manfred Reichert Hajo A. Reijers Simon Remy Joel Ribeiro Stefanie Rinderle-Ma César Rodríguez Horacio Rodríguez Enric Rodríguez-Carbonell Marcello La Rosa Salvador Roura Anne Rozinat Enric Rubio Lucia Sacchi David Sanchez-CharlesDavid Sánchez-Charles Josep Sànchez-Ferreres Michèle Sebag Ricardo SeguelRicardo Seguel Pérez Fernando Seoane Marcos Sepúlveda Vasiliki Sfyrla Jim Sinur Pnina Soffer Marc Solé Andreas Solti Minseok Song 0001 Alessandro Sperduti Alessandro Stefanini Giovanni Stilo Casper Stoel Heiner Stuckenschmidt Emilio Sulis Keith D. Swenson Timo Sztyler Yousuke Takada Maurizio Talamo Wei Tan 0001 Alexander Taubin Mariona TauléMariona Taulé Delor Farbod Taymouri Ernest Teniente Pieter J. Toussaint Vicente Traver 0001 Jordi Turmo Chris Turner Álvaro Valencia-Parra Zoe Valero-Ramon Jan Vanthienen Rob J. B. Vanwersch Angel Jesus Varela-VacaÁngel Jesús Varela-Vaca George Varvaressos Divya Venkataramani H. M. W. VerbeekEric Verbeek 0001 Marc Verdonk Roberto Vigo Johanna Völker Jianmin Wang 0001 Barbara Weber Inge van de Weerd Matthias Weidlich 0001 A. J. M. M. WeijtersTon Weijters Lijie Wen 0001 Mathias Weske Michael Westergaard Moe Thandar Wynn Alexandre Yakovlev Sebastiaan J. van Zelst Francesca Zerbato