Fabio Fioravanti

	2007
20		Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti: Using CP-nets as a guide for countermeasure selection. SAC 2007: 300-304
	2006
19		Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti: Defense trees for economic evaluation of security investments. ARES 2006: 416-423
	2005
18		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. EGOV 2005: 291-299
	2004
17		Franco Arcieri, Mario Ciclosi, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo: The Italian Electronic Identity Card: a short introduction. DG.O 2004
16		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
15		Franco Arcieri, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo: A Specification for Security Services on Computational Grids. GSEM 2004: 119-135
14		Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti: Transformation Rules for Locally Stratified Constraint Logic Programs. Program Development in Computational Logic 2004: 291-339
13		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
12		Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti: Transformation Rules for Locally Stratified Constraint Logic Programs CoRR cs.PL/0402048: (2004)
	2003
11		Franco Arcieri, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo: Inter-Organizational E-Services Accounting Management on Computational Grids. I3E 2003: 267-278
10		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
9		Franco Arcieri, Fabio Fioravanti, Roberto Giaccio, Enrico Nardelli, Maurizio Talamo: Certifying performance of cooperative services in a digital government framework. SAINT 2003: 249-256
8		Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti: Combining Logic Programs and Monadic Second Order Logics by Program Transformation CoRR cs.PL/0311043: (2003)
	2002
7		Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti: Combining Logic Programs and Monadic Second Order Logics by Program Transformation. LOPSTR 2002: 160-181
	2001
6		Fabio Fioravanti: Verification of Infinite-State Systems by Specialization of CLP Programs. CP 2001: 762
5		Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti: Verification of Sets of Infinite State Processes Using Program Transformation. LOPSTR 2001: 111-128
	2000
4		Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti: Automated strategies for specializing constraint logic programs. LOPSTR 2000
3		Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti: Automated Strategies for Specializing Constraint Logic Programs. LOPSTR (LNCS 2042: Selected Papers) 2000: 125-146
	1999
2		Fabio Fioravanti, Maurizio Proietti: Contextual Specialization of Constraint Logic Programs. APPIA-GULP-PRODE 1999: 455-470
1		Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti: Rules and Strategies for Contextual Specialization of Constraint Logic Programs. Electr. Notes Theor. Comput. Sci. 30(2): (1999)

Coauthor Index

1	Franco Arcieri	[9] [11] [13] [15] [16] [17] [18]
2	Vittorio Bilò	[10]
3	Stefano Bistarelli	[19] [20]
4	Mario Ciclosi	[17]
5	Andrea Dimitri	[18]
6	Michele Flammini	[10]
7	Luca Forlizzi	[10]
8	Roberto Giaccio	[9]
9	Giovanna Melideo	[10]
10	Enrico Nardelli	[9] [10] [11] [13] [15] [16] [17] [18]
11	Alfredo Navarra	[10]
12	Katia Pallucca	[18]
13	Adriano Di Pasquale	[10]
14	Pamela Peretti	[19] [20]
15	Alberto Pettorossi	[1] [3] [4] [5] [7] [8] [12] [14]
16	Alberto Postiglione	[18]
17	Francesco Lo Presti	[10]
18	Guido Proietti	[10]
19	Maurizio Proietti	[1] [2] [3] [4] [5] [7] [8] [12] [14]
20	Maurizio Talamo	[9] [11] [13] [15] [16] [17] [18]

Colors in the list of coauthors