Per Year

26 publications without IEEE No  /  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{timed-wias5,
    acm = {1377768},
    author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
    editor = {Menezes, Ronaldo and Ossowski, Sascha},
    iris = {11585/46111},
    issn = {1570-1263},
    journal = {Web Intelligence and Agent Systems},
    keywords = {Coordination artifacts, tuple cntres, TuCSoN, ReSpecT, timed coordination},
    month = aug,
    number = 2,
    pages = {161--175},
    publisher = {IOS Press},
    scopus = {2-s2.0-34547812085},
    title = {Timed Environment for {W}eb Agents},
    url = {http://content.iospress.com/articles/web-intelligence-and-agent-systems-an-international-journal/wia00111},
    volume = 5,
    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} 
 @incollection{cartago-e4masIII,
    acm = {1759348},
    author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
    booktitle = {Environments for MultiAgent Systems III},
    chapter = 4,
    doi = {10.1007/978-3-540-71103-2_4},
    editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
    eisbn = {978-3-540-71103-2},
    isbn = {978-3-540-71102-5},
    issn = {0302-9743},
    keywords = {cartago, A&A, artifacts, multi-agent systems, agent-oriented computing},
    month = may,
    note = {3rd International Workshop (E4MAS 2006), Hakodate, Japan, 8~} # may # {~2006. Selected Revised and Invited Papers},
    pages = {67--86},
    part = {Models, Architecture, and Design},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-38049162300},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {{{\sf CArtAgO}}: A Framework for Prototyping Artifact-Based Environments in {MAS}},
    url = {http://link.springer.com/10.1007/978-3-540-71103-2_4},
    volume = 4389,
    wos = {000245775800004},
    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}} }}})))
