Warning: pg_query(): Query failed: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 in /dati/webiit-old/includes/database.pgsql.inc on line 138 Warning: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 query: SELECT data, created, headers, expire, serialized FROM cache_page WHERE cid = 'https://www-old.iit.cnr.it/node/1709?page=5&anno=2003&tipo=Articolo%20Convegno' in /dati/webiit-old/includes/database.pgsql.inc on line 159 Warning: pg_query(): Query failed: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 in /dati/webiit-old/includes/database.pgsql.inc on line 138 Warning: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 query: SELECT data, created, headers, expire, serialized FROM cache_page WHERE cid = 'https://www-old.iit.cnr.it/node/1709?page=5&anno=2003&tipo=Articolo%20Convegno' in /dati/webiit-old/includes/database.pgsql.inc on line 159 Lista Pubblicazioni | IIT - CNR - Istituto di Informatica e Telematica
IIT Home Page CNR Home Page

Lista Pubblicazioni

Articolo Convegno, 2003

Martinelli F.
Symbolic semantics and analysis for Crypto-CCS with (almost) generic inference systems
2003, Symposium in Mathematical Foundations of Computer Science MFCS02
Ter Beek M., Lenzini G., Petrocchi M.
Team automata for security analysis of multicast/broadcast communication
2003, Workshop on Issues in Security and Petri nets WISP03
Blough D.M., Leoncini M., Resta G., Santi P.
The k-Neigh Protocol for Symmetric Topology Control in Ad Hoc Networks
2003, ACM MobiHoc '03
Bonaccorsi, M. Martinelli, C. Rossi, R. Rossi, Scateni, I.
Using domains indicators of the diffusion of the Internet
2003, Twelfth International World Wide Web