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|
BERNARDINELLO LUCA

Tel.: 02 6448 7872
luca.bernardinello@unimib.it
BERNARDINELLO LUCA
ricercatore
Settore scientifico disciplinare:
Dottore di ricerca in:
Informatique, Université de Rennes
Dipartimento:
Edificio e stanza:
U14-2011
Corso di laurea in:
Informatica
Fisica
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
Modelli della concorrenza
Keywords:
Computer science
Models of concurrency
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.
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 29/05/2013