Loading...
Loading...

Go to the content (press return)

Carmona Vargas, Jose

Total activity: 2
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 2 of 2 results
 
  • Brownian circuits: fundamentals

     Peper, F.; Lee, J.; Carmona, J.; Cortadella, J.; Morita, K.
    ACM journal on emerging technologies in computing systems
    Vol. 9, num. 1, p. 3:1-3:24
    DOI: 10.1145/2422094.2422097
    Date of publication: 2013-02
    Journal article
    Loading...
  • 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...