List View
 |   | 
Author (up) Title Year Publication Publisher ISSN ISBN DOI Volume Pages
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
Bartolini, Novella; Tronci, Enrico On Optimizing Service Availability of an Internet Based Architecture for Infrastructure Protection 2006 Cnip
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
Bobbio, Andrea; Ciancamerla, Ester; Di Blasi, Saverio; Iacomini, Alessandro; Mari, Federico; Melatti, Igor; Minichino, Michele; Scarlatti, Alessandro; Tronci, Enrico; Terruggia, Roberta; Zendri, Emilio Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks 2009 Proceedings of Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS) 10.1109/CRISIS.2009.5411974 90-97
Bobbio, Andrea; Ciancamerla, Ester; Minichino, Michele; Tronci, Enrico Functional analysis of a telecontrol system and stochastic measures of its GSM/GPRS connections 2005 Archives of Transport – International Journal of Transport Problems 17
Böhm, Corrado; Piperno, Adolfo; Tronci, Enrico Solving Equations in λ-calculus 1989 Proc. of: Logic Colloquium 88
Böhm, Corrado; Tronci, Enrico About Systems of Equations, X-Separability, and Left-Invertibility in the lambda-Calculus 1991 Inf. Comput. 10.1016/0890-5401(91)90057-9 90 1-32
Böhm, Corrado; Tronci, Enrico X-Separability and Left-Invertibility in lambda-calculus 1987 Symposium on Logic in Computer Science (LICS) IEEE Computer Society 320-328
Böhm, Corrado; Tronci, Enrico X-separability and left-invertibility in the λ-calculus (extended abstract, invited paper) 1987 Proceedings of: Temi e prospettive della Logica e della Filosofia della Scienza contemporanea
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