|
Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
Links |
|
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software |
2012 |
|
CoRR, Technical Report |
|
|
|
abs/1210.2276 |
|
|
|
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
On Model Based Synthesis of Embedded Control Software |
2012 |
|
CoRR, Technical Report |
|
|
|
abs/1207.4474 |
|
|
|
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems |
2012 |
|
CoRR, Technical Report |
|
|
|
abs/1207.4098 |
|
|
|
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Model Based Synthesis of Control Software from System Level Formal Specifications |
2013 |
|
CoRR, Technical Report |
|
|
|
abs/1107.5638 |
|
|
|
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; Salvo, Ivano |
Mobility Types for Mobile Processes in Mobile Ambients |
2003 |
Electr. Notes Theor. Comput. Sci. |
|
|
|
10.1016/S1571-0661(04)81011-9 |
78 |
|
|
|
Bucciarelli, Antonio; de Lorenzis, Silvia; Piperno, Adolfo; Salvo, Ivano |
Some Computational Properties of Intersection Types (Extended Abstract) |
1999 |
|
IEEE Computer Society |
|
|
10.1109/LICS.1999.782598 |
|
109-118 |
|
|
Bucciarelli, Antonio; Salvo, Ivano |
Totality, Definability and Boolean Circuits |
1998 |
|
Springer |
|
|
10.1007/BFb0055104 |
1443 |
808-819 |
|
|
Bucciarelli, Antonio; Piperno, Adolfo; Salvo, Ivano |
Intersection types and λ-definability |
2003 |
Mathematical Structures in Computer Science |
Cambridge University Press |
0960-1295 |
|
10.1017/S0960129502003833 |
13 |
15-53 |
|
|
Intrigila, Benedetto; Salvo, Ivano; Sorgi, Stefano |
A characterization of weakly Church-Rosser abstract reduction systems that are not Church-Rosser |
2001 |
Information and Computation |
Academic Press, Inc. |
0890-5401 |
|
10.1006/inco.2001.2945 |
171 |
137-155 |
|