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=4&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=4&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

Roberto Gorrieri, Fabio Martinelli
Process algebraic frameworks for the specification and analysis of cryptographic protocols
2003, 28th International Symposium, MFCS
G. De Marco, A.Pelc
Randomized algorithms for determining the majority on graphs
2003, 28th international symposium on mathematical Foundations of Computer Science
Pellegrini M.
Randomized combinatorial algorithms for linear programming when the dimension is moderately high
2003, 12th ACM-SIAM Symposium on Discrete Algorithms
Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli
Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols
2003, Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security
Bistarelli S., Cervesato I., Lenzini G., Martinelli F.
Relating Process Algebras and Multiset Rewriting for Security Protocol Analysis
2003, Workshop on Issues in the Theory of Security WITS03
Baiardi F., Falleni A., Granchi R., Martinelli F.,Petrocchi M., Vaccarelli A.
SEAS: a Secure E-voting Applet System
2003, ISSS03
Bistarelli S., Codognet P., Lee J., Hui H.K.C.
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search
2003, IJCA03
Bistarelli S., Codognet P., Hui K., Lee J.
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search
2003, CP03
Martinelli F.
Symbolic partial model checking for security analysis
2003, Workshop on Mathematical Methods, Models and Architectures for Computer Networks Security MMM03