See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

Abel Armas Cervantes

https://etis.ee/CV/Abel_Armas Cervantes/est
26.07.1986
58021681
abel.armas@ut.ee

Teenistuskäik

Töökohad ja ametid
2011–2015   
Tartu Ülikool, Matemaatika-informaatikateaduskond, PhD student (1,00)
2010–2011   
STACC OÜ, Skype project (0,50)
 
 
Haridustee
2009–...   
Master in Software Engineering in University of Tartu

Publikatsioonid

Klass
Aasta
Publikatsioon
 
1.1.
2016
Armas-Cervantes, Abel; Baldan, Paolo; García-Bañuelos, Luciano (2016). Reduction of event structures under history preserving bisimulation. Journal of Logical and Algebraic Methods in Programming, 1110−1130.10.1016/j.jlamp.2015.10.004.
3.1.
2016
Armas-Cervantes, Abel; Dumas, Marlon; García-Bañuelos, Luciano; Polyvyanyy, Artem (2016). On the Suitability of Generalized Behavioral Profiles for Process Model Comparison. International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing (WS-FM'2014). Ed. Thomas Hildebrandt, Matthias Weidlich. Springer, 13−28. (Lecture Notes in Computer Science). DOI: 10.1007/978-3-319-33612-1_2.
2.3.
2015
Armas Cervantes, Abel (2015). Diagnosing Behavioral Differences between Business Process Models. (University of Tartu). Tartu: University of Tartu Press.
3.1.
2014
Armas-Cervantes, Abel; Baldan, Paolo; Dumas, Marlon; García-Bañuelos, Luciano (2014). BP-Diff: A Tool for Behavioral Comparison of Business Process Models. 1295. Toim. Lior Limonad, Barbara Weber. 1−5. (CEUR Workshop Proceedings).
3.1.
2014
Armas-Cervantes, Abel; Baldan, Paolo; Dumas, Marlon; García-Bañuelos, Luciano (2014). Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures. 8659: 12th International Conference on Business Process Management (BPM 2014). Ed. Shazia Sadiq, Pnina Soffer, Hagen Völzer. Springer, 267−282. (Lecture Notes in Computer Science).10.1007/978-3-319-10172-9_17.
3.1.
2013
Armas-Cervantes, Abel; García-Bañuelos, Luciano; Dumas, Marlon (2013). Event Structures as a Foundation for Process Model Differencing, Part 1: Acyclic processes. 7843: International Workshop on Web Services and Formal Methods (WS-FM). Springer, 69−86. (Lecture Notes in Computer Science).10.1007/978-3-642-38230-7_5.
3.4.
2012
Armas Cervantes, Abel (2012). Event Structures as a Foundation for Managing Business Processes Variants. 10th International Conference on Business Process Management.
3.1.
2011
Tretyakov, Konstantin; Armas-Cervantes, Abel; García-Bañuelos, Luciano; Vilo, Jaak; Dumas, Marlon (2011). Fast Fully Dynamic Landmark-based Estimation of Shortest Path Distances in Very Large Graphs. CIKM’11, October 24–28, 2011, Glasgow, Scotland, UK.. Association for Computing Machinery (ACM), 1785−1794. DOI: 10.1145/2063576.2063834.

Tööstusomand

24.05.2019

Abel Armas Cervantes

https://etis.ee/CV/Abel_Armas Cervantes/eng
26.07.1986
58021681
abel.armas@ut.ee

Career

Institutions and positions
2011–2015   
University of Tartu, Faculty of Mathematics and Computer Science, PhD student (1,00)
2010–2011   
STACC , Skype project (0,50)
 
 
Education
2009–...   
Master in Software Engineering in University of Tartu

Publications

Category
Year
Publication
 
1.1.
2016
Armas-Cervantes, Abel; Baldan, Paolo; García-Bañuelos, Luciano (2016). Reduction of event structures under history preserving bisimulation. Journal of Logical and Algebraic Methods in Programming, 1110−1130.10.1016/j.jlamp.2015.10.004.
3.1.
2016
Armas-Cervantes, Abel; Dumas, Marlon; García-Bañuelos, Luciano; Polyvyanyy, Artem (2016). On the Suitability of Generalized Behavioral Profiles for Process Model Comparison. International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing (WS-FM'2014). Ed. Thomas Hildebrandt, Matthias Weidlich. Springer, 13−28. (Lecture Notes in Computer Science). DOI: 10.1007/978-3-319-33612-1_2.
2.3.
2015
Armas Cervantes, Abel (2015). Diagnosing Behavioral Differences between Business Process Models. (University of Tartu). Tartu: University of Tartu Press.
3.1.
2014
Armas-Cervantes, Abel; Baldan, Paolo; Dumas, Marlon; García-Bañuelos, Luciano (2014). BP-Diff: A Tool for Behavioral Comparison of Business Process Models. 1295. Toim. Lior Limonad, Barbara Weber. 1−5. (CEUR Workshop Proceedings).
3.1.
2014
Armas-Cervantes, Abel; Baldan, Paolo; Dumas, Marlon; García-Bañuelos, Luciano (2014). Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures. 8659: 12th International Conference on Business Process Management (BPM 2014). Ed. Shazia Sadiq, Pnina Soffer, Hagen Völzer. Springer, 267−282. (Lecture Notes in Computer Science).10.1007/978-3-319-10172-9_17.
3.1.
2013
Armas-Cervantes, Abel; García-Bañuelos, Luciano; Dumas, Marlon (2013). Event Structures as a Foundation for Process Model Differencing, Part 1: Acyclic processes. 7843: International Workshop on Web Services and Formal Methods (WS-FM). Springer, 69−86. (Lecture Notes in Computer Science).10.1007/978-3-642-38230-7_5.
3.4.
2012
Armas Cervantes, Abel (2012). Event Structures as a Foundation for Managing Business Processes Variants. 10th International Conference on Business Process Management.
3.1.
2011
Tretyakov, Konstantin; Armas-Cervantes, Abel; García-Bañuelos, Luciano; Vilo, Jaak; Dumas, Marlon (2011). Fast Fully Dynamic Landmark-based Estimation of Shortest Path Distances in Very Large Graphs. CIKM’11, October 24–28, 2011, Glasgow, Scotland, UK.. Association for Computing Machinery (ACM), 1785−1794. DOI: 10.1145/2063576.2063834.

Industrial property

24.05.2019

Otsi projekti

  • {{item.Name}}
Asutus on projekti finantseerija   Asutus on projekti teostaja  
  • {{searchListItem.Name}}
Kõik   Tavaprojektid   Ülemprojektid   Alamprojektid  
Uus Frascati (2015)
Uus ja vana Frascati (otsing uue järgi väljastab ka seotud vanad)
Kõik
Käimasolevad
Lõppenud
Algus
Hajus
Täpne
Lihtotsing Tühjenda
  • Leitud 2 kirjet
ProgrammLiikNumberNimiProjekti algusProjekti lõppVastutav täitjaAsutusFinantseerijapoolne rahastamine
TKAlamprojektTAR16013 (EXCITE) (TK148)IT Tippkeskus EXCITE01.09.201601.03.2023Maarja KruusmaaTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Biorobootika keskus; Cybernetica AS2 121 014,65 EUR
ETFETF8826Äriprotsesside mudelide struktureerimine: Teooria ja Rakendus01.01.201131.12.2012Marlon DumasTartu Ülikool, Matemaatika-informaatikateaduskond23 520,00 EUR