Per anno

26 pubblicazioni senza IEEE No  /  2006  /  Mirko Viroli
 @article{coord-fundinfo73,
    acm = {1231195},
    author = {Viroli, Mirko and Omicini, Andrea},
    dblp = {journals/fuin/ViroliO06},
    editor = {Brogi, Antonio and Jacquet, Jean-Marie and Kok, Joost},
    eissn = {1875-8681},
    iris = {11585/28226},
    issn = {0169-2968},
    journal = {Fundamenta Informaticae},
    note = {Special Issue: Best papers of FOCLASA 2002},
    number = 4,
    pages = {507--534},
    publisher = {IOS Press},
    scopus = {2-s2.0-33746222313},
    title = {Coordination as a Service},
    url = {http://content.iospress.com/articles/fundamenta-informaticae/fi73-4-04},
    volume = 73,
    wos = {000242909600004},
    year = 2006
} 
 @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
} 
 @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}}},
    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}
}
 }}})))
((({{{ @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}}},
    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{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}}},
    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}}},
	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} }}})))
</div>
<div id="bottom" class="mainselectbottom">
26 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2006 {{stringEngIta eng='without' ita='senza'/}} IEEE No &bull; [[in cima>>||anchor="top"]] &bull; [[indice>>||anchor="index"]] &bull; [[in fondo>>||anchor="bottom"]]</div>