Pubblicazioni

A. Ricci; E. Denti, simpA-WS: a Simple Agent-Oriented Programming Model and Technology for Developing SOA and Web Services, in: Dagli Oggetti agli Agenti - Agenti e Industria: Applicazioni tecnologiche degli agenti software, TORINO, Seneca Edizioni, 2007, pp. 140 - 156 (atti di: Dagli Oggetti agli Agenti - Agenti e Industria: Applicazioni tecnologiche degli agenti software, Genova, Italy, 24-25 Settembre 2007) [Contributo in Atti di convegno]

G. Zavattaro, Compositional vs. Monolilthical Modeling of Nano Devices, in: Proc. of International Conference on Computational Methods in Science and Engineering, MELVILLE, NY, American Institute of Physics (AIP) Conf. Proc., 2007, pp. 681 - 684 (atti di: International Conference on Computational Methods in Science and Engineering (ICCMSE'07), Corfu, Settembre 2007) [Contributo in Atti di convegno]

Nanni, Loris; Lumini, Alessandra, A multi-matcher for Ear Authentication, «PATTERN RECOGNITION LETTERS», 2007, 28, pp. 2219 - 2226 [Articolo in rivista]

Yehuda, Naveh; Roli, Andrea, Special Issue on Local Search, NEW YORK, Springer, 2007, pp. 143 (Constraints). [Curatela]

Naveh, Y.; Roli, Andrea, Introduction to the Special Issue on Local Search Techniques in Constraint Satisfaction, «CONSTRAINTS», 2007, 12, pp. 261 - 262 [Replica/breve intervento (e simili)]

T.Bartz-Beielstein; M.J.Blesa; C.Blum; B.Naujoks; A.Roli; G.Rudolph; M.Sampels, Hybrid Metaheuristics: Preface to the proceedings of HM2007, in: Hybrid Metaheuristics - 4th International Workshop, BERLIN, Springer-Verlag, 2007, pp. V - VI [Breve introduzione]

Bartz Beielstein, T.; Blesa, M. J.; Blum, C.; Naujoks, B.; Roli, Andrea; Rudolph, G.; Sampels, M., Hybrid Metaheuristics - 4th International Workshop, BERLIN, Springer-Verlag, 2007, pp. 211 (Lecture Notes in Computer Science). [Curatela]

Di Gaspero, L.; Roli, Andrea, EasyAnalyzer: an object-oriented framework for the experimental analysis of stochastic local search algorithms, in: Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics, BERLIN, Springer-Verlag, 2007, 4638, pp. 76 - 90 (atti di: Engineering Stochastic Local Search Algorithms. International Workshop, SLS 2007, Brussels, September 6-8, 2007) [Contributo in Atti di convegno]

Di Gaspero, L.; di Tollo, G.; Roli, Andrea; Schaerf, A., Hybrid Local Search for Constrained Financial Portfolio Selection Problems, in: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, BERLIN, Springer-Verlag, 2007, 4510, pp. 44 - 58 (atti di: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 4th International Conference, CPAIOR 2007, Brussels (Belgium), May 23-26, 2007) [Contributo in Atti di convegno]

L.Di Gaspero; G.di Tollo; A.Roli; A.Schaerf, Hybrid metaheuristics for portfolio selection problems, in: Proceedings of MIC2007 - The Seventh Metaheuristics International Conference, MONTREAL, s.n, 2007(atti di: MIC 2007 - The Seventh Metaheuristics International Conference, Montreal (Canada), June 25-29, 2007) [Contributo in Atti di convegno]

L.Di Gaspero; A.Roli, Metaheuristics for the Haplotype Inference Problem: a preliminary analysis, in: Proceedings of the 14th RCRA workshop Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, s.l, s.n, 2007(atti di: RCRA 2007 The 14th RCRA workshop Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Rome (Italy), 5-6 July 2007) [Contributo in Atti di convegno]

A.Roli; Y.Naveh (a cura di): BENHAMOU, JUSSIEN AND O'SULLIVAN (EDS.), Part V: Local Search Techniques in Constraint Satisfaction, LONDON, ISTE, 2007, pp. 40 . [Curatela]

D. Maltoni; R. Cappelli, Fingerprint Recognition, in: Handbook of Biometrics, NEW YORK, Springer, 2007, pp. 23 - 42 [Capitolo/Saggio in libro]

D. Hirschkoff; D. Pous; D. Sangiorgi, An efficient abstract machine for Safe Ambients, «JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING», 2007, 71(2), pp. 114 - 149 [Articolo in rivista]

D. Sangiorgi; N. i Kobayashi; E. Sumii, Environmental Bisimulations for Higher-Order Languages, in: LICS 07, LOS ALAMITOS, IEEE Computer Society, 2007, pp. 293 - 302 (atti di: 22nd IEEE Symposium on Logic in Computer Science, Wroclaw, Polonia, Luglio 2007) [Contributo in Atti di convegno]

D. Sangiorgi; N. Kobayashi; E. Sumii, Logical Bisimulations and Functional Languages, in: Lecture Notes in Computer Science, BERLIN, Springer, 2007, 4767, pp. 364 - 379 (atti di: International Symposium on Fundamentals of Software Engineering (FSEN 2007), Teheran (Iran), April 2007) [Contributo in Atti di convegno]

R. Cappelli, Use of Synthetic Data for Evaluating the Quality of Minutia Extraction Algorithms, in: NIST Biometric Quality Workshop II - Proceedings, GAITHERSBURG, NIST, 2007, pp. 7-1 - 7-19 (atti di: NIST Biometric Quality Workshop II, Gaithersburg, Maryland, 7-8 Novembre, 2007) [Contributo in Atti di convegno]

M. Ferrara; D. Maltoni, On the Operational Quality of Fingerprint Scanners, in: Biometric Quality Workshop II - Proceedings, GAITHERSBURG, NIST, 2007, pp. 12-1 - 12-20 (atti di: Biometric Quality Workshop II, GAITHERSBURG, 7-8 Novembre, 2007) [Contributo in Atti di convegno]

C. Sacerdoti Coen; E. Zoli, A Note on Formalizing Undefined Terms in Real Analysis, in: PATE 07, International Workshop on Proof Assistants and Types in Education, s.l, s.n, 2007, pp. 3 - 16 (atti di: PATE 07, International Workshop on Proof Assistants and Types in Education, Parigi, 25/06/2007) [Contributo in Atti di convegno]

C. Sacerdoti Coen, Declarative Representation of Proof Terms, in: Programming Languages for Mechanized Mathematics Workshop, LINZ, RISC Report Series, University of Linz, 2007, 07-10, pp. 3 - 18 (atti di: Programming Languages for Mechanized Mathematics Workshop, Research Institute for Symbolic Computation, Hagenberg, Austria, 29-30/06/2007) [Contributo in Atti di convegno]