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., 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
  • 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., Ferigato, C., Pomello, L., & Puerto Aubel, A. (2018). On the Decomposition of Regional Events in Elementary Systems. In Proceedings of the International Workshop on Algorithms \& Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets
    and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 25, 2018 (pp.39-55). CEUR-WS.org.
     Dettaglio
  • Bernardinello, L., Ferigato, C., Pomello, L., & Puerto Aubel, A. (2017). On Stability of Regional Orthomodular Posets. In Proceedings of the International Workshop on Algorithms and Theories for the Analysis of Event Data 2017 (pp.89-105). CEUR. Dettaglio
  • Bernardinello, L., Ferigato, C., Pomello, L., & Puerto Aubel, A. (2017). Synthesis of transition systems from quantum logics. FUNDAMENTA INFORMATICAE, 154(1-4), 25-36. Dettaglio