Per Year

17 publications without Web of Science ID  /  2006  /  Mirko Viroli
 @inproceedings{selforg-aica06,
	Address = {Cesena, Italy},
	Author = {Gardelli, Luca and Viroli, Mirko and Casadei, Matteo},
	Booktitle = {Atti Congresso Annuale AICA 2006},
	Isbn = {88-6055-075-0},
	Month = {21--22}}},
	Publisher = {Alinea Editrice, Firenze, Italy},
	Title = {On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation},
	Volume = 1,
	Year = 2006} 
 @inproceedings{collectivesort-eumas06,
	Address = {Lisbon, Portugal},
	Author = {Casadei, Matteo and Gardelli, Luca and Viroli, Mirko},
	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}}},
	Title = {A Case of Self-Organising Environment for MAS: the Collective Sort Problem},
	Url = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-223/24.pdf},
	Year = 2006} 
 @inproceedings{collectivesort-foclasa06,
    address = {CONCUR 2006, Bonn, Germany},
    author = {Casadei, Matteo and Gardelli, Luca and Viroli, Mirko},
    booktitle = {5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'06)},
    editor = {Canal, Carlos and Viroli, Mirko},
    keywords = {Stochastic Transition System, Self-Organization, Simulation, Coordination, Collective Sort},
    month = {31}}},
    title = {Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case},
    url = {http://foclasa06.lcc.uma.es/},
    year = 2006
} 
 @inproceedings{simpademo-woa2006,
    author = {Ricci, Alessandro and Buda, Claudio and Zaghini, Nicola and Natali, Antonio and Viroli, Mirko and Omicini, Andrea},
    booktitle = {From Objects to Agents},
    editor = {De Paoli, Flavio and Di Stefano, Antonella and Omicini, Andrea and Santoro, Corrado},
    iris = {11585/30151},
    issn = {1613-0073},
    keywords = {simpa, web services, SOA, A&A, SOA/WS, agent-oriented computing},
    month = oct,
    note = {7th Workshop ``From Objects to Agents'' (WOA 2006), Catania, Italy, 26--27~} # sep # {~2006. Proceedings},
    numpages = 3,
    pages = {1--3},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scopus = {2-s2.0-84868642666},
    series = {CEUR Workshop Proceedings},
    title = {{simpA-WS}: An Agent-Oriented Computing Technology for {WS}-based {SOA} Applications},
    url = {http://ceur-ws.org/Vol-204/D01.pdf},
    volume = 204,
    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{selforg-atai06,
    address = {Vienna, Austria},
    author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
    booktitle = {Cybernetics and Systems 2006},
    editor = {Trappl, Robert},
    isbn = {3-85206-172-5},
    month = {18--21}}},
    publisher = {Austrian Society for Cybernetic Studies},
    title = {Exploring the Dynamics of Self-Organising Systems with Stochastic $\pi$-Calculus: Detecting Abnormal Behaviour in {MAS}},
    volume = 2,
    year = 2006
} 
 @inproceedings{cartago-e4mas06,
    address = {AAMAS 2006, Hakodate, Japan},
    author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
    booktitle = {3rd International Workshop ``Environments for Multi-Agent Systems'' (E4MAS 2006)},
    editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
    keywords = {CArtAgO, A&A, artifacts, multi-agent systems, agent-oriented computing},
    month = {8}}}}: An Infrastructure for Engineering Computational Environments in {MAS}},
    url = {http://distrinet.cs.kuleuven.be/events/e4mas/2006/contents/papers/ricci2.pdf},
    urlpdf = {http://distrinet.cs.kuleuven.be/events/e4mas/2006/contents/papers/ricci2.pdf},
    year = 2006
} }}})))
((({{{ @inCollection{IntroENTCS154,
   author =    {Carlos, Canal AND Viroli, Mirko},
   title =     {Preface},
   series =   {Electronic Notes in Theoretical Computer Science},
   editor =    {Carlos, Canal AND Viroli, Mirko},
   volume =    154,
   number =    1,
   pages =     {1--2},
   year =      2006,
   publisher = {Elsevier Science B.V.},
   issn =      {1571-0661},
   booktitle =      {Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005)},
   doi =       {10.1016/j.entcs.2005.12.029}
}
 }}})))
