| [22] | M. Baldoni, M. Cossentino, F. De Paoli, and V. Seidita, editors. Proc. of Workshop Dagli Oggetti agli Agenti, Evoluzione dell'agent development: metodologie, tool, piattaforme e linguaggi, Palermo, Italy, September 2007. Seneca Edizioni. [ bib | http | .pdf ] |
| [21] | M. Baldoni, A. Boccalatte, F. De Paoli, M. Martelli, and V. Mascardi, editors. Proc. of Workshop Dagli Oggetti agli Agenti, Agenti e Industria: Applicazioni tecnologiche degli agenti software, WOA 2007, Genova, Italy, September 2007. Seneca Edizioni. [ bib | http | .pdf ] |
| [20] | M. Baldoni, C. Baroglio, and V. Mascardi, editors. Proceedings of the Multi-Agent Logics, Languages, and Organisations, Federated Workshops, MALLOW'007, Agent, Web Services and Ontologies, Integrated Methodologies (MALLOW-AWESOME'007) workshop, Durham, GB, September 2007. [ bib | .html | .pdf ] |
| [19] | M. Baldoni, G. Boella, and L. van der Torre. Adding Roles to Relationship Patterns. In M. Baldoni, A. Boccalatte, F. De Paoli, M. Martelli, and V. Mascardi, editors, Proc. of WOA 2007: Dagli oggetti agli agenti, Agenti e Industrie: Applicazioni tecnologiche degli agenti software, pages 112--125, Genova, Italy, September 2007. Seneca Edizioni. [ bib | http | .pdf ] |
| [18] | M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Goal preservation by choreography-driven matchmaking. In J.-Y. Chung, W. Emmerich, G. Feuerlicht, W. Lamersdorf, G. Ortiz, and C. Zirpins, editors, Proc. of the Third International Workshop on Engineering Service-Oriented Applications: Analysis, Design and Composition, WESOA 2007, in conjuction with ICSOC 2007, pages 77--88, Vienna, Austria, September 2007. [ bib | http | .pdf ] |
| [17] | M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Preserving player's goals: a choreography-driven matchmaking approach. In M. Baldoni, A. Boccalatte, F. De Paoli, M. Martelli, and V. Mascardi, editors, Proc. of WOA 2007: Dagli oggetti agli agenti, Agenti e Industrie: Applicazioni tecnologiche degli agenti software, pages 132--139, Genova, Italy, September 2007. Seneca Edizioni. [ bib | http | .pdf ] |
| [16] | M. Baldoni, C. Baroglio, and E. Marengo. Curricula Modeling and Checking. In R. Basili and M. T. Pazienza, editors, Proc. of AI*IA 2007: Advances in Artificial Intelligence, 10th Congress of the Italian Association for Artificial Intelligence, volume 4733 of LNAI, pages 471--482, Rome, Italy, September 2007. Springer. [ bib | DOI | http | .pdf ] |
| [15] | M. Baldoni, C. Baroglio, I. Brunkhorst, E. Marengo, and V. Patti. A Service-Oriented Approach for Curriculum Planning and Validation. In Proceedings of the Multi-Agent Logics, Languages, and Organisations, Federated Workshops, MALLOW'007, Agent, Web Services and Ontologies, Integrated Methodologies, MALLOW-AWESOME'007, pages 108--123, Durham, GB, September 2007. [ bib | .html | .pdf ] |
| [14] | M. Baldoni, C. Baroglio, G. Berio, and E. Marengo. Declarative representation of curricula models: an LTL- and UML-based approach. In M. Baldoni, A. Boccalatte, F. De Paoli, M. Martelli, and V. Mascardi, editors, Proc. of WOA 2007: Dagli oggetti agli agenti, Agenti e Industrie: Applicazioni tecnologiche degli agenti software, pages 34--41, Genova, Italy, September 2007. Seneca Edizioni. [ bib | http | .pdf ] |
| [13] | M. Baldoni, T. C. Son, M. B. van Riemsdijk, and M. Winikoff, editors. Proc. of International Workshop Declarative Agent Languages and Technologies, DALT 2007, Honolulu, Hawai'i, USA, May 2007. [ bib | http | .pdf ] |
| [12] | M. Baldoni, G. Boella, and L. van der Torre. Relationships Meet their Roles in Object Oriented Programming. In F. Arbab, A. Movaghar, J. Rutten, and M. Sirjani, editors, Proc. of the International Symposium on Fundamentals of Software Engineering, FSEN'07, volume 4767 of Lecture Notes in Computer Science (LNCS), pages 440--448, Tehran, Iran, April 2007. Springer. [ bib | DOI | http | .pdf ] |
| [11] | C. Abela, M. Baldoni, C. Baroglio, N. Henze, I. Brunkhorst, D. Krause, E. Marengo, and V. Patti. Testbeds: overview and state. Technical Report IST506779/Turin/A3-D10/D/PU/a1, Reasoning on the Web with Rules and Semantics, REWERSE, February 28th 2007. [ bib | http | .pdf ] |
| [10] | M. Baldoni and U. Endriss, editors. Declarative Agent Languages and Technologies IV: Fourth International Workshop, DALT 2006, Selected, Revised, and Invited Papers, volume 4327 of Lecture Notes in Artificial Intelligence (LNAI). Springer, 2007. [ bib | DOI ] |
| [9] | M. Baldoni and E. Marengo. Curriculum Model Checking: Declarative Representation and Verification of Properties. In E. Duval, R. Klamma, and M. Wolpers, editors, Proc. of EC-TEL 2007 - Second European Conference on Technology Enhanced Learning, volume 4753 of LNCS, pages 432--437. Springer, 2007. [ bib | DOI | http | .pdf ] |
| [8] | M. Baldoni, G. Boella, and L. van der Torre. Interaction between Objects in powerjava. Journal of Object Technology, Special Issue OOPS Track at SAC 2006, 6(2), 2007. [ bib | http | .pdf ] |
| [7] | M. Baldoni, G. Boella, and L. van der Torre. Bridging Agent Theory and Object Orientation: Agent-like Communication among Objects. In R. H. Bordini, M. Dastani, J. Dix, and A. Seghrouchni, editors, Post-Proc. of the International Workshop on Programming Multi-Agent Systems, ProMAS 2006, volume 4411 of Lecture Notes in Artificial Intelligence (LNAI), pages 149--164. Springer, 2007. [ bib | DOI | http | .pdf ] |
| [6] | M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Reasoning on choreographies and capability requirements. International Journal of Business Process Integration and Management, IJBPIM, 2(4):247--261, 2007. [ bib | DOI | http | .pdf ] |
| [5] | M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about interaction protocols for customizing web service selection and composition. Journal of Logic and Algebraic Programming, special issue on Web Services and Formal Methods, 70(1):53--73, January 2007. [ bib | DOI | http | .pdf ] |
| [4] | M. Baldoni, C. Baroglio, C. Grandi, C. Mattutino, and L. Roversi. CD-ROM live per il supporto online alla didattica: l'esperienza di Live! I-Learn@Home. In G. Franceschinis and D. Porporato, editors, Modelli e tecnologie della formazione in rete, pages 233--242. Edizioni Mercurio, 2007. [ bib | http | .pdf ] |
| [3] | M. Baldoni, C. Baroglio, I. Brunkhorst, E. Marengo, and V. Patti. A Personalization Web Service for Curricula Planning and Validation. In W. May and M. Kifer, editors, Poster Presentation at the 4th European Semantic Web Conference, ESWC 2007, 2007. [ bib | http | .pdf ] |
| [2] | M. Baldoni, C. Baroglio, I. Brunkhorst, E. Marengo, and V. Patti. Reasoning-based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture. In E. Duval, R. Klamma, and M. Wolpers, editors, Proc. of EC-TEL 2007 - Second European Conference on Technology Enhanced Learning, number 4753 in LNCS, pages 426--431. Springer, 2007. [ bib | DOI | http | .pdf ] |
| [1] | G. Antoniou, M. Baldoni, P. A. Bonatti, W. Nejdl, and D. Olmedilla. Rule-based policy specification. In T. Yu and J. Jajodia, editors, Security in Data Management in Decentralized Systems, volume 33 of Advances in Information Security, pages 169--216. Springer, 2007. [ bib | DOI | http | .pdf ] |
This file was generated by bibtex2html 1.99.