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 > BERNARDINELLO LUCA
|Contenuto della pagina|
BERNARDINELLO LUCA
|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 'Corso di laurea in' | Vai alla sezione 'Corso di laurea magistrale in' | Vai alla sezione 'Aree tematiche di ricerca' | Vai alla sezione 'Pubblicazioni' |

Tel.: 02 6448 7872
luca.bernardinello@unimib.it
BERNARDINELLO LUCA
ricercatore confermato
Settore scientifico disciplinare:
Settore INF/01 - Informatica
Dottore di ricerca in:
Informatique, Université de Rennes
Dipartimento:
dipartimento di informatica sistemistica e comunicazione
Facoltà:
facolta' di scienze matematiche fisiche e naturali
Edificio e stanza:
U14-2011
Corso di laurea in:
Informatica
Corso di laurea magistrale in:
Informatica
Aree tematiche di ricerca:
  1. Teoria della concorrenza.
  2. Teoria delle reti di Petri, nei suoi fondamenti e nelle sue applicazioni.
Parole chiave:
Informatica
Pubblicazioni:
  1. E. Badouel, L. Bernardinello, P. Darondeau (1997). "The synthesis problem for elementary net systems is NP-complete". In: Theoretical Computer Science, vol. 186, nn. 1-2, pp. 107-134.
  2. L. Bernardinello, C. Ferigato, L. Pomello (2003). "An algebraic model of observable properties in distributed systems". In: Theoretical Computer Science, n. 290, n. 1, pp. 637-668.
  3. M. Bednarczyk, L. Bernardinello, B. Caillaud, W. Pawlowski, L. Pomello (2003). "Modular system development with pullbacks". In: W. van der Aalst, E. Best (eds.), Applications and Theory of Petri Nets. Berlin, Springer,
    pp. 140-160.
  4. M.A. Bednarczyk, L. Bernardinello, W. Pawlowski, L. Pomello (2004) "Modelling Mobility with Petri Hypernets". In: Recent trends in algebraic development techniques, revised selected papers of WADT 2004, LNCS 3423, pp. 28-44.
  5. L. Bernardinello, E. Monticelli, L. Pomello (2007). "On preserving structural and behavioural properties by composing net systems on interfaces". In: Fundamenta Informaticae, vol. 80, n. 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 09/06/2008