Per Year
@incollection{swarmlinda-lncs4725, Author = {Casadei, Matteo and Menezes, Ronaldo and Viroli, Mirko and Tolksdorf, Robert}, Booktitle = {Self-Organizing Systems}, Doi = {10.1007/978-3-540-74917-2}, Editor = {Hutchison, Davis and Katz, Randy}, Elsevier-Ref = {LNCS4725}, Isbn = {978-3-540-74916-5}, Issn = {0302-9743}, eissn = {1611-3349}, Month = aug, Note = {2nd International Workshop on Self-Organizing Systems (IWSOS 2007), The Lake District, UK, 11--13~} # sep # {~2007. Proceedings}, Pages = {146--160}, Publisher = {Springer}, Series = {LNCS}, Title = {A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems}, Url = {http://www.springerlink.com/content/f602r041350x5u8v/}, Volume = 4725, Year = 2007}
@article{collectivesort-entcs175, Author = {Casadei, Matteo and Gardelli, Luca and Viroli, Mirko}, Doi = {10.1016/j.entcs.2007.03.006}, Editor = {Canal, Carlos and Viroli, Mirko}, Elsevier-Ref = {ENTCS1735}, Issn = {1571-0661}, Journal = {Electronic Notes in Theoretical Computer Science}, Keywords = {Stochastic Transition System, Self-Organization, Simulation, Coordination, Collective Sort}, Month = jun, Note = {5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'06), CONCUR'06, Bonn, Germany, 31~} # aug # {~2006. Post-proceedings}, Number = 2, Pages = {59--80}, Publisher = {Elsevier Science B.V.}, Title = {Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case}, Volume = 175, 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}}
@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{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}
@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{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 } }}}))) ((({{{ @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 } }}}))) </div> <div id="bottom" class="mainselectbottom"> 17 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2007 {{stringEngIta eng='without' ita='senza'/}} Scopus ID • [[top>>||anchor="top"]] • [[index>>||anchor="index"]] • [[bottom>>||anchor="bottom"]]</div>