Josep Carmona

	2012
33		Javier de San Pedro, Josep Carmona, Jordi Cortadella, Jordi Petit: Integrating formal verification in an online judge for e-Learning logic circuit design. SIGCSE 2012: 451-456
32		Josep Carmona: Projection approaches to process mining using region-based techniques. Data Min. Knowl. Discov. 24(1): 218-246 (2012)
31		Marc Solé, Josep Carmona: Incremental Process Discovery. T. Petri Nets and Other Models of Concurrency 5: 221-242 (2012)
	2011
30		Benoît Caillaud, Josep Carmona, Kunihiko Hiraishi: 11th International Conference on Application of Concurrency to System Design, ACSD 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011 IEEE 2011
29		Wil M. P. van der Aalst, Arya Adriansyah, Ana Karla Alves de Medeiros, Franco Arcieri, Thomas Baier, Tobias Blickle, R. P. Jagadeesh Chandra Bose, Peter van den Brand, Ronald Brandtjen, Joos C. A. M. Buijs, Andrea Burattin, Josep Carmona, Malú Castellanos, Jan Claes, Jonathan Cook, 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, 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 Muñoz-Gama, Luigi Pontieri, Joel Ribeiro, Anne Rozinat, Hugo Seguel Pérez, Ricardo Seguel Pérez, Marcos Sepúlveda, Jim Sinur, Pnina Soffer, Minseok Song, Alessandro Sperduti, Giovanni Stilo, Casper Stoel, Keith D. Swenson, Maurizio Talamo, Wei Tan, Chris Turner, Jan Vanthienen, George Varvaressos, Eric Verbeek, Marc Verdonk, Roberto Vigo, Jianmin Wang, Barbara Weber, Matthias Weidlich, Ton Weijters, Lijie Wen, Michael Westergaard, Moe Thandar Wynn: Process Mining Manifesto. Business Process Management Workshops (1) 2011: 169-194
28		Jorge Muñoz-Gama, Josep Carmona: Enhancing precision in Process Conformance: Stability, confidence and severity. CIDM 2011: 184-191
27		Josep Carmona, Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky: A Scheduling Strategy for Synchronous Elastic Designs. Fundam. Inform. 108(1-2): 1-21 (2011)
26		Marc Solé, Josep Carmona: Light Region-based Techniques for Process Discovery. Fundam. Inform. 113(3-4): 343-376 (2011)
	2010
25		Marc Solé, Josep Carmona: Incremental Process Mining. ACSD/Petri Nets Workshops 2010: 175-190
24		Marc Solé, Josep Carmona: Rbminer: A Tool for Discovering Petri Nets from Transition Systems. ATVA 2010: 396-402
23		Jorge Muñoz-Gama, Josep Carmona: A Fresh Look at Precision in Process Conformance. BPM 2010: 211-226
22		Josep Carmona, Jordi Cortadella: Process Mining Meets Abstract Interpretation. ECML/PKDD (1) 2010: 184-199
21		Marc Solé, Josep Carmona: Process Mining from a Basis of State Regions. Petri Nets 2010: 226-245
20		Josep Carmona, Jordi Cortadella, Michael Kishinevsky: New Region-Based Algorithms for Deriving Bounded Petri Nets. IEEE Trans. Computers 59(3): 371-384 (2010)
	2009
19		Josep Carmona, Jordi Cortadella, Michael Kishinevsky: Genet: A Tool for the Synthesis and Mining of Petri Nets. ACSD 2009: 181-185
18		Josep Carmona, Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky: Scheduling Synchronous Elastic Designs. ACSD 2009: 52-59
17		Josep Carmona, Jordi Cortadella, Michael Kishinevsky: Divide-and-Conquer Strategies for Process Mining. BPM 2009: 327-343
16		Josep Carmona, Jordi Cortadella, Michael Kishinevsky, Alexander Taubin: Elastic Circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 28(10): 1437-1455 (2009)
	2008
15		Josep Carmona, Jordi Cortadella, Michael Kishinevsky: A Region-Based Algorithm for Discovering Petri Nets from Event Logs. BPM 2008: 358-373
14		Francisco Fernández-Nogueira, Josep Carmona: Logic Synthesis of Handshake Components Using Structural Clustering Techniques. PATMOS 2008: 188-198
13		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		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		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		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		Josep Carmona, Jordi Cortadella: State encoding of large asynchronous controllers. DAC 2006: 939-944
8		Josep Carmona, Jordi Cortadella, Yousuke Takada, Ferdinand Peper: From molecular interactions to gates: a systematic approach. ICCAD 2006: 891-898
7		Josep Carmona, José Manuel Colom, Jordi Cortadella, Fernando 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		Josep Carmona, Jordi Cortadella: ILP Models for the Synthesis of Asynchronous Control Circuits. ICCAD 2003: 818-826
5		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		Josep Carmona, Jordi Cortadella, Enric Pastor: Synthesis of Reactive Systems: Application to Asynchronous Circuit Design. Concurrency and Hardware Design 2002: 108-151
3		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		Josep Carmona, Jordi Cortadella, Enric Pastor: A structural encoding technique for the synthesis of asynchronous circuits. ACSD 2001: 157-166

