Per Sort

122 publications  /  Enrico Denti
in journal  •  in proceedings  •  chapters  •  books  •  reports  •  phd  •  edited  •  editorials
 @article{traindelay-information41,
    articleno = 269,
    author = {Denti, Enrico and Burroni, Luca},
    doi = {10.3390/info14050269},
    issn = {2078-2489},
    journal = {Information},
    number = 5,
    title = {Delay Indices for Train Punctuality},
    url = {https://www.mdpi.com/2078-2489/14/5/269},
    volume = 14,
    year = 2023
} 
 @article{logictech-information11,
    articleno = 167,
    author = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea},
    dblp = {journals/information/CalegariCDO20},
    doi = {10.3390/info11030167},
    editor = {Susilo, Willy},
    iris = {11585/752671},
    issn = {2078-2489},
    journal = {Information},
    keywords = {symbolic AI; logic-based technologies; intelligent systems},
    month = mar,
    note = {Special Issue ``10th Anniversary of Information---Emerging Research Challenges''},
    number = 3,
    numpages = 29,
    pages = {167:1--167:29},
    publisher = {MDPI},
    scholar = {15744297419438793629},
    scopus = {2-s2.0-85082507008},
    title = {Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives},
    url = {http://www.mdpi.com/2078-2489/11/3/167},
    volume = 11,
    wos = {000524309400026},
    year = 2020
} 
 @article{lpaas-ijguc10,
    author = {Calegari, Roberta and Denti, Enrico and Mariani, Stefano and Omicini, Andrea},
    dblp = {journals/ijguc/CalegariDMO19},
    doi = {10.1504/IJGUC.2019.10022135},
    editor = {de Macedo, Douglas Dyllon Jeronimo and Messina, Fabrizio},
    eissn = {1741-8488},
    iris = {11585/657394},
    issn = {1741-847X},
    journal = {International Journal of Grid and Utility Computing},
    keywords = {IoT, logic programming, multi-agent systems, pervasive computing, LPaaS, artificial intelligence, interoperability},
    number = 4,
    pages = {344--360},
    publisher = {Inderscience},
    scholar = {3690275178730600901},
    scopus = {2-s2.0-85069787119},
    title = {Logic Programming as a Service in Multi-Agent Systems for the {I}nternet of {T}hings},
    url = {https://www.inderscience.com/info/inarticle.php?artid=100878},
    volume = 10,
    wos = {000476657400005},
    year = 2019
} 
 @article{labelledlp-fi161,
    author = {Calegari, Roberta and Denti, Enrico and Dovier, Agostino and Omicini, Andrea},
    dblp = {journals/fuin/CalegariDDO18},
    doi = {10.3233/FI-2018-1695},
    editor = {Fiorentini, Camillo and Momigliano, Alberto and Pettorossi, Alberto},
    iris = {11585/636935},
    journal = {Fundamenta Informaticae},
    keywords = {logic programming, labelled systems, labelled variables, formal semantics, meta-interpretation, situated intelligence},
    month = jul,
    note = {Special Issue CILC 2016},
    number = 1-2,
    numpages = 22,
    pages = {53--74},
    scopus = {2-s2.0-85049682130},
    title = {Extending Logic Programming with Labelled Variables: Model and Semantics},
    url = {http://content.iospress.com/articles/fundamenta-informaticae/fi1695},
    urlopenaccess = {https://cris.unibo.it/retrieve/handle/11585/636935/838171/CDDO-FI-2017.pdf},
    volume = 161,
    wos = {000437260800005},
    year = 2018
} 
 @article{lpaas-tplp18,
    author = {Calegari, Roberta and Denti, Enrico and Mariani, Stefano and Omicini, Andrea},
    dblp = {journals/tplp/CalegariDMO18},
    doi = {10.1017/S1471068418000364},
    editor = {Fioretto, Ferdinando and Pontelli, Enrico},
    iris = {11585/642508},
    journal = {Theory and Practice of Logic Programming},
    keywords = {logic programming, distributed systems, service-oriented architectures, pervasive systems, intelligent systems, LPaaS, situatedness},
    month = sep,
    note = {Special Issue ``Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming''},
    number = 5-6,
    numpages = 28,
    pages = {846--873},
    publisher = {Cambridge University Press},
    scholar = {13482792136370336832},
    scopus = {2-s2.0-85050006559},
    title = {Logic Programming as a Service},
    url = {https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/logic-programming-as-a-service/8A8109052E2F9EC177332F36183E80BE},
    volume = 18,
    wos = {000443682000005},
    year = 2018
} 
 @article{lpaas-bdcc2,
    articleno = 23,
    author = {Calegari, Roberta and Ciatto, Giovanni and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
    dblp = {journals/fuin/CalegariDDO18},
    doi = {10.3390/bdcc2030023},
    eissn = {2504-2289},
    iris = {11585/640012},
    journal = {Big Data and Cognitive Computing},
    keywords = {Logic Programming as a Service, IoT, symbolic reasoning},
    number = 3,
    numpages = 26,
    publisher = {MDPI},
    scholar = {247396456770353218},
    scopus = {2-s2.0-85075881133},
    title = {{LPaaS} as Micro-intelligence: Enhancing {IoT} with Symbolic Reasoning},
    url = {http://www.mdpi.com/2504-2289/2/3/23},
    urlpdf = {http://www.mdpi.com/2504-2289/2/3/23/pdf},
    volume = 2,
    year = 2018
} 
 @article{2p-alpnews2016,
	Author = {Calegari, Roberta and Denti, Enrico},
	Journal = {ALP Newsletter},
	Month = dec,
	Publisher = {Association for Logic Programming},
	Title = {{B}uilding {S}mart {S}paces on the {H}ome {M}anager platform},
	Url = {https://www.cs.nmsu.edu/ALP/2016/12/building-smart-spaces-on-the-home-manager-platform/},
	Year = 2016} 
 @article{EDUserInteractionManifesto,
    address = {Alhambra, CA 91801, USA},
    author = {Denti, Enrico},
    doi = {10.13189/wjcat.2014.020103},
    eissn = {2331-4990},
    iris = {11585/204016},
    issn = {2331-4982},
    journal = {World Journal of Computer Application and Technology},
    keywords = {Human-Computer Interaction, Graphical User Interfaces Guidelines, User Experience, UI Design, Manifesto, Software Deployment, Downgrade Right},
    note = {Available online from December 3, 2013},
    number = 1,
    numpages = 12,
    pages = {10-21},
    publisher = {Horizon Research Publishing Company},
    status = {Published},
    title = {Valuing the User Experience in Human-Computer Interaction: the Respected User Manifesto},
    url = {http://www.hrpub.org/journals/jour_info.php?id=37},
    urlpdf = {http://www.hrpub.org/download/20131215/WJCAT3-13701807.pdf},
    volume = 2,
    year = 2014
} 
 @article{butlers-springerplus3,
    author = {Denti, Enrico},
    doi = {10.1186/2193-1801-3-52},
    eissn = {2193-1801},
    iris = {11585/223673},
    journal = {SpringerPlus},
    keywords = {Home management; Ambient intelligence; Energy saving; Coordination infrastructures; Multi-Agent systems; Pervasive computing; Gamification; Smart homes; Smart living},
    month = {January},
    number = 52,
    pages = {1--30},
    publisher = {Springer},
    scopus = {2-s2.0-84897801502},
    status = {Published},
    title = {Novel pervasive scenarios for home management: the Butlers architecture},
    url = {http://www.springerplus.com/content/3/1/52/abstract},
    volume = 3,
    wos = {000358914200001},
    year = 2014
} 
 @article{2p-alpnews2013,
    author = {Denti, Enrico and Omicini, Andrea and Calegari, Roberta},
    iris = {11585/230475},
    journal = {ALP Newsletter},
    month = oct,
    publisher = {Association for Logic Programming},
    title = {{\textsf{tu}Prolog}: Making {P}rolog Ubiquitous},
    url = {http://www.cs.nmsu.edu/ALP/2013/10/tuprolog-making-prolog-ubiquitous/},
    year = 2013
} 
 @article{weblp-ia5,
    author = {Piancastelli, Giulio and Omicini, Andrea and Denti, Enrico},
    doi = {10.3233/IA-2011-0019},
    iris = {11585/100501},
    issn = {1724-8035},
    journal = {Intelligenza Artificiale},
    keywords = {World Wide Web, REST, Contextual Logic Programming, tuProlog, Prolog},
    number = 1,
    pages = {151--155},
    publisher = {IOS Press},
    title = {Towards a Logic Framework for {W}eb Programming},
    url = {http://iospress.metapress.com/content/t25047p73245564g},
    volume = 5,
    wos = {WOS:000217543500020},
    year = 2011
} 
@article{soda-ijaose4, acm = {10.1504/IJAOSE.2010.029808}, author = {Molesini, Ambra and Denti, Enrico and Omicini, Andrea}, doi = {10.1504/IJAOSE.2010.029808}, eissn = {1746-1383}, iris = {11585/83014}, issn = {1746-1375}, journal = {International Journal of Agent-Oriented Software Engineering}, keywords = {Agent-Oriented Software Engineering, Methodologies, Artifacts, A&A Meta-Model, SODA, Conference Management System}, number = 1, pages = {1--31}, publisher = {Inderscience Publishers}, scopus = {2-s2.0-75649088909}, title = {Agent-based Conference Management: A Case Study in {{\sf SODA, url = {http://www.inderscienceonline.com/doi/10.1504/IJAOSE.2010.029808}, urlpdf = {http://www.inderscience.com/storage/f659137121084211.pdf}, volume = 4, year = 2010 } }}}
 @article{cartagows-mags6,
	Author = {Ricci, Alessandro and Denti, Enrico and Piunti, Michele},
	Issn = {1574-1702},
	Journal = {Multi-Agent and Grid Systems},
	Month = jun,
	Note = {Special Issue on "Agents, Web Services and Ontologies: Integrated Methodologies"},
	Number = 2,
	Pages = {105--132},
	Publisher = {IOS Press},
	Title = {A Platform for Developing {SOA/WS} Applications as Open and Heterogeneous Multi-agent Systems},
	Url = {http://iospress.metapress.com/content/c35045841177437w/?p=435869ef31ac46ee90772d193e405661},
	Volume = 6,
	Year = 2010} 
 @article{orchestration-scp66,
        Author = {Viroli, Mirko and Denti, Enrico and Ricci, Alessandro},
        Doi = {doi:10.1016/j.scico.2007.01.008},
        Editor = {Canal, Carlos and Viroli, Mirko},
        Issn = {0167-6423},
        Journal = {Science of Computer Programming},
        Keywords = {Multiagent systems; Orchestration languages; Coordination models; Languages process algebra},
        Month = may,
        Note = {Special Issue on Foundations of Coordination Languages and Software Architectures 2005},
        Number = 3,
        Pages = {226--245},
        Publisher = {Elsevier Science B.V.},
        Title = {Engineering a {BPEL} Orchestration Engine as a Multi-agent System},
Url = {http://www.sciencedirect.com/science/article/pii/S0167642307000378},
        Volume = 66,
        Year = 2007}
 
 @article{tuprolog-scp57,
    acm = {10.1016/j.scico.2005.02.001},
    author = {Denti, Enrico and Omicini, Andrea and Ricci, Alessandro},
    doi = {10.1016/j.scico.2005.02.001},
    iris = {11585/1796},
    issn = {0167-6423},
    journal = {Science of Computer Programming},
    keywords = {Java; Prolog; Language integration; Reflection; Agent infrastructures},
    month = aug,
    number = 2,
    pages = {217--250},
    publisher = {Elsevier Science B.V.},
    scholar = {11814947363577124615},
    scopus = {2-s2.0-21344467290},
    title = {Multi-paradigm {J}ava-{P}rolog Integration in {{\sf tu}Prolog}},
    url = {http://www.sciencedirect.com/science/article/pii/S0167642305000158},
    volume = 57,
    wos = {000230801800004},
    year = 2005
} 
 @article {DP-2003,
   author       = {Denti,Enrico AND Prati,Nando},
   title        = {Relevance of Winning Coalitions in Indirect Control of Corporations}, 
   year         = {2004},
   booktitle    = {Essays on Cooperative Games - in honor of Guillermo Owen},
   journal      = {Theory and Decision},
   publisher    = {Kluwer Academic Publishers},
   volume       = {56},
   number       = {2},
   month        = {2},
   pages        = {183--192},
   issn         = {0040-5833},
   note         = {Double Special Issue},
   doi         = {10.1007/s11238-004-5644-4}
} 
 @article{tools-aai16,
    author = {Denti, Enrico and Omicini, Andrea and Ricci, Alessandro},
    doi = {10.1080/08839510290030462},
    editor = {Müller, Jörg P. and Petta, Paolo},
    eissn = {1087-6545},
    iris = {11585/903191},
    issn = {0883-9514},
    journal = {Applied Artificial Intelligence},
    month = oct # {--} # dec,
    note = {Special Issue: Engineering Agent Systems -- Best of ``From Agent Theory to Agent Implementation (AT2AI-3)''},
    number = 9--10,
    pages = {721--752},
    publisher = {Taylor \& Francis},
    scopus = {2-s2.0-0036820240},
    title = {Coordination Tools for {MAS} Development and Deployment},
    url = {http://www.tandfonline.com/doi/abs/10.1080/08839510290030462},
    urlopenaccess = {http://www.tandfonline.com/doi/epdf/10.1080/08839510290030462},
    urlpdf = {http://www.tandfonline.com/doi/pdf/10.1080/08839510290030462},
    volume = 16,
    wos = {000179222400004},
    year = 2002
} 
 @article{tucson-ijcis11,
    author = {Ricci, Alessandro and Omicini, Andrea and Denti, Enrico},
    doi = {10.1142/S0218843002000637},
    editor = {Klusch, Matthias and Zambonelli, Franco},
    iris = {11585/939233},
    issn = {0218-8430},
    journal = {International Journal of Cooperative Information Systems},
    month = sep # {/} # dec,
    note = {Special Issue: Cooperative {I}nformation {A}gents -- Best Papers of {CIA 2001}},
    number = {3 \& 4},
    pages = {355--379},
    publisher = {World Scientific},
    scopus = {2-s2.0-0036742772},
    title = {Virtual Enterprises and Workflow Management as Agent Coordination Issues},
    url = {https://www.worldscientific.com/doi/10.1142/S0218843002000637},
    volume = 11,
    wos = {000178160900009},
    year = 2002
} 
 @article{respect-scp41,
    author = {Omicini, Andrea and Denti, Enrico},
    doi = {10.1016/S0167-6423(01)00011-9},
    iris = {11585/903090},
    issn = {0167-6423},
    journal = {Science of Computer Programming},
    month = nov,
    number = 3,
    numpages = 41,
    pages = {277--294},
    publisher = {Elsevier Science B. V.},
    scopus = {2-s2.0-0035501083},
    title = {From Tuple Spaces to Tuple Centres},
    url = {http://www.sciencedirect.com/science/article/pii/S0167642301000119},
    volume = 41,
    wos = {000173598300003},
    year = 2001
} 
@article{tucson-aiia2001, author = {Ricci, Alessandro and Omicini, Andrea and Denti, Enrico}, journal = {AI*IA Notizie}, month = dec, number = 4, pages = {48--49}, title = {Enlightened Agents in {{\sf TuCSoN, volume = {XIV}, year = 2001 } }}}
  
 @article{luce-jaamas4,
    acm = {10.1023/A:1010039317965},
    author = {Denti, Enrico and Omicini, Andrea},
    doi = {10.1023/A:1010039317965},
    eissn = {1573-7454},
    iris = {11585/903091},
    issn = {1387-2532},
    journal = {Autonomous Agents and Multi-Agent Systems},
    month = mar # {-} # jun,
    number = 1-2,
    pages = {139--141},
    publisher = {Springer Netherlands},
    scopus = {2-s2.0-0035587852},
    title = {{{\sf LuCe}}: A Tuple-based Coordination Infrastructure for {P}rolog and {J}ava Agents},
    url = {http://link.springer.com/article/10.1023/A:1010039317965},
    volume = 4,
    wos = {WOS:000167543800008},
    year = 2001
} }}})))
((({{{ @article{luce-spe99,
    acm = {334472},
    author = {Denti, Enrico and Omicini, Andrea},
    dblp = {journals/spe/DentiO99},
    doi = {10.1002/(SICI)1097-024X(199910)29:12<1103::AID-SPE273>3.0.CO;2-E},
    editor = {Comer, Douglas E. and Wellings, Andy J.},
    eissn = {1097-024X},
    iris = {11585/903187},
    issn = {0038-0644},
    journal = {Software: Practice and Experience},
    month = oct,
    number = 12,
    pages = {1103--1121},
    publisher = {John Wiley \& Sons, Ltd.},
    scopus = {2-s2.0-0033206756},
    title = {An Architecture for Tuple-based Coordination of Multi-Agent Systems},
    url = {http://onlinelibrary.wiley.com/doi/10.1002/(SICI)1097-024X(199910)29:12<1103::AID-SPE273>3.0.CO;2-E/abstract},
    urlpdf = {http://onlinelibrary.wiley.com/doi/10.1002/(SICI)1097-024X(199910)29:12<1103::AID-SPE273>3.0.CO;2-E/pdf},
    volume = 29,
    wos = {000083073900004},
    year = 1999
} }}})))
((({{{ @misc {D-phdthesisAbstract,
   author       = {Denti,Enrico},
   title        = {Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction
	           (Abstract of Ph.D. Thesis)}, 
   year         = {1998},
   howpublished = {AI*IA Notizie, Anno XI, N° 4},
   number       = {4},
   month        = {December},
} }}})))
((({{{  }}})))
</div>
<div  class="mainselectbottom">
25 articles in journal &bull; [[top>>||anchor="top"]] &bull; [[index>>||anchor="index"]] &bull; [[bottom>>||anchor="bottom"]]</div>
<div class="mainselectseparator">
<a class="mainselectseparatorlink" id="inproceedings" href=/xwiki/bin/view/EnricoDenti/Publications/PerSort?sort=inproceedings&bibtex=true&inline=true&user=XWiki.EnricoDenti>
papers in proceedings
</a>
</div>
<div>
((({{{ @inproceedings{kotlindsi4prolog-woa2020,
    address = {Aachen, Germany},
    author = {Ciatto, Giovanni and Calegari, Roberta and Siboni, Enrico and Denti, Enrico and Omicini, Andrea},
    booktitle = {WOA 2020 -- 21th Workshop ``From Objects to Agents''},
    dblp = {conf/woa/CiattoCSDO20},
    editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
    iris = {11585/781391},
    keywords = {object-oriented programming, multi-paradigm languages, domain-specific languages, Kotlin},
    location = {Bologna, Italy},
    month = oct,
    note = {21st Workshop ``From Objects to Agents'' (WOA 2020), Bologna, Italy, 14--16~} # sep # {~2020. Proceedings},
    numpages = 18,
    pages = {219--236},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scopus = {2-s2.0-85095597762},
    series = {CEUR Workshop Proceedings},
    subseries = {AIxIA Series},
    title = {{{\sf 2}P-{\sc Kt}}: logic programming with objects \char"26{} functions in {K}otlin},
    url = {http://ceur-ws.org/Vol-2706/paper14.pdf},
    urlpdf = {http://ceur-ws.org/Vol-2706/paper14.pdf},
    volume = 2706,
    year = 2020
} }}})))
((({{{ @incollection{edgeintelligenceguidelines-idcs2019,
    author = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea},
    booktitle = {Internet and Distributed Computing Systems (IDCS 2019)},
    dblp = {conf/idcs/CalegariCDO19},
    doi = {10.1007/978-3-030-34914-1_25},
    eisbn = {978-3-030-34914-1},
    iris = {11585/705119},
    isbn = {978-3-030-34913-4},
    keywords = {design guidelines, CPCS, micro-intelligence, LPaaS, Situated Logic Programming, Edge intelligence},
    location = {Napoli, Italy},
    month = {10--12}}},
    scopus = {2-s2.0-85075905010},
    series = {Lecture Notes in Computer Science},
    title = {Engineering Micro-intelligence at the Edge of {CPCS}: Design Guidelines},
    url = {http://link.springer.com/10.1007/978-3-030-34914-1_25},
    volume = 11874,
    year = 2019
} }}})))
((({{{ @inproceedings{lpaas-ic2e2018,
    author = {Calegari, Roberta and Ciatto, Giovanni and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
    booktitle = {2018 IEEE International Conference on Cloud Engineering (IC2E 2018)},
    dblp = {conf/ic2e/CalegariC0DO18conf/ic2e/CalegariC0DO18},
    doi = {10.1109/IC2E.2018.00061},
    ieee = {8360344},
    iris = {11585/636933},
    isbn = {978-1-5386-5008-0},
    month = {17--20}}},
    publisher = {IEEE Computer Society},
    scholar = {470119961420072962},
    scopus = {2-s2.0-85048334877},
    title = {Micro-intelligence for the {IoT}: {SE} Challenges and Practice in {LPaaS}},
    url = {http://ieeexplore.ieee.org/document/8360344/},
    urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8360344},
    wos = {000759774400038},
    year = 2018
} }}})))
((({{{ @inproceedings{spacetimelp-woa2018,
    author = {Calegari, Roberta and Ciatto, Giovanni and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
    booktitle = {WOA 2018 -- 19th Workshop ``From Objects to Agents''},
    dblp = {conf/woa/CalegariC0DO18},
    editor = {Cossentino, Massimo and Sabatucci, Luca and Seidita, Valeria},
    iris = {11585/646038},
    keywords = {LPaaS, situatedness, logic programming, SOA, space-time programming},
    location = {Palermo, Italy},
    month = {29--30}}},
    scopus = {2-s2.0-85054314622},
    series = {CEUR Workshop Proceedings},
    subseries = {AI*IA Series},
    title = {Logic Programming in Space-Time: The Case of Situatedness in {LPaaS}},
    url = {http://ceur-ws.org/Vol-2215/paper_11.pdf},
    urlpdf = {http://ceur-ws.org/Vol-2215/paper_11.pdf},
    volume = 2215,
    year = 2018
} }}})))
((({{{ @inproceedings{blockchainlp-woa2018,
    author = {Ciatto, Giovanni and Calegari, Roberta and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
    booktitle = {WOA 2018 -- 19th Workshop ``From Objects to Agents''},
    dblp = {conf/woa/CiattoC0DO18},
    editor = {Cossentino, Massimo and Sabatucci, Luca and Seidita, Valeria},
    iris = {11585/646042},
    keywords = {blockchain, logic programming, smart contracts},
    location = {Palermo, Italy},
    month = jun,
    pages = {69--74},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scholar = {816353538952619884},
    scopus = {2-s2.0-85054323401},
    series = {CEUR Workshop Proceedings},
    subseries = {AI*IA Series},
    title = {From the Blockchain to Logic Programming and Back: Research Perspectives},
    url = {http://ceur-ws.org/Vol-2215/paper_12.pdf},
    urlpdf = {http://ceur-ws.org/Vol-2215/paper_12.pdf},
    volume = 2215,
    year = 2018
} }}})))
((({{{ @Inbook{Calegari2018,
author="Calegari, Roberta
and Denti, Enrico",
editor="De Pietro, Giuseppe
and Gallo, Luigi
and Howlett, Robert J.
and Jain, Lakhmi C.",
title="Context Reasoning and Prediction in Smart Environments: The Home Manager Case",
bookTitle="Intelligent Interactive Multimedia Systems and Services 2017",
year="2018",
publisher="Springer International Publishing",
address="Cham",
pages="451--460",
isbn="978-3-319-59480-4",
doi="10.1007/978-3-319-59480-4_45",
url="http://dx.doi.org/10.1007/978-3-319-59480-4_45",
note="Proceedings of IIMSS 2017, Vilamoura, Portugal, 21-23 June 2017"
} }}})))
((({{{ @inproceedings{lpaas-icnsc2017,
    author = {Calegari, Roberta and Denti, Enrico and Mariani, Stefano and Omicini, Andrea},
    booktitle = {2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC 2017)},
    dblp = {conf/icnsc/CalegariD0O17},
    doi = {10.1109/ICNSC.2017.8000070},
    editor = {Fortino, Giancarlo and Zhou, MengChu and Lukszo, Zofia and Vasilakos, Athanasios V. and Basile, Francesco and Palau, Carlos and Liotta, Antonio and Fanti, Maria Pia and Guerrieri, Antonio and Vinci, Andrea},
    eisbn = {978-1-5090-4428-0},
    ieee = {8000070},
    iris = {11585/605740},
    isbn = {978-1-5090-4428-3},
    keywords = {IoT, logic programming, LPaaS, pervasive computing, artificial intelligence, interoperability},
    location = {Calabria, Italy},
    month = may,
    numpages = 6,
    pages = {72--77},
    publisher = {IEEE},
    scopus = {2-s2.0-85025141526},
    title = {{L}ogic {P}rogramming as a {S}ervice ({LPaaS}): Intelligence for the {IoT}},
    url = {http://ieeexplore.ieee.org/document/8000070/},
    urlpdf = {http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8000070},
    wos = {000463480000013},
    year = 2017
} }}})))
((({{{ @inproceedings{acec-wetice2016,
	booktitle = {Proc. 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises},
	year = 2016,
	keywords = {daptation, socio-technical systems, smart spaces},
	status = {Published},
	venue_list = {--},
	month = {June},
	venue_s = {ACEC - WETICE 2016},
	publisher = {IEEE Computer Society},
	author = {Cabri, Giacomo and  Cossentino, Massimo  and Denti, Enrico and  Giorgini, Paolo and  Molesini, Ambra and  Mordonini, Monica and Tomaiuolo, Michele and Sabatucci, Luca},
	title = {Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces},
	isbn = {978-1-5090-1663-1/16},
	abstract = {The widespread availability of mobile devices equipped with sensors on board is strongly pushing towards the development of smart spaces—offices, streets, hospital, airports, homes and shops equipped with sensing systems to help people find relevant information quickly and use services comfortably, often in a collaborative way.
A common aspect in these scenarios is that the technology complexity is amplified by the organisational and procedural complexity of the application domain: this is in fact typical of socio-technical systems—kinds of systems that inherently need to be conceived, designed and developed taking into account both the technological and the human/organisational aspects from the earliest stages.
In this paper, we select and discuss some challenges in the definition and development of adaptive socio-technical systems for smart spaces; the selected challenges aim at focusing in particular on (i) a socio-technical model and process, (ii) a multi-level integration framework, and (iii) methods and system analysis techniques for runtime adaptation.
In fact, designing such systems requires the suitable combination of enabling technologies into an operational framework, integrating and coordinating a multiplicity of processes managed by complex organisations, each made up of independent and autonomous units.},
	pages = {3--8},
	articleNo = 33,
	numpages = 6,
	doi = { 10.1109/WETICE.2016.11}} }}})))
((({{{ @inproceedings{lvlp-cilc2016,
    address = {Milano, Italy},
    author = {Calegari, Roberta and Denti, Enrico and Dovier, Agostino and Omicini, Andrea},
    booktitle = {CILC 2016 – Italian Conference on Computational Logic. Proceedings of the 31st Italian Conference on Computational Logic},
    dblp = {conf/cilc/CalegariDDO16},
    editor = {Fiorentini, Camillo and Momigliano, Alberto},
    iris = {11585/562441},
    issn = {1613-0073},
    keywords = {labelled logic programming; labelled systems; formal semantics},
    month = {20-22}}},
    publisher = {CEUR-WS},
    scopus = {2-s2.0-84985916728},
    series = {CEUR Workshop Proceedings},
    subseries = {AI*IA Series},
    title = {Labelled Variables in Logic Programming: Foundations},
    url = {http://ceur-ws.org/Vol-1645/paper_7.pdf},
    volume = 1645,
    year = 2016
} }}})))
((({{{ @incollection{bison-insci2016,
    author = {Cevenini, Claudia and Denti, Enrico and Omicini, Andrea and Cerno, Italo},
    booktitle = {Internet Science. 3rd International Conference on Internet Science (INSCI 2016): Openness, Collaboration and Collective Action},
    chapter = 25,
    dblp = {conf/insci/CeveniniDOC16},
    doi = {10.1007/978-3-319-45982-0_25},
    editor = {Bagnoli, Franco and Satsiou, Anna and Stavrakakis, Ioannis and Nesi, Paolo and Pacini, Giovanna and Welp, Yanina and Tiropanis, Thanassis and DiFranzo, Dominic},
    eisbn = {978-3-319-45982-0},
    iris = {11585/562456},
    isbn = {978-3-319-45981-3},
    issn = {0302-9743},
    keywords = {Socio-technical systems; Contact centres; Anonymisation; Privacy},
    location = {Firenze, Italy},
    month = {12-14}}},
    scopus = {2-s2.0-84986203603},
    series = {Lecture Notes in Computer Science},
    title = {Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the {EU}},
    url = {http://link.springer.com/10.1007/978-3-319-45982-0_25},
    volume = 9934,
    wos = {000389030700025},
    year = 2016
} }}})))
((({{{ @inproceedings{insci2016-smartspace,
	location = {Firenze, Italy},
	booktitle = { Internet Science. 3rd International Conference on Internet Science (INSCI 2016): Openness, Collaboration and Collective Action},
	year = 2016,
	keywords = {Smart Spaces Socio-Technical Systems Pervasive Computing Internet of Things Smart Home Ambient Intelligence Multi-Agent Systems Software infrastructures},
	pdf-local = {chp3A10.10072F978-3-319-45982-026.pdf},
	status = {Published},
	venue_list = {--},
	url = {http://link.springer.com/10.1007/978-3-319-45982-0_26},
	editor = {Bagnoli, Franco and Satsiou, Anna and Stavrakakis, Ioannis and Nesi, Paolo and Pacini, Giovanna and Welp, Yanina and Tiropanis, Thanassis and DiFranzo, Dominic},
	month = {12-14 September},
	series = {Lecture Notes in Computer Science},
	eisbn = {978-3-319-45982-0},
	issn = {0302-9743},
	publisher = {Springer International Publishing},
	author = {Calegari, Roberta and Denti, Enrico},
	chapter = 26,
	title = {The Butlers Framework for Socio-Technical Smart Spaces},
	isbn = {978-3-319-45981-3},
	note = {Accepted as a poster},
	pages = {306-317},
	venue_j = {Journals.Lncs},
	volume = 9934,
	numpages = 12,
	wos = {000389030700026},
	doi = {10.1007/978-3-319-45982-0 2}} }}})))
((({{{ @inproceedings{lpaas-woa2016,
    author = {Calegari, Roberta and Denti, Enrico and Mariani, Stefano and Omicini, Andrea},
    booktitle = {WOA 2016 -- 17th Workshop ``From Objects to Agents''},
    dblp = {conf/woa/CalegariDMO16},
    editor = {Santoro, Corrado and Messina, Fabrizio and De Benedetti, Massimiliano},
    iris = {11585/562436},
    issn = {1613-0073},
    keywords = {Logic programming; Pervasive systems; IoT; LP-as-a-service},
    location = {Catania, Italy},
    month = {29--30}}},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scopus = {2-s2.0-84985995176},
    series = {CEUR Workshop Proceedings},
    subseries = {AI*IA Series},
    title = {Towards Logic Programming as a Service: Experiments in {\sf tu}{P}rolog},
    url = {http://ceur-ws.org/Vol-1664/w14.pdf},
    volume = 1664,
    year = 2016
} }}})))
((({{{ @conference{homeMan2-icaart2015,
	Address = {Lisbon, Portugal},
	Author = {Denti, Enrico and Calegari, Roberta},
	Booktitle = {7th International Conference on Agents and Artificial Intelligence 2015  (ICAART 2015)},
	Editor = {Loiseau, Stephane and Filipe, Joaquim and Duval, Beatrice and Van Den Herik, Jaap},
	Month =  {10--12}}}ome{M}anager: A Pervasive Multi-Agent System for Home Intelligence},
	Pages = {249-256},
	Publisher = {SCITEPRESS – Science and Technology Publications},
	Isbn = {978-989-758-073-4},
	Doi = {10.5220/0005284002490256},
	Year = 2015} }}})))
((({{{ @inproceedings{labelled2p-dcaiia2015,
    address = {Ferrara, Italy},
    author = {Calegari, Roberta and Denti, Enrico and Omicini, Andrea},
    booktitle = {Proceedings of the Doctoral Consortium of the 14th Symposium of the Italian Association for Artificial Intelligence (AI*IA 2015 DC)},
    dblp = {conf/aiia/CalegariDO15},
    editor = {Bellodi, Elena and Bonfietti, Alessio},
    iris = {11585/521880},
    issn = {1613-0073},
    keywords = {Labelled Variables, CLP, pervasive systems, Labelled Systems},
    location = {Ferrara, Italy},
    month = {23--24}}},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scholar = {16046264553640973420},
    scopus = {2-s2.0-85009165803},
    semanticscholar = {9324685},
    series = {CEUR Workshop Proceedings},
    subseries = {AI*IA Series},
    title = {Labelled Variables in Logic Programming: A First Prototype in {{\sf tu}Prolog}},
    urlpdf = {http://ceur-ws.org/Vol-1485/proceedings.pdf#page=30},
    volume = 1485,
    year = 2015
} }}})))
((({{{ @inproceedings{homemanager-its2014,
        Address = {Taipei, Taiwan},
	author = {Denti, Enrico and Calegari, Roberta and Prandini, Marco},
	title = {Extending a Smart Home Multi-Agent System with Role-Based Access Control},
	Booktitle = {5th International Conference on Internet Technologies \& Society 2014  (ITS 2014)},
        Editor = {Kommers, Piet and Issa, Tomayess and Chang, Dian-Fu and Isaías, Pedro},
	Month = {10--12}}},
        ISBN = {978-989-8533-29-6},
        Year = 2014,
	Note = {Best Paper Award}
} }}})))
((({{{  }}})))
((({{{ @inproceedings{mabs-woa2011,
    author = {Molesini, Ambra and Denti, Enrico and Omicini, Andrea},
    booktitle = {WOA 2011 -- XII Workshop Nazionale ``Dagli Oggetti agli Agenti''},
    editor = {Fortino, Giancarlo and Garro, Alfredo and Palopoli, Luigi and Russo, Wilma and Spezzano, Giandomenico},
    iris = {11585/103230},
    issn = {1613-0073},
    keywords = {MABS, medioeval battles, MAS, SODA, TuCSoN, AOSE},
    location = {Rende, Italy},
    month = {4-6}}},
    scopus = {2-s2.0-84868677911},
    series = {CEUR Workshop Proceedings},
    title = {{\sf BaSi}: Multi-Agent Based Simulation for Medieval Battles},
    urlpdf = {http://ceur-ws.org/Vol-741/ID11_MolesiniDentiOmicini.pdf},
    volume = 741,
    year = 2011
} }}})))
((({{{ @inproceedings{sec-icaart2010,
	Address = {Valencia, Spain},
	Author = {Molesini, Ambra and Prandini, Marco and Nardini, Elena and Denti, Enrico},
	Booktitle = {2nd International Conference on Agents and Artificial Intelligence (ICAART 2010)},
	Editor = {Filipe, Joaquim and Fred, Ana and Sharp, Bernadette},
	Isbn = {978-989-674-022-1},
	Month = {22--24}}},
	Publisher = {INSTICC},
	Title = {Risk Analysis and Deployment Security Issues in a Multi-Agent System},
	Volume = 2,
	Year = 2010} }}})))
((({{{ @article{,
	urlpdf = {http://www.plantsciences.ucdavis.edu/symposium/2010/fspm/pdf/Proceedings_FSPM2010.pdf},
	booktitle = {Proceedings of the 6th International Workshop on Functional-Structural Plant Models},
	publisher = {UCDAVIS, California},
	author = {Vitali, Giuliano and Magnanini, Eugenio and Mennucci, Niko and Denti, Enrico},
	title = {Interacting with Virtual Plants: a Client-Server Approach},
	year = 2010,
	abstract = {In Functional Structural Plant Modeling a main objective is the comprehension of the interaction
between plant morphology and environment, which means the need of developing tools allowing the
user to validate a mathematical model on the basis of its graphical output: the Virtual Plant (VP).
In this study a client-server approach has been used to have the VP simulation engine apart from the
VP rendering, easy to be used also on the internet, whose parts could be developed apart by different competencies (engine developer, parameter estimator, tester) and using different computing resources.
Client and server applications communicate using the SOAP protocol, which is used to exchange
XML documents. An XML dialect (Virtual Plant Modeling Language – VPML) has been coined to code statically a plant grown within a give environment (climate) and a time interval. VPML may code a single plantule as much as a full plant history, made of several snapshots taken during the growing period. VPML only maps plant structure, that is how plant modules (internode, bud, petiole, blade) are connected, together with the values of their parameters, both graphical and physiological.
Graphic features of plant modules are got from separate VRML files, and used on the client to build-
up the VP graphic aspect. The client also allows the user to interact with the virtual plant profiting of the native features of Java3D: user can select, query and prune single modules and submit the modified plant to the server to have it grown to another date.},
	keywords = {virtual plant, modeling, java, botany},
	status = {Published},
	pages = {240-240},
	venue = {--},
	url = {http://www.plantsciences.ucdavis.edu/symposium/2010/fspm/main/proceedings.htm},
	editor = {DeJong, Theodore and Da Silva, David},
	month = {September}} }}})))
((({{{ @article{,
	booktitle = {Proceedings of AGRO 2010 - the XI ESA Congress, Montpellier, France},
	publisher = {Pure Impressions, Montpellier, France},
	author = {Vitali, Giuliano and Magnanini, Eugenio and Denti, Enrico},
	title = {Simulate plants: a client-server graphic approach},
	isbn = {978-2-909613-01-7},
	year = 2010,
	note = {August 29 - September 3, 2010},
	abstract = {Recently the sector of Functional Structural Plant Modeling (FSPM) has significatively grown (AA.VV., 2004,2007) attracting the attention of researchers from several branches of biological sciences. Objective of FSP Modelers is using a morphological characterization to improve plant eco-physiological modeling. In some case they move from pure mathematical and geometrical simulators used in animation movies and landscape design, in other cases they are to interpretate external characters of a plant. Several tools has been developed, some freely downloadable, others with a commercial mean. Even when they are available at a collaborative level, the plant simulating engine is often embedded with graphics and few efforts has been made to distinguish the task of making a plant from that of representing it on a screen which also means define a standard to code plants. Communicating a virtual plant between programs with different purposes not only allow for a better use of computer resourses but could allow for plants interchange between researchers.
The development of the project required to define and reach several objectives, as the possibility to work on a virtual-plant project at a team level, with different skillness and competencies, and to define a standard language to represent plant structure separated from the geometrical features. Even if the first objective was fullfilled, it seems to require a powerful server when more clients are run at same time, as in web-games. About the second it is probably a former step toward a proposal for an open format for interchange plants at structural level. The simulator, is at present very simple and is still lacking a radiative environment. Java3D allows for self-shading but not for reciprocal shading. Other features which could be important for realistic rendering is physical collisions and gravity, both important to improve space occupation of elements parts in light and other atmospheric interactions. From the other side, the system is per se, already able to simulate a number of plants.},
	keywords = {virtual plant, modeling, java, client-server},
	status = {Published},
	pages = {913-914},
	venue = {--},
	month = {September}} }}})))
((({{{ @incollection{aose-ccis67,
    author = {Molesini, Ambra and Denti, Enrico and Omicini, Andrea},
    booktitle = {Agents and Artificial Intelligence},
    doi = {10.1007/978-3-642-11819-7_16},
    editor = {Filipe, Joaquim and Fred, Ana and Sharp, Bernadette},
    eisbn = {978-3-642-11819-7},
    iris = {11585/93505},
    isbn = {978-3-642-11818-0},
    issn = {1865-0929},
    note = {International Conference (ICAART 2009), Porto, Portugal, 19-21 January 2009. Revised Selected Papers},
    pages = {205--218},
    publisher = {Springer},
    scopus = {2-s2.0-77957599274},
    series = {Communications in Computer and Information Science},
    title = {{H}ome{M}anager: Testing Agent-Oriented Software Engineering in Home Intelligence},
    url = {http://link.springer.com/10.1007/978-3-642-11819-7_16},
    volume = 67,
    wos = {000278079200016},
    year = 2010
} }}})))
((({{{ @incollection{weblp-ceur487,
    author = {Piancastelli, Giulio and Omicini, Andrea and Denti, Enrico},
    booktitle = {Il Milione (i.e. $2\hat{}}},
    iris = {11585/82474},
    issn = {1613-0073},
    keywords = {World Wide Web, REST, Contextual Logic Programming, tuProlog, Prolog},
    month = aug,
    note = {Proceedings of the Day Dedicated to Prof. Alberto Martelli. Turin, Italy, 3 June 2008},
    pages = {15--19},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scopus = {2-s2.0-84893178974},
    series = {CEUR Workshop Proceedings},
    title = {Towards a Logic Language and Framework for {W}eb Programming},
    url = {http://CEUR-WS.org/Vol-487/paper3.pdf},
    urlpdf = {http://CEUR-WS.org/Vol-487/paper3.pdf},
    volume = 487,
    year = 2009
} }}})))
((({{{ @inproceedings{aose-icaart2009,
    author = {Molesini, Ambra and Denti, Enrico and Omicini, Andrea},
    booktitle = {International Conference on Agents and Artificial Intelligence (ICAART 2009)},
    editor = {Filipe, Joaquim and Fred, Ana and Sharp, Bernadette},
    iris = {11585/70534},
    isbn = {978-989-8111-66-1},
    location = {Porto, Portugal},
    month = {19--21}}},
    scopus = {2-s2.0-70349464966},
    title = {An Agent-based Application for Home Intelligence},
    wos = {000267058000059},
    year = 2009
} }}})))
((({{{ @incollection{soda-esawIX,
    acm = {10.1007/978-3-642-02562-4_4},
    author = {Molesini, Ambra and Denti, Enrico and Omicini, Andrea},
    booktitle = {Engineering Societies in the Agents World IX},
    doi = {10.1007/978-3-642-02562-4_4},
    editor = {Artikis, Alexander and Picard, Gauthier and Vercouter, Laurent},
    eissn = {1611-3349},
    iris = {11585/82471},
    isbn = {978-3-642-02561-7},
    issn = {0302-9743},
    keywords = {RBAC; RBAC-MAS; SODA; Agent-Oriented Software Engineering},
    month = jun,
    note = {9th International Workshop (ESAW'08), 24--26~} # sep # {~2008, Saint-\'{E}tienne, France. Revised Selected Papers},
    pages = {69--84},
    publisher = {Springer},
    scopus = {2-s2.0-70349335669},
    series = {LNCS},
    title = {{RBAC-MAS} \& {{\sf SODA}}: Experimenting {RBAC} in {AOSE}},
    url = {http://link.springer.com/10.1007/978-3-642-02562-4_4},
    volume = 5485,
    wos = {000268328400004},
    year = 2009
} }}})))
((({{{ @inproceedings{eclipse2p-ceur436,
	Author = {Piancastelli, Giulio and Denti, Enrico},
	Booktitle = {Eclipse-IT 2008 -- 3rd Italian Workshop on Eclipse Technologies},
	Editor = {Lanubile, Filippo},
	Location = {Bari, Italy},
	scopus = {2-s2.0-84885705295},
	Series = {CEUR Workshop Proceedings},
	Title = {Designing a Development Environment for Logic and Multi-Paradigm Programming},
	Url = {http://ceur-ws.org/Vol-436/paper2.pdf},
	Volume = 436,
	Year = 2009}
 }}})))
((({{{ @inproceedings{aose-sac09,
    acm = {1529429},
    author = {Molesini, Ambra and Nardini, Elena and Denti, Enrico and Omicini, Andrea},
    booktitle = {24th Annual ACM Symposium on Applied Computing (SAC 2009)},
    doi = {10.1145/1529282.1529429},
    editor = {Shin, Sung Y. and Ossowski, Sascha and Menezes, Ronaldo and Viroli, Mirko},
    iris = {11585/71832},
    isbn = {978-1-60558-166-8},
    keywords = {Multi-agent systems, AOSE, software process, methodology, MAS infrastructures, SODA, TuCSoN, SPEM, situational method engineering},
    location = {Honolulu, Hawai'i, USA},
    month = {8--12}}},
    scopus = {2-s2.0-72949123438},
    title = {Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures},
    url = {http://dl.acm.org/citation.cfm?id=1529429},
    volume = {II},
    year = 2009
} }}})))
((({{{ @inproceedings{soda-woa2008,
    address = {Palermo, Italy},
    author = {Molesini, Ambra and Nardini, Elena and Denti, Enrico and Omicini, Andrea},
    booktitle = {9th Workshop "From Objects to Agents" (WOA 2008) -- Evolution of Agent Development: Methodologies, Tools, Platforms and Languages},
    editor = {Baldoni, Matteo and Cossentino, Massimo and De Paoli, Flavio and Seidita, Valeria},
    iris = {11585/70468},
    isbn = {978-88-6122-122-2},
    keywords = {SPEM, SODA, OMG standard, Meta-modelling, AOSE Methodologies},
    month = nov,
    pages = {108--114},
    publisher = {Seneca Edizioni},
    scopus = {2-s2.0-84868687104},
    title = {Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: {SPEM} 2.0 on {{\sf SODA}}},
    url = {http://www.pa.icar.cnr.it/woa08/materiali/Proceedings.pdf},
    year = 2008
} }}})))
((({{{ @inproceedings{aose-sac08,
    acm = {1363853},
    address = {Fortaleza, Ceará, Brazil},
    author = {Nardini, Elena and Molesini, Ambra and Omicini, Andrea and Denti, Enrico},
    booktitle = {23th ACM Symposium on Applied Computing (SAC 2008)},
    doi = {10.1145/1363686.1363853},
    editor = {Wainwright, Roger L. and Haddad, Hisham M. and Menezes, Ronaldo and Viroli, Mirko},
    iris = {11585/62494},
    isbn = {978-1-59593-753-7},
    keywords = {AOSE methodology, SODA, SPEM, agent-oriented software engineering, multiagent system},
    month = {16--20}}},
    publisher = {ACM},
    scopus = {2-s2.0-56749097328},
    title = {{SPEM} on Test: the {{\sf SODA}} Case Study},
    url = {http://dl.acm.org/citation.cfm?id=1363853},
    volume = 1,
    wos = {000268392200128},
    year = 2008
} }}})))
((({{{ @inproceedings{soda-esaw08,
    address = {Saint-Étienne, France},
    author = {Molesini, Ambra and Denti, Enrico and Omicini, Andrea},
    booktitle = {9th International Workshop ``Engineering Societies in the Agents World'' (ESAW'08)},
    keywords = {RBAC; RBAC-MAS; SODA; Agent-Oriented Software Engineering},
    month = {24--26}}}}: Experimenting {RBAC} in {AOSE}},
    url = {http://www.emse.fr/esaw08/submissions/esaw2008_submission_5.pdf},
    urlpdf = {http://www.emse.fr/esaw08/submissions/esaw2008_submission_5.pdf},
    year = 2008
} }}})))
((({{{ @inproceedings {RiDL-PPPJ08,
   author       = {Riccioni, Anna and Denti, Enrico and Laschi, Roberto},
   doi = {10.1145/1411732.1411735},
   title        = {An experimental environment for teaching {J}ava Security}, 
   year         = 2008,
   booktitle    = {6th ACM International Symposium on Principles and Practice of Programming in Java (PPPJ 2008) - Modena, Italy, 9-11 September 2008},
   editor       = {Vega, Louis and Amaral, Vasco and Horspool, Nigel and Cabri, Giacomo},
   publisher    = {ACM},
   volume       = 347,
   month        = oct,
   Series       = {ACM International Conference Proceeding},
   pages        = {13--22},
   isbn         = {978-1-60558-223-8}} }}})))
((({{{ @inproceedings{tuprolog-eit08,
	Author = {Piancastelli, Giulio and Denti, Enrico},
	Booktitle = {Eclipse-IT 2008. 3rd Italian Workshop on Eclipse Technologies. Proceedings},
	Editor = {Lanubile, Filippo},
	Month = nov,
        Pages = {17--26},
	Title = {Designing a Development Environment for Logic and Multi-Paradigm Programming},
	Year = 2008}
 }}})))
((({{{ @incollection{soda-esawVIII,
    acm = {10.1007/978-3-540-87654-0_17},
    author = {Molesini, Ambra and Denti, Enrico and Omicini, Andrea},
    booktitle = {Engineering Societies in the Agents World VIII},
    doi = {10.1007/978-3-540-87654-0},
    editor = {Artikis, Alexander and O'Hare, Gregory and Stathis, Kostas and Vouros, George},
    eissn = {1611-3349},
    iris = {11585/62573},
    isbn = {978-3-540-87653-3},
    issn = {0302-9743},
    month = sep,
    note = {8th International Workshop (ESAW'07), 22--24~} # oct # {~2007, Athens, Greece. Revised Selected Papers},
    pages = {300--317},
    publisher = {Springer},
    scopus = {2-s2.0-55249105476},
    series = {LNCS},
    title = {From {AO} Methodologies to {MAS} Infrastructures: The {{\sf SODA}} Case Study},
    url = {http://link.springer.com/10.1007/978-3-540-87654-0_17},
    urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-540-87654-0_17.pdf},
    volume = 4995,
    wos = {000261347600017},
    year = 2008
} }}})))
((({{{ @inproceedings{soda-esaw07,
    address = {Athens, Greece},
    author = {Molesini, Ambra and Denti, Enrico and Omicini, Andrea},
    booktitle = {8th International Workshop ``Engineering Societies in the Agents World'' (ESAW'07)},
    editor = {Artikis, Alexander and O'Hare, Gregory and Stathis, Kostas and Vouros, George},
    month = {22--24}}},
    publisher = {NCSR ``Demokritos''},
    title = {From {AOSE} Methodologies to {MAS} Infrastructures: The {{\sf SODA}} Case Study},
    year = 2007
} }}})))
((({{{ @inproceedings {RD-woa07,
   author       = {Ricci,Alessandro AND Denti,Enrico},
   title        = {simpA-WS: a Simple Agent-Oriented Programming Model and Technology for Developing SOA and Web Services}, 
   year         = {2007},
   booktitle    = {Dagli Oggetti agli Agenti - Agenti e Industria: Applicazioni tecnologiche degli agenti software (WOA 2007)},
   editor       = {Baldoni,Matteo AND Boccalatte,Antonio AND De Paoli,Flavio AND Martelli,Maurizio AND Mascardi,Viviana},
   publisher    = {Seneca Edizioni, Torino},
   month        = {September},
   pages        = {140-156},
   address      = {Genova, Italy},
   isbn         = {978-88-6122-061-4},
   note         = {WOA 2007 - Dagli Oggetti agli Agenti Agenti e Industria: 
	Applicazioni tecnologiche degli agenti software - Genova, 24-25 Settembre 2007},
   
} }}})))
((({{{ @inproceedings {RidEclipse07,
   author       = {Riccioni, Anna and Denti, Enrico},
   title        = {{vLab}: an {E}clipse-based Virtual Laboratory}, 
   year         = {2007},
   booktitle    = {First International Conference on Eclipse Technologies (ECLIPSE - IT '07)},
   publisher    = {Cuzzolin Editore},
   month        = {oct,
   pages        = {81--92},
   address      = {Napoli, Italy},
   isbn         = {978-88-87998-79-5}} }}})))
((({{{ @inproceedings{owls-eumas06,
 Address = {Lisbon, Portugal},
 Author = {Rubino, Rossella and Molesini, Ambra and Denti, Enrico},
 Booktitle = {4th European Workshop on Multi-Agent Systems (EUMAS 2006)},
 Editor = {Omicini, Andrea and Dunin-Keplicz, Barbara and Padget, Julian},
 Issn = {1613-0073},
 Month = {14--15}}},
 Series = {CEUR Workshop Proceedings},
 Title = {{OWL-S} for Describing Artifacts},
 Url = {http://ceur-ws.org/Vol-223/72.pdf},
 Year = 2006} }}})))
((({{{ @article{Cabano2006139,
title = "Designing a BPEL Orchestration Engine Based on ReSpecT Tuple Centres",
journal = "Electronic Notes in Theoretical Computer Science",
volume = "154",
number = "1",
pages = "139 - 158",
year = "2006",
issn = "1571-0661",
doi = "10.1016/j.entcs.2005.12.037",
url = "http://www.sciencedirect.com/science/article/pii/S1571066106001836",
author = "Michele Cabano and Enrico Denti and Alessandro Ricci and Mirko Viroli",
} }}})))
((({{{ @inproceedings{aose-aica06,
    address = {Cesena, Italy},
    author = {Molesini, Ambra and Denti, Enrico and Omicini, Andrea},
    booktitle = {Atti Congresso Annuale AICA 2006},
    isbn = {88-6055-075-0},
    month = {21--22}}},
    publisher = {Alinea Editrice, Firenze, Italy},
    title = {Metodologie per l'ingegneria del software: approccio ad agenti},
    volume = 1,
    year = 2006
} }}})))
((({{{ @incollection{norms-coinI,
    acm = {10.1007/11775331_9},
    author = {Rubino, Rossella and Omicini, Andrea and Denti, Enrico},
    booktitle = {Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems},
    doi = {10.1007/11775331_9},
    editor = {Boissier, Olivier and Padget, Julian A. and Dignum, Virginia and Lindemann, Gabriela and Matson, Eric and Ossowski, Sascha and Sichman, Jaime Simão and Vázquez-Salceda, Javier},
    eissn = {1611-3349},
    iris = {11585/6276},
    isbn = {978-3-540-35173-3},
    isbn10 = {3-540-35173-6},
    issn = {0302-9743},
    month = jun,
    note = {AAMAS 2005 International Workshops ``Agents, Norms and Institutions for Regulated Multi-Agent Systems'' (ANI@REM 2005), and ``Organizations in Multi-Agent Systems'' (OOOP 2005), Utrecht, The Netherlands, 25--26~} # jul # {~2005. Revised Selected Papers},
    pages = {127--141},
    publisher = {Springer Berlin Heidelberg},
    scholar = {16804771392392253867},
    scopus = {2-s2.0-33746097439},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {Computational Institutions for Modelling Norm-Regulated {MAS}: An Approach Based on Coordination Artifacts},
    url = {http://link.springer.com/10.1007/11775331_9},
    urlpdf = {https://link.springer.com/content/pdf/10.1007/11775331_9.pdf},
    volume = 3913,
    wos = {000239580700009},
    year = 2006
} }}})))
((({{{ @incollection{soda-esawVI,
    acm = {10.1007/11759683_4},
    author = {Molesini, Ambra and Omicini, Andrea and Denti, Enrico and Ricci, Alessandro},
    booktitle = {Engineering Societies in the Agents World VI},
    doi = {10.1007/11759683_4},
    editor = {Dikenelli, Oğuz and Gleizes, Marie-Pierre and Ricci, Alessandro},
    eisbn = {978-3-540-34452-0},
    iris = {11585/27904},
    isbn = {978-3-540-34451-3},
    isbn10 = {3-540-34451-9},
    issn = {0302-9743},
    month = jun,
    note = {6th International Workshop (ESAW 2005), Kuşadası, Aydın, Turkey, Turkey, 26--28~} # oct # {~2005. Revised, Selected \& Invited Papers},
    pages = {49--62},
    publisher = {Springer},
    scopus = {2-s2.0-33746628029},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {{{\sf SODA}}: A Roadmap to Artefacts},
    url = {http://link.springer.com/10.1007/11759683_4},
    urlpdf = {https://link.springer.com/content/pdf/10.1007/11759683_4.pdf},
    volume = 3963,
    wos = {000238506800004},
    year = 2006
} }}})))
((({{{ @incollection{soda-aoseVI,
    acm = {10.1007/11752660_7},
    author = {Molesini, Ambra and Omicini, Andrea and Ricci, Alessandro and Denti, Enrico},
    booktitle = {Agent-Oriented Software Engineering VI},
    doi = {10.1007/11752660_7},
    editor = {Müller, Jörg P. and Zambonelli, Franco},
    iris = {11585/28106},
    isbn = {3-540-34097-1},
    issn = {0302-9743},
    note = {6th International Workshop (AOSE 2005), Utrecht, The Netherlands, 25--26~} # jul # {~2005. Revised and Invited Papers},
    pages = {81--93},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-33745847518},
    series = {Lecture Notes in Computer Science},
    subseries = {Programming and Software Engineering},
    title = {Zooming Multi-Agent Systems},
    url = {http://link.springer.com/10.1007/11752660_7},
    volume = 3950,
    wos = {000238091200007},
    year = 2006
} }}})))
((({{{ @inproceedings{soda-aose2005,
    address = {AAMAS 2005, Utrecht, The Netherlands},
    author = {Molesini, Ambra and Omicini, Andrea and Ricci, Alessandro and Denti, Enrico},
    booktitle = {6th International Workshop ``Agent-Oriented Software Engineering'' (AOSE 2005)},
    editor = {Müller, Jörg P. and Zambonelli, Franco},
    iris = {11585/6275},
    month = {25--26}}},
    year = 2005
} }}})))
((({{{ @inproceedings{soda-ceemas05,
    acm = {10.1007/11559221_17},
    author = {Molesini, Ambra and Denti, Enrico and Omicini, Andrea},
    booktitle = {Multi-Agent Systems and Applications {IV}},
    doi = {10.1007/11559221_17},
    editor = {Pěchouček, Michal and Petta, Paolo and Varga, László Zsolt},
    eisbn = {978-3-540-31731-9},
    isbn = {978-3-540-29046-9},
    isbn-10 = {3-540-29046-X},
    isbn10 = {3-540-29046-X},
    issn = {0302-9743},
    note = {4th International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS'05), Budapest, Hungary, 15--17~} # sep # {~2005, Proceedings},
    pages = {163--172},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-33646126089},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {{MAS} Meta-models on Test: {UML} vs. {OPM} in the {{\sf {SODA}}} Case Study},
    url = {https://link.springer.com/10.1007/11559221_17},
    urlpdf = {https://link.springer.com/content/pdf/10.1007/11559221_17.pdf},
    volume = 3690,
    wos = {000233298100017},
    year = 2005
} }}})))
((({{{ @inproceedings{norms-anirem05,
    address = {AAMAS 2005, Utrecht, The Netherlands},
    author = {Rubino, Rossella and Omicini, Andrea and Denti, Enrico},
    booktitle = {1st International Workshop ``Agents, Norms and Institutions for Regulated Multi-Agent Systems'' (ANI@REM 2005)},
    editor = {Lindemann, Gabriela and Ossowski, Sascha and Padget, Julian A. and Vazquez-Salceda, Javier},
    month = {25}}},
    year = 2005
} }}})))
((({{{ @inproceedings{soda-esaw05,
    address = {Kuşadası, Aydın, Turkey},
    author = {Molesini, Ambra and Omicini, Andrea and Denti, Enrico and Ricci, Alessandro},
    booktitle = {6th International Workshop ``Engineering Societies in the Agents World'' (ESAW'05)},
    editor = {Dikenelli, Oğuz and Gleizes, Marie-Pierre and Ricci, Alessandro},
    iris = {11585/22714},
    month = {26--28}}},
    title = {{{\sf SODA}}: A Roadmap to Artefacts},
    year = 2005
} }}})))
((({{{ @incollection {DRR-esaw03,
   author       = {Denti,Enrico AND Ricci,Alessandro AND Rubino,Rossella},
   title        = {Integrating and Orchestrating Services upon an Agent Coordination Infrastructure}, 
   year         = {2004},
   booktitle    = {Engineering Societies in the Agents World IV},
   editor       = {Petta,Paolo AND Omicini,Andrea AND Pitt,Jeremy},
   publisher    = {Springer},
   volume       = {3071},
   series       = {Lecture Notes in Artificial Intelligence},
   month        = {July},
   pages        = {228-245},
   isbn         = {3-540-22231-6},
   doi         = {10.1007/b98212},
   note         = {4th International Workshop (ESAW 2003), London, UK, October 29-21, 2003. Revised, selected and invited papers.}
} }}})))
((({{{ @incollection{at-esawIII,
    author = {Ricci, Alessandro and Omicini, Andrea and Denti, Enrico},
    booktitle = {Engineering Societies in the Agents World III},
    doi = {10.1007/3-540-39173-8_8},
    editor = {Petta, Paolo and Tolksdorf, Robert and Zambonelli, Franco},
    eissn = {1611-3349},
    isbn = {978-3-540-14009-2},
    isbn10 = {3-540-14009-3},
    issn = {0302-9743},
    month = apr,
    note = {3rd International Workshop (ESAW 2002), Madrid, Spain, 16--17~} # sep # {~2002. Revised Papers},
    pages = {96--110},
    publisher = {Springer},
    scopus = {2-s2.0-7044221924},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {{A}ctivity {T}heory as a Framework for {MAS} Coordination},
    url = {http://link.springer.com/chapter/10.1007/3-540-39173-8_8},
    urlpdf = {http://link.springer.com/content/pdf/10.1007/3-540-39173-8_8.pdf},
    volume = 2577,
    wos = {000183488600008},
    year = 2003
} }}})))
((({{{ @inproceedings{aose-ce2003,
    author = {Denti, Enrico and Omicini, Andrea and Ricci, Alessandro},
    booktitle = {Concurrent Engineering -- The Vision for the Future Generation in Research and Applications},
    editor = {Jardim-Gonçalves, Ricardo and Cha, Jianzhong and Steiger-Garção, Adolfo},
    iris = {11585/951120},
    isbn = {90-5809-622-X},
    isbn-cd = {90-5809-625-4},
    isbn-vol = {90-5809-623-8},
    isbn13 = {9789058096227},
    note = {10th ISPE International Conference, Madeira, Portugal, 26--30~} # jul # {~2003. Proceedings},
    pages = {199--205},
    publisher = {A.A. Balkema Publishers},
    scopus = {2-s2.0-1542750214},
    title = {Task-Oriented Engineering of Coordinated Software Systems},
    volume = 1: Enhanced Interoperable Systems,
    wos = {WOS:000185175400027},
    year = 2003
} }}})))
((({{{ @inproceedings{soda-aamas02,
    acm = {545072},
    address = {Bologna, Italy},
    author = {Ricci, Alessandro and Omicini, Andrea and Denti, Enrico},
    booktitle = {1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002)},
    doi = {10.1145/545056.545072},
    editor = {Castelfranchi, Cristiano and Johnson, W. Lewis},
    isbn = {1-58113-480-0},
    month = {15--19}}},
    publisher = {ACM Press},
    scopus = {2-s2.0-0036355544},
    title = {Engineering Agent Societies: A Case Study in Smart Environments},
    url = {http://dl.acm.org/citation.cfm?id=545072},
    volume = 3,
    year = 2002
} }}})))
((({{{ @inproceedings{tools-atai02,
    address = {Vienna, Austria},
    author = {Denti, Enrico and Omicini, Andrea and Ricci, Alessandro},
    booktitle = {Cybernetics and Systems 2002},
    editor = {Trappl, Robert},
    isbn = {3-85206-160-1},
    month = {2--5}}},
    publisher = {Austrian Society for Cybernetic Studies},
    title = {Coordination Tools for the Development of Agent-based Systems},
    volume = 2,
    year = 2002
} }}})))
((({{{ @incollection{objsubj-coord02,
    acm = {713460},
    author = {Ricci, Alessandro and Omicini, Andrea and Denti, Enrico},
    booktitle = {Coordination Models and Languages},
    dblp = {conf/coordination/RicciOD02},
    doi = {10.1007/3-540-46000-4_27},
    editor = {Arbab, Farhad and Talcott, Carolyn},
    eisbn = {978-3-540-46000-8},
    eissn = {1611-3349},
    iris = {11585/950120},
    isbn = {978-3-540-43410-8},
    isbn-10 = {3-540-43410-0},
    isbn10 = {3-540-43410-0},
    issn = {0302-9743},
    note = {5th International Conference (COORDINATION 2002), York, UK, 8--11~} # apr # {~2002. Proceedings},
    pages = {291--299},
    publisher = {Springer Berlin Heidelberg},
    scholar = {3370459498636496835},
    scopus = {2-s2.0-84944054953},
    semanticscholar = {33793704},
    series = {Lecture Notes in Computer Science},
    title = {Objective vs. Subjective Coordination in Agent-based Systems: A Case Study},
    url = {http://link.springer.com/10.1007/3-540-46000-4_27},
    volume = 2315,
    wos = {000181348700027},
    year = 2002
} }}})))
((({{{ @inproceedings{tucson-wetice2001,
    acm = {715790},
    author = {Ricci, Alessandro and Omicini, Andrea and Denti, Enrico},
    booktitle = {IEEE 10th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET~ICE 2001)},
    doi = {10.1109/ENABL.2001.953442},
    ieee = {953442},
    isbn = {0-7695-1269-0},
    issn = {1080-1383},
    location = {3rd International Workshop ``Web-based Infrastructures and Coordination Architectures for Collaborative Enterprises'', MIT, Cambridge, MA, USA},
    month = {20--22 } # jun,
    note = {Proceedings},
    pages = {348--353},
    publisher = {IEEE CS},
    scopus = {2-s2.0-79956102175},
    title = {The {{\sf TuCSoN}} Coordination Infrastructure for {V}irtual {E}nterprises},
    url = {https://ieeexplore.ieee.org/document/953442},
    urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=953442},
    wos = {000172786100065},
    year = 2001
} }}})))
((({{{ @article{respect-entcs48,
    author = {Omicini, Andrea and Denti, Enrico},
    booktitle = {Declarative Programming - Selected Papers from AGP 2000},
    doi = {10.1016/S1571-0661(04)00156-2},
    editor = {Dovier, Agostino and Meo, Maria Chiara and Omicini, Andrea},
    iris = {11585/903186},
    isbn = {0-444-50916-X},
    issn = {1571-0661},
    journal = {Electronic Notes in Theoretical Computer Science},
    month = jun,
    note = {Declarative Programming -- Selected Papers from AGP 2000, La Habana, Cuba, 4--6~} # dec # {~2000},
    pages = {179--196},
    scopus = {2-s2.0-0001384925},
    series = {Electronic Notes in Theoretical Computer Science},
    title = {Formal {{\sf ReSpecT}}},
    url = {http://www.sciencedirect.com/science/article/pii/S1571066104001562},
    volume = 48,
    year = 2001
} }}})))
((({{{ @inproceedings{tucson-woa2001,
    address = {Bologna, Italy},
    location = {Modena, Italy},
    author = {Ricci, Alessandro and Omicini, Andrea and Denti, Enrico},
    booktitle = {AI*IA/TABOO Joint Workshop ``Dagli oggetti agli agenti: tendenze evolutive dei sistemi software'' (WOA 2001)},
    editor = {Omicini, Andrea and Viroli, Mirko},
    isbn = {88-371-1272-6},
    month = {4--5}}}}},
    url = {http://lia.deis.unibo.it/books/woa2001/pdf/21.pdf},
    year = 2001
} 
 @incollection{tuprolog-padl01,
    acm = {667932},
    author = {Denti, Enrico and Omicini, Andrea and Ricci, Alessandro},
    booktitle = {Practical Aspects of Declarative Languages},
    doi = {10.1007/3-540-45241-9_13},
    editor = {Ramakrishnan, I.V.},
    eissn = {1611-3349},
    isbn = {978-3-540-41768-2},
    isbn10 = {3-540-41768-0},
    issn = {0302-9743},
    note = {3rd International Symposium (PADL 2001), Las Vegas, NV, USA, 11--12~} # mar # {~2001. Proceedings},
    pages = {184--198},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-84949232061},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {{{\sf tu}Prolog}: A Light-weight {P}rolog for {I}nternet Applications and Infrastructures},
    url = {http://link.springer.com/10.1007/3-540-45241-9_13},
    volume = 1990,
    year = 2001
} }}})))
((({{{ @incollection{tucson-ciaV,
    acm = {735704},
    author = {Ricci, Alessandro and Denti, Enrico and Omicini, Andrea},
    booktitle = {Cooperative Information Agents {V}},
    doi = {10.1007/3-540-44799-7_26},
    editor = {Klusch, Matthias and Zambonelli, Franco},
    eissn = {1611-3349},
    iris = {11585/951310},
    isbn = {978-3-540-42545-8},
    isbn10 = {3-540-42545-4},
    issn = {0302-9743},
    note = {5th International Workshop (CIA 2001), Modena, Italy, 6--8~} # sep # {~2001. Proceedings},
    pages = {235--246},
    publisher = {Springer},
    scopus = {2-s2.0-58149108068},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {Agent Coordination Infrastructures for Virtual Enterprises and Workflow Management},
    url = {http://link.springer.com/10.1007/3-540-44799-7_26},
    volume = 2182,
    wos = {WOS:000180978200026},
    year = 2001
} }}})))
((({{{ @inproceedings{luce-wetice00,
    acm = {715511},
    author = {Denti, Enrico and Omicini, Andrea},
    booktitle = {IEEE 9th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET~ICE 2000)},
    doi = {10.1109/ENABL.2000.883735},
    ieee = {883735},
    isbn = {0-7695-0798-0},
    issn = {1080-1383},
    location = {2nd International Workshop ``Web-based Infrastructures and Coordination Architectures for Collaborative Enterprises'', Gaithersburg, MD, USA},
    month = {14--16}}},
    publisher = {IEEE CS},
    scopus = {2-s2.0-77649140308},
    title = {A Coordination Infrastructure for Agent-based {I}nternet Applications},
    url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=883735},
    urlpdf = {http://dlib.computer.org/conferen/wetice/0798/pdf/07980230.pdf},
    wos = {000165310400040},
    year = 2000
} }}})))
((({{{ @inproceedings{respect-agp00,
    author = {Omicini, Andrea and Denti, Enrico},
    booktitle = {Proceedings of the GULP-PRODE Joint Conference on Declarative Programming (AGP'00) – La Habana, Cuba, December 4-7, 2000},
    location = {La Habana, Cuba},
    numpages = 16,
    title = {Formal {{\sf ReSpecT}}},
    year = 2000
} 
 @incollection{luce-coord00,
    acm = {713439},
    author = {Denti, Enrico and Omicini, Andrea and Toschi, Vladimiro},
    booktitle = {Coordination Languages and Models},
    doi = {10.1007/3-540-45263-X_20},
    editor = {Porto, António and Roman, Gruia-Catalin},
    eissn = {1611-3349},
    iris = {11585/951111},
    isbn = {978-3-540-41020-1},
    isbn-10 = {3-540-41020-1},
    isbn10 = {3-540-41020-1},
    issn = {0302-9743},
    note = {4th International Conference (COORDINATION 2000), Limassol, Cyprus, 11--13~} # sep # {~2000. Proceedings},
    pages = {305--310},
    publisher = {Springer},
    scopus = {2-s2.0-0002949646},
    series = {LNCS},
    title = {The {{\sf LuCe}} Coordination Technology for {MAS} Design and Development on the {I}nternet},
    url = {http://link.springer.com/10.1007/3-540-45263-X_20},
    volume = 1906,
    wos = {WOS:000174581400020},
    year = 2000
} 
 @incollection{aclt-lnai1760,
    acm = {698418},
    author = {Denti, Enrico and Omicini, Andrea},
    booktitle = {Formal Models of Agents},
    dblp = {conf/modelage/DentiO97},
    doi = {10.1007/3-540-46581-2_7},
    editor = {Meyer, John-Jules Ch. and Schobbens, Pierre-Yves},
    eisbn = {978-3-540-46581-2},
    iris = {11585/950777},
    isbn = {978-3-540-67027-8},
    isbn10 = {3-540-67027-0},
    issn = {0302-9743},
    keywords = {Multi-Agent Systems; Coordination Model; Transactions; Extensible Communication Abstraction},
    note = {ESPRIT Project ModelAge Final Workshop. Selected Papers},
    pages = {90--102},
    publisher = {Springer-Verlag},
    scholar = {5902775184975942945},
    scopus = {2-s2.0-84942787374},
    semanticscholar = {23244123},
    series = {LNAI},
    title = {Designing Multi-Agent Systems around an Extensible Communication Abstraction},
    url = {http://link.springer.com/chapter/10.1007/3-540-46581-2_7},
    volume = 1760,
    wos = {000170556100007},
    year = 1999
} 
 @inproceedings{luce-aiia99,
    address = {Bologna, Italy},
    author = {Denti, Enrico and Omicini, Andrea and Toschi, Vladimiro},
    booktitle = {6th AI*IA Congress of the Italian Association for Artificial Intelligence (AI*IA'99)},
    editor = {Lamma, Evelina AND Mello, Paola},
    isbn = {88-371-1132-0},
    month = {14--17 } # sep,
    pages = {29--38},
    publisher = {Pitagora Editrice Bologna},
    title = {Coordination Technology for the Development of Multi-Agent Systems on the {W}eb},
    year = 1999
} 
@inproceedings{luce-iclp99, address = {Las Cruces, NM, USA}, author = {Denti, Enrico and Omicini, Andrea}, booktitle = {ICLP'99 International Workshop on Multi-Agent Systems in Logic Programming (MAS'99)}, editor = {Rochefort, Stephen and Sadri, Fariba and Toni, Francesca}, month = {30~} # nov, title = {Engineering Multi-Agent Systems in {{\sf LuCe, year = 1999 } }}}
 @inproceedings{respect-sac98,
    acm = {330665},
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
    booktitle = {1998 ACM Symposium on Applied Computing (SAC'98)},
    dblp = {conf/sac/DentiNO98},
    doi = {10.1145/330560.330665},
    isbn = {0-89791-969-6},
    location = {Atlanta, GA, USA},
    month = {27}}},
    pages = {169--177},
    publisher = {ACM},
    scopus = {2-s2.0-85002410745},
    title = {On the Expressive Power of a Language for Programming Coordination Media},
    url = {http://dl.acm.org/citation.cfm?id=330665},
    urlpdf = {http://delivery.acm.org/10.1145/340000/330665/p169-denti.pdf},
    year = 1998
} 
 @incollection{respect-coord97,
    acm = {713152},
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
    booktitle = {Coordination Languages and Models},
    dblp = {conf/coordination/DentiNO97},
    doi = {10.1007/3-540-63383-9_86},
    editor = {Garlan, David and Le Métayer, Daniel},
    eisbn = {978-3-540-69527-1},
    isbn = {978-3-540-63383-9},
    isbn10 = {3-540-63383-9},
    issn = {0302-9743},
    keywords = {Coordination Models, Programmable Coordination Media, Reactions, Tuple Spaces, Multi-Agent Systems},
    note = {2nd International Conference (COORDINATION'97), Berlin, Germany, 1--3~} # sep # {~1997. Proceedings},
    pages = {274--288},
    publisher = {Springer-Verlag},
    scopus = {2-s2.0-84957066558},
    series = {Lecture Notes in Computer Science},
    title = {Programmable Coordination Media},
    url = {http://link.springer.com/10.1007/3-540-63383-9_86},
    volume = 1282,
    year = 1997
} 
 @inproceedings{lpcoord-iclp_lpinternet97,
    address = {Leuven, Belgium},
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
    booktitle = {ICLP'97 Post-Conference 2nd International Workshop on Logic Programming Tools for Internet Applications},
    editor = {De Bosschere, Koen and Hermenegildo, Manuel and Tarau, Paul},
    month = {11}}}ogic {P}rogramming into {W}eb-based Technology: A Coordination-based Approach},
    year = 1997
} 
 @inproceedings{aclt-modelage97,
    address = {Certosa di Pontignano, SI, Italy},
    author = {Denti, Enrico and Omicini, Andrea},
    booktitle = {4th Workshop on Formal Models of Agents (ModelAge'97)},
    editor = {Cesta, Amedeo and Schoebbens, Pierre Yves},
    isbn = {88-85059-07-4},
    keywords = {Multi-Agent Systems, Coordination Model, Programmable Communication Abstraction},
    month = {15--17}}},
    title = {Designing Multi-Agent Systems around an Extensible Communication Abstraction},
    year = 1997
} 
 @incollection{aclt-frocos96,
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea and Venuti, Marco},
    booktitle = {Frontiers of Combining Systems},
    dblp = {conf/frocos/DentiNOV96},
    doi = {10.1007/978-94-009-0349-4_12},
    editor = {Baader, Franz and Schulz, Klaus U.},
    eisbn = {978-94-009-0349-4},
    iris = {11585/951322},
    isbn = {978-94-010-6643-3},
    isbn10 = {0-7923-4271-2},
    issn = {1386-2790},
    note = {1st International Workshop (FroCoS'96), Munich, Germany, 26--29~} # mar # {~1996. Proceedings},
    pages = {147--160},
    publisher = {Kluwer Academic Publishers},
    series = {Applied Logic Series},
    title = {Logic Tuple Spaces for the Coordination of Heterogeneous Agents},
    url = {http://link.springer.com/10.1007/978-94-009-0349-4_12},
    volume = 3,
    wos = {WOS:A1996BH48J00012},
    year = 1996
} 
 @incollection{aclt-coord96,
    acm = {713129},
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea and Venuti, Marco},
    booktitle = {Coordination Languages and Models},
    dblp = {conf/coordination/DentiNOV96},
    doi = {10.1007/3-540-61052-9_53},
    editor = {Ciancarini, Paolo and Hankin, Chris},
    eisbn = {978-3-540-49936-7},
    isbn = {978-3-540-61052-6},
    isbn10 = {3-540-61052-9},
    issn = {0302-9743},
    month = sep,
    note = {1st International Conference (COORDINATION'96), Cesena, Italy, 15--17~} # apr # {~1996. Proceedings},
    pages = {305--320},
    publisher = {Springer},
    scopus = {2-s2.0-84958743149},
    series = {LNCS},
    title = {An Extensible Framework for the Development of Coordinated Applications},
    url = {http://link.springer.com/10.1007/3-540-61052-9_53},
    volume = 1061,
    year = 1996
} 
 @inproceedings{aclt-aiia95,
    acm = {761273},
    author = {Omicini, Andrea and Denti, Enrico and Natali, Antonio},
    booktitle = {Topics in Artificial Intelligence},
    dblp = {conf/aiia/OmiciniDN95},
    doi = {10.1007/3-540-60437-5_43},
    editor = {Gori, Marco and Soda, Giovanni},
    eisbn = {3-540-60437-5},
    iris = {11585/953879},
    isbn = {978-3-540-60437-2},
    isbn10 = {3-540-60437-5},
    issn = {0302-9743},
    note = {4th Congress of the Italian Association for Artificial Intelligence (AI*IA'95), Florence, Italy, 11--13~} # oct # {~1995, Proceedings},
    pages = {439--450},
    publisher = {Springer-Verlag},
    scholar = {9467690504149452680},
    scopus = {2-s2.0-84957673013},
    semanticscholar = {18358079},
    series = {LNAI},
    title = {Agent Coordination and Control through Logic Theories},
    url = {http://link.springer.com/10.1007/3-540-60437-5_43},
    volume = 992,
    wos = {A1995BF24X00043},
    year = 1995
} 
 @inproceedings{lprobot-pap94,
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea and Zanichelli, Francesco},
    booktitle = {2nd International Conference on the Practical Applications of Prolog (PAP'94)},
    editor = {Sterling, Leon},
    location = {London, UK},
    month = {26--29}}},
    year = 1994
} 
 @inproceedings{lpse-iclp94,
    author = {Denti, Enrico and Omicini, Andrea},
    booktitle = {ICLP'94 Post-Conference Workshop on Applications of Logic Programming to Software Engineering},
    editor = {Ciancarini, Paolo and Sterling, Leon},
    location = {S. Margherita Ligure, GE, Italy},
    month = {18}}},
    title = {Open Logic Theory Composition in a Software Engineering Perspective},
    year = 1994
} 
 @incollection{ctxlp-elpIII,
    acm = {736334},
    author = {Denti, Enrico and Lamma, Evelina and Mello, Paola and Natali, Antonio and Omicini, Andrea},
    booktitle = {Extensions of Logic Programming},
    dblp = {conf/elp/DentiLMNO92},
    doi = {10.1007/3-540-56454-3_17},
    editor = {Lamma, Evelina and Mello, Paola},
    eisbn = {978-3-540-47562-0},
    isbn = {978-3-540-56454-6},
    isbn-10 = {3-540-56454-3},
    isbn10 = {3-540-56454-3},
    issn = {0302-9743},
    keywords = {Virtual Machine, Logic Program, Logic Programming, Hypothetical Reasoning, Program Clause},
    note = {3rd International Workshop (ELP'92), Bologna, Italy, 26--28~} # feb # {~1992. Proceedings},
    pages = {339--358},
    publisher = {Springer},
    scopus = {2-s2.0-85028860344},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {Techniques for Implementing Contexts in {L}ogic {P}rogramming},
    url = {http://link.springer.com/10.1007/3-540-56454-3_17},
    volume = 660,
    year = 1993
} 
 @inproceedings{oolp-iclp_piselp93,
    address = {Budapest, Hungary},
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
    booktitle = {ICLP'93 Post-Conference Workshop on Practical Implementations and Systems Experience in Logic Programming},
    editor = {Tick, Evan},
    month = {25}}},
    title = {From Modules to Structured Theories and Logic Objects: A Common ``Program-based'' Run-time Support},
    year = 1993
} 
 @inproceedings{ctxlp-elp92,
    address = {Bologna, Italy},
    author = {Denti, Enrico and Lamma, Evelina and Mello, Paola and Natali, Antonio and Omicini, Andrea},
    booktitle = {3rd International Workshop on Extensions of Logic Programming (ELP'92)},
    editor = {Lamma, Evelina and Mello, Paola},
    month = {26--28}}},
    publisher = {Tecnoprint Bologna},
    title = {Implementing Contexts in {L}ogic {P}rogramming},
    year = 1992
} 
 @inproceedings{ctxlp-gulp92,
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
    booktitle = {7th Italian Conference on Logic Programming (GULP'92)},
    editor = {Costantini, Stefania},
    location = {Tremezzo, Como, Italy},
    month = {17--19 } # jun,
    pages = {307--320},
    publisher = {Città Studi, Milano, Italy},
    title = {Contexts as First-Class Objects: An Implementation based on the {SICS}tus {P}rolog System},
    year = 1992
} 
75 papers in proceedings • topindexbottom
 @incollection{mpm-mdabook2021,
    author = {Molesini, Ambra and Denti, Enrico and Omicini, Andrea},
    booktitle = {Advancements in Model-Driven Architecture in Software Engineering},
    chapter = 4,
    doi = {10.4018/978-1-7998-3661-2.ch004},
    editor = {Rhazali, Yassine},
    eisbn = {9781799836636},
    iris = {11585/769135},
    isbn = {9781799836612},
    isbn10 = {1799836614},
    isbn13 = {9781799836629},
    keywords = {Multi-Paradigm Modeling; Development Process; Meta-Modeling; MDE},
    month = jun,
    numpages = 24,
    pages = {64--87},
    publisher = {IGI Global},
    scholar = {5411882464942243375},
    semanticscholar = {224974647},
    title = {{MDE} \& {MDA} in a Multi-Paradigm Modeling Perspective},
    url = {http://www.igi-global.com/book/advancements-model-driven-architecture-software/243747},
    year = 2021
} 
 @incollection{weblp-unito08,
    author = {Piancastelli, Giulio and Omicini, Andrea and Denti, Enrico},
    booktitle = {Il {M}ilione. Viaggio nella logica computazionale in {I}talia},
    editor = {Baldoni, Matteo and Baroglio, Cristina},
    institution = {Dipartimento di Informatica, Università degli Studi di Torino},
    iris = {11585/82474},
    month = {3}}},
    pages = {15--19},
    publisher = {Dipartimento di Informatica, Universit{\`a} degli Studi di Torino},
    title = {Towards a Logic Language and Framework for {W}eb Programming},
    urlpdf = {http://www.di.unito.it/~argo/papers/2008_IlMilione.pdf},
    year = 2008
} 
 @incollection{coordbook2001-ch04,
    author = {Rossi, Davide and Cabri, Giacomo and Denti, Enrico},
    booktitle = {Coordination of Internet Agents: Models, Technologies, and Applications},
    chapter = 4,
    editor = {Omicini, Andrea and Zambonelli, Franco and Klusch, Matthias and Tolksdorf, Robert},
    isbn = {3-540-41613-7},
    month = mar,
    numpages = 27,
    pages = {83--109},
    publisher = {Springer},
    title = {Tuple-based Technologies for Coordination},
    year = 2001
} 
 @incollection{lprobot-scsai95,
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea and Zanichelli, Francesco},
    booktitle = {Logic Programming: Formal Methods and Practical Applications},
    chapter = 12,
    dblp = {books/el/beierleP95/DentiNOZ95},
    editor = {Beierle, Christoph and Plümer, Lutz},
    isbn = {978-0-444-82092-1},
    isbn10 = {0-444-82092-2},
    pages = {343--379},
    publisher = {Elsevier},
    scopus = {2-s2.0-85023302187},
    series = {Studies in Computer Science and Artificial Intelligence},
    title = {Robot Control Systems as Contextual Logic Programs},
    volume = 11,
    year = 1995
} 
 @incollection{oolp-ilps94,
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
    booktitle = {Implementations of Logic Programming Systems},
    dblp = {conf/iclp/DentiNO93},
    doi = {10.1007/978-1-4615-2690-2_7},
    editor = {Tick, Evan and Succi, Giancarlo},
    eisbn = {978-1-4615-2690-2},
    eissn = {978-1-4615-2690-2},
    iris = {11585/951126},
    isbn = {978-1-4613-6157-2},
    isbn10 = {0-7923-9457-7},
    issn = {978-1-4613-6157-2},
    keywords = {contextual logic programming; modules; structured theories},
    pages = {89--101},
    publisher = {Kluwer Academic Publishers},
    title = {Moving {P}rolog Toward Objects},
    url = {http://link.springer.com/10.1007/978-1-4615-2690-2_7},
    wos = {A1994BB31B00007},
    year = 1994
} 
5 book chapters • topindexbottom
  
  
  
  
 @book {FondA99,
   author       = {Denti,Enrico},
   title        = {Fondamenti di Informatica A (I parte) - Raccolta del materiale proiettato e discusso a lezione}, 
   year         = {1999},
   publisher    = {Esculapio},
   series       = {Progetto Leonardo},
   address      = {Bologna, Italy},
   note         = {Didactic publication}
   
} 
  
 @book {CalEletIII,
   author       = {Denti, Enrico and Natali, Antonio},
   title        = {Calcolatori Elettronici III: una introduzione alla programmazione orientata agli oggetti}, 
   year         = 1995,
   publisher    = {Pitagora Editrice},
   series       = {Consorzio Nettuno},
   address      = {Bologna, Italy},
   isbn         = {88-371-0771-4},
   note         = {Teaching material}} 
7 books • topindexbottom
 @techreport{D-ACLTimpl99,
	Address = {Bologna, Italy},
	Author = {Denti, Enrico},
	Institution = {Department of Electronics, Computer Science and Systems (DEIS), Universit{\`a} di Bologna},
	Keywords = {coordination languages, ACLT, Linda, tuple spaces, distributed programming, logic programming},
	Number = {DEIS-LIA-99-04},
	Series = {LIA Series},
	Title = {Implementing the {ACLT} Coordination Model},
	Type = {DEIS Technical Report},
	Volume = 38,
	Year = 1999} 
 @techreport{aclt-techrep97,
    address = {Bologna, Italy},
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
    institution = {Department of Electronics, Computer Science and Systems (DEIS), Università di Bologna},
    keywords = {Multi-agent systems, Coordination, Tuple Spaces, Petri Nets, Programmable Coordination Media, Turing Equivalence},
    number = {DEIS-LIA-97-009},
    series = {DEIS Technical Reports},
    subseries = {LIA Series},
    title = {Expressive Power of the {$\mathcal{ACLT}$} Reaction Specification Language},
    type = {DEIS Technical Report},
    volume = 26,
    year = 1997
} 
 @techreport{pfcnr-4-91,
    address = {Roma, Italy},
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
    institution = {CNR},
    month = mar,
    note = {Progetto Finalizzato ``Sistemi informatici e calcolo parallelo'', Sottoprogetto ``Linguaggi di nuova concezione''},
    number = 4/91,
    series = {CNR Technical Report},
    title = {Verso un Ambiente di Sviluppo per Sistemi in Tempo Reale},
    type = {CNR Technical Report},
    year = 1993
} 
 @article{cisemme392,
    author = {Mauro Cesana and Denti, Enrico and Natali, Antonio and Judith Szanto},
    institution = {CISE S.p.A., Milan, Italy},
    number = 7312,
    series = {Rapporto Topico interno CISE S.p.A.},
    title = {Supporto alla Comunicazione Remota in MME 3},
    year = 1992
} 
 @techreport{pfcnr-4-70,
    address = {Rome, Italy},
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
    institution = {CNR},
    month = may,
    note = {Progetto Finalizzato ``Sistemi informatici e calcolo parallelo'', Sottoprogetto ``Linguaggi di nuova concezione''},
    number = 4/70,
    title = {{CSM} User's Guide},
    type = {Technical Report},
    year = 1992
} 
5 technical reports • topindexbottom
 @phdthesis {D-phdthesis,
   author       = {Denti,Enrico},
   title        = {Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction}, 
   year         = {1998},
   school       = {Dept. of Electronics, Computer Science and Systems (DEIS)
	           Viale Risorgimento 2, I-40136 Bologna, Italy},
} 
1 phd thesis • topindexbottom
 @proceedings{proceedings-woa2021,
    address = {Aachen, Germany},
    booktitle = {WOA 2021 -- 22nd Workshop ``From Objects to Agents''},
    dblp = {conf/woa/2021},
    editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
    iris = {11585/834360},
    issn = {1613-0073},
    location = {Bologna, Italy},
    month = oct,
    note = {22nd Workshop ``From Objects to Agents'' (WOA 2021), Bologna, Italy, 1--3~} # sep # {~2021. Proceedings},
    pages = {II, 258},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    series = {CEUR Workshop Proceedings},
    subseries = {AI*IA Series},
    title = {From Objects to Agents},
    url = {http://ceur-ws.org/Vol-2963/},
    volume = 2963,
    year = 2021
} 
 @proceedings{proceedings-woa2020,
    address = {Aachen, Germany},
    booktitle = {WOA 2020 -- 21st Workshop ``From Objects to Agents''},
    dblp = {conf/woa/2020},
    editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
    iris = {11585/781511},
    issn = {1613-0073},
    location = {Bologna, Italy},
    month = oct,
    note = {21st Workshop ``From Objects to Agents'' (WOA 2020), Bologna, Italy, 14--16~} # sep # {~2020. Proceedings},
    pages = {VII, 251},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    series = {CEUR Workshop Proceedings},
    subseries = {AI*IA Series},
    title = {From Objects to Agents},
    url = {http://ceur-ws.org/Vol-2706/},
    urlpdf = {http://apice.unibo.it/xwiki/bin/download/Publications/ProceedingsWoa2020/ProceedingsWOA2020.pdf},
    volume = 2706,
    year = 2020
} 
2 edited volumes • topindexbottom
 @inproceedings{preface-woa2021,
    author = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
    booktitle = {WOA 2021 -- 22nd Workshop ``From Objects to Agents''},
    editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
    iris = {11585/834358},
    issn = {1613-0073},
    location = {Bologna, Italy},
    month = oct,
    note = {22nd Workshop ``From Objects to Agents'' (WOA 2021), Bologna, Italy, 1--3~} # sep # {~2021. Proceedings},
    numpages = 2,
    pages = {i--ii},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scopus = {2-s2.0-85116895007},
    series = {CEUR Workshop Proceedings},
    subseries = {AI*IA Series},
    title = {Preface},
    url = {http://ceur-ws.org/Vol-2963/xpreface.pdf},
    volume = 2963,
    year = 2021
} 
 @inproceedings{preface-woa2020,
    address = {Aachen, Germany},
    author = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
    booktitle = {WOA 2020 -- 21th Workshop ``From Objects to Agents''},
    editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
    iris = {11585/781522},
    location = {Bologna, Italy},
    month = oct,
    note = {21st Workshop ``From Objects to Agents'' (WOA 2020), Bologna, Italy, 14--16~} # sep # {~2020. Proceedings},
    numpages = 2,
    pages = {iii--iv},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scopus = {2-s2.0-85095596630},
    series = {CEUR Workshop Proceedings},
    subseries = {AI*IA Series},
    title = {Preface},
    url = {http://ceur-ws.org/Vol-2706/xpreface.pdf},
    urlpdf = {http://ceur-ws.org/Vol-2706/xpreface.pdf},
    volume = 2706,
    year = 2020
} 
2 editorials/introductions/prefaces • topindexbottom