List View
 |   | 
Author Title Year Publication Publisher (up) ISSN ISBN DOI Volume Pages
Mazzini, Silvia; Puri, Stefano; Mari, Federico; Melatti, Igor; Tronci, Enrico Formal Verification at System Level 2009 In: DAta Systems In Aerospace (DASIA), Org. EuroSpace, Canadian Space Agency, CNES, ESA, EUMETSAT. Instanbul, Turkey, EuroSpace
Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico Flexible Plan Verification: Feasibility Results 2009 16th RCRA International Workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion” (RCRA). Proceedings
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
Alimguzhin, V.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E. Linearising Discrete Time Hybrid Systems 2017 IEEE Transactions on Automatic Control 0018-9286 10.1109/TAC.2017.2694559 62 5357-5364
Tronci, Enrico Defining Data Structures via Böhm-Out 1995 J. Funct. Program. 10.1017/S0956796800001234 5 51-64
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
Piperno, Adolfo; Tronci, Enrico Regular Systems of Equations in λ-calculus 1990 Int. J. Found. Comput. Sci. 10.1142/S0129054190000230 1 325-340
Piperno, Adolfo; Tronci, Enrico Regular Systems of Equations in λ-calculus 1989 Ictcs 10.1142/S0129054190000230
Böhm, Corrado; Piperno, Adolfo; Tronci, Enrico Solving Equations in λ-calculus 1989 Proc. of: Logic Colloquium 88
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