Coauthor Index

1	Wil M. P. van der Aalst	[29]
2	Arya Adriansyah	[29]
3	Franco Arcieri	[29]
4	Thomas Baier	[29]
5	Tobias Blickle	[29]
6	R. P. Jagadeesh Chandra Bose	[29]
7	Peter van den Brand	[29]
8	Ronald Brandtjen	[29]
9	Dmitry Bufistov	[10]
10	Joos C. A. M. Buijs	[29]
11	Andrea Burattin	[29]
12	Benoît Caillaud	[30]
13	Malú Castellanos	[29]
14	Jan Claes	[29]
15	José Manuel Colom	[7]
16	Jonathan Cook	[29]
17	Jordi Cortadella	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [15] [16] [17] [18] [19] [20] [22] [27] [33]
18	Nicola Costantini	[29]
19	Francisco Curbera	[29]
20	Ernesto Damiani	[29]
21	Pavlos Delias	[29]
22	Boudewijn F. van Dongen	[29]
23	Marlon Dumas	[29]
24	Schahram Dustdar	[29]
25	Dirk Fahland	[29]
26	Francisco Fernández-Nogueira	[14]
27	Diogo R. Ferreira	[29]
28	Walid Gaaloul	[29]
29	Fernando García-Vallés	[7]
30	Frank van Geffen	[29]
31	Sukriti Goel	[29]
32	Christian W. Günther	[29]
33	Antonella Guzzo	[29]
34	Paul Harmon	[29]
35	Kunihiko Hiraishi	[30]
36	Arthur H. M. ter Hofstede	[29]
37	John Hoogland	[29]
38	Jon Espen Ingvaldsen	[29]
39	Jorge Júlvez	[10] [18] [27]
40	Koki Kato	[29]
41	Victor Khomenko	[5]
42	Michael Kishinevsky	[10] [13] [15] [16] [17] [18] [19] [20] [27]
43	Alex Kondratyev	[13]
44	Rudolf Kuhn	[29]
45	Akhil Kumar	[29]
46	Luciano Lavagno	[13]
47	Massimiliano de Leoni	[29]
48	Fabrizio Maria Maggi	[29]
49	Donato Malerba	[29]
50	R. S. Mans (Ronny Mans)	[29]
51	Alberto Manuel	[29]
52	Martin McCreesh	[29]
53	Ana Karla A. de Medeiros (Ana Karla Alves de Medeiros)	[29]
54	Paola Mello	[29]
55	Jan Mendling	[29]
56	Marco Montali	[29]
57	Michael zur Muehlen	[29]
58	Jorge Muñoz-Gama	[23] [28] [29]
59	Hamid R. Motahari Nezhad	[29]
60	Enric Pastor	[1] [2] [4]
61	Javier de San Pedro	[33]
62	Ferdinand Peper	[8] [11]
63	Hugo Seguel Pérez	[29]
64	Jordi Petit	[33]
65	Luigi Pontieri	[29]
66	Joel Ribeiro	[29]
67	Marcello La Rosa	[29]
68	Anne Rozinat	[29]
69	Ricardo Seguel (Ricardo Seguel Pérez)	[29]
70	Marcos Sepúlveda	[29]
71	Jim Sinur	[29]
72	Pnina Soffer	[29]
73	Marc Solé	[21] [24] [25] [26] [31]
74	Minseok Song	[29]
75	Alessandro Sperduti	[29]
76	Giovanni Stilo	[29]
77	Casper Stoel	[29]
78	Keith D. Swenson	[29]
79	Yousuke Takada	[8] [11]
80	Maurizio Talamo	[29]
81	Wei Tan	[29]
82	Alexander Taubin	[16]
83	Chris Turner	[29]
84	Jan Vanthienen	[29]
85	George Varvaressos	[29]
86	H. M. W. (Eric) Verbeek (H. M. W. Verbeek, Eric Verbeek)	[29]
87	Marc Verdonk	[29]
88	Roberto Vigo	[29]
89	Jianmin Wang	[29]
90	Barbara Weber	[29]
91	Matthias Weidlich	[29]
92	A. J. M. M. Weijters (Ton Weijters)	[29]
93	Lijie Wen	[29]
94	Michael Westergaard	[29]
95	Moe Thandar Wynn	[29]
96	Alexandre Yakovlev (Alex Yakovlev)	[5] [13]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page