@comment{{This file has been generated by bib2bib 1.99}}
@comment{{Command line: bib2bib --remove owner --remove authordip --remove typepublication --remove nationality -s $date -r -c 'year = 2007' -c 'author : "Baldoni" or editor : "Baldoni"' -ob Baldoni-2007.bib -oc Baldoni-2007.txt bibliography.bib}}
@comment{{jabref-meta: databaseType:bibtex;}}
@inproceedings{BBBMwoa2007-TIPO_W,
author = {Baldoni, M. and Baroglio, C. and Berio, G. and Marengo, E.},
title = {Declarative representation of curricula models: an {LTL}- and {UML}-based
approach},
booktitle = {Proc. of WOA 2007: Dagli oggetti agli agenti, Agenti e Industrie:
Applicazioni tecnologiche degli agenti software},
year = {2007},
editor = {Baldoni, M. and Boccalatte, A. and De~Paoli, F. and Martelli, M.
and Mascardi, V.},
pages = {34--41},
address = {Genova, Italy},
month = {September},
publisher = {Seneca Edizioni},
isbn = {978-88-6122-061-4},
keywords = {REWERSE, elearning, reasoning, validation},
pdf = {http://www.di.unito.it/~argo/papers/2007_woa_bbbm.pdf},
url = {http://woa07.disi.unige.it/}
}
@inproceedings{AWESOME007-TIPO_W,
author = {Baldoni, M. and Baroglio, C. and Brunkhorst, I. and Marengo, E. and
Patti, V.},
title = {A {S}ervice-{O}riented {A}pproach for {C}urriculum {P}lanning and
{V}alidation},
booktitle = {Proceedings of the Multi-Agent Logics, Languages, and Organisations,
Federated Workshops, MALLOW'007, Agent, Web Services and Ontologies,
Integrated Methodologies, MALLOW-AWESOME'007},
year = {2007},
pages = {108--123},
address = {Durham, GB},
month = {September},
keywords = {REWERSE, reasoning, semantic_web, personalization, planning, validation,
elearning},
opteditor = {Baldoni, M. AND Baroglio, C. AND Mascardi, V.},
pdf = {http://www.di.unito.it/~argo/papers/2007_MALLOW-AWESOME.pdf},
timestamp = {2007.07.19},
url = {http://awesome007.disi.unige.it/index.html}
}
@inproceedings{BBM07aiia-TIPO_LN,
author = {Baldoni, M. and Baroglio, C. and Marengo, E.},
title = {{C}urricula {M}odeling and {C}hecking},
booktitle = {Proc. of AI*IA 2007: Advances in Artificial Intelligence, 10th Congress
of the Italian Association for Artificial Intelligence},
year = {2007},
editor = {Basili, R. and Pazienza, M. T.},
volume = {4733},
series = {LNAI},
pages = {471--482},
address = {Rome, Italy},
month = {September},
publisher = {Springer},
doi = {10.1007/978-3-540-74782-6_41},
isbn = {978-3-540-74781-9},
keywords = {elearning, logic, modeling, verification},
pdf = {http://www.di.unito.it/~argo/papers/LNCS/lnai_4733.pdf},
timestamp = {2007.06.11},
url = {http://dx.medra.org/10.1007/978-3-540-74782-6_41}
}
@inproceedings{BBMPSwoa2007-TIPO_W,
author = {Baldoni, M. and Baroglio, C. and Martelli, A. and Patti, V. and Schifanella,
C.},
title = {Preserving player's goals: a choreography-driven matchmaking approach},
booktitle = {Proc. of WOA 2007: Dagli oggetti agli agenti, Agenti e Industrie:
Applicazioni tecnologiche degli agenti software},
year = {2007},
editor = {Baldoni, M. and Boccalatte, A. and De~Paoli, F. and Martelli, M.
and Mascardi, V.},
pages = {132--139},
address = {Genova, Italy},
month = {September},
publisher = {Seneca Edizioni},
isbn = {978-88-6122-061-4},
keywords = {choreography, matchmaking, goal_preservation},
pdf = {http://www.di.unito.it/~argo/papers/2007_woa_bbmps.pdf},
url = {http://woa07.disi.unige.it/}
}
@inproceedings{BBMPSwesoa2007-TIPO_W,
author = {Baldoni, M. and Baroglio, C. and Martelli, A. and Patti, V. and Schifanella,
C.},
title = {Goal preservation by choreography-driven matchmaking},
booktitle = {Proc. of the Third International Workshop on Engineering Service-Oriented
Applications: Analysis, Design and Composition, WESOA 2007, in conjuction
with ICSOC 2007},
year = {2007},
editor = {Chung, J.-Y. and Emmerich, W. and Feuerlicht, G. and Lamersdorf,
W. and Ortiz, G. and Zirpins, C.},
pages = {77--88},
address = {Vienna, Austria},
month = {September},
keywords = {goal_preservation, choreography, matchmaking},
pdf = {http://www.di.unito.it/~argo/papers/2007_WESOA.pdf},
url = {http://wesoa07.googlepages.com/}
}
@inproceedings{BBvdTwoa2007-TIPO_W,
author = {Baldoni, M. and Boella, G. and {van~der~Torre}, L.},
title = {{A}dding {R}oles to {R}elationship {P}atterns},
booktitle = {Proc. of WOA 2007: Dagli oggetti agli agenti, Agenti e Industrie:
Applicazioni tecnologiche degli agenti software},
year = {2007},
editor = {Baldoni, M. and Boccalatte, A. and De~Paoli, F. and Martelli, M.
and Mascardi, V.},
pages = {112--125},
address = {Genova, Italy},
month = {September},
publisher = {Seneca Edizioni},
isbn = {978-88-6122-061-4},
keywords = {powerJava, roles, OO, languages},
pdf = {http://www.di.unito.it/~argo/papers/2007_woa_bbvdt.pdf},
url = {http://woa07.disi.unige.it/}
}
@proceedings{AWESOME007-TIPO_B,
title = {Proceedings of the Multi-Agent Logics, Languages, and Organisations,
Federated Workshops, MALLOW'007, Agent, Web Services and Ontologies,
Integrated Methodologies (MALLOW-AWESOME'007) workshop},
year = {2007},
editor = {Baldoni, M. and Baroglio, C. and Mascardi, V.},
address = {Durham, GB},
month = {September},
keywords = {agents, web_services, ontologies},
pdf = {http://awesome007.disi.unige.it/ProceedingsMALLOW-AWESOME007.pdf},
url = {http://awesome007.disi.unige.it/index.html}
}
@proceedings{WOA07-TIPO_B,
title = {{P}roc. of Workshop Dagli Oggetti agli Agenti, Agenti e Industria:
Applicazioni tecnologiche degli agenti software, WOA 2007},
year = {2007},
editor = {Baldoni, M. and Boccalatte, A. and {De~Paoli}, F. and Martelli, M.
and Mascardi, V.},
address = {Genova, Italy},
publisher = {Seneca Edizioni},
month = {September},
isbn = {978-88-6122-061-4},
keywords = {objects, agents},
pdf = {http://www.di.unito.it/~argo/papers/Atti-WOA07.pdf},
typepubblication = {convegno nazionale},
url = {http://woa07.disi.unige.it/index.php}
}
@proceedings{WOA08-TIPO_B,
title = {{P}roc. of Workshop Dagli Oggetti agli Agenti, Evoluzione dell'agent
development: metodologie, tool, piattaforme e linguaggi},
year = {2007},
editor = {Baldoni, M. and Cossentino, M. and {De~Paoli}, F. and Seidita, V.},
address = {Palermo, Italy},
publisher = {Seneca Edizioni},
month = {September},
isbn = {978-88-6122-122-2},
keywords = {objects, agents},
pdf = {http://www.di.unito.it/~argo/papers/Atti-WOA08.pdf},
typepubblication = {convegno nazionale},
url = {http://www.pa.icar.cnr.it/woa08/}
}
@proceedings{DALT07-TIPO_B,
title = {{P}roc. of International Workshop Declarative Agent Languages and
Technologies, DALT 2007},
year = {2007},
editor = {Baldoni, M. and Son, T. C. and van Riemsdijk, M. B. and Winikoff,
M.},
address = {Honolulu, Hawai'i, USA},
month = {May},
keywords = {agents},
pdf = {http://www.di.unito.it/~argo/papers/DALT2007-WorkshopNotes.pdf},
url = {http://www.di.unito.it/~baldoni/DALT-2007/}
}
@inproceedings{BBvdT-FSEN07-TIPO_LN,
author = {Baldoni, M. and Boella, G. and van~der~Torre, L.},
title = {{R}elationships {M}eet their {R}oles in {O}bject {O}riented {P}rogramming},
booktitle = {Proc. of the International Symposium on Fundamentals of Software
Engineering, FSEN'07},
year = {2007},
editor = {Arbab, F. and Movaghar, A. and Rutten, J. and Sirjani, M.},
volume = {4767},
series = {Lecture Notes in Computer Science (LNCS)},
pages = {440--448},
address = {Tehran, Iran},
month = {April},
publisher = {Springer},
doi = {10.1007/978-3-540-75698-9_32},
isbn = {978-3-540-75697-2},
keywords = {powerJava},
numberpages = {8},
opturl = {http://dx.medra.org/10.1007/978-3-540-75698-9_32},
pdf = {http://www.di.unito.it/~argo/papers/LNCS/lncs_4767.pdf},
typepubblication = {convegno internazionale},
url = {http://cs.ipm.ac.ir/FSEN07/}
}
@techreport{A3D8-TIPO_TR,
author = {Abela, C. and Baldoni, M. and Baroglio, C. and Henze, N. and Brunkhorst,
I. and Krause, D. and Marengo, E. and Patti, V.},
title = {Testbeds: overview and state},
institution = {Reasoning on the Web with Rules and Semantics, REWERSE},
year = {2007},
number = {IST506779/Turin/A3-D10/D/PU/a1},
month = {February 28th},
editor = {Baroglio, C.},
keywords = {REWERSE, semantic_web, personalization, elearning, reasoning, planning,
validation},
pdf = {http://www.di.unito.it/~argo/papers/a3-d8.pdf},
url = {http://rewerse.net/}
}
@incollection{ABBNO-securityBook05-TIPO_IB,
author = {Antoniou, G. and Baldoni, M. and Bonatti, P. A. and Nejdl, W. and
Olmedilla, D.},
title = {Rule-Based Policy Specification},
booktitle = {Security in Data Management in Decentralized Systems},
publisher = {Springer},
year = {2007},
editor = {Yu, T. and Jajodia, J.},
volume = {33},
pages = {169--216},
series = {Advances in Information Security},
isbn = {978-0-387-27694-6},
issn = {15682633},
doi = {10.1007/978-0-387-27696-0_6},
keywords = {REWERSE, semantic_web, policies, reasoning},
pdf = {http://www.di.unito.it/~argo/papers/ABBNO-SecurityBook06.pdf},
timestamp = {2005.10.27},
url = {https://doi.org/10.1007/978-0-387-27696-0_6}
}
@inproceedings{2007_ECTEL_BBBMP-TIPO_LN,
author = {Baldoni, M. and Baroglio, C. and Brunkhorst, I. and Marengo, E. and
Patti, V.},
title = {{R}easoning-based {C}urriculum {S}equencing and {V}alidation: {I}ntegration
in a {S}ervice-{O}riented {A}rchitecture},
booktitle = {Proc. of EC-TEL 2007 - Second European Conference on Technology Enhanced
Learning},
year = {2007},
editor = {Duval, E. and Klamma, R. and Wolpers, M.},
number = {4753},
series = {LNCS},
pages = {426--431},
publisher = {Springer},
doi = {10.1007/978-3-540-75195-3_32},
isbn = {978-3-540-75194-6},
keywords = {REWERSE, reasoning, semantic_web, personalization, planning, validation,
elearning},
opturl = {http://dx.medra.org/10.1007/978-3-540-75195-3_32},
pdf = {http://www.di.unito.it/~argo/papers/LNCS/lncs_4753a.pdf},
timestamp = {2007.06.05},
url = {http://www.ectel07.org/}
}
@conference{2007-ESWC07-TIPO_IC,
author = {Baldoni, M. and Baroglio, C. and Brunkhorst, I. and Marengo, E. and
Patti, V.},
title = {A {P}ersonalization {W}eb {S}ervice for {C}urricula {P}lanning and
{V}alidation},
booktitle = {Poster Presentation at the 4th European Semantic Web Conference,
ESWC 2007},
year = {2007},
editor = {May, W. and Kifer, M.},
keywords = {REWERSE, reasoning, semantic_web, personalization, planning, validation,
elearning},
pdf = {http://www.di.unito.it/~argo/papers/FZ-L3S_Poster_SemWeb_Brunkhorst.pdf},
timestamp = {2007.06.05},
url = {http://www.eswc2007.org/}
}
@incollection{MM06-TIPO_IB,
author = {Baldoni, M. and Baroglio, C. and Grandi, C. and Mattutino, C. and
Roversi, L.},
title = {{CD-ROM} live per il supporto online alla didattica: l'esperienza
di {L}ive! {I}-{L}earn@{H}ome},
booktitle = {Modelli e tecnologie della formazione in rete},
publisher = {Edizioni Mercurio},
year = {2007},
editor = {Franceschinis, G. and Porporato, D.},
pages = {233--242},
isbn = {978-88-95522-09-8},
pdf = {http://www.di.unito.it/~argo/papers/MM2006.pdf},
url = {http://www.moodlemoot.it}
}
@article{JLAP-TIPO_J,
author = {Baldoni, M. and Baroglio, C. and Martelli, A. and Patti, V.},
title = {Reasoning about interaction protocols for customizing web service
selection and composition},
journal = {Journal of Logic and Algebraic Programming, special issue on Web
Services and Formal Methods},
year = {2007},
volume = {70},
pages = {53--73},
number = {1},
month = {January},
issn = {1567-8326},
if = {0.873},
doi = {http://dx.doi.org/10.1016/j.jlap.2006.05.005},
keywords = {interaction, protocols, web_service, selection, composition},
pdf = {http://www.di.unito.it/~argo/papers/2007_JLAP.pdf},
url = {http://dx.doi.org/10.1016/j.jlap.2006.05.005}
}
@article{BBMPS-IJBPIM07-TIPO_J,
author = {Baldoni, M. and Baroglio, C. and Martelli, A. and Patti, V. and Schifanella,
C.},
title = {{R}easoning on choreographies and capability requirements},
journal = {International Journal of Business Process Integration and Management,
IJBPIM},
year = {2007},
volume = {2},
pages = {247-261},
number = {4},
issn = {1741-8763},
doi = {10.1504/IJBPIM.2007.017751},
keywords = {capabilities, choreographies, reasoning},
numberpages = {25},
pdf = {http://www.di.unito.it/~argo/papers/BBPMS_IJBPIM07.pdf},
url = {http://www.inderscience.com/browse/index.php?journalID=115}
}
@inproceedings{BBvdT_promas06-TIPO_LN,
author = {Baldoni, M. and Boella, G. and {van~der~Torre}, L.},
title = {{B}ridging {A}gent {T}heory and {O}bject {O}rientation: {A}gent-like
{C}ommunication among {O}bjects},
booktitle = {Post-Proc. of the International Workshop on Programming Multi-Agent
Systems, ProMAS 2006},
year = {2007},
editor = {Bordini, R. H. and Dastani, M. and Dix, J. and Seghrouchni, A.},
volume = {4411},
series = {Lecture Notes in Artificial Intelligence (LNAI)},
pages = {149--164},
publisher = {Springer},
doi = {10.1007/978-3-540-71956-4_9},
isbn = {978-3-540-71955-7},
keywords = {powerJava},
numberpages = {19},
optaddress = {Utrecht, the Netherlands},
optmonth = {July},
opturl = {http://dx.medra.org/10.1007/978-3-540-71956-4_9},
pdf = {http://www.di.unito.it/~argo/papers/LNCS/lnai_4411.pdf},
url = {http://www.cs.uu.nl/ProMAS/2006/}
}
@article{BBvdT-JOT-TIPO_J,
author = {Baldoni, M. and Boella, G. and van der Torre, L.},
title = {{I}nteraction between {O}bjects in {\tt powerJava}},
journal = {Journal of Object Technology, Special Issue OOPS Track at SAC 2006},
year = {2007},
volume = {6},
number = {2},
issn = {1660-1769},
keywords = {powerJava},
numberpages = {25},
optpages = {1-24},
pdf = {http://www.di.unito.it/~argo/papers/2007_JOT.pdf},
url = {http://www.jot.fm/issues/issue_2007_02}
}
@inproceedings{2007_ECTEL-BM-TIPO_LN,
author = {Baldoni, M. and Marengo, E.},
title = {{C}urriculum {M}odel {C}hecking: {D}eclarative {R}epresentation and
{V}erification of {P}roperties},
booktitle = {Proc. of EC-TEL 2007 - Second European Conference on Technology Enhanced
Learning},
year = {2007},
editor = {Duval, E. and Klamma, R. and Wolpers, M.},
volume = {4753},
series = {LNCS},
pages = {432--437},
publisher = {Springer},
doi = {10.1007/978-3-540-75195-3_33},
isbn = {978-3-540-75194-6},
keywords = {elearning, modeling, verification, curricula_models},
opturl = {http://dx.medra.org/10.1007/978-3-540-75195-3_33},
pdf = {http://www.di.unito.it/~argo/papers/LNCS/lncs_4753b.pdf},
timestamp = {2007.06.05},
url = {http://www.ectel07.org/}
}
@book{DALT2006-PostProc-TIPO_B,
title = {{D}eclarative {A}gent {L}anguages and {T}echnologies {IV}: {F}ourth
{I}nternational {W}orkshop, {DALT~2006}, {S}elected, {R}evised, and
{I}nvited {P}apers},
publisher = {Springer},
year = {2007},
editor = {Baldoni, M. and Endriss, U.},
volume = {4327},
series = {Lecture Notes in Artificial Intelligence (LNAI)},
doi = {10.1007/11961536},
isbn = {978-3-540-68959-1},
keywords = {agents},
opturl = {http://dx.doi.org/10.1007/11961536}
}
This file was generated by bibtex2html 1.99.