DE CRESCENZO, ILARIA
DE CRESCENZO, ILARIA
DIPARTIMENTO DI INFORMATICA (attivo dal 01/01/2011 al 31/12/2012)
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.014 secondi).
A general modular synthesis problem for pushdown systems
2016 DE CRESCENZO, Ilaria; LA TORRE, Salvatore
Modular Synthesis with Open Components Reachability Problems
2013 DE CRESCENZO, Ilaria; LA TORRE, Salvatore
Synthesis of recursive state machines from libraries of game modules
2016 De Crescenzo, Ilaria
Visibly Pushdown Modular Games
2014 DE CRESCENZO, Ilaria; LA TORRE, Salvatore; Yaron, Velner
Visibly pushdown modular games
2017 DE CRESCENZO, Ilaria; LA TORRE, Salvatore; Velner, Y.
Winning CaRet Games with Modular Strategies
2011 DE CRESCENZO, Ilaria; LA TORRE, Salvatore
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A general modular synthesis problem for pushdown systems | 1-gen-2016 | DE CRESCENZO, Ilaria; LA TORRE, Salvatore | |
| Modular Synthesis with Open Components Reachability Problems | 1-gen-2013 | DE CRESCENZO, Ilaria; LA TORRE, Salvatore | |
| Synthesis of recursive state machines from libraries of game modules | 18-mag-2016 | De Crescenzo, Ilaria | |
| Visibly Pushdown Modular Games | 1-gen-2014 | DE CRESCENZO, Ilaria; LA TORRE, Salvatore; Yaron, Velner | |
| Visibly pushdown modular games | 1-gen-2017 | DE CRESCENZO, Ilaria; LA TORRE, Salvatore; Velner, Y. | |
| Winning CaRet Games with Modular Strategies | 1-gen-2011 | DE CRESCENZO, Ilaria; LA TORRE, Salvatore |