Josep Carmona

2008
15	EE	Josep Carmona, Jordi Cortadella, Michael Kishinevsky: A Region-Based Algorithm for Discovering Petri Nets from Event Logs. BPM 2008: 358-373
14	EE	Francisco Fernández-Nogueira, Josep Carmona: Logic Synthesis of Handshake Components Using Structural Clustering Techniques. PATMOS 2008: 188-198
13	EE	Josep Carmona, Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev: A Symbolic Algorithm for the Synthesis of Bounded Petri Nets. Petri Nets 2008: 92-111
12	EE	Josep Carmona, Jordi Cortadella: Encoding Large Asynchronous Controllers With ILP Techniques. IEEE Trans. on CAD of Integrated Circuits and Systems 27(1): 20-33 (2008)
11	EE	Josep Carmona, Jordi Cortadella, Yousuke Takada, Ferdinand Peper: Formal methods for the analysis and synthesis of nanometer-scale cellular arrays. JETC 4(2): (2008)
10	EE	Jordi Cortadella, Michael Kishinevsky, Dmitry Bufistov, Josep Carmona, Jorge Júlvez: Elasticity and Petri Nets. T. Petri Nets and Other Models of Concurrency 1: 221-249 (2008)
2006
9	EE	Josep Carmona, Jordi Cortadella: State encoding of large asynchronous controllers. DAC 2006: 939-944
8	EE	Josep Carmona, Jordi Cortadella, Yousuke Takada, Ferdinand Peper: From molecular interactions to gates: a systematic approach. ICCAD 2006: 891-898
7	EE	Josep Carmona, José Manuel Colom, Jordi Cortadella, F. García-Vallés: Synthesis of asynchronous controllers using integer linear programming. IEEE Trans. on CAD of Integrated Circuits and Systems 25(9): 1637-1651 (2006)
2003
6	EE	Josep Carmona, Jordi Cortadella: ILP Models for the Synthesis of Asynchronous Control Circuits. ICCAD 2003: 818-826
5	EE	Josep Carmona, Jordi Cortadella, Victor Khomenko, Alexandre Yakovlev: Synthesis of Asynchronous Hardware from Petri Nets. Lectures on Concurrency and Petri Nets 2003: 345-401
2002
4	EE	Josep Carmona, Jordi Cortadella, Enric Pastor: Synthesis of Reactive Systems: Application to Asynchronous Circuit Design. Concurrency and Hardware Design 2002: 108-151
3	EE	Josep Carmona, Jordi Cortadella: Input/Output Compatibility of Reactive Systems. FMCAD 2002: 360-377
2		Josep Carmona, Jordi Cortadella, Enric Pastor: A structural encoding technique for the synthesis of asynchronous circuits. Fundam. Inform. 50(2): 135-154 (2002)
2001
1	EE	Josep Carmona, Jordi Cortadella, Enric Pastor: A structural encoding technique for the synthesis of asynchronous circuits. ACSD 2001: 157-166

Coauthor Index

1	Dmitry Bufistov	[10]
2	José Manuel Colom	[7]
3	Jordi Cortadella	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [15]
4	Francisco Fernández-Nogueira	[14]
5	F. García-Vallés	[7]
6	Jorge Júlvez	[10]
7	Victor Khomenko	[5]
8	Michael Kishinevsky	[10] [13] [15]
9	Alex Kondratyev	[13]
10	Luciano Lavagno	[13]
11	Enric Pastor	[1] [2] [4]
12	Ferdinand Peper	[8] [11]
13	Yousuke Takada	[8] [11]
14	Alexandre Yakovlev	[5] [13]

Colors in the list of coauthors