Sfoglia per Autore
Totality, definability and boolean circuits
1998 Antonio, Bucciarelli; Salvo, Ivano
Some computational properties of intersection types
1999 Bucciarelli, A.; DE LORENZIS, S.; Piperno, Adolfo; Salvo, Ivano
Security Types for Mobile Safe Ambients
2000 M., Dezani; Salvo, Ivano
A Type Inference Algorithm for Secure Ambients
2001 F., Barbanera; M., Dezani; Salvo, Ivano; V., Sassone
A CuCh Interpretation of an Object-Oriented Language1
2001 V., Bono; Salvo, Ivano
A Characterization of Weakly Church-Rosser Abstract Reduction Systems, not Church-Rosser
2002 B., Intrigila; Salvo, Ivano; Sorgi, S.
Intersection types and lambda-definability
2003 Bucciarelli, A.; Piperno, Adolfo; Salvo, Ivano
M3: Mobility types for mobile processes in mobile ambients
2003 Coppo, M; DEZANI CIANCAGLINI, M; Giovannetti, E; Salvo, Ivano
Model Checking Nash Equilibria in MAD Distributed Systems
2008 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Alvisi, L; Clement, A; Li, H.
NashMV
2008 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Lorenzo, Alvisi; Allen, Clement; Harry, Li
Model Checking Coalition Nash Equilibria in MAD Distributed Systems
2009 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Lorenzo, Alvisi; Allen, Clement; Harry, Li
Depletable Channels: Dynamics and Behaviour
2009 Cenciarelli, Pietro; Gorla, Daniele; Salvo, Ivano
QKS
2010 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems
2010 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Model Checking Satellite Operational Procedures
2011 F., Cavaliere; G., Minei; G., Verzino; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Y., Yushtein
From Boolean Relations to Control Software
2011 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Control Software Visualization
2012 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Synthesizing Control Software from Boolean Relations
2012 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Automatic control software synthesis for quantized discrete time hybrid systems
2012 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Undecidability of quantized state feedback control for discrete time linear hybrid systems
2012 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Totality, definability and boolean circuits | 1998 | Antonio, Bucciarelli; Salvo, Ivano | |
| Some computational properties of intersection types | 1999 | Bucciarelli, A.; DE LORENZIS, S.; Piperno, Adolfo; Salvo, Ivano | |
| Security Types for Mobile Safe Ambients | 2000 | M., Dezani; Salvo, Ivano | |
| A Type Inference Algorithm for Secure Ambients | 2001 | F., Barbanera; M., Dezani; Salvo, Ivano; V., Sassone | |
| A CuCh Interpretation of an Object-Oriented Language1 | 2001 | V., Bono; Salvo, Ivano | |
| A Characterization of Weakly Church-Rosser Abstract Reduction Systems, not Church-Rosser | 2002 | B., Intrigila; Salvo, Ivano; Sorgi, S. | |
| Intersection types and lambda-definability | 2003 | Bucciarelli, A.; Piperno, Adolfo; Salvo, Ivano | |
| M3: Mobility types for mobile processes in mobile ambients | 2003 | Coppo, M; DEZANI CIANCAGLINI, M; Giovannetti, E; Salvo, Ivano | |
| Model Checking Nash Equilibria in MAD Distributed Systems | 2008 | Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Alvisi, L; Clement, A; Li, H. | |
| NashMV | 2008 | Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Lorenzo, Alvisi; Allen, Clement; Harry, Li | |
| Model Checking Coalition Nash Equilibria in MAD Distributed Systems | 2009 | Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Lorenzo, Alvisi; Allen, Clement; Harry, Li | |
| Depletable Channels: Dynamics and Behaviour | 2009 | Cenciarelli, Pietro; Gorla, Daniele; Salvo, Ivano | |
| QKS | 2010 | Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
| Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems | 2010 | Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
| Model Checking Satellite Operational Procedures | 2011 | F., Cavaliere; G., Minei; G., Verzino; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Y., Yushtein | |
| From Boolean Relations to Control Software | 2011 | Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
| Control Software Visualization | 2012 | Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
| Synthesizing Control Software from Boolean Relations | 2012 | Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
| Automatic control software synthesis for quantized discrete time hybrid systems | 2012 | Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
| Undecidability of quantized state feedback control for discrete time linear hybrid systems | 2012 | Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile