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

Pubblicazioni

7843 pubblicazioni

  • Matteo Casadei; Ronaldo Menezes; Mirko Viroli; Robert Tolksdorf, Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism, in: Cooperative Information Agents XI, Heildeberg Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4676, pp. 255 - 269 (atti di: Cooperative Information Agents XI, Delft, The Netherlands, September 19-21) [Contributo in Atti di convegno]

  • Maurizio Cimadamore; Mirko Viroli, Integrating Java and Prolog using Java 5.0 generics and annotations, in: 6th International Workshop on Multiparadigm Programming with Object-Oriented Languages, s.l, s.n, 2007, pp. 1 - 21 (atti di: Multiparadigm Programming with Object-Oriented Languages, Berlino, Germania, 21/7/2007) [Contributo in Atti di convegno]

  • Matteo Casadei; Ronaldo Menezes; Mirko Viroli; Robert Tolksdorf, A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems, in: Self-Organizing Systems, Springer, 2007, 4725, pp. 146 - 160 (atti di: Second International Workshop on Self-Organizing Systems (IWSOS 2007), The Lake District, UK, 11-13/9/2007) [Contributo in Atti di convegno]

  • 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, Marco; Margara, Luciano; Fariselli, Piero; Casadio, Rita, 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]

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

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

  • P. Bellavista; A. Corradi; M. Gerla; J. Kong; U. Lee; E. Magistretti, A Mobile Delay-tolerant Approach to Long-term Energy-efficient Underwater Sensor Networking, in: Proceedings of the IEEE Wireless Communications & Networking Conference (WCNC'07), NEW YORK, IEEE Communications Society Press, 2007, pp. 2868 - 2873 (atti di: IEEE Wireless Communications & Networking Conference (WCNC'07), Year Title "Wireless Gateway", Hong Kong, China, 11-15 March, 2007) [Contributo in Atti di convegno]