((({{{ @incollection{selforg-ceemas07,
    acm = {10.1007/978-3-540-75254-7_13},
    author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
    booktitle = {Multi-Agent Systems and Applications {V}},
    doi = {10.1007/978-3-540-75254-7_13},
    editor = {Burkhard, Hans-Dieter and Verbrugge, Rineke and Varga, László Zsolt},
    eisbn = {978-3-540-75254-7},
    isbn = {978-3-540-75253-0},
    issn = {0302-9743},
    month = sep,
    note = {5th International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS'07), Leipzig, Germany, 25--27~} # sep # {~2007, Proceedings},
    pages = {123--132},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-38049127353},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {Design Patterns for Self-Organising Systems},
    url = {http://link.springer.com/10.1007/978-3-540-75254-7_13},
    volume = 4696,
    wos = {000250900900013},
    year = 2007
} }}})))
((({{{ @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{orchestration-scp66,
        Author = {Viroli, Mirko and Denti, Enrico and Ricci, Alessandro},
        Doi = {doi:10.1016/j.scico.2007.01.008},
        Editor = {Canal, Carlos and Viroli, Mirko},
        Issn = {0167-6423},
        Journal = {Science of Computer Programming},
        Keywords = {Multiagent systems; Orchestration languages; Coordination models; Languages process algebra},
        Month = may,
        Note = {Special Issue on Foundations of Coordination Languages and Software Architectures 2005},
        Number = 3,
        Pages = {226--245},
        Publisher = {Elsevier Science B.V.},
        Title = {Engineering a {BPEL} Orchestration Engine as a Multi-agent System},
Url = {http://www.sciencedirect.com/science/article/pii/S0167642307000378},
        Volume = 66,
        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} }}})))
((({{{ @incollection{selforg-e4masIII,
    acm = {1759362},
    author = {Gardelli, Luca and Viroli, Mirko and Casadei, Matteo and Omicini, Andrea},
    booktitle = {Environments for MultiAgent Systems III},
    chapter = 15,
    doi = {10.1007/978-3-540-71103-2_15},
    editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
    eisbn = {978-3-540-71103-2},
    isbn = {978-3-540-71102-5},
    issn = {0302-9743},
    month = may,
    note = {3rd International Workshop (E4MAS 2006), Hakodate, Japan, 8~} # may # {~2006. Selected Revised and Invited Papers},
    numpages = 18,
    pages = {254--271},
    part = {Applications},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-38049129687},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {Designing Self-organising {MAS} Environments: The Collective Sort Case},
    url = {http://link.springer.com/10.1007/978-3-540-71103-2_15},
    volume = 4389,
    wos = {000245775800015},
    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{artifacts-aamas07,
    acm = {1329308},
    address = {Honolulu, Hawai'i, USA},
    articleno = 150,
    author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
    booktitle = {6th International Joint Conference ``Autonomous Agents \& Multi-Agent Systems'' (AAMAS 2007)},
    doi = {10.1145/1329125.1329308},
    editor = {Durfee, Edmund and Yokoo, Makoto and Huhns, Michael and Shehory, Onn},
    iris = {11585/45688},
    isbn = {978-81-904262-7-5},
    keywords = {A&A, artifacts, cartago, multi-agent systems, agent-oriented computing},
    month = {14--18}}},
    scopus = {2-s2.0-60349099652},
    title = {``{G}ive Agents their Artifacts'': The {A\&A} Approach for Engineering Working Environments in {MAS}},
    url = {http://dl.acm.org/citation.cfm?id=1329308},
    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
} }}})))
((({{{ @article{rbacmas-aai21,
    acm = {10.1080/08839510701253674},
    author = {Viroli, Mirko and Omicini, Andrea and Ricci, Alessandro},
    doi = {10.1080/08839510701253674},
    editor = {Bandini, Stefania and Manzoni, Sara},
    eissn = {1087-6545},
    iris = {11585/45413},
    issn = {0883-9514},
    journal = {Applied Artificial Intelligence},
    month = apr,
    note = {Special Issue: State of Applications in AI Research from AI*IA 2005},
    number = 4--5,
    pages = {443--467},
    publisher = {Taylor \& Francis},
    scopus = {2-s2.0-34248579034},
    title = {Infrastructure for {RBAC-MAS}: An Approach Based on {A}gent {C}oordination {C}ontexts},
    url = {http://www.tandfonline.com/doi/10.1080/08839510701253674},
    volume = 21,
    wos = {000246536600011},
    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
} }}})))
((({{{ @incollection{cogstig-e4masIII,
    acm = {1759352},
    author = {Ricci, Alessandro and Omicini, Andrea and Viroli, Mirko and Gardelli, Luca and Oliva, Enrico},
    booktitle = {Environments for MultiAgent Systems III},
    chapter = 7,
    doi = {10.1007/978-3-540-71103-2_7},
    editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
    eisbn = {978-3-540-71103-2},
    iris = {11585/45690},
    isbn = {978-3-540-71102-5},
    issn = {0302-9743},
    month = may,
    note = {3rd International Workshop (E4MAS 2006), Hakodate, Japan, 8~} # may # {~2006. Selected Revised and Invited Papers},
    numpages = 4389,
    pages = {124--140},
    part = {Mediated Interaction and Stigmery},
    publisher = {Springer Berlin Heidelberg},
    publonsid = {13197240},
    scholar = {8497596473192410111},
    scopus = {2-s2.0-38049179113},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts},
    url = {http://link.springer.com/10.1007/978-3-540-71103-2_7},
    volume = 4389,
    wos = {000245775800007},
    year = 2007
} }}})))
((({{{ @article{respect-entcs180,
    acm = {10.1016/j.entcs.2006.10.049},
    author = {Viroli, Mirko and Omicini, Andrea},
    booktitle = {Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2004)},
    doi = {10.1016/j.entcs.2006.10.049},
    editor = {Brogi, Antonio and Jacquet, Jean-Marie and Pimentel, Ernesto},
    issn = {1571-0661},
    journal = {Electronic Notes in Theoretical Computer Science},
    keyword = {Tuple spaces, {\sf {ReSpecT}}, Tuple centres, {P}etri nets, Formal analysis},
    keywords = {Tuple spaces, ReSpecT, Tuple centres, Petri nets, Formal analysis},
    month = jun,
    note = {3rd International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'04), CONCUR'04, London, UK, 30~} # aug # {~2004. Post-proceedings},
    number = 2,
    numpages = 180,
    pages = {123--144},
    publisher = {Elsevier Science B.V.},
    scopus = {2-s2.0-34250167192},
    series = {Electronic Notes in Theoretical Computer Science},
    title = {{{\sf ReSpecT}} Nets: Towards an Analysis Methodology for {{\sf ReSpecT}} Specifications},
    url = {http://www.sciencedirect.com/science/article/pii/S1571066107003258},
    volume = 180,
    wos = {WOS:000214244100009},
    year = 2007
} }}})))
</div>
<div id="bottom" class="mainselectbottom">
26 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2007 {{stringEngIta eng='without' ita='senza'/}} IEEE No &bull; [[top>>||anchor="top"]] &bull; [[index>>||anchor="index"]] &bull; [[bottom>>||anchor="bottom"]]</div>