Cerca per relatore della tesi |
Risultati da
1 a 7 di 7
| Titolo | Corso di studi | Anno di discussione | Relatore |
|---|---|---|---|
| Formal Modelling for Population Dynamics | SCIENZE DI BASE | 2015 | |
| Modular Verification of Biological Systems | INFORMATICA | 2011 | |
| Formal Modelling and Simulation of Biological Systems with Spatiality | INFORMATICA | 2011 | |
| Modelling Biological Systems From Molecular Interactions to Population Dynamics | INFORMATICA | 2010 | |
| Formalizzazione e confronto di algoritmi di simulazione stocastici con ritardo | INFORMATICA | 2009 | |
| QUALITATIVE AND QUANTITATIVE FORMAL MODELING OF BIOLOGICAL SYSTEMS | INFORMATICA | 2007 | |
| Probabilistic Timed Automata for Security Analysis and Design | INFORMATICA | 2006 |
| Nuova ricerca |