toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year Publication Publisher ISSN ISBN DOI (down) Volume Pages Links
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 details   pdf doi
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 details   pdf doi
Tronci, Enrico; Della Penna, Giuseppe; Intrigila, Benedetto; Venturini Zilli, Marisa A Probabilistic Approach to Automatic Verification of Concurrent Systems 2001 8th Asia-Pacific Software Engineering Conference (APSEC) IEEE Computer Society 0-7695-1408-1 10.1109/APSEC.2001.991495 317-324 details   pdf doi
Maggioli, F.; Mancini, T.; Tronci, E. SBML2Modelica: Integrating biochemical models within open-standard simulation ecosystems 2019 Bioinformatics 1367-4803 10.1093/bioinformatics/btz860 36 2165–2172 details   pdf doi
Sinisi, S.; Alimguzhin, V.; Mancini, T.; Tronci, E.; Leeners, B. Complete populations of virtual patients for in silico clinical trials 2021 Bioinformatics 1367-4803 10.1093/bioinformatics/btaa1026 1-8 details   pdf doi
Bucciarelli, Antonio; Piperno, Adolfo; Salvo, Ivano Intersection types and λ-definability 2003 Mathematical Structures in Computer Science Cambridge University Press 0960-1295 10.1017/S0960129502003833 13 15-53 details   file doi
Tronci, Enrico Defining Data Structures via Böhm-Out 1995 J. Funct. Program. 10.1017/S0956796800001234 5 51-64 details   doi
Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico Validation and verification issues in a timeline-based planning system 2010 The Knowledge Engineering Review Cambridge University Press 10.1017/S0269888910000160 25 299-318 details   pdf doi
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; Salvo, Ivano Mobility Types for Mobile Processes in Mobile Ambients 2003 Electr. Notes Theor. Comput. Sci. 10.1016/S1571-0661(04)81011-9 78 details   pdf doi
Focardi, Riccardo; Gorrieri, Roberto; Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Martinelli, Fabio; Tini, Simone; Tronci, Enrico Formal Models of Timing Attacks on Web Privacy 2002 Electronic Notes in Theoretical Computer Science 10.1016/S1571-0661(04)00329-9 62 229-243 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: