Pubblicazioni

SACERDOTI COEN, Claudio; Tassi, Enrico, Natural Deduction Environment for Matita, in: Intelligent Computer Mathematics, BERLIN, Springer-Verlag, 2009, 5625, pp. 486 - 491 (atti di: 8th International Conference on Mathematical Knowledge Management (MKM 09), Grand Bend, Canada, 10-12/07/2009) [Contributo in Atti di convegno]

Carette, J.; Dixon, L.; SACERDOTI COEN, Claudio; Watt, S. M., Intelligent Computer Mathematics, BERLIN, Springer, 2009, pp. 494 (Lecture Notes in Artificial Intelligence). [Curatela]

M. MILANO; A. GUERRI, Bid evaluation in combinatorial auctions: optimization and learning, «SOFTWARE-PRACTICE & EXPERIENCE», 2009, 39(13), pp. 1127 - 1155 [Articolo in rivista]

M. LOMBARDI; M. MILANO, A Precedence Constraint Posting Approach for the RCPSP with Time Lags and Variable Durations, in: International Conference on Principles and Practice of Constraint Programming, «LECTURE NOTES IN COMPUTER SCIENCE», 2009, 5732, pp. 569 - 583 (atti di: International Conference on Principles and Practice of Constraint Programming, Lisbona Portogallo, September 20-24, 2009) [Contributo in Atti di convegno]

F. Callegati; J. Aracil; V. Lopez, Introduction, in: Enabling Optical Internet with Advanced Netwrok Technologies, LONDON, Springer, 2009, pp. 1 - 4 (Computer Communications and Networks) [Capitolo/Saggio in libro]

F. Callegati; A. Campi, Network Resource Description Language, in: IEEE GLOBECOM Workshops, PISCATAWEY, IEEE, 2009, pp. 1 - 6 (atti di: IEEE GLOBAL COMMUNICATIONS CONFERENCE, Honolulu, Hawaii, USA, Nov. 30 -- Dec. 4 2009) [Contributo in Atti di convegno]

Franco callegati; Aldo Campi, Calling Procedures in Hybrid SIP Network, in: First International Conference on Advances in P2P Systems, PISCATAWAY, IEEE, 2009, pp. 203 - 208 (atti di: First International Conference on Advances in P2P Systems, Sliema, Malta, October 11-16, 2009) [Contributo in Atti di convegno]

Franco Callegati; Marco Ramilli, Frightened by Links, «IEEE SECURITY & PRIVACY», 2009, 7, pp. 72 - 76 [Articolo in rivista]

Roli, Andrea; Blum, C., Tabu Search for the Founder Sequence Reconstruction Problem: A Preliminary Study, in: null, «LECTURE NOTES IN COMPUTER SCIENCE», 2009, 5518, pp. 1035 - 1042 (atti di: 10th International Work-Conference on Artificial Neural Networks, IWANN 2009 Workshops, Salamanca (Spain), June 10-12, 2009) [Contributo in Atti di convegno]

J. Aracil; F. Callegati, Enabling the Optical Internet, LONDON, Springer, 2009, pp. 232 (Computer Communications and Networks). [Curatela]

M.Lombardi; M.Milano; A.Roli; A.Zanarini, Deriving information from sampling and diving, in: XI International Conference of the Italian Association for Artificial Intelligence, «LECTURE NOTES IN COMPUTER SCIENCE», 2009, 5883, pp. 82 - 91 (atti di: XI International Conference of the Italian Association for Artificial Intelligence, Reggio Emilia (Italy), December 9-12, 2009) [Contributo in Atti di convegno]

S. Montagna; A. Roli, Parameter tuning of a stochastic biological simulator by metaheuristics, in: AI*IA 2009: Emergent Perspectives in Artificial Intelligence: XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia, Italy, December 9-12, 2009 Proceedings, 2009, 5883, pp. 466 - 475 (atti di: XI International Conference of the Italian Association for Artificial Intelligence, Reggio Emilia (Italy), December 9-12, 2009) [Contributo in Atti di convegno]

Di Gaspero, L.; Roli, Andrea, Flexible stochastic local search for haplotype inference, in: null, «LECTURE NOTES IN COMPUTER SCIENCE», 2009, 5851, pp. 74 - 88 (atti di: Third International Conference, LION 3, Trento, Italy, January 14-18, 2009) [Contributo in Atti di convegno]

Benedettini, Stefano; Roli, Andrea; Di Gaspero, L., EasyGenetic: A Template Metaprogramming Framework for Genetic Master-Slave Algorithms, in: null, «LECTURE NOTES IN COMPUTER SCIENCE», 2009, 5752, pp. 135 - 139 (atti di: Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009) [Contributo in Atti di convegno]

A.Roli; R.Serra; S.Benedettini, Clustering di attrattori di reti booleane casuali, in: Modelli, sistemi e applicazioni di Vita Artificiale e Computazione Evolutiva WIVACE 2009, NAPOLI, Fridericiana Editrice Universitaria, 2009, pp. 167 - 176 (atti di: WIVACE 2009 - VI Workshop Italiano di Vita Artificiale e Computazione Evolutiva, Napoli, 23-25 Novembre 2009) [Contributo in Atti di convegno]

A.Roli; C.Arcaroli; M.Lazzarini; S.Benedettini, Boolean Networks Design by Genetic Algorithms, in: Proceedings of the first workshop on Complexity, evolution and emergent intelligence, s.l, s.n, 2009, pp. 1 - 12 (atti di: First workshop on Complexity, evolution and emergent intelligence, Reggio Emilia (Italia), December 12, 2009) [Contributo in Atti di convegno]

F. Callegati; A. Campi; W. Cerroni, Complexity/performance trade-off in optical packet switches, in: Proceedings of 11th International Conference on Transparent Optical Networks (ICTON '09), PISCATAWAY, NJ, IEEE, 2009(atti di: 11th International Conference on Transparent Optical Networks (ICTON '09), Island of Sao Miguel, Azores, Portugal, June 28 2009-July 2 2009) [Contributo in Atti di convegno]

F. Callegati; W. Cerroni, A framework for evaluating the cost of optical packet switching nodes, in: Proceedings of 2009 International Conference on Photonics in Switching (PS '09), PISCATAWAY, NJ, IEEE, 2009(atti di: 2009 International Conference on Photonics in Switching (PS '09), Pisa, Italy, 15-19 Sept. 2009) [Contributo in Atti di convegno]

W. Cerroni; G. Monti; G. Moro; M. Ramilli, Network Attack Detection Based on Peer-to-Peer Clustering of SNMP Data, in: Quality of Service in Heterogeneous Networks - Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, BERLIN, Springer, 2009, 22, pp. 417 - 430 (atti di: 6th International ICST Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness (QShine 2009), Las Palmas, Gran Canaria, November 23-25, 2009) [Contributo in Atti di convegno]

G. Rossi; S. Ferretti; G. D'Angelo, Equilibrium Selection in Multistage Congestion Games for Real-Time Streaming, in: Proceedings of 3nd ACM/ICST International Workshop on Game Theory in Communication Networks (GAME-COMM 2009), BRUSSELS, ICST, 2009, pp. 1 - 10 (atti di: International Workshop on Game Theory in Communication Networks (GAME-COMM 2009), Pisa, October 23, 2009) [Contributo in Atti di convegno]