Cerca per relatore della tesi |
Risultati da
1 a 9 di 9
| Titolo | Corso di studi | Anno di discussione | Relatore |
|---|---|---|---|
| Spatio-Temporal Model Checking: Explicit and Abstraction-Based Methods | MATEMATICA | 2016 | |
| A Network-Aware Process Calculus for Global Computing and its Categorical Framework | SCIENZE DI BASE | 2013 | |
| Concurrent Semantics with Variable Binding | MATEMATICA | 2009 | |
| Saturated Transition Systems for Presheaf Models | INFORMATICA | 2009 | |
| Accessible functors and final coalgebras for named sets. | INFORMATICA | 2008 | |
| Computational models based on hierarchical graphs: bigraphs and cogs-graphs | INFORMATICA | 2008 | |
| Abstract Semantics by Observable Contexts | INFORMATICA | 2008 | |
| Synchronization Strategies for Global Computing Models | INFORMATICA | 2006 | |
| A temporal logic for HD-automata | INFORMATICA | 2004 |
| Nuova ricerca |