|
Search the dblp DataBase
Federico Crazzolara:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Federico Crazzolara, Giuseppe Milicia
A Framework for the Development of Protocols. [Citation Graph (0, 0)][DBLP] ACSD, 2003, pp:239-240 [Conf]
- Federico Crazzolara
Quasi-metric Spaces as Domains for Abstract Interpretation. [Citation Graph (0, 0)][DBLP] APPIA-GULP-PRODE, 1997, pp:45-56 [Conf]
- Federico Crazzolara, Glynn Winskel
Events in security protocols. [Citation Graph (0, 0)][DBLP] ACM Conference on Computer and Communications Security, 2001, pp:96-105 [Conf]
- Federico Crazzolara, Glynn Winskel
Composing Strand Spaces. [Citation Graph (0, 0)][DBLP] FSTTCS, 2002, pp:97-108 [Conf]
- Federico Crazzolara, Glynn Winskel
Petri nets in cryptographic protocols. [Citation Graph (0, 0)][DBLP] IPDPS, 2001, pp:149- [Conf]
- Federico Crazzolara, Glynn Winskel
Petri Nets With Persistence. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:121, n:, pp:143-155 [Journal]
Search in 0.002secs, Finished in 0.002secs
|