Sede ufficiale: LARGO BRUNO PONTECORVO, 3, 56127 PISA
Email: francesca.levi@unipi.it
Telefono: 050 2212770
Sito web: http://pages.di.unipi.it/levi/
Profilo
Didattica
Attività didattica
Incarichi di responsabilità didattica di moduli/insegnamenti
- Informatica per le scienze umane (cod. 620AA) per Laurea in Scienze per la pace: cooperazione internazionale e trasformazione dei conflitti
- Algoritmica (cod. 429AA) per Laurea in Informatica umanistica
Insegnamenti condivisi/mutuati:- Algoritmica (cod. 429AA) - Laurea in Filosofia
Ricevimento
Modalità: Durante il periodo estivo il ricevimento si sarà' solo su appuntamento
Luogo: nel mio ufficio (371 D-O), Dipartimento di Informatica
Orario: MER 14.00-16.00
Ricerca
Pubblicazioni
- Quantitative extensions of reaction systems based on SOS semantics (Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Levi, Francesca; Milazzo, Paolo - 2023 - 1.1 Articolo in rivista)
- Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks (Barbuti, R.; Bove, P.; Gori, R.; Gruska, D.; Levi, F.; Milazzo, P. - 2021 - 1.1 Articolo in rivista)
- Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems (Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Levi, Francesca; Milazzo, Paolo - 2021 - 4.1 Contributo in Atti di convegno)
- Simulating gene regulatory networks using reaction systems (Barbuti, Roberto; Bove, Pasquale; Gori, Roberta; Levi, Francesca; Milazzo, Paolo - 2018 - 4.1 Contributo in Atti di convegno)
- Generalized contexts for reaction systems: definition and study of dynamic causalities (Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo - 2018 - 1.1 Articolo in rivista)
- A static analysis for Brane Calculi providing global occurrence counting information (Bodei, Chiara; Brodo, Linda; Gori, Roberta; Levi, Francesca; Bernini, Andrea; Hermith, Diana - 2017 - 1.1 Articolo in rivista)
- Investigating dynamic causalities in reaction systems (Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo - 2016 - 1.1 Articolo in rivista)
- Specialized Predictor for Reaction Systems with Context Properties (Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo - 2015 - 1.1 Articolo in rivista)
- Specialized Predictor for Reaction Systems with Context Properties (Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo - 2015 - 4.1 Contributo in Atti di convegno)
- A Global Occurrence Counting Analysis for Brane Calculi (Bodei, Chiara; Brodo, Linda; Gori, Roberta; Hermith, Diana; Levi, Francesca - 2015 - 4.1 Contributo in Atti di convegno)