List View
 |   | 
Author Title Year (down) Publication Publisher ISSN ISBN DOI Volume Pages
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
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
Cecconi, Michele; Tronci, Enrico Requirements Formalization and Validation for a Telecommunication Equipment Protection Switcher 2000 Hase IEEE Computer Society 0-7695-0927-4 10.1109/HASE.2000.895456
Tronci, Enrico Automatic Synthesis of Control Software for an Industrial Automation Control System 1999 Proc.of: 14th IEEE International Conference on: Automated Software Engineering (ASE) 10.1109/ASE.1999.802292 247-250
Tronci, Enrico Formally Modeling a Metal Processing Plant and its Closed Loop Specifications 1999 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE) IEEE Computer Society 0-7695-0418-3 10.1109/HASE.1999.809490 151
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
Fantechi, Alessandro; Gnesi, Stefania; Mazzanti, Franco; Pugliese, Rosario; Tronci, Enrico A Symbolic Model Checker for ACTL 1998 International Workshop on Current Trends in Applied Formal Method (FM-Trends) Springer 3-540-66462-9 10.1007/3-540-48257-1_14 228-242
Tronci, Enrico Automatic Synthesis of Controllers from Formal Specifications 1998 Proc of 2nd IEEE International Conference on Formal Engineering Methods (ICFEM) 10.1109/ICFEM.1998.730577 134-143
Bucciarelli, Antonio; Salvo, Ivano Totality, Definability and Boolean Circuits 1998 Springer 10.1007/BFb0055104 1443 808-819
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