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|
|
Lista dei comandi
|
Versione ad elevata leggibilità
Dimensioni testo: rimpicciolisci testo | normalizza testo | ingrandisci testo  
|
Webmail docenti e personale
|
Webmail studenti
|
Wi-Fi
|
Menu Principale
|
Home
|
|
Ateneo
|
|
Facoltà
|
|
Dipartimenti
|
|
Ricerca
|
|
Personale
|
|
Bandi e concorsi
|
|
Ufficio Stampa
|
|
Albo
|
  
 | Mappa sito | Dove siamo | Muoversi nel Campus | Mappa dei feed | Rubrica		21 May 2012 - Go to chinese version - EN -
|Menu di navigazione|
Elenco Docenti
bsocial
unimib su facebook
bicocca su youtube
unimib su twitter
|Barra di navigazione|
Stampa
Sei in: Home > Elenco Docenti > POMELLO CHINAGLIA LUCIA
|Contenuto della pagina|
POMELLO CHINAGLIA LUCIA
|Modifica la scheda|
link alle sezioni della pagina:
Vai alla sezione 'Dipartimento' | Vai alla sezione 'Facoltà' | Vai alla sezione 'Edificio e stanza' | Vai alla sezione 'Per saperne di più: altri links' | Vai alla sezione 'Corso di laurea in' | Vai alla sezione 'Corso di laurea magistrale in' | Vai alla sezione 'Dottorato in' | Vai alla sezione 'Aree tematiche di ricerca' | Vai alla sezione 'Pubblicazioni' |

Tel.: 02 6448 7816
lucia.pomello@unimib.it
POMELLO CHINAGLIA LUCIA
professore associato confermato
Settore scientifico disciplinare:
Settore INF/01 - Informatica
Dottore di ricerca in:
Informatica
Dipartimento:
dipartimento di informatica sistemistica e comunicazione
Facoltà:
facolta' di scienze matematiche fisiche e naturali
Edificio e stanza:
U14-2064
Per saperne di più: altri links
  1. http://www.disco.unimib.it
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.

  
|Vai al Inizio della pagina
|
|Fine dei contenuti|
|Lista degli approfondimenti|
Nessun approfondimento presente per questa pagina
Guida dello studente 2011/2012
Software con licenza campus per studenti
Bicocca Open Archive - archivio aperto della produzione scientifica d'Ateneo
BNewsTV, una finestra sul campus
servizi di orientamento di ateneo
Iscriviti alla newsletter!
  |Menu inferiore| • Aiuto • Credits • 
|
Lista dei comandi
|
Area redazionale •		  
© 2005-2012 Università degli Studi di Milano-Bicocca - Piazza dell'Ateneo Nuovo, 1 - 20126, Milano - tel. 02 6448 1
Casella Posta elettronica certificata: ateneo.unimib@legalmail.it
redazioneweb@unimib.it - ultimo aggiornamento di questa pagina 17/03/2009