Per anno

25 pubblicazioni senza DBLP Key  /  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
}
@incollection{artifacts-selmasIV,
   acm = {2168364},
   author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
   booktitle = {Software Engineering for Multi-Agent Systems IV: Research Issues and Practical Applications},
   doi = {10.1007/11738817_5},
   editor = {Garcia, Alessandro F. and Choren, Ricardo and Lucena, Carlos and Giorgini, Paolo and Holvoet, Tom and Romanovsky, Alexander},
   eisbn = {978-3-540-33583-2},
   isbn = {978-3-540-33580-1},
   isbn10 = {3-540-33580-3},
   issn = {0302-9743},
   month = apr,
   note = {Invited Paper},
   pages = {71--90},
   publisher = {Springer Berlin Heidelberg},
   scopus = {2-s2.0-34250005140},
   series = {Lecture Notes in Computer Science},
   title = {Coordination Artifacts as First-class Abstractions for {MAS} Engineering: State of the Research},
   url = {http://link.springer.com/10.1007/11738817_5},
   volume = 3914,
   wos = {000238283600005},
   year = 2006
}
@article{acc-scp63,
   acm = {10.1016/j.scico.2005.07.014},
   author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
   doi = {10.1016/j.scico.2005.07.014},
   editor = {Zavattaro, Gianluigi and Focardi, Riccardo},
   iris = {11585/29647},
   issn = {0167-6423},
   journal = {Science of Computer Programming},
   keywords = {Coordination; Security; Agent Coordination Context; Formal Specification},
   month = nov,
   note = {Special Issue on Security Issues in Coordination Models, Languages, and Systems},
   number = 1,
   pages = {88--107},
   publisher = {Elsevier Science B.V.},
   scopus = {2-s2.0-33748754195},
   title = {{A}gent {C}oordination {C}ontexts for the Formal Specification and Enactment of Coordination and Security Policies},
   url = {http://www.sciencedirect.com/science/article/pii/S016764230600102X},
   volume = 63,
   wos = {000241356300006},
   year = 2006
}
@article{artifacts-ker21,
   acm = {10.1017/S0269888906000774},
   author = {Viroli, Mirko and Ricci, Alessandro and Omicini, Andrea},
   doi = {10.1017/S0269888906000774},
   eissn = {1469-8005},
   iris = {11585/28316},
   issn = {0269-8889},
   journal = {The Knowledge Engineering Review},
   month = mar,
   number = 1,
   pages = {49--69},
   publisher = {Cambridge University Press},
   scopus = {2-s2.0-33745864838},
   title = {Operating Instructions for Intelligent Agent Coordination},
   url = {http://journals.cambridge.org/action/displayAbstract?aid=451122},
   volume = 21,
   wos = {000239352500003},
   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}
}
@incollection{selforg-esoaIII,
   acm = {10.1007/11734697_12},
   author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
   booktitle = {Engineering Self-Organising Systems},
   chapter = 12,
   doi = {10.1007/11734697_12},
   editor = {Brueckner, Sven A. and Di Marzo Serugendo, Giovanna and Hales, David and Zambonelli, Franco},
   eisbn = {978-3-540-33352-4},
   iris = {11585/27763},
   isbn = {978-3-540-33342-5},
   isbn-10 = {3-540-33342-8},
   isbn10 = {3-540-33342-8},
   issn = {0302-9743},
   note = {3rd International Workshop (ESOA 2005), Utrecht, The Netherlands, 26~} # jul # {~2005. Revised Selected Papers},
   pages = {153--168},
   part = {II},
   publisher = {Springer Berlin Heidelberg},
   scopus = {2-s2.0-33745800439},
   series = {Lecture Notes in Computer Science},
   subseries = {Lecture Notes in Artificial Intelligence},
   title = {On the Role of Simulations in Engineering Self-Organising {MAS}: The Case of an Intrusion Detection System in \textsf{TuCSoN}},
   url = {http://link.springer.com/10.1007/11734697_12},
   urlpdf = {https://link.springer.com/content/pdf/10.1007/11734697_12.pdf},
   volume = 3910,
   wos = {000238109300012},
   year = 2006
}
@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{mgsim-isc06,
   address = {Palermo, Italy},
   author = {Oliva, Enrico and Viroli, Mirko and Omicini, Andrea},
   booktitle = {Industrial Simulation Conference 2006 (ISC 2006)},
   editor = {Genco, Alessandro and Gentile, Antonio and Sorce, Salvatore},
   iris = {11585/27873},
   isbn = {90-77381-26-0},
   month = {5--7~} # jun,
   organization = {EUROSIS (The European Simulation Society) \& ETI (The European Technology Institute)},
   pages = {33--38},
   scopus = {2-s2.0-84898422825},
   title = {Simulating {M}inority {G}ame with {\textsf{TuCSoN}} },
   wos = {000245531000005},
   year = 2006
}
@article{acc-aai20,
   author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
   doi = {10.1080/08839510500484207},
   editor = {Petta, Paolo and Müller, Jörg P.},
   eissn = {1087-6545},
   iris = {11585/27302},
   issn = {0883-9514},
   journal = {Applied Artificial Intelligence},
   month = feb # {--} # apr,
   note = {Special Issue: Best of ``From Agent Theory to Agent Implementation (AT2AI) -- 4''},
   number = 2--4,
   pages = {179--202},
   publisher = {Taylor \& Francis},
   scopus = {2-s2.0-33645779466},
   title = {Agent Coordination Contexts in a {MAS} Coordination Infrastructure},
   url = {http://www.tandfonline.com/doi/full/10.1080/08839510500484207},
   volume = 20,
   wos = {000236388900005},
   year = 2006
}
@article{agensfaber-entcs150,
   acm = {10.1016/j.entcs.2006.03.003},
   author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
   booktitle = {Proceedings of the First International Workshop on Coordination and Organisation (CoOrg 2005)},
   doi = {10.1016/j.entcs.2006.03.003},
   editor = {Boella, Guido and van der Torre, Leendert},
   issn = {1571-0661},
   journal = {Electronic Notes in Theoretical Computer Science},
   month = {29~} # may,
   note = {1st International Workshop ``Coordination and Organization'' (CoOrg 2005), COORDINATION 2005, Namur, Belgium, 22~} # apr # {~2005. Proceedings},
   number = 3,
   pages = {21--36},
   publisher = {Elsevier Science B.V.},
   scopus = {2-s2.0-33646702626},
   series = {Electronic Notes in Theoretical Computer Science},
   title = {{\sl {A}gens {F}aber}: Toward a Theory of Artefacts for {MAS}},
   url = {http://www.sciencedirect.com/science/article/pii/S1571066106003276},
   volume = 150,
   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
}
@incollection{artifacts-promasIII,
   acm = {2180118},
   author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
   booktitle = {Programming Multi-Agent Systems},
   doi = {10.1007/11678823_13},
   editor = {Bordini, Rafael P. and Dastani, Mehdi and Dix, Jürgen and El Fallah Seghrouchni, Amal},
   eisbn = {978-3-540-32617-5},
   isbn = {978-3-540-32616-8},
   isbn10 = {3-540-66281-2},
   issn = {0302-9743},
   keywords = {A&A, artifacts, cartago, multi-agent systems, agent-oriented computing, programming MAS},
   month = mar,
   note = {3rd International Workshop (PROMAS 2005), AAMAS 2005, Utrecht, The Netherlands, 26~} # jul # {~2005. Revised and Invited Papers},
   numpages = 16,
   pages = {206--221},
   publisher = {Springer Berlin Heidelberg},
   scopus = {2-s2.0-33745661012},
   series = {Lecture Notes in Computer Science},
   subseries = {Lecture Notes in Artificial Intelligence},
   title = {Programming {MAS} with Artifacts},
   url = {http://link.springer.com/10.1007/11678823_13},
   volume = 3862,
   wos = {000236893200013},
   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}
25 pubblicazioni nel 2006 senza DBLP Key • in cimaindicein fondo