Baldoni's publications in 2005

[16] G. Antoniou, M. Baldoni, C. Baroglio, P. Bonatti, C. Duma, N. E. Fuchs, A. Martelli, W. Nejdl, D. Olmedilla, V. Patti, J. Peer, and N. Shahmehri. The REWERSE View on Policies. In L. Kagal, T. Finin, and J. Hendler, editors, Proceedings of the Semantic Web and Policy Workshop, held in conjunction with the 4th International Semantic Web Conference, Galway, Ireland, November 2005. [ bib | .html | .pdf ]
[15] M. Baldoni, C. Baroglio, and B. Demo. Esperienze di E-learning del Corso di Studi in Informatica dell'Università di Torino: comunità di corsi in ambiente universitario. In P. Frignani, L. Galliani, M. Giacomantonio, and G. Poletti, editors, Proc. of the 11th Expo e-learning 2005, E-learning: protagonista dello sviluppo della società delle conoscenza, Ferrara, Italy, October 2005. [ bib | http | .pdf ]
[14] M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Verifying the conformance of web services to global interaction protocols: a first step. In M. Bravetti and G. Zavattaro, editors, Proc. of 2nd Int. Workshop on Web Services and Formal Methods, WS-FM 2005, volume 3670 of LNCS, pages 257--271. Springer, Versailles, France, Sept. 2005. [ bib | DOI | http | .pdf ]
[13] M. Baldoni, C. Baroglio, S. De Marchis, B. Demo, A. Martelli, I. Perroteau, and L. Roversi. Esperienze di E-learning all'interno della Facoltà di Scienze Matematiche, Fisiche e Naturali dell'Università di Torino. In B. Boniolo, S. Margarita, and C. Spadaro, editors, Atti del Convegno E-learning e Università: iniziative ed esperienze in Italia ed Europa, Torino, Italy, September 2005. [ bib | http | .pdf ]
[12] G. Antoniou, M. Baldoni, C. Baroglio, R. Baumgartner, F. Bry, N. Henze, W. May, V. Patti, and S. T. Wierzchon. Personalization for the Semantic Web II. Technical Report IST506779/Hannover/A3-D4/D/PU/b1, Reasoning on the Web with Rules and Semantics, REWERSE, August 31st 2005. [ bib | http | .pdf ]
[11] M. Baldoni, U. Endriss, A. Omicini, and P. Torroni, editors. Proc. of International Workshop Declarative Agent Languages and Technologies, DALT 2005, Utrecht, The Netherlands, July 2005. [ bib | http | .pdf ]
[10] M. Baldoni, G. Boella, and L. van der Torre. Bridging Agent Theory and Object Orientation: Importing Social Roles in Object Oriented Languages. In R. H. Bordini, M. Dastani, J. Dix, and A. Seghrouchni, editors, Proc. of the International Workshop on Programming Multi-Agent Systems, ProMAS 2005, pages 23--38, Utrecht, the Netherlands, July 2005. [ bib | http | .pdf ]
[9] M. Baldoni, C. Baroglio, and N. Henze. Personalization for the Semantic Web. In N. Eisinger and J. Maluszynski, editors, Reasoning Web, First International REWERSE Summer School 2005, volume 3564 of LNCS Tutorials, pages 173--212. Springer-Verlag, Malta, July 2005. [ bib | DOI | .pdf ]
[8] M. Baldoni, C. Baroglio, C. Grandi, and L. Roversi. Live! I-Learn @ Home. In M. Scotto and G. Succi, editors, Proc. of 1st International Conference on Open Source Systems, OSS 2005, pages 294--295, Genova, July 2005. Agenzia Doppiavu. [ bib | http | .pdf ]
[7] M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Verification of protocol conformance and agent interoperability. In F. Toni and P. Torroni, editors, Pre-proc. of Sixth International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VI, pages 12--27, London, UK, June 2005. [ bib | .html | .pdf ]
[6] M. Baldoni, G. Boella, and L. van der Torre. Roles and Coordination in powerjava. In J.-M. Jacquet and G. P. Picco, editors, Poster presentation at 7th Int. Conf. Coordination Models and Languages, COORDINATION'05, Namur. Belgium, April 2005. [ bib | .pdf ]
[5] M. Baldoni, C. Baroglio, S. Carro-Martinez, A. Goy, N. Henze, A. Kulas, D. Magro, M. Montebello, V. Patti, and H. Williams. Thread on testbeds. Technical Report IST506779/Turin/A3-D2/D/PU/a1, Reasoning on the Web with Rules and Semantics, REWERSE, February, 28th 2005. [ bib | http | .pdf ]
[4] M. Baldoni, G. Boella, and L. van der Torre. Social roles, from agents back to objects. In F. Corradini, F. De Paoli, E. Merelli, and A. Omicini, editors, Proc. of WOA 2005: Dagli oggetti agli agenti, simulazione e analisi formale di sistemi complessi, Camerino, Italy, november 2005. Pitagora Editrice Bologna. [ bib | http | .pdf ]
[3] M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Verifying protocol conformance for logic-based communicating agents. In J. Leite and P. Torroni, editors, Post Proc. of Fifth International Workshop on Computational Logic in Multi-Agent Systems, CLIMA V, volume 3487 of LNAI, pages 192--212. Springer, 2005. [ bib | DOI | http | .pdf ]
[2] M. Baldoni, C. Baroglio, A. Martelli, V. Mascardi, V. Patti, C. Schifanella, and L. Torasso. Personalization, verification and conformance for logic-base communicating agents. In F. Corradini, F. De Paoli, E. Merelli, and A. Omicini, editors, Proc. of WOA 2005: Dagli oggetti agli agenti, simulazione e analisi formale di sistemi complessi, Camerino, Italy, november 2005. Pitagora Editrice Bologna. [ bib | http | .pdf ]
[1] M. Baldoni, C. Baroglio, I. Gungui, A. Martelli, M. Martelli, V. Mascardi, V. Patti, and C. Schifanella. Reasoning About Agents' Interaction Protocols Inside DCaseLP. In J. Leite, A. Omicini, P. Torroni, and P. Yolum, editors, Post-Proc. of the International Workshop on Declarative Agent Languages and Technologies, DALT'04, number 3476 in LNAI, pages 112--131. Springer, 2005. [ bib | DOI | http | .pdf ]

This file was generated by bibtex2html 1.99.