Per Year

17 publications without Scopus ID  /  2007  /  Mirko Viroli
 @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 &bull; [[top>>||anchor="top"]] &bull; [[index>>||anchor="index"]] &bull; [[bottom>>||anchor="bottom"]]</div>