BERNARDINELLO LUCA

Ruolo:
Ricercatore
Settore scientifico disciplinare:
Informatica (INF/01)
Telefono:
Stanza:
  • U14, Piano: 2, Stanza: 2011

Pubblicazioni

  • Adobbati, F., Bernardinello, L., & Pomello, L. (2021). A Two-Player Asynchronous Game on Fully Observable Petri Nets. In K.F. Koutny M. (a cura di), Transactions on Petri Nets and Other Models of Concurrency XV. (pp. 126-149). Springer Science and Business Media Deutschland GmbH [10.1007/978-3-662-63079-2_6]. Dettaglio

  • 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 [10.3233/FI-2020-1871]. Dettaglio

  • Bernardinello, L., Lomazova, I., Nesterov, R., & Pomello, L. (2020). Property-Preserving transformations of elementary net systems based on morphisms. In CEUR Workshop Proceedings (pp.49-67). 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

  • 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

Progetti di ricerca

BERNARDINELLO-Fondo per il finanziamento delle attività base di ricerca, 2017

Premi e responsabilità scientifiche

Congressi/Convegni

  • Program chair - Application of concurrency to system design (ACSD), 2014