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
 
  • Graph-based Models and Methods for Computing in the Large

     Carmona, J.; Orejas, F.; Serna, M.; Martinez, C.; Diaz, J.; Cortadella, J.; Sierra-Santibáñez, J.; Pino, E.; Roura, S.; Petit, J.; Gabarro, J.; Alvarez, C.; Edelmira Pasarella; Mylonakis, N.; Duch, A.; Blesa, M.; Steels, L.; Pérez, X.
    Competitive project
    Loading...
  • Algorísmia, Bioinformàtica, Complexitat i Mètodes Formals

     Diaz, J.; Pino, E.; Garlik, M.; Atserias, A.; Messegue, A.; Petit, J.; Martinez, C.; Moreno, A.; Duch, A.; Blesa, M.; Edelmira Pasarella; Taymouri, F.; Sierra-Santibáñez, J.; Alvarez, C.; Serna, M.; Cortadella, J.; Messeguer, X.; Gabarro, J.; Roura, S.; Vidal, A.; Lauria, M.; Orejas, F.; Valiente, G.; Coma, B.; Carmona, J.
    Competitive project
    Loading...
  • Computational Models and Methods for Massive Structured Data

     Orejas, F.; Diaz, J.; Cortadella, J.; Serna, M.; Alvarez, C.; Pino, E.; Carmona, J.; Gabarro, J.; Xhafa, F.; Edelmira Pasarella; Petit, J.; Mylonakis, N.; Martinez, C.; Duch, A.; Godoy, G.; Roura, S.; Roca, A.; Soares-Ribeiro, J.; Pérez-Giménez, X.
    Competitive project
    Loading...
  • ALGORISMIA, BIOINFORMÀTICA, COMPLEXITAT I METODES FORMALS (ALBCOM)

     Diaz, J.; Orejas, F.; Galceran, M.; Oliva, S.; Godoy, G.; Atserias, A.; Martinez, C.; Edelmira Pasarella; Pino, E.; Alvarez, C.; Blum, C.; Gabarro, J.; Cortadella, J.; Molinero, X.; Serna, M.; Messeguer, X.; Roura, S.; Blesa, M.; Valiente, G.; Duch, A.; Carmona, J.; Hernandez, H.; Gel, B.; Gascon, A.; Petit, J.
    Competitive project
    Loading...
  • Métodos formales y algoritmos para el diseño de sistemas

     Orejas, F.; Xhafa, F.; Godoy, G.; Costa, K.; Oliva, S.; Galceran, M.; Gascon, A.; Gel, B.; Hernandez, H.; Duch, A.; Blum, C.; Edelmira Pasarella; Diaz, J.; Pino, E.; Petit, J.; Alvarez, C.; Blesa, M.; Gabarro, J.; Cortadella, J.; Serna, M.; Carmona, J.
    Competitive project
    Loading...