List View
 |   | 
   web
Author (up) Title Year Publication Publisher ISSN ISBN DOI Volume Pages
Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico Flexible Timeline-Based Plan Verification 2009 KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings Springer 978-3-642-04616-2 10.1007/978-3-642-04617-9_7 49-56
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
Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico Merging Planning, Scheduling & Verification – A Preliminary Analysis 2008 In Proc. of 10th ESA Workshop on Advanced Space Technologies for Robotics and Automation (ASTRA)
Cesta, Amedeo; Fratini, Simone; Orlandini, Andrea; Finzi, Alberto; Tronci, Enrico Flexible Plan Verification: Feasibility Results 2011 Fundamenta Informaticae 10.3233/FI-2011-397 107 111-137
Chen, Q.M.; Finzi, A.; Mancini, T.; Melatti, I.; Tronci, E. MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks 2020 IOS Press 1875-8681 10.3233/FI-2020-1941 174 229-258
Chierichetti, Flavio; Lattanzi, Silvio; Mari, Federico; Panconesi, Alessandro On Placing Skips Optimally in Expectation 2008 Web Search and Web Data Mining (WSDM 2008) Acm 10.1145/1341531.1341537 15-24
Ciancamerla, Ester; Minichino, Michele; Serro, Stefano; Tronci, Enrico Automatic Timeliness Verification of a Public Mobile Network 2003 22nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP) Springer 978-3-540-20126-7 10.1007/978-3-540-39878-3_4 35-48
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
Della Penna, Giuseppe; Di Marco, Antinisca; Intrigila, Benedetto; Melatti, Igor; Pierantonio, Alfonso Interoperability mapping from XML schemas to ER diagrams 2006 Data Knowl. Eng. Elsevier Science Publishers B. V. 0169-023x 10.1016/j.datak.2005.08.002 59 166-188
Della Penna, Giuseppe; Di Marco, Antinisca; Intrigila, Benedetto; Melatti, Igor; Pierantonio, Alfonso Xere: Towards a Natural Interoperability between XML and ER Diagrams 2003 Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings Springer 3-540-00899-3 10.1007/3-540-36578-8_25 356-371