Pubblicazioni

  • 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]

  • G. Landi; E. Loli Piccolomini, Numerical methods for the reconstruction of dynamic Magnetic      Resonance Images., «INVERSE PROBLEMS IN SCIENCE & ENGINEERING», 2007, 15(3), pp. 267 - 289 [Articolo in rivista]

  • Landi G.; Loli Piccolomini E., Fast methods for MR spectroscopic      imaging., «APPLIED MATHEMATICS AND COMPUTATION», 2007, 191, pp. 389 - 396 [Articolo in rivista]

  • M. Magnani; D. Montesi, Integration of Patent and Company Databases, in: Proceedings of the 11th International Database Engineering and Applications Symposium (IDEAS), WASHINGTON D.C., IEEE Computer Society, 2007, pp. 163 - 171 (atti di: International Database Engineering and Applications Symposium (IDEAS), Banff, 6-8 September 2007) [Contributo in Atti di convegno]

  • M. Magnani; D. Montesi, BPMN: How Much Does It Cost? An Incremental Approach, in: Business Process Management, BERLIN, Springer-Verlag, 2007, pp. 80 - 87 (atti di: International Conference on Business Process Management, Brisbane (australia), 24-28 September 2007) [Contributo in Atti di convegno]

  • M. Magnani; D. Montesi, Uncertainty in Data Integration: current approaches and open problems, in: Proceedings of the first international workshop on Management of Uncertain Data, ENSCHEDE, CTIT, 2007, pp. 18 - 32 (atti di: VLDB workshop on Management of Uncertain Data, Wien, September 24, 2007) [Contributo in Atti di convegno]

  • G. Buratti; D. Montesi, An Approximation-Aware Algebra for XML Full-Text Queries, in: Proceedings of the 2nd International Conference on Software and Data Technologies (ICSOFT 2007), BERLIN, Springer, 2007, pp. 62 - 69 (atti di: International Conference on Software and Data Technologies, Barcellona, 22 - 25 July, 2007) [Contributo in Atti di convegno]

  • A. Corradi; E. Lodolo; S. Monti; S. Pasini, User-Centric Emergency Management: a Disappearing Middleware Approach, in: Proceeedings of Wireless Rural and Emergency Communications Wireless Rural and Emergency Communications Conference (WRECOM 2007), NEW YORK, IEEE Press, 2007, pp. 1 - 6 (atti di: Wireless Rural and Emergency Communications Wireless Rural and Emergency Communications Conference (WRECOM 2007), Roma, ottobre 2007) [Contributo in Atti di convegno]

  • A. Carbonaro; L. Colazzo; A. Molinari, Adaptive Cooperation Tools in learning virtual communities, in: V. USKOV, Computers and Advanced Technology in Education, CALGARY, Acta Press, 2007, 570, pp. 107 - 113 (atti di: International conference on Computers and Advanced Technology in Education 2007, Beijing, China, 10/8/2007 - 10/10/2007) [Contributo in Atti di convegno]

  • G.Finocchiaro; L. Margara; S. Martini, Internet, il www e i loro servizi, in: AA.VV., Fondamenti di informatica, BOLOGNA, Zanichelli, 2007, pp. 1 - 59 (Fondamenti di informatica) [Capitolo/Saggio in libro]

  • M. Bravetti; Adalberto Casalboni; Manuel Núñez; Ismael Rodriguez, From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices, «JOURNAL OF UNIVERSAL COMPUTER SCIENCE», 2007, 13, pp. 2035 - 2075 [Articolo in rivista]

  • L. Aceto; M. Bravetti; W. Fokkink; A.D. Gordon, Algebraic Process Calculi: The First Twenty Five Years and Beyond II, AMSTERDAM, Elsevier, 2007, pp. 122 (Journal of Logic and Algebraic Programming, Vol. 72(1)). [Curatela]

  • M. Bravetti; G. Zavattaro, Web Services and Formal Methods, AMSTERDAM, Elsevier, 2007, pp. 118 (Journal of Logic and Algebraic Programming, Vol. 70(1)). [Curatela]

  • A. Ricci; M. Viroli; G. Piancastelli, simpA: A simple agent-oriented Java extension for developing concurrent applications, in: Proceedings of the Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW’007), s.l, s.n, 2007, pp. 176 - 191 (atti di: Methodologies and Development Tools for Multi-Agent Systems (LADS'007), Durham, UK, 3 – 7 September 2007) [Contributo in Atti di convegno]