BERNARDINELLO LUCA

Ruolo: 
Ricercatore
Settore scientifico disciplinare: 
INFORMATICA (INF/01)
Telefono: 
0264487872
Stanza: 
U14, Piano: P02, Stanza: 2011
Viale Sarca, 336 - 20126 MILANO

Pubblicazioni

  • 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. Dettaglio
  • 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. Dettaglio
  • 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.
     Dettaglio
  • Bernardinello, L., Pomello, L., Puerto Aubel, A., & Villa, A. (2018). Checking Weak Observable Liveness on Unfoldings Through Asynchronous Games. In Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets
    2018 and the 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 24-29, 2018 (pp.15-34). CEUR-WS.org.
     Dettaglio
  • 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. Dettaglio