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~} # sep,
Organization = {Associazione Italiana per l'Informatica ed il Calcolo Automatico},
Pages = {96--101},
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~} # dec,
Number = 223,
Publisher = {Sun SITE Central Europe, RWTH Aachen University},
Series = {CEUR Workshop Proceedings},
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~} # aug,
   note = {Proceedings},
   pages = {57--75},
   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~} # apr,
   note = {18th European Meeting on Cybernetics and Systems Research (EMCSR 2006), 5th International Symposium ``From Agent Theory to Theory Implementation'' (AT2AI-5). Proceedings},
   pages = {539--544},
   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~} # may,
   pages = {102--119},
   title = {{{\sf CArtAgO}}: 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~} # apr,
   note = {18th European Meeting on Cybernetics and Systems Research (EMCSR 2006), 5th International Symposium ``From Agent Theory to Theory Implementation'' (AT2AI-5). Proceedings},
   pages = {569--574},
   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~} # may,
   pages = {44--60},
   title = {Cognitive Stigmergy: A Framework Based on Agents and Artifacts},
   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~} # sep,
Pages = {173--180},
Publisher = {Sun SITE Central Europe, RWTH Aachen University},
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~} # may,
Pages = {96--101},
Title = {On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation},
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}
17 publications in 2006 without Web of Science ID • topindexbottom