Loading...
Loading...

Go to the content (press return)

Carmona Vargas, Jose

Total activity: 3
Areas of expertise
formal methods, process mining
Professional category
Associate professor
Research group
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods
Department
Department of Computer Science
School
Barcelona School of Informatics (FIB)
E-mail
jcarmonacs.upc.edu
Contact details
UPC directory Open in new window
Orcid
0000-0001-9656-254X Open in new window
Scopus Author ID
22333712700 Open in new window
Fill in your details

Scientific and technological production

1 to 3 of 3 results
 
  • Elastic circuits  Open access

     Carmona, J.; Cortadella, J.; Kishinevsky, M.; Taubin, A.
    IEEE transactions on computer-aided design of integrated circuits and systems
    Vol. 28, num. 10, p. 1437-1455
    DOI: 10.1109/TCAD.2009.2030436
    Date of publication: 2009-10
    Journal article
    Loading...
    Access to the full text
  • Encoding large asynchronous controllers with ILP techniques  Open access

     Carmona, J.; Cortadella, J.
    IEEE transactions on computer-aided design of integrated circuits and systems
    Vol. 27, num. 1, p. 20-33
    DOI: 10.1109/TCAD.2007.907238
    Date of publication: 2008-01
    Journal article
    Loading...
    Access to the full text
  • Synthesis of asynchronous controllers using integer linear programming  Open access

     Carmona, J.; Colom, J.; Cortadella, J.; García-Vallés, F.
    IEEE transactions on computer-aided design of integrated circuits and systems
    Vol. 25, num. 9, p. 1637-1651
    DOI: 10.1109/TCAD.2005.859516
    Date of publication: 2006-09
    Journal article
    Loading...
    Access to the full text