The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Fabio Fioravanti: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti
    Defense trees for economic evaluation of security investments. [Citation Graph (0, 0)][DBLP]
    ARES, 2006, pp:416-423 [Conf]
  2. Fabio Fioravanti, Maurizio Proietti
    Contextual Specialization of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1999, pp:455-470 [Conf]
  3. Fabio Fioravanti
    Verification of Infinite-State Systems by Specialization of CLP Programs. [Citation Graph (0, 0)][DBLP]
    CP, 2001, pp:762- [Conf]
  4. Franco Arcieri, Mario Ciclosi, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo
    The Italian Electronic Identity Card: a short introduction. [Citation Graph (0, 0)][DBLP]
    DG.O, 2004, pp:- [Conf]
  5. Franco Arcieri, Andrea Dimitri, Fabio Fioravanti, Enrico Nardelli, Katia Pallucca, Alberto Postiglione, Maurizio Talamo
    An Infrastructural Approach to Secure Interoperability of Electronic IDs: The Bridging Backbone. [Citation Graph (0, 0)][DBLP]
    EGOV, 2005, pp:291-299 [Conf]
  6. Franco Arcieri, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo
    Reliable Peer-to-Peer Access for Italian Citizens to Digital Government Services on the Internet. [Citation Graph (0, 0)][DBLP]
    EGOV, 2004, pp:250-255 [Conf]
  7. Franco Arcieri, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo
    A Specification for Security Services on Computational Grids. [Citation Graph (0, 0)][DBLP]
    GSEM, 2004, pp:119-135 [Conf]
  8. Franco Arcieri, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo
    Inter-Organizational E-Services Accounting Management on Computational Grids. [Citation Graph (0, 0)][DBLP]
    I3E, 2003, pp:267-278 [Conf]
  9. 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. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2003, pp:224- [Conf]
  10. Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
    Automated strategies for specializing constraint logic programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2000, pp:- [Conf]
  11. Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
    Automated Strategies for Specializing Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR (LNCS 2042: Selected Papers), 2000, pp:125-146 [Conf]
  12. Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
    Verification of Sets of Infinite State Processes Using Program Transformation. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2001, pp:111-128 [Conf]
  13. Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
    Combining Logic Programs and Monadic Second Order Logics by Program Transformation. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2002, pp:160-181 [Conf]
  14. Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
    Transformation Rules for Locally Stratified Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    Program Development in Computational Logic, 2004, pp:291-339 [Conf]
  15. Franco Arcieri, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo
    A Layered IT Infrastructure for Secure Interoperability in Personal Data Registry Digital Government Services. [Citation Graph (0, 0)][DBLP]
    RIDE, 2004, pp:95-102 [Conf]
  16. Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti
    Using CP-nets as a guide for countermeasure selection. [Citation Graph (0, 0)][DBLP]
    SAC, 2007, pp:300-304 [Conf]
  17. Franco Arcieri, Fabio Fioravanti, Roberto Giaccio, Enrico Nardelli, Maurizio Talamo
    Certifying performance of cooperative services in a digital government framework. [Citation Graph (0, 0)][DBLP]
    SAINT, 2003, pp:249-256 [Conf]
  18. Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
    Combining Logic Programs and Monadic Second Order Logics by Program Transformation [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  19. Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
    Transformation Rules for Locally Stratified Constraint Logic Programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  20. Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
    Rules and Strategies for Contextual Specialization of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:2, pp:- [Journal]

Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002