((({{{ @inproceedings{cartago-at2ai06,
    address = {Vienna, Austria},
    author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
    booktitle = {Cybernetics and Systems 2006},
    editor = {Trappl, Robert},
    isbn = {3-85206-172-5},
    keywords = {cartago, A&A, artifacts, multi-agent systems, agent-oriented computing},
    month = {18--21}}},
    publisher = {Austrian Society for Cybernetic Studies},
    title = {{\it Construenda est} {{\sf CArtAgO}}: Toward an Infrastructure for Artifacts in {MAS}},
    volume = 2,
    year = 2006
} }}})))
((({{{ @inproceedings{cogstig-e4mas06,
    address = {AAMAS 2006, Hakodate, Japan},
    author = {Ricci, Alessandro and Omicini, Andrea and Viroli, Mirko and Gardelli, Luca and Oliva, Enrico},
    booktitle = {3rd International Workshop ``Environments for Multi-Agent Systems'' (E4MAS 2006)},
    editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
    iris = {11585/27782},
    month = {8}}},
    url = {http://distrinet.cs.kuleuven.be/events/e4mas/2006/contents/papers/ricci.pdf},
    year = 2006
} }}})))
((({{{ @inproceedings{mgdemo-woa2006,
    author = {Oliva, Enrico and Viroli, Mirko and Omicini, Andrea},
    booktitle = {From Objects to Agents},
    editor = {De Paoli, Flavio and Di Stefano, Antonella and Omicini, Andrea and Santoro, Corrado},
    iris = {11585/30148},
    issn = {1613-0073},
    month = oct,
    note = {7th Workshop ``From Objects to Agents'' (WOA 2006), Catania, Italy, 26--27~} # sep # {~2006. Proceedings},
    pages = {6--9},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scopus = {2-s2.0-79956063434},
    series = {CEUR Workshop Proceedings},
    title = {Simulation of {M}inority {G}ame in \textsf{TuCSoN}},
    url = {http://ceur-ws.org/Vol-204/D03.pdf},
    volume = 204,
    year = 2006
} }}})))
((({{{ @inproceedings{collectivesort-woa06,
	Address = {Catania, Italy},
	Author = {Casadei, Matteo and Gardelli, Luca and Viroli, Mirko},
	Booktitle = {WOA 2006 -- Dagli oggetti agli agenti: sistemi grid, p2p e self-*},
	Editor = {De Paoli, Flavio and Di Stefano, Antonella and Omicini, Andrea and Santoro, Corrado},
	Issn = {1613-0073},
	Journal = {CEUR Workshop Proceedings},
	Month = {26--27}}},
	Series = {CEUR Workshop Proceedings},
	Title = {Collective Sorting Tuple Spaces},
	Url = {http://ceur-ws.org/Vol-204/D01.pdf},
	Year = 2006}} }}})))
((({{{ @article{framework-foclasa06,
    author = {Natali, Antonio and Oliva, Enrico and Ricci, Alessandro and Viroli, Mirko},
    booktitle = {Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005)},
    doi = {10.1016/j.entcs.2005.12.032},
    journal = {Electronic Notes in Theoretical Computer Science},
    number = 1,
    pages = {43--61},
    series = {Electronic Notes in Theoretical Computer Science},
    title = {A Framework for Engineering Interactions in {J}ava-based Component Systems},
    url = {http://www.sciencedirect.com/science/article/pii/S1571066106001782},
    volume = 154,
    year = 2006
} }}})))
((({{{ @incollection{interaction-interbook,
    author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
    booktitle = {Interactive Computation: The New Paradigm},
    chapter = 15,
    doi = {10.1007/3-540-34874-3_15},
    editor = {Goldin, Dina Q. and Smolka, Scott A. and Wegner, Peter},
    eisbn = {978-3-540-34874-0},
    iris = {11585/31257},
    isbn = {978-3-540-34666-1},
    isbn10 = {3-540-34666-X},
    month = sep,
    pages = {395--414},
    part = {IV},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-34249978147},
    title = {The Multidisciplinary Patterns of Interaction from Sciences to {C}omputer {S}cience},
    url = {http://link.springer.com/10.1007/3-540-34874-3_15},
    year = 2006
} }}})))
((({{{ @inproceedings{collectivesort-e4mas06,
	Address = {AAMAS 2006, Hakodate, Japan},
	Author = {Gardelli, Luca and Viroli, Mirko and Casadei, Matteo},
	Booktitle = {3rd International Workshop ``Environments for Multi-Agent Systems'' (E4MAS 2006)},
	Editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
	Month = {8}}},
	Url = {http://distrinet.cs.kuleuven.be/events/e4mas/2006/contents/papers/gardelli.pdf},
	Year = 2006} }}})))
((({{{ @inproceedings{mg-woa2006,
    author = {Oliva, Enrico and Viroli, Mirko and Omicini, Andrea},
    booktitle = {From Objects to Agents},
    editor = {De Paoli, Flavio and Di Stefano, Antonella and Omicini, Andrea and Santoro, Corrado},
    iris = {11585/30143},
    issn = {1613-0073},
    month = oct,
    note = {7th Workshop ``From Objects to Agents'' (WOA 2006), Catania, Italy, 26--27~} # sep # {~2006. Proceedings},
    pages = {181--186},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scopus = {2-s2.0-78650290825},
    series = {CEUR Workshop Proceedings},
    title = {{M}inority {G}ame: A Logic-Based Approach in {{\sf TuCSoN}} },
    url = {http://ceur-ws.org/Vol-204/P02.pdf},
    volume = 204,
    year = 2006
} }}})))
((({{{ @article{generics-toplas28,
	Address = {New York, NY, USA},
	Author = {Igarashi, Atsushi and Viroli, Mirko},
	Doi = {10.1145/1152649.1152650},
	Issn = {0164-0925},
	Journal = {ACM Transactions on Programming Languages and Systems},
	Month = sep,
	Number = 5,
	Pages = {795--847},
	Publisher = {ACM Press},
	Title = {Variant Parametric Types: A Flexible Subtyping Scheme for Generics},
	Volume = 28,
	Year = 2006} }}})))
</div>
<div id="bottom" class="mainselectbottom">
17 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2006 {{stringEngIta eng='without' ita='senza'/}} Web of Science ID &bull; [[top>>||anchor="top"]] &bull; [[index>>||anchor="index"]] &bull; [[bottom>>||anchor="bottom"]]</div>