Pubblicazioni

Dominic P. Mulligan;Claudio Sacerdoti Coen, On the Correctness of an Optimising Assembler for the Intel MCS-51 MicroprocessorCertified Programs and Proofs, in: Lecture Notes in Computer ScienceCertified Programs and Proofs, Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2012, 7679, pp. 43 - 59 (atti di: Certified Programs and Proofs, Kyoto, 13-15 Dicembre 2012) [Contributo in Atti di convegno]

C. ROSSI; A. PILATI; M. RAMILLI; F. CALLEGATI, WEB MANAGEMENT OF ELECTRIC VEHICLE FLEETS, in: 26th Electric Vehicle Symposium 2012, Red Hook, NY 12571, Curran Associates, Inc., 2012, pp. 515 - 524 (atti di: 26th Electric Vehicle Symposium, Los Angeles, California, USA, 6-9 May 2012) [Contributo in Atti di convegno]

Michela Milano (a cura di): Michela Milano, Principles and Practice of Constraint Programming, Berlin, Springer, 2012, pp. 1016 (LECTURE NOTES IN COMPUTER SCIENCE). [Curatela]

Marco Gavanelli; Michela Milano; Alan Holland; Barry O'Sullivan, What-if analysis through simulation-optimization hybrids, in: Proceedings - 26th European Conference on Modelling and Simulation, Koblenz, ECMS, 2012, pp. 1 - 6 (atti di: 26th European Conference on Modelling and Simulation, ECMS 2012, Koblenz, May 2012) [Contributo in Atti di convegno]

S. Bragaglia; F. Chesani; P. Mello; D. Sottara, A Rule-Based Calculus and Processing of Complex Events, in: Rules on the Web: Research and Applications, Berlin, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7438, pp. 151 - 166 (atti di: 6th International Symposium on Rules on the Web: Research and Applications, RuleML 2012, Montpellier, France, 27-29 August 2012) [Contributo in Atti di convegno]

S. Bragaglia; P. Mello; D. Sottara, Towards an Interactive Personal Care System driven by Sensor Data, in: Popularize Artificial Intelligence - Proceedings of the AI*IA Workshop and Prize for Celebrating 100th Anniversary of Alan Turing's Birth, 2012, Aachen, CEUR WORKSHOP PROCEEDINGS, «CEUR WORKSHOP PROCEEDINGS», 2012, 860, pp. 54 - 59 (atti di: Popularize Artificial Intelligence 2012 - 12th Symposium of the Italian Association for Artificial Intelligence, Roma, 15 Giugno 2012) [Contributo in Atti di convegno]

D. Aspinall; C. Sacerdoti Coen, Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers (UITP10), Amsterdam, Academic Press (Elsevier), 2012, pp. 120 . [Curatela]

G. Vitali; E. Magnanini; N.Mennucci; E. Denti, VPN-Client-Server Object-Oriented Virtual Plant Modeling Tool, in: Plant Growth Modeling, Simulation, Visualization and Applications, Beijing, IEEE-Press, 2012, pp. 409 - 412 (atti di: 2012 IEEE 4th Int.Symp. on Plant Growth Modeling, Simulation, Visualization and Applications, Shanghai, 31 ottobre-3 novembre 2012) [Contributo in Atti di convegno]

A. Bevilacqua; W. Zoli; F. Piccinini; A. Tesei, Extension of the microscope's depth of focus, in: Proceedings, 2012(atti di: The 2nd International conference on "Translational research in oncology: a new Approach to personalized medicine", Meldola (FC), Italy, May 8-11, 2012) [Poster]

A. Bevilacqua; D. Barone; L. Carozza; G. Gavelli, Detecting early errors in DCE-CT imaging, in: Proceedings, 2012, pp. 1 - 1 (atti di: The 2nd International conference on "Translational research in oncology: a new Approach to personalized medicine", Meldola (FC), Italy, May 8-11, 2012) [Poster]

A. Bevilacqua; D. Barone; L. Carozza; G. Gavelli, Assessing reliability in computation of perfusion CT indexes, in: Proceedings, 2012, pp. 1 - 1 (atti di: The 2nd International conference on "Translational research in oncology: a new Approach to personalized medicine", Meldola (FC), Italy, May 8-11, 2012) [Poster]

