Vai alla Homepage del Portale
Dipartimento di Informatica - Scienza e Ingegneria

Pubblicazioni

in corso di stampa Elimina filtro

7317 pubblicazioni

  • Sonia Bergamaschi; Francesco Guerra; Mirko Orsini; Claudio Sartori, Extracting relevant attribute values for improved search, «IEEE INTERNET COMPUTING», 2007, 11, 5, pp. 16 - 25 [Articolo in rivista]

  • Vassura M.; Margara L.; Fariselli P.; Casadio R., A Graph Theoretic Approach to Protein Structure Selection, in: Applications of Fuzzy Sets Theory, Berlin Heidelberg, Springer Berlin Heidelberg, 2007, pp. 497 - 504 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

  • Vassura M.; Margara L.; Medri F.; Di Lena P.; Fariselli P.; Casadio R., Reconstruction of 3D structures from protein contact maps., in: Bioinformatics Research and Applications, Berlin Heidelberg, Springer Berlin Heidelberg, 2007, pp. 578 - 589 (LECTURE NOTES IN BIOINFORMATICS) [Capitolo/Saggio in libro]

  • Montagna Sara; Omicini Andrea; Ricci Alessandro; D'Inverno Mark, Modelling Hematopoietic Stem Cell Behaviour: An Approach Based On Multi-Agent Systems, in: 2nd Conference ``Foundations of Systems Biology in Engineering'' Proceedings Plenary and Contributed Papers, STUTTGART, Fraunhofer IBR Verlag, 2007, pp. 243 - 248 (atti di: 2nd Conference ``Foundations of Systems Biology in Engineering'' (FOSBE 2007), Stuttgart, Germany, 9-12 settembre 2007) [Contributo in Atti di convegno]

  • Vassura M.; Margara L.; Di Lena P.; Medri F.; Fariselli P.; Casadio R., Fault tolerance for large scale protein 3D reconstruction from contact maps, in: Algorithms in Bioinformatics, Berlin Heidelberg, Springer Berlin Heidelberg, 2007, pp. 25 - 37 (LECTURE NOTES IN BIOINFORMATICS) [Capitolo/Saggio in libro]

  • Gardelli Luca; Viroli Mirko; Omicini Andrea, Design Patterns for Self-Organising Systems, in: Multi-Agent Systems and Applications V, Berlin Heidelberg, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4696, pp. 123 - 132 (atti di: 5th International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS'07), Leipzig, Germany, 25-27 settembre 2007) [Contributo in Atti di convegno]

  • M. Gaspari D. Guidi, Facilitating Agent Development in Open Service Architectures, in: Expanding the Knowledge Economy, Issues, Applications, Case Studies, AMSTERDAM, IOS Press, 2007, I, pp. 146 - 153 (atti di: E-Challenges 2007, The Hague, The Netherlands, 24 - 26 October 2007) [Contributo in Atti di convegno]

  • F. Chesani; P. Mello; M. Montali; S. Storari, Agent Societies and Service Choreographies: a Declarative Approach to Specification and Verification, in: Proceedings of the Multi-Agent Logics, Languages, and Organisations Federated Workshop - Agents, Web-Services, and Ontologies Integrated Methodologies (AWESOME 2007), DURHAM, s.n, 2007, pp. 27 - 42 (atti di: Multi-Agent Logics, Languages, and Organisations Federated Workshop (MALLOW 2007), Durham, United Kingdom, 3-7 Settembre 2007) [Contributo in Atti di convegno]

  • D. Sottara; L. Luccarini; P. Mello, AI Techniques for Waste Water Treatment Plant Control. Case Study: Denitrification in a Pilot-Scale SBR, in: Knowledge-Based Intelligent Information and Engineering Systems, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4692, pp. 639 - 646 (atti di: 11th International Conference on Knowledge-Based and Intelligence Information and Engineering Systems, Vietri sul Mare, Salerno, Italy, 2007) [Contributo in Atti di convegno]

  • F. Chesani; P. Mello; M. Montali; S. Storari, Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic, in: Artificial Intelligence in Medicine, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2007, 4594, pp. 479 - 488 (atti di: 11th Conference on Artificial Intelligence in Medicine (AIME 2007), Amsterdam, the Netherlands, 7-11 Luglio 2007) [Contributo in Atti di convegno]

  • E. Lamma; P. Mello; F. Riguzzi; S. Storari, Applying Inductive Logic Programming to Process Mining, in: Inductive Logic Programming, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2007, 4894, pp. 132 - 146 (atti di: International Conference on Inductive Logic Programming, Oregon State University, Corvallis Oregon, USA, 19-21 Giugno 2007) [Contributo in Atti di convegno]

  • E. Lamma; P. Mello; M. Montali; F. Riguzzi; S. Storari, Learning DecSerFlow Models from Labelled Traces, in: Proceedingfs of the 5th International Workshop on Induction of Process Models, IPM 2007, CORVALLIS, s.n, 2007(atti di: 24th International Conference on Machine Learning, Corvallis, Oregon, USA, 20-24 Giugno 2007) [Contributo in Atti di convegno]

  • E. Lamma; P. Mello; M. Montali; F. Riguzzi; S. Storari, Inducing Declarative Logic-Based Models from Labeled Traces, in: Business Process Management, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4714, pp. 344 - 359 (atti di: 5th International Conference on Business Process Management (BPM 2007), Brisbane, Australia, 24-28 Settembre 2007) [Contributo in Atti di convegno]

  • A.Asperti; C.Sacerdoti Coen; E. Tassi; S.Zacchiroli, User Interaction with the Matita Proof Assistant, «JOURNAL OF AUTOMATED REASONING», 2007, 39, Number 2, pp. 109 - 139 [Articolo in rivista]

  • A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli, Crafting a Proof Assistant, in: Types for Proofs and Programs, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4502, pp. 18 - 32 (atti di: TYPES 2006, Nottingham, UK, April 18-21, 2006) [Contributo in Atti di convegno]

  • A.Asperti; E.Tassi., Higher order proof reconstruction from paramodulation-based refutations: the unit equality case., in: Towards Mechanized Mathematical Assistants, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2007, 4573, pp. 146 - 160 (atti di: MKM 2007, Hagenberg, Austria, 27 - 30 June 2007) [Contributo in Atti di convegno]

  • M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni, Expressing and Verifying Business Contracts with Abductive Logic Programming, in: Normative Multi-Agent Systems, Dagstuhl Seminars Proceedings, DAGSTUHL, IBFI, 2007, pp. 1 - 29 (atti di: Normative Multi-agent Systems, Dagstuhl Seminars, Dagstuhl, 18-23 Marzo 2007) [Contributo in Atti di convegno]

  • P. Bellavista; A. Corradi; C. Giannelli, Mobility-Aware Connectivity for Seamless Multimedia Delivery in the Heterogeneous Wireless Internet, in: Proceedings of the 2nd International Workshop on multiMedia Applications over Wireless Networks (MediaWiN) within IEEE ISCC’07, LOS ALAMITOS, CALIFORNIA, IEEE Computer Society Press, 2007, pp. 1 - 8 (atti di: 2nd International Workshop on multiMedia Applications over Wireless Networks (MediaWiN) within IEEE ISCC’07, Aveiro, Portugal, July 1, 2007) [Contributo in Atti di convegno]

  • P. Bellavista; A. Corradi; L. Foschini, Context-Aware Multimedia Middleware Solutions for Counteracting IEEE 802.11 Performance Anomaly, in: Proceedings of the International Conference on Multimedia and Ubiquitous Engineering (MUE’07), LOS ALAMITOS, CALIFORNIA, IEEE Computer Society Press, 2007, pp. 9 - 16 (atti di: International Conference on Multimedia and Ubiquitous Engineering (MUE’07), Seoul, Korea, 26-28 Aprile 2007) [Contributo in Atti di convegno]

  • P. Mistroni; C. Giannelli; P. Bellavista; L. Ghirardello, LIFE.net over Web: an Advanced Monitoring Protocol for UPS Systems, in: Proceedings of the International Telecommunications Energy Conference (Intelec), NEW YORK, IEEE Press, 2007, pp. 401 - 406 (atti di: International Telecommunications Energy Conference (Intelec), Rome, Italy, 30 Settembre-4 Ottobre, 2007) [Contributo in Atti di convegno]