| |
      |
                                          |
Note: Links lead to the DBLP on the Web. Fabio Fioravanti Franco Arcieri , Mario Ciclosi , Fabio Fioravanti, Enrico Nardelli , Maurizio Talamo : The Italian Electronic Identity Card: a short introduction. DG.O 2004 Franco Arcieri , Fabio Fioravanti, Enrico Nardelli , Maurizio Talamo : Reliable Peer-to-Peer Access for Italian Citizens to Digital Government Services on the Internet. EGOV 2004 : 250-255 Franco Arcieri , Fabio Fioravanti, Enrico Nardelli , Maurizio Talamo : A Specification for Security Services on Computational Grids. GSEM 2004 : 119-135 Fabio Fioravanti, Alberto Pettorossi , Maurizio Proietti : Transformation Rules for Locally Stratified Constraint Logic Programs. Program Development in Computational Logic 2004 : 291-339 Franco Arcieri , Fabio Fioravanti, Enrico Nardelli , Maurizio Talamo : A Layered IT Infrastructure for Secure Interoperability in Personal Data Registry Digital Government Services. RIDE 2004 : 95-102 Fabio Fioravanti, Alberto Pettorossi , Maurizio Proietti : Transformation Rules for Locally Stratified Constraint Logic Programs CoRR cs.PL/0402048 : (2004) Franco Arcieri , Fabio Fioravanti, Enrico Nardelli , Maurizio Talamo : Inter-Organizational E-Services Accounting Management on Computational Grids. I3E 2003 : 267-278 Vittorio Bilò , Adriano Di Pasquale , Fabio Fioravanti, Michele Flammini , Luca Forlizzi , Francesco Lo Presti , Giovanna Melideo , Enrico Nardelli , Alfredo Navarra , Guido Proietti : Quality of Service in Wireless Networks. IPDPS 2003 : 224 Franco Arcieri , Fabio Fioravanti, Roberto Giaccio , Enrico Nardelli , Maurizio Talamo : Certifying performance of cooperative services in a digital government framework. SAINT 2003 : 249-256 Fabio Fioravanti, Alberto Pettorossi , Maurizio Proietti : Combining Logic Programs and Monadic Second Order Logics by Program Transformation CoRR cs.PL/0311043 : (2003) Fabio Fioravanti, Alberto Pettorossi , Maurizio Proietti : Combining Logic Programs and Monadic Second Order Logics by Program Transformation. LOPSTR 2002 : 160-181 Fabio Fioravanti: Verification of Infinite-State Systems by Specialization of CLP Programs. CP 2001 : 762 Fabio Fioravanti, Alberto Pettorossi , Maurizio Proietti : Verification of Sets of Infinite State Processes Using Program Transformation. LOPSTR 2001 : 111-128 Fabio Fioravanti, Alberto Pettorossi , Maurizio Proietti : Automated strategies for specializing constraint logic programs. LOPSTR 2000 Fabio Fioravanti, Alberto Pettorossi , Maurizio Proietti : Automated Strategies for Specializing Constraint Logic Programs. LOPSTR (LNCS 2042: Selected Papers) 2000 : 125-146 Fabio Fioravanti, Maurizio Proietti : Contextual Specialization of Constraint Logic Programs. APPIA-GULP-PRODE 1999 : 455-470 Fabio Fioravanti, Alberto Pettorossi , Maurizio Proietti : Rules and Strategies for Contextual Specialization of Constraint Logic Programs. Electr. Notes Theor. Comput. Sci. 30 (2): (1999) 1 [ 9 ] [ 11 ] [ 13 ] [ 15 ] [ 16 ] [ 17 ] 2 [ 10 ] 3 [ 17 ] 4 [ 10 ] 5 [ 10 ] 6 [ 9 ] 7 [ 10 ] 8 [ 9 ] [ 10 ] [ 11 ] [ 13 ] [ 15 ] [ 16 ] [ 17 ] 9 [ 10 ] 10 [ 10 ] 11 [ 1 ] [ 3 ] [ 4 ] [ 5 ] [ 7 ] [ 8 ] [ 12 ] [ 14 ] 12 [ 10 ] 13 [ 10 ] 14 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 7 ] [ 8 ] [ 12 ] [ 14 ] 15 [ 9 ] [ 11 ] [ 13 ] [ 15 ] [ 16 ] [ 17 ]  ©2005 Association for Computing Machinery |
