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
Metodi formali dell'informatica
Keywords:
Computer science
Models of concurrency
Formal methods for computer science
Pubblicazioni:
  • Badouel, E., Bernardinello, L., & Darondeau, P. (2015). Petri Net Synthesis. Springer Berlin Heidelberg.
  • Bernardinello, L., Ferigato, C., Haar, S., & Pomello, L. (2014). Closed Sets in Occurrence Nets with Conflicts. FUNDAMENTA INFORMATICAE, 133(4), 323-344.
  • Bernardinello, L., Pomello, L., & Rombolà, S. (2010). Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets. FUNDAMENTA INFORMATICAE, 105(3), 211-235.
  • Bernardinello, L., Monticelli, E., & Pomello Chinaglia Pomello, L. (2007). On Preserving Structural and Behavioural Properties by Composing Net Systems on Interfaces. FUNDAMENTA INFORMATICAE, 80(1-3), 31-47.
  • Bernardinello, L., Ferigato, C., & Pomello Chinaglia Pomello, L. (2003). An Algebraic Model of Observable Properties in Distributed Systems. THEORETICAL COMPUTER SCIENCE, 290, 637-668.
Curriculum Vitæ

  
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 16/06/2017