A. Bevilacqua; A. Gherardi; C. Busa; S. Bravaccini, Cancer region detection by visual features in histopathology, in: Proceedings, 2012, pp. 1 - 1 (atti di: The 2nd International Conference on "Translational research in oncology: a new approach to personalized medicine", Meldola (FC), Italy, May 8-11, 2012) [Poster]

A. Nuzzolese; A. Gangemi; V. Presutti; P. Ciancarini, Type inference through the analysis of Wikipedia links., in: WWW Workshop on Linked Data on the Web, CEUR WORKSHOP PROCEEDINGS, «CEUR WORKSHOP PROCEEDINGS», 2012, 937, pp. 1 - 9 (atti di: WWW Workshop on Linked Data on the Web, Lyon, France, 2012) [Contributo in Atti di convegno]

A. Cornelio; E. Loli Piccolomini; J. Nagy, Constrained variable projection method for blind deconvolution, «JOURNAL OF PHYSICS. CONFERENCE SERIES», 2012, 386, pp. 1 - 5 [Articolo in rivista]

Matteo Golfarelli;Il-Yeol Song, DOLAP 2012 workshop summaryProceedings of the 21st ACM international conference on Information and knowledge management - CIKM '12, in: Proceedings of the 21st ACM international conference on Information and knowledge management - CIKM '12, New York, ACM New York, 2012, pp. 2780 - 2781 [Breve introduzione]

Alessio Bonfietti; Michele Lombardi, The Weighted Average Constraint, in: Lecture Notes in Computer SciencePrinciples and Practice of Constraint Programming, 2012, pp. 191 - 206 (atti di: Principles and Practice of Constraint Programming, Quebec City, Canada, 8-12 Oct, 2012) [Contributo in Atti di convegno]

D. Sottara; P. Mello; G. Morlini; F. Malaguti; L. Luccarini, Modelling SBR cycle management and optimization using events and workflows, in: iEMSs 2012 - Managing Resources of a Limited Planet: Proceedings of the 6th Biennial Meeting of the International Environmental Modelling and Software Society, 2012, pp. 196 - 203 (atti di: iEMSs 2012 - Managing Resources of a Limited Planet. The 6th Biennial Meeting of the International Environmental Modelling and Software Society, Leipzig; Germany, 1-5 July 2012) [Contributo in Atti di convegno]

D. Sottara; S. Bragaglia; P. Mello; D. Pulcini; L. Luccarini; D. Giunchi, Ontologies, rules, workflow and predictive models: Knowledge assets for an EDSS, in: iEMSs 2012 - Managing Resources of a Limited Planet: Proceedings of the 6th Biennial Meeting of the International Environmental Modelling and Software Society, 2012, pp. 204 - 211 (atti di: iEMSs 2012 - Managing Resources of a Limited Planet: Proceedings of the 6th Biennial Meeting of the International Environmental Modelling and Software Society, Leipzig; Germany;, 1 July 2012 through 5 July 2012;) [Contributo in Atti di convegno]

L. Luccarini; D. Pulcini; D. Sottara; S. Bragaglia; P. Mello, Monitoring the performance of soft sensors used in WWTPs by means of formal verification, in: iEMSs 2012 - Managing Resources of a Limited Planet: Proceedings of the 6th Biennial Meeting of the International Environmental Modelling and Software Society, 2012, pp. 2371 - 2378 (atti di: 6th Biennial Meeting of the International Environmental Modelling and Software Society: Managing Resources of a Limited Planet, iEMSs 2012;, Leipzig; Germany;, 1-5 July 2012) [Contributo in Atti di convegno]

Salomoni, Paola; Muratori, Ludovico Antonio; Pau, Giovanni; Magnani, Marco, S2S: A peer to peer protocol for participative sensing, in: Proceedings of the ACM Symposium on Applied Computing, ACM Press, 2012, pp. 634 - 635 (atti di: 27th Annual ACM Symposium on Applied Computing, SAC 2012, Trento, ita, 2012) [Contributo in Atti di convegno]