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
 
  • Formal methods for the analysis and synthesis of nanometer-scale cellular arrays

     Carmona, J.; Cortadella, J.; Takada, Y.; Peper, F.
    ACM journal on emerging technologies in computing systems
    Vol. 4, num. 2, p. 8.1-8.27
    DOI: 10.1145/1350763.1350768
    Date of publication: 2008-04
    Journal article
    Loading...
  • Elasticity and Petri nets  Open access

     Cortadella, J.; Kishinevsky, M.; Bufistov, D.; Carmona, J.; Julvez, J.
    Transactions on petri nets and other models of concurrency
    Vol. 1, p. 221-249
    DOI: 10.1007/978-3-540-89287-8_13
    Date of publication: 2008-01
    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