Edit Profile Carmona, Josep Compute Distance To: Compute Author ID: carmona.josep Published as: Carmona, J.; Carmona, Josep External Links: ORCID Documents Indexed: 20 Publications since 2001 all top 5 Co-Authors 2 single-authored 8 Cortadella, Jordi 4 Solé, Marc 2 Júlvez, Jorge 2 Kishinevsky, Michael 2 Kishinevsky, Mike 2 Pastor, Enric 2 Yakovlev, Alexandre V. 1 Bufistov, Dmitry 1 Khomenko, Victor 1 Kondratyev, Alex 1 Lavagno, Luciano Serials 3 Fundamenta Informaticae 1 IEEE Transactions on Computers 1 Data Mining and Knowledge Discovery Fields 14 Computer science (68-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 13 Publications have been cited 39 times in 30 Documents Cited by ▼ Year ▼ Sextics with singular points in special position. Zbl 1032.14006Artal, E.; Carmona, J.; Cogolludo, J. I.; Tokunaga, Hiro-O 8 2001 A symbolic algorithm for the synthesis of bounded Petri nets. Zbl 1143.68478Carmona, J.; Cortadella, J.; Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Yakovlev, A. 7 2008 New region-based algorithms for deriving bounded Petri nets. Zbl 1368.68259Carmona, Josep; Cortadella, Jordi; Kishinevsky, Mike 6 2010 Compatibility in a multi-component environment. Zbl 1292.68107Carmona, Josep; Kleijn, Jetty 4 2013 Input/output compatibility of reactive systems. Zbl 1019.68616Carmona, Josep; Cortadella, Jordi 3 2002 Unfolding-based process discovery. Zbl 06527540Ponce-de-León, Hernán; Rodríguez, César; Carmona, Josep; Heljanko, Keijo; Haar, Stefan 2 2015 Process mining from a basis of state regions. Zbl 1233.68170Solé, Marc; Carmona, Josep 2 2010 Synthesis of asynchronous hardware from Petri nets. Zbl 1088.68504Carmona, Josep; Cortadella, Jordi; Khomenko, Victor; Yakovlev, Alex 2 2004 Anti-alignments in conformance checking – the dark side of process models. Zbl 1346.68129Chatain, Thomas; Carmona, Josep 1 2016 The label splitting problem. Zbl 1377.68145Carmona, Josep 1 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 Synthesis of reactive systems: Application to asynchronous circuit design. Zbl 1029.68505Carmona, Josep; Cortadella, Jordi; Pastor, Enric 1 2002 Anti-alignments in conformance checking – the dark side of process models. Zbl 1346.68129Chatain, Thomas; Carmona, Josep 1 2016 Unfolding-based process discovery. Zbl 06527540Ponce-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 4 2013 The label splitting problem. Zbl 1377.68145Carmona, Josep 1 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 6 2010 Process mining from a basis of state regions. Zbl 1233.68170Solé, Marc; Carmona, Josep 2 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. 7 2008 Synthesis of asynchronous hardware from Petri nets. Zbl 1088.68504Carmona, Josep; Cortadella, Jordi; Khomenko, Victor; Yakovlev, Alex 2 2004 Input/output compatibility of reactive systems. Zbl 1019.68616Carmona, Josep; Cortadella, Jordi 3 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 66 Authors 6 Artal Bartolo, Enrique 4 Cogolludo Agustín, José Ignacio 3 Hennicker, Rolf 3 Schlachter, Uli 3 van der Aalst, Wil M. P. 2 Best, Eike 2 Carmona, Josep 2 Darondeau, Philippe 2 Devillers, Raymond 2 Fahland, Dirk 2 Knapp, Alexander 2 Tokunaga, Hiro-o 1 Badouel, Eric 1 Bao, Yunxia 1 Barbanera, Franco 1 Bernardinello, Luca 1 Bufistov, Dmitry 1 Busi, Nadia 1 Cabasino, Maria Paola 1 Carmona Ruber, Jorge 1 Carmona, Josep Maria 1 Chechik, Marsha 1 Cogolludo, José Ignacio 1 Cortadella, Jordi 1 Degtyarev, Alex 1 de’Liguoro, Ugo 1 Du, Yuyue 1 Garber, David 1 Ge, Jidong 1 Genest, Blaise 1 Ghezzi, Carlo 1 Giua, Alessandro 1 Hadjicostis, Christoforos N. 1 Hu, Haiyang 1 Hu, Hao 1 Huang, Liguo 1 Júlvez, Jorge 1 Kalenkova, Anna A. 1 Kishinevsky, Michael 1 Kleijn, Jetty H. C. M. 1 Leemans, Sander J. J. 1 Li, Chuanyi 1 Lomazova, Irina A. 1 Lu, Faming 1 Lu, Xixi 1 Luo, Bin 1 Martín-Morales, Jorge 1 Menghi, Claudio 1 Mokhov, Andrey 1 Ortigas-Galindo, Jorge 1 Pinna, G. Michele 1 Ponce de León, Hernán 1 Schäfer, Mark 1 Seatzu, Carla 1 Sidorova, Natalia 1 Spoletini, Paola 1 Tao, Ranran 1 Tax, Niek 1 Thiagarajan, Pazhamaneri Subramaniam 1 Vogler, Walter 1 Wimmel, Harro 1 Wirsing, Martin 1 Wu, Budan 1 Yang, Hongji 1 Yang, Shaofa 1 Zeng, Qingtian all top 5 Cited in 18 Serials 3 Acta Informatica 3 Theoretical Computer Science 2 Information Sciences 1 Information Processing Letters 1 Proceedings of the American Mathematical Society 1 Transactions of the American Mathematical Society 1 Topology and its Applications 1 Information and Computation 1 Formal Aspects of Computing 1 MSCS. Mathematical Structures in Computer Science 1 Discrete Event Dynamic Systems 1 Formal Methods in System Design 1 Journal of Algebraic Geometry 1 Data Mining and Knowledge Discovery 1 Algebraic & Geometric Topology 1 Journal of the Institute of Mathematics of Jussieu 1 Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 8 Fields 22 Computer science (68-XX) 8 Algebraic geometry (14-XX) 4 Group theory and generalizations (20-XX) 2 Several complex variables and analytic spaces (32-XX) 2 Manifolds and cell complexes (57-XX) 1 Mathematical logic and foundations (03-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Systems theory; control (93-XX) Citations by Year