Inizio della pagina -
Logo dell'Università degli Studi di Milano-Bicocca
|
Visita la Versione ad elevata leggibilità
|
Vai al Contenuto della pagina
|
Vai alla Fine dei contenuti
|
Vai al Menu Principale
|
Vai alla Barra di navigazione (sei in)
|
Vai al Menu di navigazione (albero)
|
Vai alla Lista dei comandi
|
Vai alla Lista degli approfondimenti
|
Vai al Menu inferiore
|
|Lista dei comandi|
POMELLO CHINAGLIA POMELLO LUCIA

Tel.: 02 6448 7816
lucia.pomello@unimib.it
POMELLO CHINAGLIA POMELLO LUCIA
professore associato confermato
Settore scientifico disciplinare:
Dottore di ricerca in:
Informatica
Dipartimento:
Edificio e stanza:
U14-2064
Per saperne di più: altri links
Corso di laurea in:
Informatica
Corso di laurea magistrale in:
Informatica
Dottorato in:
Informatica
Aree tematiche di ricerca:
  1. Modelli formali di sistemi complessi centrata sullo sviluppo di tecniche formali per la specifica, l'analisi e la sintesi di sistemi distribuiti.
Parole chiave:
Teoria e modelli della concorrenza; Reti di Petri
Pubblicazioni:
  1. L. Pomello, G. Rozenberg, C. Simone (1992). "A survey of Equivalence Notions for Net Based Systems". In: Advances in Petri Nets 1992, pp. 410-472.
  2. G. De Michelis, L. Pomello, E. Battiston, F. De Cindio, C. Simone (1995). "Formal Methods: A Petri Based Approach". In: Albert Y. Zomaya (ed.). Parallel And Distributed Computing Handbook, Part I: Theory - Foundations, McGraw-Hill.
  3. L. Bernardinello, C. Ferigato, L. Pomello (2003). "An Algebraic Model of Observable Properties in Distributed Systems". In: Theoretical Computer Science, vol. 290, n. 1, pp. 637-668.
  4. L. Pomello, L. Bernardinello (2004). "Formal Tools for Modular System Development”. In: J. Cortadella, W. Reisig (eds.), 25th International Conference Applications and Theory of Petri Nets 2004, LNCS 3099, Springer Verlag, pp. 77-96.
  5. L. Bernardinello, E. Monticelli, L. Pomello (2007). "On Preserving Structural and Behavioural Properties by Composing Net Systems on Interfaces". In: Fundamenta Informaticae, IOS Press, vol. 80, nn. 1-3, pp. 31-47.
Curriculum Vitæ
Curriculum non disponibile

  
Nessun approfondimento presente per questa pagina
© 2005-2016 Università degli Studi di Milano-Bicocca -
Piazza dell'Ateneo Nuovo, 1 - 20126, Milano • tel. 02 6448 1 • Casella PEC: ateneo.bicocca@pec.unimib.it • P.I. 12621570154 • Amministrazione trasparente
- ultimo aggiornamento di questa pagina 17/03/2009