toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year Publication Publisher ISSN ISBN DOI Volume Pages Links
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 details   file doi
Bucciarelli, Antonio; Salvo, Ivano Totality, Definability and Boolean Circuits 1998 Springer 10.1007/BFb0055104 1443 808-819 details   pdf doi
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 details   pdf doi
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 details   pdf doi
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Salvo, Ivano; Sassone, Vladimiro A Type Inference Algorithm for Secure Ambients 2002 Electronic Notes in Theoretical Computer Science Elsevier 10.1016/S1571-0661(04)00321-4 62 83-101 details   pdf doi
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 details   pdf doi
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa Finite horizon analysis of Markov Chains with the Mur$\varphi$ verifier 2006 Int. J. Softw. Tools Technol. Transf. Springer-Verlag 1433-2779 10.1007/s10009-005-0216-7 8 397-409 details   pdf doi
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa Bounded Probabilistic Model Checking with the Mur$\varphi$ Verifier 2004 Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings Springer 3-540-23738-0 10.1007/978-3-540-30494-4_16 214-229 details   pdf doi
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Minichino, Michele; Ciancamerla, Ester; Parisse, Andrea; Tronci, Enrico; Venturini Zilli, Marisa Automatic Verification of a Turbogas Control System with the Mur$\varphi$ Verifier 2003 Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings Springer 3-540-00913-2 10.1007/3-540-36580-X 141-155 details   pdf doi
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa Finite Horizon Analysis of Stochastic Systems with the Mur$\varphi$ Verifier 2003 Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings Springer 3-540-20216-1 10.1007/978-3-540-45208-9_6 58-71 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: