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
 
  • A tour in process mining: from practice to algorithmic challenges

     Carmona, J.; Chatain, T.; Van der Aalst, W.; Dongen, B.
    Transactions on petri nets and other models of concurrency
    Vol. 14, p. 1-35
    DOI: 10.1007/978-3-662-60651-3_1
    Date of publication: 2019-11-01
    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