Edit Profile (opens in new tab) Carmona, Josep Co-Author Distance Author ID: carmona.josep Published as: Carmona, Josep; Carmona, J. External Links: ORCID Documents Indexed: 25 Publications since 2001 2 Contributions as Editor Co-Authors: 27 Co-Authors with 23 Joint Publications 318 Co-Co-Authors all top 5 Co-Authors 2 single-authored 8 Cortadella, Jordi 4 Solé, Marc 2 Buchs, Didier 2 Chatain, Thomas 2 Júlvez, Jorge 2 Kalenkova, Anna A. 2 Kishinevsky, Michael 2 Kleijn, Jetty 2 La Rosa, Marcello 2 Pastor, Enric 2 Polyvyanyy, Artem 2 Yakovlev, Alexandre V. 1 Artal Bartolo, Enrique 1 Boltenhagen, Mathilde 1 Bufistov, Dmitry 1 Carrasco-Olivera, Dante 1 Cogolludo, José Ignacio 1 Coma-Puig, Bernat 1 Delicado, Luis 1 Haar, Stefan 1 Heljanko, Keijo 1 Khomenko, Victor 1 Kishinevsky, Mike 1 Kondratyev, Alex 1 Lavagno, Luciano 1 Munoz-Gama, Jorge 1 Padró, Lluís 1 Ponce de León, Hernán 1 Rodríguez, César Marín 1 San Martín Rebolledo, Bernardo 1 Tokunaga, Hiro-o 1 van der Aalst, Wil M. P. all top 5 Serials 6 Fundamenta Informaticae 1 Computing 1 IEEE Transactions on Computers 1 Journal of Differential Equations 1 Theoretical Computer Science 1 Machine Learning 1 Journal of Knot Theory and its Ramifications 1 Data Mining and Knowledge Discovery 1 Lecture Notes in Computer Science all top 5 Fields 24 Computer science (68-XX) 2 General and overarching topics; collections (00-XX) 2 Operations research, mathematical programming (90-XX) 1 Algebraic geometry (14-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 16 Publications have been cited 57 times in 40 Documents Cited by ▼ Year ▼ New region-based algorithms for deriving bounded Petri nets. Zbl 1368.68259Carmona, Josep; Cortadella, Jordi; Kishinevsky, Mike 12 2010 A symbolic algorithm for the synthesis of bounded Petri nets. Zbl 1143.68478Carmona, J.; Cortadella, J.; Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Yakovlev, A. 11 2008 Sextics with singular points in special position. Zbl 1032.14006Artal, E.; Carmona, J.; Cogolludo, J. I.; Tokunaga, Hiro-O 8 2001 Process mining from a basis of state regions. Zbl 1233.68170Solé, Marc; Carmona, Josep 6 2010 Compatibility in a multi-component environment. Zbl 1292.68107Carmona, Josep; Kleijn, Jetty 5 2013 The label splitting problem. Zbl 1377.68145Carmona, Josep 5 2012 Input/output compatibility of reactive systems. Zbl 1019.68616Carmona, Josep; Cortadella, Jordi 4 2002 Synthesis of asynchronous hardware from Petri nets. Zbl 1088.68504Carmona, Josep; Cortadella, Jordi; Khomenko, Victor; Yakovlev, Alex 3 2004 Unfolding-based process discovery. Zbl 1471.68171Ponce-de-León, Hernán; Rodríguez, César; Carmona, Josep; Heljanko, Keijo; Haar, Stefan 2 2015 Automated repair of process models using non-local constraints. Zbl 1503.68193Kalenkova, Anna; Carmona, Josep; Polyvyanyy, Artem; La Rosa, Marcello 2 2020 Anti-alignments in conformance checking – the dark side of process models. Zbl 1346.68129Chatain, Thomas; Carmona, Josep 2 2016 Synthesis of reactive systems: Application to asynchronous circuit design. Zbl 1029.68505Carmona, Josep; Cortadella, Jordi; Pastor, Enric 1 2002 Optimized SAT encoding of conformance checking artefacts. Zbl 1473.68185Boltenhagen, Mathilde; Chatain, Thomas; Carmona, Josep 1 2021 A scheduling strategy for synchronous elastic designs. Zbl 1242.68354Carmona, Josep; Júlvez, Jorge; Cortadella, Jordi; Kishinevsky, Michael 1 2011 Projection approaches to process mining using region-based techniques. Zbl 1235.68109Carmona, Josep 1 2012 Hierarchical conformance checking of process models based on event logs. Zbl 1381.68214Munoz-Gama, Jorge; Carmona, Josep; van der Aalst, Wil M. P. 1 2013 Optimized SAT encoding of conformance checking artefacts. Zbl 1473.68185Boltenhagen, Mathilde; Chatain, Thomas; Carmona, Josep 1 2021 Automated repair of process models using non-local constraints. Zbl 1503.68193Kalenkova, Anna; Carmona, Josep; Polyvyanyy, Artem; La Rosa, Marcello 2 2020 Anti-alignments in conformance checking – the dark side of process models. Zbl 1346.68129Chatain, Thomas; Carmona, Josep 2 2016 Unfolding-based process discovery. Zbl 1471.68171Ponce-de-León, Hernán; Rodríguez, César; Carmona, Josep; Heljanko, Keijo; Haar, Stefan 2 2015 Compatibility in a multi-component environment. Zbl 1292.68107Carmona, Josep; Kleijn, Jetty 5 2013 Hierarchical conformance checking of process models based on event logs. Zbl 1381.68214Munoz-Gama, Jorge; Carmona, Josep; van der Aalst, Wil M. P. 1 2013 The label splitting problem. Zbl 1377.68145Carmona, Josep 5 2012 Projection approaches to process mining using region-based techniques. Zbl 1235.68109Carmona, Josep 1 2012 A scheduling strategy for synchronous elastic designs. Zbl 1242.68354Carmona, Josep; Júlvez, Jorge; Cortadella, Jordi; Kishinevsky, Michael 1 2011 New region-based algorithms for deriving bounded Petri nets. Zbl 1368.68259Carmona, Josep; Cortadella, Jordi; Kishinevsky, Mike 12 2010 Process mining from a basis of state regions. Zbl 1233.68170Solé, Marc; Carmona, Josep 6 2010 A symbolic algorithm for the synthesis of bounded Petri nets. Zbl 1143.68478Carmona, J.; Cortadella, J.; Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Yakovlev, A. 11 2008 Synthesis of asynchronous hardware from Petri nets. Zbl 1088.68504Carmona, Josep; Cortadella, Jordi; Khomenko, Victor; Yakovlev, Alex 3 2004 Input/output compatibility of reactive systems. Zbl 1019.68616Carmona, Josep; Cortadella, Jordi 4 2002 Synthesis of reactive systems: Application to asynchronous circuit design. Zbl 1029.68505Carmona, Josep; Cortadella, Jordi; Pastor, Enric 1 2002 Sextics with singular points in special position. Zbl 1032.14006Artal, E.; Carmona, J.; Cogolludo, J. I.; Tokunaga, Hiro-O 8 2001 all cited Publications top 5 cited Publications all top 5 Cited by 89 Authors 6 Carmona, Josep 6 van der Aalst, Wil M. P. 4 Devillers, Raymond 4 Hennicker, Rolf 4 Kalenkova, Anna A. 3 Best, Eike 3 Schlachter, Uli 2 Cortadella, Jordi 2 Darondeau, Philippe 2 Fahland, Dirk 2 Knapp, Alexander 2 La Rosa, Marcello 2 Leemans, Sander J. J. 2 Polyvyanyy, Artem 2 Sidorova, Natalia 2 Tredup, Ronny 2 Wimmel, Harro 1 Armas-Cervantes, Abel 1 Badouel, Eric 1 Bao, Yunxia 1 Barbanera, Franco 1 Bazydło, Grzegorz 1 Bernardinello, Luca 1 Berti, Alessandro 1 Bidoit, Michel 1 Boltenhagen, Mathilde 1 Bouvier, Pierre 1 Bufistov, Dmitry 1 Burke, Adam 1 Busi, Nadia 1 Cabasino, Maria Paola 1 Chatain, Thomas 1 Chechik, Marsha 1 de’Liguoro, Ugo 1 Du, Yuyue 1 Dumas, Marlon 1 Ehrig, Hartmut 1 Erofeev, Evgeny 1 Garavel, Hubert 1 García-Bañuelos, Luciano 1 Ge, Jidong 1 Genest, Blaise 1 Ghezzi, Carlo 1 Giua, Alessandro 1 Hadjicostis, Christoforos N. 1 Hoffmann, Kathrin 1 Hu, Haiyang 1 Hu, Hao 1 Huang, Liguo 1 Júlvez, Jorge 1 Kishinevsky, Michael 1 Kleijn, Jetty 1 Lama, Manuel 1 Li, Chuanyi 1 Lomazova, Irina A. 1 Lu, Faming 1 Lu, Xixi 1 Luo, Bin 1 Mannel, Lisa L. 1 Menghi, Claudio 1 Mucientes, Manuel 1 Padberg, Julia 1 Pinna, G. Michele 1 Ponce de León, Hernán 1 Popławski, Mateusz 1 Prange, Ulrike 1 Rubin, Vladimir 1 Schäfer, Mark 1 Seatzu, Carla 1 Sommers, Dominique 1 Spoletini, Paola 1 Tao, Ranran 1 Tax, Niek 1 Taymouri, Farbod 1 Teren, Viktor 1 Thiagarajan, Pazhamaneri Subramaniam 1 van Dongen, Boudewijn F. 1 Vázquez-Barreiros, Borja 1 Verbeek, Eric 1 Villa, Tiziano 1 Vogler, Walter 1 Wirsing, Martin 1 Wiśniewski, Remigiusz 1 Wojnakowski, Marcin 1 Wu, Budan 1 Wynn, Moe Thandar 1 Yang, Hongji 1 Yang, Shaofa 1 Zeng, Qingtian all top 5 Cited in 14 Serials 4 Fundamenta Informaticae 3 Acta Informatica 3 Information Sciences 3 Theoretical Computer Science 2 International Journal of Applied Mathematics and Computer Science 1 Information Processing Letters 1 Computing 1 Information and Computation 1 Formal Aspects of Computing 1 MSCS. Mathematical Structures in Computer Science 1 Discrete Event Dynamic Systems 1 Data Mining and Knowledge Discovery 1 Logical Methods in Computer Science 1 Journal of Logical and Algebraic Methods in Programming Cited in 4 Fields 38 Computer science (68-XX) 2 Operations research, mathematical programming (90-XX) 2 Systems theory; control (93-XX) 1 Mathematical logic and foundations (03-XX) Citations by Year