BERNARDINELLO LUCA

Room: 
U14, Piano: P02, Stanza: 2011
Viale Sarca 336 - 20126 MILANO
Role: 
Tenured Assistant Professor
Academic disciplines: 
INFORMATICS (INF/01)
Telephone: 
0264487872

Publications

  • Bernardinello, L., Ferigato, C., & Pomello, L. (2020). Logic and Algebra in Unfolded Petri Nets: On a Duality between Concurrency and Causal Dependence. FUNDAMENTA INFORMATICAE, 171(1-4), 39-56.
  • Adobbati, F., Bernardinello, L., & Pomello, L. (2019). An asynchronous game on distributed petri nets. In Petri Nets and Software Engineering. 2019 International Workshop on Petri Nets and Software Engineering, PNSE 2019; Aachen; Germany; 23-28 June 2019 (pp.17-36). CEUR-WS.
  • Adobbati, F., Bernardinello, L., & Pomello, L. (2019). Asynchronous games on petri nets and partial orders. In ICTCS 2019 - 20th Italian Conference on Theoretical Computer Science. Proceedings of the 20th Italian Conference on Theoretical Computer Science
    Como, Italy, September 9-11, 2019 (pp.139-144). CEUR-WS.
  • Bernardinello, L., Ferigato, C., Pomello, L., & Puerto Aubel, A. (2018). On Stability of Regional Orthomodular Posets. TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY, 13, 52-72.
  • Bernardinello, L., Lomazova, I., Nesterov, R., & Pomello, L. (2018). Compositional discovery of workflow nets from event logs using morphisms. Intervento presentato a: International Workshop on Algorithms and Theories for the Analysis of Event Data, ATAED 2018, Bratislava, Slovakia.