Questo sito utilizza cookie tecnici, propri e di terze parti, per garantire la corretta navigazione e analizzare il traffico e, con il tuo consenso, cookie di profilazione e altri strumenti di tracciamento di terzi per mostrare video e misurare l'efficacia delle attività di comunicazione istituzionale. Puoi rifiutare i cookie non necessari e di profilazione cliccando su “Rifiuta tutti”. Puoi scegliere di acconsentirne l’utilizzo cliccando su “Accetta tutti” oppure puoi personalizzare le tue scelte cliccando su “Rivedi le tue scelte sui cookie”.

POMELLO CHINAGLIA POMELLO LUCIA

Ruolo:
Professoressa associata
Settore scientifico disciplinare:
Informatica (INFO-01/A)
Gruppo scientifico disciplinare:
INFORMATICA (01/INFO-01)
Telefono:
Stanza:
  • U14, Piano: 2, Stanza: 2064

Pubblicazioni

  • Adobbati, F., Bernardinello, L., Pomello, L. (2024). A Two Player Asynchronous Game with Privacy Constraints on Petri Nets (short paper). In Proceedings of the 25th Italian Conference on Theoretical Computer Science (pp.213-218). CEUR-WS. Dettaglio

  • Adobbati, F., Bernardinello, L., Pomello, L., Stramare, R. (2024). Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets. In M. Koutny, R. Bergenthum, G. Ciardo (a cura di), Transactions on Petri Nets and Other Models of Concurrency XVII (pp. 189-211). Springer [10.1007/978-3-662-68191-6_8]. Dettaglio

  • Adobbati, F., Bernardinello, L., Kilinc Soylu, G., Pomello, L. (2024). Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets. In M. Koutny, R. Bergenthum, G. Ciardo (a cura di), Transactions on Petri Nets and Other Models of Concurrency XVII (pp. 54-83). Springer Science and Business Media Deutschland GmbH [10.1007/978-3-662-68191-6_3]. Dettaglio

  • Adobbati, F., Bernardinello, L., Pomello, L. (2023). Solving a Safety Game on the Unfolding of Safe Petri Nets. In Proceedings of the 2023 International Workshop on Petri Nets and Software Engineering (PNSE 2023) co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2023) (pp.53-69). CEUR-WS. Dettaglio

  • Nesterov, R., Bernardinello, L., Lomazova, I., Pomello, L. (2023). Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach. SOFTWARE AND SYSTEMS MODELING, 22(1), 351-375 [10.1007/s10270-022-01008-x]. Dettaglio

Premi e responsabilità scientifiche

Partecipazioni scientifiche

  • Componente del Consiglio/Comitato Direttivo - Petri Nets Steering Committee (Italia), 2004

Comitati editoriali

  • Membro del Comitato Editoriale - TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY, 2006

Congressi/Convegni

  • Program chair - 33rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2012)(Germania), 2012