Pubblicazioni

Mirko Viroli, Verifying Properties of Coordination by Well-Structured Transition Systems, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2004, 97, pp. 67 - 96 [Articolo in rivista]

M. Bravetti, Real Time and Stochastic Time, in: Formal Methods for the Design of Real-Time Systems, Revised Lectures, BERLIN, Springer, 2004, pp. 132 - 180 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

M. Bravetti; P. R. D'Argenio, Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions, in: Validation of Stochastic Systems - A Guide to Current Research, BERLIN, Springer, 2004, pp. 44 - 88 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

M. Gaspari; D. Guidi; A. Petrucci; L. Picci, Johanna: A Knowledge Centered Infrastructure for Teleorganizations, in: eAdoption and the Knowledge Economy Issues, Applications, Case Studies, AMSTERDAM, IOS Press, 2004, 2, pp. 1069 - 1076 (atti di: E-Challenges 2004, Vienna, 27 - 29 October 2004) [Contributo in Atti di convegno]

M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro, Combining Partitions in SecSpaces, in: null, 2004, 99(6), pp. 31 - 47 (atti di: Proceedings of the MEFISTO Project 2003 (Formal Methods for Security and Time), Pisa (Italia), novembre 2003) [Contributo in Atti di convegno]

M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro, Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model, in: Coordination Models and Languages. Proceedings, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2004, 2949, pp. 55 - 70 (atti di: 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004) [Contributo in Atti di convegno]

Denti E.; Ricci A.; Rubino R., Integrating and Orchestrating Services upon an Agent Coordination Infrastructure, in: Engineering Societies in the Agents World IV, Berlin Heidelberg, Springer-Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2004, 3071, pp. 228 - 245 (atti di: 4th International Workshop (ESAW 2003), London, UK, October 29-21, 2003) [Contributo in Atti di convegno]

Denti E.; Prati N., Relevance of Winning Coalitions in Indirect Control of Corporations, «THEORY AND DECISION», 2004, 56, pp. 183 - 192 [Articolo in rivista]

C. Gebruers; B. Hnich; A. Guerri; M.Milano, Making Choices using Structure at the Instance Level within a Case Based Reasoning Framework, in: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, «LECTURE NOTES IN COMPUTER SCIENCE», 2004, 3011, pp. 380 - 386 (atti di: Int.l Conference on the Integration of AO and OR techniques in Constraint Programming CPAIOR, Nizza Francia, Aprile 2004) [Contributo in Atti di convegno]

M. Prandini, A flexible approach to configuration of linux-based firewalls, in: Proceedings of the Third IASTED International Conference on Communications, Internet and Information Technology, CALGARY, ACTA Press, 2004, pp. 176 - 181 (atti di: Third IASTED International Conference on Communications, Internet and Information Technology, St. Thomas, US Virgin Islands, 22-24 novembre 2004) [Contributo in Atti di convegno]

E., Faldella; M., Prandini, Efficient authentication and verification of certificate status within public-key infrastructures, in: Proceedings of the Third IASTED International Conference on Communications, Internet and Information Technology, CALGARY, ACTA Press, 2004, pp. 182 - 188 (atti di: Third IASTED International Conference on Communications, Internet and Information Technology, St. Thomas, US Virgin Islands, 22-24 novembre 2004) [Contributo in Atti di convegno]

Bartolini I.; Ciaccia P.; Patella M., A Framework for the Comparison of Complex Patterns, in: Proceedings of the 1st International Workshop on Pattern Representation and Management (PaRMa 2004), s.l, s.n, 2004, pp. 5-1 - 5-12 (atti di: 1st International Workshop on Pattern Representation and Management (PaRMa 2004), Heraklion, Greece, March 18, 2004) [Contributo in Atti di convegno]

Bartolini I.; Ciaccia P.; Patella M., The PIBE Personalizable Image Browsing Engine, in: Proceedings of the 1st International Workshop on Computer Vision meets Databases (CVDB 2004), s.l, s.n, 2004, pp. 43 - 50 (atti di: 1st International Workshop on Computer Vision meets Databases (CVDB 2004), Paris, France, June 13, 2004) [Contributo in Atti di convegno]

Bartolini I; Ciaccia P; Ntoutsi I; Patella M; Theodoridis Y., A Unified and Flexible Framework for Comparing Simple and Complex Patterns, in: Knowledge Discovery in Databases: PKDD 2004, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2004, LNAI 3202, pp. 496 - 499 (atti di: 8th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD 2004), Pisa, Italy, September 20-24, 2004) [Contributo in Atti di convegno]

R. Montanari; E. Lupu; C. Stefanelli, Policy-based Dynamic Reconfiguration of Mobile Code Applications, «COMPUTER», 2004, 37, pp. 73 - 80 [Articolo in rivista]

D. Bottazzi; A. Corradi; R. Montanari, Context-awareness for impromptu collaboration in MANETs, in: Network Computing and Applications, s.l, IEEE Press, 2004, pp. 339 - 342 (atti di: Third IEEE International Symposium on Network Computing and Applications NCA 2004, Cambridge, USA, 30 August - 1 September 2004) [Contributo in Atti di convegno]

G. Tonti; R. Montanari; J.M. Bradshaw; L.Bunch; R.Jeffers; N. Suri; A. Uszok, Automated generation of enforcement mechanisms for semantically-rich security policies in Java-based multi-agent systems, in: Multi-Agent Security and Survivability, s.l, IEEE Press, 2004, pp. 11 - 20 (atti di: IEEE First Symposium on Multi-Agent Security and Survivability MAS&S 2004, Philadelphia, usa, 30-31 August 2004) [Contributo in Atti di convegno]

A. Corradi; R. Montanari; D. Tibaldi, Context-based Access Control for Ubiquitous Service Provisioning, in: Computer Software and Applications Conference, s.l, IEEE Press, 2004, pp. 444 - 451 (atti di: 28th Annual International Computer Software and Applications Conference, Hong Kong, September 28 - 30, 2004) [Contributo in Atti di convegno]

A. Corradi; R. Montanari; D. Tibaldi, Context-based Access Control Management in Ubiquitous Environment, in: Network Computing and Applications, s.l, IEEE Press, 2004, pp. 253 - 260 (atti di: Third IEEE International Symposium on Network Computing and Applications, Cambridge, MA, USA, August 30 - September 1, 2004) [Contributo in Atti di convegno]

J. Costa da Silva; M. Klusch; S. Lodi; G. Moro, Inference Attacks in Peer-to-Peer Homogeneous Distributed Data Mining, in: Proceedings of the 16th European Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, AMSTERDAM, IOS Press, 2004, pp. 450 - 454 (atti di: 16th European Conference on Artificial Intelligence (ECAI 2004), Valencia, Spain, 22-27 August) [Contributo in Atti di convegno]