Pubblicazioni

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]

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]

Alina Sîrbu;Heather J. Ruskin;Martin Crane, Integrating heterogeneous gene expression data for gene regulatory network modelling, «THEORY IN BIOSCIENCES», 2012, 131, pp. 95 - 102 [Articolo in rivista]

Daniel Marbach;James C Costello;Robert Küffner;Nicole M Vega;Robert J Prill;Diogo M Camacho;Kyle R Allison;Andrej Aderhold;Kyle R Allison;Richard Bonneau;Diogo M Camacho;Yukun Chen;James J Collins;Francesca Cordero;James C Costello;Martin Crane;Frank Dondelinger;Mathias Drton;Roberto Esposito;Rina Foygel;Alberto de la Fuente;Jan Gertheiss;Pierre Geurts;Alex Greenfield;Marco Grzegorczyk;Anne-Claire Haury;Benjamin Holmes;Torsten Hothorn;Dirk Husmeier;Vân Anh Huynh-Thu;Alexandre Irrthum;Manolis Kellis;Guy Karlebach;Robert Küffner;Sophie Lèbre;Vincenzo De Leo;Aviv Madar;Subramani Mani;Daniel Marbach;Fantine Mordelet;Harry Ostrer;Zhengyu Ouyang;Ravi Pandya;Tobias Petri;Andrea Pinna;Christopher S Poultney;Robert J Prill;Serena Rezny;Heather J Ruskin;Yvan Saeys;Ron Shamir;Alina Sîrbu;Mingzhou Song;Nicola Soranzo;Alexander Statnikov;Gustavo Stolovitzky;Nicci Vega;Paola Vera-Licona;Jean-Philippe Vert;Alessia Visconti;Haizhou Wang;Louis Wehenkel;Lukas Windhager;Yang Zhang;Ralf Zimmer;Manol, Wisdom of crowds for robust gene network inference, «NATURE METHODS», 2012, 9, pp. 796 - 804 [Articolo in rivista]

Alina Sîrbu;Gráinne Kerr;Martin Crane;Heather J. Ruskin, RNA-Seq vs Dual- and Single-Channel Microarray Data: Sensitivity Analysis for Differential Expression and Clustering, «PLOS ONE», 2012, 7, pp. e50986 - e50986 [Articolo in rivista]

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]

Bononi, L.; Di Felice, M.; Chowdhury, R. K., Proceedings of the 1st IEEE International Workshop on Emerging COgnitive Radio Applications and aLgorithms (IEEE CORAL 2012), New York, ieee, 2012, pp. 1 . [Curatela]

Callegati, Franco; Pilati, Alessio; Ramilli, Marco; Rossi, Claudio, Web management of electric vehicle fleets, «WORLD ELECTRIC VEHICLE JOURNAL», 2012, 5, pp. 91 - 100 [Articolo in rivista]

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]

Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Elena Grassi; Eva Sciacca; Salvatore Spinella; Angelo Troina, Simulation techniques for the calculus of wrapped compartments, «THEORETICAL COMPUTER SCIENCE», 2012, 431, pp. 75 - 95 [Articolo in rivista]

Livio Bioglio; Mariangiola Dezani-Ciancaglini; Paola Giannini; Angelo Troina, Typed stochastic semantics for the calculus of looping sequences, «THEORETICAL COMPUTER SCIENCE», 2012, 431, pp. 165 - 180 [Articolo in rivista]