×

zbMATH — the first resource for mathematics

Carmona, Josep

Compute Distance To:
Author ID: carmona.josep Recent zbMATH articles by "Carmona, Josep"
Published as: Carmona, J.; Carmona, Josep
External Links: ORCID
Documents Indexed: 20 Publications since 2001

Publications by Year

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.14006
Artal, E.; Carmona, J.; Cogolludo, J. I.; Tokunaga, Hiro-O
8
2001
A symbolic algorithm for the synthesis of bounded Petri nets. Zbl 1143.68478
Carmona, J.; Cortadella, J.; Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Yakovlev, A.
7
2008
New region-based algorithms for deriving bounded Petri nets. Zbl 1368.68259
Carmona, Josep; Cortadella, Jordi; Kishinevsky, Mike
6
2010
Compatibility in a multi-component environment. Zbl 1292.68107
Carmona, Josep; Kleijn, Jetty
4
2013
Input/output compatibility of reactive systems. Zbl 1019.68616
Carmona, Josep; Cortadella, Jordi
3
2002
Unfolding-based process discovery. Zbl 06527540
Ponce-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.68170
Solé, Marc; Carmona, Josep
2
2010
Synthesis of asynchronous hardware from Petri nets. Zbl 1088.68504
Carmona, Josep; Cortadella, Jordi; Khomenko, Victor; Yakovlev, Alex
2
2004
Anti-alignments in conformance checking – the dark side of process models. Zbl 1346.68129
Chatain, Thomas; Carmona, Josep
1
2016
The label splitting problem. Zbl 1377.68145
Carmona, Josep
1
2012
Projection approaches to process mining using region-based techniques. Zbl 1235.68109
Carmona, Josep
1
2012
A scheduling strategy for synchronous elastic designs. Zbl 1242.68354
Carmona, Josep; Júlvez, Jorge; Cortadella, Jordi; Kishinevsky, Michael
1
2011
Synthesis of reactive systems: Application to asynchronous circuit design. Zbl 1029.68505
Carmona, Josep; Cortadella, Jordi; Pastor, Enric
1
2002
Anti-alignments in conformance checking – the dark side of process models. Zbl 1346.68129
Chatain, Thomas; Carmona, Josep
1
2016
Unfolding-based process discovery. Zbl 06527540
Ponce-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.68107
Carmona, Josep; Kleijn, Jetty
4
2013
The label splitting problem. Zbl 1377.68145
Carmona, Josep
1
2012
Projection approaches to process mining using region-based techniques. Zbl 1235.68109
Carmona, Josep
1
2012
A scheduling strategy for synchronous elastic designs. Zbl 1242.68354
Carmona, Josep; Júlvez, Jorge; Cortadella, Jordi; Kishinevsky, Michael
1
2011
New region-based algorithms for deriving bounded Petri nets. Zbl 1368.68259
Carmona, Josep; Cortadella, Jordi; Kishinevsky, Mike
6
2010
Process mining from a basis of state regions. Zbl 1233.68170
Solé, Marc; Carmona, Josep
2
2010
A symbolic algorithm for the synthesis of bounded Petri nets. Zbl 1143.68478
Carmona, J.; Cortadella, J.; Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Yakovlev, A.
7
2008
Synthesis of asynchronous hardware from Petri nets. Zbl 1088.68504
Carmona, Josep; Cortadella, Jordi; Khomenko, Victor; Yakovlev, Alex
2
2004
Input/output compatibility of reactive systems. Zbl 1019.68616
Carmona, Josep; Cortadella, Jordi
3
2002
Synthesis of reactive systems: Application to asynchronous circuit design. Zbl 1029.68505
Carmona, Josep; Cortadella, Jordi; Pastor, Enric
1
2002
Sextics with singular points in special position. Zbl 1032.14006
Artal, E.; Carmona, J.; Cogolludo, J. I.; Tokunaga, Hiro-O
8
2001

Citations by Year