POMELLO CHINAGLIA POMELLO LUCIA

Ruolo: 
professore associato
Settore scientifico disciplinare: 
INFORMATICA (INF/01)
Telefono: 
0264487816
Stanza: 
U14, Piano: P02, Stanza: 2064
Viale Sarca, 336 - 20126 MILANO

Pubblicazioni

  • 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. 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
  • 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., Kılınç, G., & Pomello, L. (2017). Weak observable liveness and infinite games on finite graphs. In Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017 (pp.181-199). Springer Verlag. Dettaglio