List View
 |   | 
   web
Author Title Year Publication Publisher ISSN ISBN (up) DOI Volume Pages
Pugliese, Rosario; Tronci, Enrico Automatic Verification of a Hydroelectric Power Plant 1996 Third International Symposium of Formal Methods Europe (FME), Co-Sponsored by IFIP WG 14.3 Springer 3-540-60973-3 10.1007/3-540-60973-3_100 425-444
Tronci, Enrico Equational Programming in Lambda-Calculus via SL-Systems. Part 1 1996 Theoretical Computer Science 10.1016/0304-3975(95)00105-0 160 145-184
Tronci, Enrico Equational Programming in Lambda-Calculus via SL-Systems. Part 2 1996 Theoretical Computer Science 10.1016/0304-3975(95)00106-9 160 185-216
Tronci, Enrico Equational Programming in lambda-calculus 1991 Sixth Annual IEEE Symposium on Logic in Computer Science (LICS) IEEE Computer Society 10.1109/LICS.1991.151644 191-202
Bobbio, Andrea; Bologna, Sandro; Minichino, Michele; Ciancamerla, Ester; Incalcaterra, Piero; Kropp, Corrado; Tronci, Enrico Advanced techniques for safety analysis applied to the gas turbine control system of Icaro co generative plant 2001 X Convegno Tecnologie e Sistemi Energetici Complessi 339-350
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
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
Bucciarelli, Antonio; Salvo, Ivano Totality, Definability and Boolean Circuits 1998 Springer 10.1007/BFb0055104 1443 808-819
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
Bono, V.; Salvo, I. A CuCh Interpretation of an Object-Oriented Language 2001 Electronic Notes in Theoretical Computer Science Elsevier 10.1016/S1571-0661(04)00171-9 50 159-177