@incollection{cartago-e4masIII,
acm = {1759348},
author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
booktitle = {Environments for MultiAgent Systems III},
chapter = 4,
doi = {10.1007/978-3-540-71103-2_4},
editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
eisbn = {978-3-540-71103-2},
isbn = {978-3-540-71102-5},
issn = {0302-9743},
keywords = {cartago, A&A, artifacts, multi-agent systems, agent-oriented computing},
month = may,
note = {3rd International Workshop (E4MAS 2006), Hakodate, Japan, 8~} # may # {~2006. Selected Revised and Invited Papers},
pages = {67--86},
part = {Models, Architecture, and Design},
publisher = {Springer Berlin Heidelberg},
scopus = {2-s2.0-38049162300},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {{{\sf CArtAgO}}: A Framework for Prototyping Artifact-Based Environments in {MAS}},
url = {http://link.springer.com/10.1007/978-3-540-71103-2_4},
volume = 4389,
wos = {000245775800004},
year = 2007
} }}})))
((({{{ @inproceedings{swarmlinda-cec07,
title = {Self-Organized Over-Clustering Avoidance in Tuple-Space Systems},
booktitle = {IEEE Congress on Evolutionary Computation, 2007 (CEC 2007). },
publisher = {IEEE Computer Society},
month = {25--28}}},
author = {Casadei, Matteo and Menezes, Ronaldo and Viroli, Mirko and Tolksdorf, Robert}} }}})))
((({{{ @incollection{selforg-ceemas07,
acm = {10.1007/978-3-540-75254-7_13},
author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
booktitle = {Multi-Agent Systems and Applications {V}},
doi = {10.1007/978-3-540-75254-7_13},
editor = {Burkhard, Hans-Dieter and Verbrugge, Rineke and Varga, László Zsolt},
eisbn = {978-3-540-75254-7},
isbn = {978-3-540-75253-0},
issn = {0302-9743},
month = sep,
note = {5th International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS'07), Leipzig, Germany, 25--27~} # sep # {~2007, Proceedings},
pages = {123--132},
publisher = {Springer Berlin Heidelberg},
scopus = {2-s2.0-38049127353},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Design Patterns for Self-Organising Systems},
url = {http://link.springer.com/10.1007/978-3-540-75254-7_13},
volume = 4696,
wos = {000250900900013},
year = 2007
} }}})))
((({{{ @article{envinfra-jaamas14,
Author = {Viroli, Mirko and Holvoet, Tom and Ricci, Alessandro and Schelfthout, Kurt and Zambonelli, Franco},
Doi = {10.1007/s10458-006-9001-6},
Editor = {Weyns, Danny and Parunak, H. Van Dyke},
Issn = {1387-2532},
Journal = {Autonomous Agents and Multi-Agent Systems},
Month = jul,
Note = {Special Issue: Environment for Multi-Agent Systems},
Publisher = {Springer Netherlands},
Title = {Infrastructures for the Environment of Multiagent Systems},
Volume = 14,
Number = 1,
Pages = {49--60},
Year = 2007} }}})))
((({{{ @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{OrchestrationJLAP70,
Author = {Viroli, Mirko},
Doi = {doi:10.1016/j.jlap.2006.05.006},
Editor = {Bravetti, Mario and Zavattaro, Gianluigi},
Issn = {1567-8326},
Journal = {Journal of Logic and Algebraic Programming},
Keywords = {Web Services, Orchestration, Process Algebra},
Month = jan,
Note = {Special Issue on Web Services and Formal Methods},
Number = 1,
Pages = {74--95},
Publisher = {Elsevier Science B.V.},
Title = {A core calculus for correlation in orchestration languages},
Volume = 70,
Year = 2007} }}})))
((({{{ @incollection{selforg-e4masIII,
acm = {1759362},
author = {Gardelli, Luca and Viroli, Mirko and Casadei, Matteo and Omicini, Andrea},
booktitle = {Environments for MultiAgent Systems III},
chapter = 15,
doi = {10.1007/978-3-540-71103-2_15},
editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
eisbn = {978-3-540-71103-2},
isbn = {978-3-540-71102-5},
issn = {0302-9743},
month = may,
note = {3rd International Workshop (E4MAS 2006), Hakodate, Japan, 8~} # may # {~2006. Selected Revised and Invited Papers},
numpages = 18,
pages = {254--271},
part = {Applications},
publisher = {Springer Berlin Heidelberg},
scopus = {2-s2.0-38049129687},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Designing Self-organising {MAS} Environments: The Collective Sort Case},
url = {http://link.springer.com/10.1007/978-3-540-71103-2_15},
volume = 4389,
wos = {000245775800015},
year = 2007
} }}})))
((({{{ @inproceedings{selforg-eedas07,
address = {ICAC 2007, Jacksonville, FL, USA},
author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
booktitle = {2nd International Workshop on Engineering Emergence in Decentralised Autonomic Systems (EEDAS 2007)},
editor = {De Wolf, Tom and Saffre, Fabrice and Anthony, Richard},
isbn = {978-1-904521-43-3},
month = {11}}},
publisher = {CMS Press, University of Greenwich, London, UK},
title = {Design Patterns for Self-Organizing Multiagent Systems},
url = {https://distrinet.cs.kuleuven.be/events/eedas/2007/papers/DesignPatterns_GardelliViroliOmicini_EEDAS2007.pdf},
urlpdf = {https://distrinet.cs.kuleuven.be/events/eedas/2007/papers/DesignPatterns_GardelliViroliOmicini_EEDAS2007.pdf},
year = 2007
} }}})))
((({{{ @inproceedings{artifacts-aamas07,
acm = {1329308},
address = {Honolulu, Hawai'i, USA},
articleno = 150,
author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
booktitle = {6th International Joint Conference ``Autonomous Agents \& Multi-Agent Systems'' (AAMAS 2007)},
doi = {10.1145/1329125.1329308},
editor = {Durfee, Edmund and Yokoo, Makoto and Huhns, Michael and Shehory, Onn},
iris = {11585/45688},
isbn = {978-81-904262-7-5},
keywords = {A&A, artifacts, cartago, multi-agent systems, agent-oriented computing},
month = {14--18}}},
scopus = {2-s2.0-60349099652},
title = {``{G}ive Agents their Artifacts'': The {A\&A} Approach for Engineering Working Environments in {MAS}},
url = {http://dl.acm.org/citation.cfm?id=1329308},
year = 2007
} }}})))
((({{{ @inproceedings{simpa-pppj07,
Address = {Lisboa, Portugal},
Author = {Ricci, Alessandro and Viroli, Mirko},
Booktitle = {5th International Symposium on Principles and Practice of Programming in Java (PPPJ 2007)},
Doi = {10.1145/1294325.1294350},
Editor = {Amaral, Vasco},
Isbn = {978-1-59593-672-1},
Month = {5--7}}},
Series = {ACM International Conference Proceeding},
Title = {{{\sf simpA}}: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of {J}ava},
Volume = {272},
Year = 2007}
}}})))
((({{{ @inproceedings{swarmlinda-lncs4676,
Author = {Casadei, Matteo and Menezes, Ronaldo and Viroli, Mirko and Tolksdorf, Robert},
Booktitle = {Cooperative Information Agents XI},
Doi = {10.1007/978-3-540-75119-9\_18},
Editor = {Klusch, Matthias and Hindriks, Koen and Papazoglou, Mike and Sterling, Mike},
Elsevier-Ref = {LNCS4676},
Isbn = {978-3-540-75118-2},
Issn = {0302-9743},
eissn = {1611-3349},
Month = sep,
Note = {11th International Workshop on Cooperative Information Agents (CIA 2007), Delf, The Netherland, 19--21~} # sep # {~2007. Proceedings},
Pages = {255--269},
Publisher = {Springer},
Series = {LNCS},
Title = {Using Ant's Brood Sorting to Increase Fault Tolerance in {L}inda's Tuple Distribution Mechanism},
Url = {http://www.springerlink.com/content/t04756206478j775/},
Volume = 4676,
Year = 2007} }}})))
((({{{ @article{IntroJOT6,
issn = {1660-1769},
publisher = {ETH Swiss Federal Institute of Technology},
journal = {Journal of Object Technology},
author = {Ancona, Davide and Viroli, Mirko},
title = {Guest Editorial},
year = 2007,
note = {Special Issue: OOPS Track at SAC 2006 / France},
number = 2,
url = {http://www.jot.fm/contents/issue_2007_02/editorial.html},
editor = {Ancona, Davide and Viroli, Mirko},
volume = 6,
doi = {10.5381/jot.2007.6.2.e1}} }}})))
((({{{ @inproceedings{respect-foclasa07,
address = {CONCUR 2007, Lisbon, Portugal},
author = {Casadei, Matteo and Omicini, Andrea and Viroli, Mirko},
booktitle = {6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07)},
editor = {Canal, Carlos and Poizat, Pascal and Viroli, Mirko},
keywords = {Rewriting Logic, Maude, Coordination Language, {{\sf ReSpecT}}, Agents \& Artifacts},
month = {8}}},
title = {Prototyping {A\&A} {{\sf ReSpecT}} in {M}aude},
url = {http://foclasa07.lcc.uma.es/},
year = 2007
} }}})))
((({{{ @article{rbacmas-aai21,
acm = {10.1080/08839510701253674},
author = {Viroli, Mirko and Omicini, Andrea and Ricci, Alessandro},
doi = {10.1080/08839510701253674},
editor = {Bandini, Stefania and Manzoni, Sara},
eissn = {1087-6545},
iris = {11585/45413},
issn = {0883-9514},
journal = {Applied Artificial Intelligence},
month = apr,
note = {Special Issue: State of Applications in AI Research from AI*IA 2005},
number = 4--5,
pages = {443--467},
publisher = {Taylor \& Francis},
scopus = {2-s2.0-34248579034},
title = {Infrastructure for {RBAC-MAS}: An Approach Based on {A}gent {C}oordination {C}ontexts},
url = {http://www.tandfonline.com/doi/10.1080/08839510701253674},
volume = 21,
wos = {000246536600011},
year = 2007
} }}})))
((({{{ @inproceedings{swarmlinda-saso07,
Address = {Boston, Massachusetts, USA},
Author = {Casadei, Matteo and Menezes, Ronaldo and Tolksdorf, Robert and Viroli, Mirko},
Booktitle = {1st IEEE Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007)},
Editor = {Babaoglu, Ozalp and Shrobe, Howard},
Month = {9--11}}},
Title = {On the Problem of Over-clustering in Tuple-based Coordination Systems},
Doi = {10.1109/SASO.2007.42},
Year = 2007} }}})))
((({{{ @article{preface-scp66,
Author = {Canal, Carlos and Viroli, Mirko},
Doi = {doi:10.1016/j.scico.2007.02.001},
Editor = {Canal, Carlos and Viroli, Mirko},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Month = may,
Note = {Special Issue on the 4th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA '05)},
Number = 3,
Pages = {181--183},
Publisher = {Elsevier Science B.V.},
Title = {Preface},
Url = {http://www.sciencedirect.com/science/article/pii/S0167642307000342},
Volume = 66,
Year = 2007} }}})))
((({{{ @inproceedings{patj-pppj07,
Address = {New York, NY, USA},
Author = {Cimadamore, Maurizio and Viroli, Mirko},
Booktitle = {5th International Symposium on Principles and Practice of Programming in {J}ava (PPPJ '07)},
Doi = {10.1145/1294325.1294352},
Isbn = {978-1-59593-672-1},
Location = {Lisboa, Portugal},
Pages = {197--202},
Publisher = {ACM},
Title = {A {P}rolog-oriented extension of {J}ava programming based on generics and annotations},
Year = 2007}
}}})))
((({{{ @inproceedings{collectivesort-coord-sac07,
title = {A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces},
address = {New York, NY, USA},
booktitle = {SAC '07: Proceedings of the 2007 ACM Symposium on Applied Computing},
publisher = {ACM },
doi = {10.1145/1244002.1244086},
isbn = {1-59593-480-4},
editor = {Ricci, Alessandro and Schumacher, Michael and Angerer, Bernard },
year = 2007,
pages = {354--359},
author = {Viroli, Mirko and Casadei, Matteo and Gardelli, Luca}} }}})))
((({{{ @inCollection{IntroENTCS175,
author = {Carlos, Canal and Viroli, Mirko},
title = {Preface},
series = {Electronic Notes in Theoretical Computer Science},
editor = {Carlos, Canal and Viroli, Mirko},
volume = 175,
number = 2,
pages = {1--2},
year = 2007,
publisher = {Elsevier Science B.V.},
issn = {1571-0661},
booktitle = {Proceedings of the 5th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006)},
doi = {10.1016/j.entcs.2005.12.029}
}
}}})))
((({{{ @article{PolymorphismOoplsa2007,
issn = {0362-1340},
volume = 42,
title = {Variant path types for scalable extensibility},
address = {New York, NY, USA},
publisher = {ACM},
number = 10,
doi = {10.1145/1297027.1297037},
keywords = {Generics, parametric polymorphism, variant types, Featherweight Java},
isbn = {978-1-59593-786-5},
note = {Proceedings of the 22nd annual ACM SIGPLAN Conference on Object Oriented Programming Systems, Languages and Applications (OOPSLA '07), Montreal, Quebec, Canada},
editor = {Gabriel, Richard P. and Bacon, David F. and Videira Lopes, Cristina and Steele, Jr., Guy L.},
year = 2007,
pages = {113--132},
journal = {ACM SIGPLAN Notices},
author = {Igarashi, Atsushi and Viroli, Mirko}} }}})))
((({{{ @inproceedings{artifacts-promas07,
address = {AAMAS 2007, Honolulu, Hawaii, USA},
author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
booktitle = {5th International Workshop ``Programming Multi-Agent Systems'' (PROMAS 2007)},
editor = {Dastani, Mehdi and El Fallah Seghrouchni, Amal and Ricci, Alessandro and Winikoff, Michael},
keywords = {CArtAgO, A&A, artifacts, multi-agent systems, agent-oriented computing},
month = {15}}}},
year = 2007
} }}})))
((({{{ @incollection{cogstig-e4masIII,
acm = {1759352},
author = {Ricci, Alessandro and Omicini, Andrea and Viroli, Mirko and Gardelli, Luca and Oliva, Enrico},
booktitle = {Environments for MultiAgent Systems III},
chapter = 7,
doi = {10.1007/978-3-540-71103-2_7},
editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
eisbn = {978-3-540-71103-2},
iris = {11585/45690},
isbn = {978-3-540-71102-5},
issn = {0302-9743},
month = may,
note = {3rd International Workshop (E4MAS 2006), Hakodate, Japan, 8~} # may # {~2006. Selected Revised and Invited Papers},
numpages = 4389,
pages = {124--140},
part = {Mediated Interaction and Stigmery},
publisher = {Springer Berlin Heidelberg},
publonsid = {13197240},
scholar = {8497596473192410111},
scopus = {2-s2.0-38049179113},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts},
url = {http://link.springer.com/10.1007/978-3-540-71103-2_7},
volume = 4389,
wos = {000245775800007},
year = 2007
} }}})))
((({{{ @article{respect-entcs180,
acm = {10.1016/j.entcs.2006.10.049},
author = {Viroli, Mirko and Omicini, Andrea},
booktitle = {Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2004)},
doi = {10.1016/j.entcs.2006.10.049},
editor = {Brogi, Antonio and Jacquet, Jean-Marie and Pimentel, Ernesto},
issn = {1571-0661},
journal = {Electronic Notes in Theoretical Computer Science},
keyword = {Tuple spaces, {\sf {ReSpecT}}, Tuple centres, {P}etri nets, Formal analysis},
keywords = {Tuple spaces, ReSpecT, Tuple centres, Petri nets, Formal analysis},
month = jun,
note = {3rd International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'04), CONCUR'04, London, UK, 30~} # aug # {~2004. Post-proceedings},
number = 2,
numpages = 180,
pages = {123--144},
publisher = {Elsevier Science B.V.},
scopus = {2-s2.0-34250167192},
series = {Electronic Notes in Theoretical Computer Science},
title = {{{\sf ReSpecT}} Nets: Towards an Analysis Methodology for {{\sf ReSpecT}} Specifications},
url = {http://www.sciencedirect.com/science/article/pii/S1571066107003258},
volume = 180,
wos = {WOS:000214244100009},
year = 2007
} }}})))
</div>
<div id="bottom" class="mainselectbottom">
26 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2007 {{stringEngIta eng='without' ita='senza'/}} IEEE No • [[in cima>>||anchor="top"]] • [[indice>>||anchor="index"]] • [[in fondo>>||anchor="bottom"]]</div>
0000-0003-2702-5702