Pubblicazioni

Stefano Mariani; Andrea Omicini, Self-Organising News Management: The Molecules of Knowledge Approach, in: Proceedings - 2012 IEEE 6th International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2012, Los Alamitos, CA, IEEE CS, 2012, pp. 235 - 240 (atti di: 2012 IEEE 6th International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2012, Lyon, France, 10-14 September) [Contributo in Atti di convegno]

Marco Alberti; Andrea Omicini, Towards the Analysis & Prediction of Complex System Behaviour in SAPERE, in: Proceedings - 2012 IEEE 6th International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2012, Los Alamitos, CA, IEEE CS, 2012, pp. 193 - 198 (atti di: 2012 IEEE 6th International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2012, Lyon, France, 10-14 September) [Contributo in Atti di convegno]

A. Roli; S. Benedettini; M. Birattari; C. Pinciroli; R. Serra; M. Villani, A preliminary study on BN-robots' dynamics, in: Proceedings of wivace 2012. Italian workshop on artificial life and evolutionary computation, Università degli Studi di Modena e Reggio Emilia, 2012, pp. 1 - 4 (atti di: WIVACE 2012, Parma, 20-21 February 2012) [Contributo in Atti di convegno]

S. Benedettini; A. Roli; R. Serra; M. Villani, Automatic Design of Boolean Networks for Modelling Cell Differentiation, in: Proceedings of wivace 2012. Italian workshop on artificial life and evolutionary computation, Università degli Studi di Modena e Reggio Emilia, 2012, pp. 1 - 12 (atti di: WIVACE 2012, Parma, 20-21 February 2012) [Contributo in Atti di convegno]

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]

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]

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]

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]

L. Bioglio; M. Dezani-Ciancaglini; P. Giannini; A. Troina, A Calculus of Looping Sequences with Local Rules, in: Proceedings 7th International Workshop on Developments of Computational Methods, 2012, 88, pp. 43 - 58 (atti di: 7th Workshop on Developments in Computational Models (DCM'11), Zurich, Switzerland, July 2011) [Contributo in Atti di convegno]

A., Compagnoni; M., Dezani Ciancaglini; P., Giannini; V., Sharma; Troina, Angelo; K., Sauer, Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions, in: Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2012, 100, pp. 101 - 106 (atti di: 6th International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'12), Newcastle, UK, September 2012) [Contributo in Atti di convegno]

Marco Aldinucci; Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Eva Sciacca; Salvatore Spinella; Massimo Torquati; Angelo Troina, On Parallelizing On-Line Statistics for Stochastic Biological Simulations, in: Euro-Par 2011: Parallel Processing Workshops, Revised Selected Papers, BERLIN HEIDELBERG, Springer-Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7156, pp. 3 - 12 (atti di: 2nd International Workshop on High Performance Bioinformatics and Biomedicine (HiBB'11), Bordeaux, France, August 2011) [Contributo in Atti di convegno]

P. Ramón; A. Troina, Modelling Ecological Systems with the Calculus of Wrapped Compartments, in: Proceedings of the 13th International Conference on Membrane Computing (CMC13), Budapest, MTA SZTAKY, 2012, pp. 385 - 406 (atti di: CMC 2012, Budapest, Agosto 2012) [Contributo in Atti di convegno]

G. Ciobanu; A. Troina, Rate-Based Stochastic Fusion Calculus and Continuous Time Markov Chains, in: Proc. of the 13th Italian Conference on Theoretical Computer Science (ICTCS'12), Varese, Università dell'Insubria, 2012, pp. 86 - 89 (atti di: 13th Italian Conference on Theoretical Computer Science (ICTCS'12), Varese, Italy, September 2012) [Contributo in Atti di convegno]