List View
 |   | 
   web
Author Title Year Publication Publisher ISSN ISBN (down) DOI Volume Pages
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 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
Tronci, Enrico On Computing Optimal Controllers for Finite State Systems 1997 CDC '97: Proceedings of the 36th IEEE International Conference on Decision and Control IEEE Computer Society
Tronci, Enrico Optimal Finite State Supervisory Control 1996 CDC '96: Proceedings of the 35th IEEE International Conference on Decision and Control IEEE Computer Society 10.1109/CDC.1996.572981
Intrigila, Benedetto; Magazzeni, Daniele; Melatti, Igor; Tronci, Enrico A Model Checking Technique for the Verification of Fuzzy Control Systems 2005 CIMCA '05: Proceedings of the International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce Vol-1 (CIMCA-IAWTIC'06) IEEE Computer Society 0-7695-2504-0-01 10.1109/CIMCA.2005.1631319 536-542
Brizzolari, Francesco; Melatti, Igor; Tronci, Enrico; Della Penna, Giuseppe Disk Based Software Verification via Bounded Model Checking 2007 APSEC '07: Proceedings of the 14th Asia-Pacific Software Engineering Conference IEEE Computer Society 0-7695-3057-5 10.1109/APSEC.2007.43 358-365