|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 25 occurrences of 20 keywords
|
|
|
|
|
Results
Found 33 publication records. Showing 33 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marc Solé, Josep Carmona |
Incremental Process Discovery.  |
T. Petri Nets and Other Models of Concurrency  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Carmona |
Projection approaches to process mining using region-based techniques. |
Data Min. Knowl. Discov. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Carmona, Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky |
A Scheduling Strategy for Synchronous Elastic Designs. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Solé, Josep Carmona |
Light Region-based Techniques for Process Discovery. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Caillaud, Josep Carmona, Kunihiko Hiraishi (eds.) |
11th International Conference on Application of Concurrency to System Design, ACSD 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011 |
ACSD |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jorge Muñoz-Gama, Josep Carmona |
Enhancing precision in Process Conformance: Stability, confidence and severity. |
CIDM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 0001, Barbara Weber, Matthias Weidlich, Ton Weijters, Lijie Wen, Michael Westergaard, Moe Thandar Wynn |
Process Mining Manifesto. |
Business Process Management Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Carmona, Jordi Cortadella, Michael Kishinevsky |
New Region-Based Algorithms for Deriving Bounded Petri Nets. |
IEEE Trans. Computers |
2010 |
DBLP DOI BibTeX RDF |
Petri nets, synthesis, bisimulation, process mining, transition systems, theory of regions |
| 1 | Josep Carmona, Jordi Cortadella |
Process Mining Meets Abstract Interpretation. |
ECML/PKDD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Solé, Josep Carmona |
Process Mining from a Basis of State Regions. |
Petri Nets |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Solé, Josep Carmona |
Incremental Process Mining. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
| 1 | Marc Solé, Josep Carmona |
Rbminer: A Tool for Discovering Petri Nets from Transition Systems. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Muñoz-Gama, Josep Carmona |
A Fresh Look at Precision in Process Conformance. |
BPM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Carmona, Jordi Cortadella, Michael Kishinevsky, Alexander Taubin |
Elastic Circuits. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Carmona, Jordi Cortadella, Michael Kishinevsky |
Genet: A Tool for the Synthesis and Mining of Petri Nets. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
Synthesis, Mining, Theory of Regions |
| 1 | Josep Carmona, Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky |
Scheduling Synchronous Elastic Designs. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
Elastic systems, scheduling, optimization |
| 1 | Josep Carmona, Jordi Cortadella, Michael Kishinevsky |
Divide-and-Conquer Strategies for Process Mining. |
BPM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Carmona, Jordi Cortadella, Yousuke Takada, Ferdinand Peper |
Formal methods for the analysis and synthesis of nanometer-scale cellular arrays. |
JETC |
2008 |
DBLP DOI BibTeX RDF |
model checking, cellular array, Nanocomputing, symbolic techniques |
| 1 | Jordi Cortadella, Michael Kishinevsky, Dmitry Bufistov, Josep Carmona, Jorge Júlvez |
Elasticity and Petri Nets. |
T. Petri Nets and Other Models of Concurrency |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Carmona, Jordi Cortadella |
Encoding Large Asynchronous Controllers With ILP Techniques. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Fernández-Nogueira, Josep Carmona |
Logic Synthesis of Handshake Components Using Structural Clustering Techniques. |
PATMOS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Carmona, Jordi Cortadella, Michael Kishinevsky |
A Region-Based Algorithm for Discovering Petri Nets from Event Logs. |
BPM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Carmona, Jordi Cortadella |
State encoding of large asynchronous controllers. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
petri nets, asynchronous circuits, state encoding |
| 1 | Josep Carmona, Jordi Cortadella, Yousuke Takada, Ferdinand Peper |
From molecular interactions to gates: a systematic approach. |
ICCAD |
2006 |
DBLP DOI BibTeX RDF |
nanocascades, formal methods, nanocomputing |
| 1 | Josep Carmona, Jordi Cortadella, Victor Khomenko, Alexandre Yakovlev |
Synthesis of Asynchronous Hardware from Petri Nets. |
Lectures on Concurrency and Petri Nets |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Carmona, Jordi Cortadella |
ILP Models for the Synthesis of Asynchronous Control Circuits. |
ICCAD |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Carmona, Jordi Cortadella, Enric Pastor |
A structural encoding technique for the synthesis of asynchronous circuits. |
Fundam. Inform. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Josep Carmona, Jordi Cortadella |
Input/Output Compatibility of Reactive Systems. |
FMCAD |
2002 |
DBLP DOI BibTeX RDF |
Input/Output compatibility, Synchronous product, Petri nets, Reactive systems, Conformation, Observational equivalence, Trace theory |
| 1 | Josep Carmona, Jordi Cortadella, Enric Pastor |
Synthesis of Reactive Systems: Application to Asynchronous Circuit Design. |
Concurrency and Hardware Design |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Carmona, Jordi Cortadella, Enric Pastor |
A structural encoding technique for the synthesis of asynchronous circuits. |
ACSD |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #33 of 33 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")