Loading...
Loading...

Go to the content (press return)

Carmona Vargas, Jose

Total activity: 12
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 12 of 12 results
 
  • Jutge.org: characteristics and experiences  Open access

     Petit, J.; Roura, S.; Carmona, J.; Cortadella, J.; Duch, A.; Giménez, O.; Mani, A.; Mas, J.; Rodriguez, E.; Rubio, A.; San Pedro, J. de; Venkataramani, D.
    IEEE transactions on learning technologies
    Vol. 11, num. 3, p. 321-333
    DOI: 10.1109/TLT.2017.2723389
    Date of publication: 2018-07
    Journal article
    Loading...
    Access to the full text
  • Process discovery algorithms using numerical abstract domains  Open access

     Carmona, J.; Cortadella, J.
    IEEE transactions on knowledge and data engineering
    Vol. 26, num. 12, p. 3064-3076
    DOI: 10.1109/TKDE.2013.156
    Date of publication: 2014-12-01
    Journal article
    Loading...
    Access to the full text
  • 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...
  • A scheduling strategy for synchronous elastic designs

     Carmona, J.; Julvez, J.; Cortadella, J.; Kishinevsky, M.
    Fundamenta informaticae
    Vol. 108, num. 1-2, p. 1-21
    DOI: 10.3233/FI-2011-411
    Date of publication: 2011
    Journal article
    Loading...
  • New region-based algorithms for deriving bounded Petri nets  Open access

     Carmona, J.; Cortadella, J.; Kishinevsky, M.
    IEEE transactions on computers
    Vol. 59, num. 3, p. 371-384
    DOI: 10.1109/TC.2009.131
    Date of publication: 2010-03
    Journal article
    Loading...
    Access to the full text
  • 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
  • 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
  • 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
  • Input/output compatibility of reactive systems

     Carmona, J.; Cortadella, J.
    Lecture notes in computer science
    Vol. 2517, p. 360-377
    DOI: 10.1007/3-540-36126-X_22
    Date of publication: 2002-11
    Journal article
    Loading...
  • A structural encoding technique for the synthesis of asynchronous circuits

     Carmona, J.; Cortadella, J.; Pastor, E.
    Fundamenta informaticae
    Vol. 50, num. 2, p. 135-154
    Date of publication: 2002
    Journal article
    Loading...