List View
 |   | 
   web
Author Title Year Publication Publisher ISSN ISBN DOI Volume Pages
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico Control Software Visualization 2012 Proceedings of INFOCOMP 2012, The Second International Conference on Advanced Communications and Computation ThinkMind 978-1-61208-226-4 15-20
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
Tronci, Enrico Defining Data Structures via Böhm-Out 1995 J. Funct. Program. 10.1017/S0956796800001234 5 51-64
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
Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico Validation and Verification Issues in a Timeline-based Planning System 2008 In E-Proc. of ICAPS Workshop on Knowledge Engineering for Planning and Scheduling
Martinelli, Marco; Tronci, Enrico; Dipoppa, Giovanni; Balducelli, Claudio Electric Power System Anomaly Detection Using Neural Networks 2004 8th International Conference on: Knowledge-Based Intelligent Information and Engineering Systems (KES) Springer 3-540-23318-0 10.1007/978-3-540-30132-5_168 1242-1248
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
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
Tronci, Enrico Hardware Verification, Boolean Logic Programming, Boolean Functional Programming 1995 Tenth Annual IEEE Symposium on Logic in Computer Science (LICS) IEEE Computer Society 10.1109/LICS.1995.523275 408-418
Böhm, Corrado; Piperno, Adolfo; Tronci, Enrico Solving Equations in λ-calculus 1989 Proc. of: Logic Colloquium 88