Search the dblp DataBase

Publications of Author

1. Josep Carmona, Jordi Cortadella, Victor Khomenko, Alexandre Yakovlev
   Synthesis of Asynchronous Hardware from Petri Nets. [Citation Graph (0, 0)][DBLP]
   Lectures on Concurrency and Petri Nets, 2003, pp:345-401 [Conf]
   
2. Josep Carmona, Jordi Cortadella, Enric Pastor
   Synthesis of Reactive Systems: Application to Asynchronous Circuit Design. [Citation Graph (0, 0)][DBLP]
   Concurrency and Hardware Design, 2002, pp:108-151 [Conf]
   
3. Josep Carmona, Jordi Cortadella, Enric Pastor
   A structural encoding technique for the synthesis of asynchronous circuits. [Citation Graph (0, 0)][DBLP]
   ACSD, 2001, pp:157-166 [Conf]
   
4. Josep Carmona, Jordi Cortadella
   State encoding of large asynchronous controllers. [Citation Graph (0, 0)][DBLP]
   DAC, 2006, pp:939-944 [Conf]
   
5. Josep Carmona, Jordi Cortadella
   Input/Output Compatibility of Reactive Systems. [Citation Graph (0, 0)][DBLP]
   FMCAD, 2002, pp:360-377 [Conf]
   
6. Josep Carmona, Jordi Cortadella
   ILP Models for the Synthesis of Asynchronous Control Circuits. [Citation Graph (0, 0)][DBLP]
   ICCAD, 2003, pp:818-826 [Conf]
   
7. Josep Carmona, Jordi Cortadella, Yousuke Takada, Ferdinand Peper
   From molecular interactions to gates: a systematic approach. [Citation Graph (0, 0)][DBLP]
   ICCAD, 2006, pp:891-898 [Conf]
   
8. Josep Carmona, Jordi Cortadella, Enric Pastor
   A structural encoding technique for the synthesis of asynchronous circuits. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2002, v:50, n:2, pp:135-154 [Journal]
   
9. Josep Carmona, José Manuel Colom, Jordi Cortadella, F. García-Vallés
   Synthesis of asynchronous controllers using integer linear programming. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. on CAD of Integrated Circuits and Systems, 2006, v:25, n:9, pp:1637-1651 [Journal]
   
10. 
    Scheduling Synchronous Elastic Designs. [Citation Graph (, )][DBLP]
    
    
11. 
    Genet: A Tool for the Synthesis and Mining of Petri Nets. [Citation Graph (, )][DBLP]
    
    
12. 
    A Symbolic Algorithm for the Synthesis of Bounded Petri Nets. [Citation Graph (, )][DBLP]
    
    
13. 
    Process Mining from a Basis of State Regions. [Citation Graph (, )][DBLP]
    
    
14. 
    Rbminer: A Tool for Discovering Petri Nets from Transition Systems. [Citation Graph (, )][DBLP]
    
    
15. 
    A Region-Based Algorithm for Discovering Petri Nets from Event Logs. [Citation Graph (, )][DBLP]
    
    
16. 
    Divide-and-Conquer Strategies for Process Mining. [Citation Graph (, )][DBLP]
    
    
17. 
    A Fresh Look at Precision in Process Conformance. [Citation Graph (, )][DBLP]
    
    
18. 
    Logic Synthesis of Handshake Components Using Structural Clustering Techniques. [Citation Graph (, )][DBLP]
    
    
19. 
    Process Mining Meets Abstract Interpretation. [Citation Graph (, )][DBLP]