|
Search the dblp DataBase
Fabio Fioravanti:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- Fabio Fioravanti, Maurizio Proietti
Contextual Specialization of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP] APPIA-GULP-PRODE, 1999, pp:455-470 [Conf]
- Fabio Fioravanti
Verification of Infinite-State Systems by Specialization of CLP Programs. [Citation Graph (0, 0)][DBLP] CP, 2001, pp:762- [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Automated strategies for specializing constraint logic programs. [Citation Graph (0, 0)][DBLP] LOPSTR, 2000, pp:- [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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.005secs
|