Loading...
Loading...

Go to the content (press return)

Carmona Vargas, Jose

Total activity: 5
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 5 of 5 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
  • Log-based simplification of process models  Open access

     San Pedro, J. de; Carmona, J.; Cortadella, J.
    International Conference on Business Process Management
    p. 457-474
    DOI: 10.1007/978-3-319-23063-4_30
    Presentation's date: 2015-09-03
    Presentation of work at congresses
    Loading...
    Access to the full text
  • Algorísmia, Bioinformàtica, Complexitat i Mètodes Formals ALBCOM

     Diaz, J.; Cortadella, J.; Orejas, F.; Martinez, C.; Serna, M.; Alvarez, C.; Gabarro, J.; Atserias, A.; Messeguer, X.; Petit, J.; Pino, E.; Roura, S.; Valiente, G.; Carmona, J.; Godoy, G.; Duch, A.; Blesa, M.; Molter, H.; San Pedro, J. de; Munoz-Gama, J.; Roca, A.; Lauria, M.; Ochremiak, J.R.
    Competitive project
    Loading...
  • Integrating formal verification in an online judge for e-Learning logic circuit design

     San Pedro, J. de; Carmona, J.; Cortadella, J.; Petit, J.
    ACM Technical Symposium on Computer Science Education
    p. 451-456
    DOI: 10.1145/2157136.2157268
    Presentation's date: 2012
    Presentation of work at congresses
    Loading...
  • Analytical performance modeling of hierarchical interconnect fabrics

     Nikitin, N.; San Pedro, J. de; Carmona, J.; Cortadella, J.
    IEEE/ACM International Symposium on Networks-on-Chip
    p. 107-114
    DOI: 10.1109/NOCS.2012.20
    Presentation's date: 2012
    Presentation of work at congresses
    Loading...