Per anno

21 pubblicazioni senza IEEE No  /  2011  /  Mirko Viroli
 @inproceedings{sapere-woa2011,
	Address = {Rende, Italy},
	Author = {Viroli, Mirko and Nardini, Elena and Castelli, Gabriella and Mamei, Marco and Zambonelli, Franco},
	Booktitle = {WOA 2011 -- XII Workshop Nazionale "Dagli Oggetti agli Agenti"},
	Editor = {Fortino, Giancarlo and Garro, Alfredo and Palopoli, Luigi and Russo, Wilma and Spezzano, Giandomenico},
	Issn = {1613-0073},
	Month = {4-6}}},
	Series = {CEUR Workshop Proceedings},
	Title = {Coordinating Spatially-Situated Pervasive Service Ecosystems},
	Url = {http://ceur-ws.org/Vol-741/ID13_ViroliNardiniCastelliMameiZambonelli.pdf},
	Volume = 741,
	Year = 2011} 
 @article{simpa-scp76,
	Author = {Ricci, Alessandro and Viroli, Mirko and Piancastelli, Giulio},
	Doi = {10.1016/j.scico.2010.06.012},
	Editor = {Canal, Carlos and Poizat, Pascal and Viroli, Mirko},
	Issn = {0167-6423},
	Journal = {Science of Computer Programming},
	Month = jan,
	Number = 1,
	Pages = {37--62},
	Publisher = {Elsevier Science B.V.},
	Title = {{simpA}: An Agent-oriented Approach for Programming Concurrent Applications on top of {J}ava},
	Url = {http://www.sciencedirect.com/science/article/pii/S0167642310001346},
	Volume = 76,
	Year = 2011} 
 @article{cartago-jaamas23,
	Author = {Ricci, Alessandro and Piunti, Michele and Viroli, Mirko},
	Doi = {10.1007/s10458-010-9140-7},
	Editor = {Bordini, Rafael H. and Dastani, Mehdi and Dix, J{\"u}rgen and El Fallah Seghrouchni, Amal},
	Issn = {1387-2532},
	eissn = {1573-7454},
	Journal = {Autonomous Agents and Multi-Agent Systems},
	Month = sep,
	Note = {Special Issue: Multi-Agent Programming},
	Number = 2,
	Pages = {158--192},
	Title = {Environment Programming in Multi-Agent Systems -- An Artifact-Based Perspective},
	Url = {http://www.springerlink.com/content/b323338888286147/},
	Volume = 23,
	Year = 2011} 
 @inproceedings{pianini-woa2011,
	Address = {Rende, Italy},
	Author = {Pianini, Danilo and Viroli, Mirko and Montagna, Sara},
	Booktitle = {WOA 2011 -- XII Workshop Nazionale "Dagli Oggetti agli Agenti"},
	Editor = {Fortino, Giancarlo and Garro, Alfredo and Palopoli, Luigi and Russo, Wilma and Spezzano, Giandomenico},
	Issn = {1613-0073},
	Month = {4-6}}},
	Series = {CEUR Workshop Proceedings},
	Title = {A Simulation Framework for Pervasive Services Ecosystems},
	Url = {http://ceur-ws.org/Vol-741/ID15_PianiniViroliMontagna.pdf},
	Volume = 741,
	Year = 2011} 
 @incollection{ArtifactsCalculusSDT2011,
	series = {Communications in Computer and Information Science},
	location = {Sofia, Bulgaria},
	booktitle = {Software and Data Technologies. 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers},
	publisher = {Springer-Verlag},
	journal = {Communications in Computer and Information Science},
	author = {Damiani, Ferruccio and Giannini, Paola and Ricci, Alessandro and Viroli, Mirko},
	title = {A Calculus of Agents and Artifacts},
	isbn = {978-3-642-20115-8},
	year = 2011,
	abstract = {A library-based extension of Java, the simpA framework, introduced a new abstraction based on agent-oriented concepts. Agents are autonomous entities that cooperate by exploiting artifacts, representing resources that are dynamically created and shared by agents. In this paper we present a core calculus integrating techniques coming from the area of concurrency and from OO programming. The syntax of the calculus with its static and dynamic semantics are introduced through an example. The calculus aims to foster the formalization (and proof) of type soundness of simpA programs and the development of techniques for analyzing the computational behaviour of agents and artifacts.},
	keywords = {Artifacts; Core Calculus; Operational Semantics; Type System},
	eissn = {1865-0929},
	status = {Published},
	pages = {124--136},
	venue_list = {--},
	url = {http://link.springer.com/chapter/10.1007%2F978-3-642-20116-5_10},
	editor = {Cordeiro, Jos{\'e} and Ranchordas, AlpeshKumar and Shishkov, Boris},
	address = {Berlin, Germany},
	volume = 50,
	doi = {10.1007/978-3-642-20116-5_10}} 
 @incollection {springerlink:10.1007/978-3-642-17348-6_13,
   author = {Casadei, Matteo and Mamei, Marco and Villalba, Cynthia and Viroli, Mirko and Zambonelli, Franco},
   affiliation = {Università di Bologna, 47023 Cesena, Italy},
   title = {Middleware Infrastructures for Self-organising Pervasive Computing Systems},
   booktitle = {Self-organising Software},
   series = {Natural Computing Series},
   editor = {Di Marzo Serugendo, Giovanna and Gleizes, Marie-Pierre and Karageorgos, Anthony},
   publisher = {Springer Berlin Heidelberg},
   isbn = {978-3-642-17348-6},
   keyword = {Computer Science},
   pages = {313-344},
   url = {http://dx.doi.org/10.1007/978-3-642-17348-6_13},
   note = {10.1007/978-3-642-17348-6_13},
   year = {2011}
} 
 @inproceedings{selforg-bads11,
	Address = {Karlsruhe, Germany},
	Author = {Fernandez-Marquez, Jose Luis and Arcos, Josep Lluis and Di Marzo Serugendo, Giovanna and Viroli, Mirko and Montagna, Sara},
	Booktitle = {3rd Workshop on Bio-Inspired and Self-* Algorithms for Distributed Systems},
	Month = {14}}},
	Year = 2011} 
 @inproceedings{sapere-awaresaso11,
	Address = {SASO 2011, Ann Arbor, MI, USA},
	Author = {Viroli, Mirko and Nardini, Elena and Castelli, Gabriella and Mamei, Marco and Zambonelli, Franco},
	Booktitle = {2011 5th IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW 2011)},
	Month = {7}}},
	Publisher = {IEEE CS},
	Title = {A Coordination Approach to Adaptive Pervasive Service Ecosystems},
	Url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=6114584},
	Year = 2011} 
 @article{ecosystems-jpcc7,
	Author = {Zambonelli, Franco and Viroli, Mirko},
	Doi = {10.1108/17427371111172997},
	Issn = {1742-7371},
	Journal = {International Journal of Pervasive Computing and Communications},
	Keywords = {Context-aware computing, Ecosystems, Metaphors, Middleware, Nature-inspired approaches, Pervasive computing, Self-organization},
	Number = 3,
	Pages = {186--204},
	Publisher = {Emerald},
	Title = {A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems},
	Url = {http://www.emeraldinsight.com/journals.htm?issn=1742-7371&volume=7&issue=3},
	urlpdf = {http://www.emeraldinsight.com/journals.htm?issn=1742-7371&volume=7&issue=3&articleid=1949170&show=pdf},
	Volume = 7,
	Year = 2011} 
 @inproceedings{sapere-procedia7,
    address = {Budapest, Hungary},
    author = {Zambonelli, Franco and Castelli, Gabriella and Ferrari, Laura and Mamei, Marco and Rosi, Alberto and Di Marzo Serugendo, Giovanna and Risoldi, Matteo and Tchao, Akla-Esso and Dobson, Simon and Stevenson, Graeme and Ye, Yuan and Nardini, Elena and Omicini, Andrea and Montagna, Sara and Viroli, Mirko and Ferscha, Alois and Maschek, Sascha and Wally, Bernhard},
    booktitle = {Proceedings of the 2nd European Future Technologies Conference and Exhibition 2011 (FET 11)},
    doi = {10.1016/j.procs.2011.09.006},
    editor = {Giacobino, Elisabeth and Pfeifer, Rolf},
    iris = {11585/114963},
    issn = {1877-0509},
    keywords = {Self-awareness in Autonomic Systems; Pervasive Computing Service; Nature-inspired Computing},
    month = {4--6}}},
    scopus = {2-s2.0-84856490082},
    series = {Procedia Computer Science},
    title = {Self-aware Pervasive Service Ecosystems},
    url = {http://www.sciencedirect.com/science/article/pii/S1877050911005667},
    volume = 7,
    wos = {000299100900065},
    year = 2011
} 
 @article{spatial-taas11,
	urlpdf = {http://portal.acm.org/ft_gateway.cfm?id=1968517&ftid=991523&dwn=1&CFID=31487229&CFTOKEN=42827646},
	issn = {1556-4665},
	publisher = {ACM},
	journal = {ACM Transactions on Autonomous and Adaptive Systems},
	author = {Viroli, Mirko and Casadei, Matteo and Montagna, Sara and Zambonelli, Franco},
	title = {Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces},
	year = 2011,
	keywords = {Chemical-inspired computation, tuple spaces},
	status = {Published},
	pages = {14:1--14:24},
	number = 2,
	venue = {TAAS},
	url = {http://doi.acm.org/10.1145/1968513.1968517},
	address = {New York, NY, USA},
	volume = 6,
	month = {June},
	doi = {10.1145/1968513.1968517}} 
 @inproceedings{sapere-saso11,
        Address = {Ann Arbor, Michigan, USA},
	Author = {Viroli, Mirko and Nardini, Elena and Castelli, Gabriella and Mamei, Marco and Zambonelli, Franco},
	Booktitle = {The 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2011)},
        Month = {3--8}}},
	Title = {Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems},
	Year = 2011} 
 @article{ehealth-acr11,
    acm = {10.1145/1964144.1964150},
    author = {Nardini, Elena and Omicini, Andrea and Viroli, Mirko and Schumacher, Michael I.},
    doi = {10.1145/1964144.1964150},
    eissn = {1931-0161},
    iris = {11585/101810},
    issn = {1559-6915},
    journal = {Applied Computing Review},
    keywords = {e-Health, coordination middleware, TuCSoN, semantic tuple centres},
    month = {Spring},
    number = 2,
    numpages = 10,
    organization = {ACM SIGAPP},
    pages = {43--52},
    publisher = {ACM},
    title = {Coordinating e-Health Systems with {{\sf TuCSoN}} Semantic Tuple Centres},
    url = {http://portal.acm.org/citation.cfm?id=1964150},
    urlpdf = {http://www.sigapp.org/acr/Issues/V11.2/ACR-11-2.pdf},
    volume = 11,
    wos = {WOS:000217426300004},
    year = 2011
} 
 @article{preface-scp76,
        Author = {Canal, Carlos and Viroli, Mirko},
        Doi = {doi:10.1016/j.scico.2010.06.002},
        Editor = {Canal, Carlos and Poizat, Pascal and Viroli, Mirko},
        Issn = {0167-6423},
        Journal = {Science of Computer Programming},
        Month = may,
        Note = {Special Issue on the 6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA '07)},
        Number = 1,
        Pages = {1--2},
        Publisher = {Elsevier Science B.V.},
        Title = {Preface},
        Url = {http://www.sciencedirect.com/science/article/pii/S0167642310001000},
        Volume = 76,
        Year = 2011} 
 @inproceedings{spatialcomputing-sac11,
	Address = {Tunghai University, TaiChung, Taiwan},
	Author = {Viroli, Mirko and Beal, Jacob and Casadei, Matteo},
        Booktitle = {26th Annual ACM Symposium on Applied Computing (SAC 2011)},
        Editor = {Palakal, Mathew J. and Hung, Chih-Cheng and Chu, William and Wong, W. Eric},
        Isbn = {978-1-4503-0113-8},
        Month = {21--25}}},
	Title = {Core Operational Semantics of {P}roto},
	Volume = {II: Artificial Intelligence & Agents, Information Systems, and Software Development},
	Year = 2011} 
 @inproceedings{pianini-mass2011,
	booktitle = {Proceedings of the Federated Conference on Computer Science and Information Systems (FedCSIS 2011)},
	publisher = {IEEE Computer Society Press},
	author = {Pianini, Danilo and  Montagna, Sara and Viroli, Mirko },
	title = {A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems},
	isbn = {978-83-60810-22-4},
	year = 2011,
	status = {Published},
	pages = {667--674},
	venue = {MASS},
	editor = {Ganzha, Maria and Maciaszek, Leszek and Paprzycki, Marcin},
	address = {Szczecin, Poland},
	month = {18-21 September}} 
 @incollection{montagna-serene2011,
	Address = {Geneva, Switzerland},
	Author = {Montagna, Sara and Viroli, Mirko and Risoldi, Matteo and Pianini, Danilo and Di Marzo Serugendo, Giovanna},
	Booktitle = {3rd International Workshop on Software Engineering for Resilient Systems},
	Doi = {10.1007/978-3-642-24124-6_12},
	Keywords = {pervasive computing, software ecosystems, self-adaptation, self-organisation},
	Month = {29--30}}},
	Series = {Lecture Notes in Computer Science},
	Title = {Self-organising Pervasive Ecosystems: A Crowd Evacuation Example},
	Url = {http://www.springerlink.com/content/096hh324410xj820},
	Volume = 6968,
	Year = 2011}
 
 @article{intro-ker25years,
	Author = {McBurney, Peter and Parsons, Simon and Viroli, Mirko},
	Doi = {10.1017/S0269888910000330},
	Editor = {Viroli, Mirko and Parsons, Simon and McBurney, Peter},
	Issn = {0269-8889},
	Journal = {The Knowledge Engineering Review},
	Month = mar,
	Note = {Special Issue 01 (25th Anniversary Issue)},
	Number = 1,
	Pages = {1--3},
	Title = {A Quarter-century of {T}he {K}nowledge {E}ngineering {R}eview: Introduction to the {S}pecial {I}ssue},
	Url = {http://journals.cambridge.org/action/displayAbstract?aid=8038620},
	Volume = 26,
	Year = 2011} 
 @inproceedings{logicartifacts-sac2011,
    acm = {1982378},
    address = {Taichun, Taiwan},
    author = {Sbaraglia, Marco and Casadei, Matteo and Viroli, Mirko},
    booktitle = {26th Annual ACM Symposium on Applied Computing (SAC 2011)},
    doi = {10.1145/1982185.1982378},
    keywords = {CArtAgO, coordination artifact, declarative coordination language},
    month = {21--25}}},
    title = {Programming Coordination Laws of Artifacts in CArtAgO},
    url = {http://apice.unibo.it/xwiki/bin/download/Publications/LogicArtifactSac2011},
    year = 2011
} 
 @article{selforgcoord-ker25years,
    acm = {10.1017/S026988891000041X},
    author = {Omicini, Andrea and Viroli, Mirko},
    doi = {10.1017/S026988891000041X},
    editor = {McBurney, Peter and Parsons, Simon and Viroli, Mirko},
    iris = {11585/97437},
    issn = {0269-8889},
    journal = {The Knowledge Engineering Review},
    month = mar,
    note = {Special Issue 01 (25th Anniversary Issue)},
    number = 1,
    pages = {53--59},
    publisher = {Cambridge University Press},
    scopus = {2-s2.0-79953142564},
    title = {Coordination Models and Languages: From Parallel Computing To Self-Organisation},
    url = {http://journals.cambridge.org/abstract_S026988891000041X},
    urlpdf = {http://journals.cambridge.org/repo_A80tRwy1},
    volume = 26,
    wos = {000288060200009},
    year = 2011
} 
 @inproceedings{fuzzycoord-sac11,
    acm = {10.1145/1982185.1982375},
    address = {Tunghai University, TaiChung, Taiwan},
    author = {Nardini, Elena and Omicini, Andrea and Viroli, Mirko},
    booktitle = {26th Annual ACM Symposium on Applied Computing (SAC 2011)},
    doi = {10.1145/1982185.1982375},
    editor = {Palakal, Mathew J. and Hung, Chih-Cheng and Chu, William and Wong, W. Eric},
    iris = {11585/102110},
    isbn = {978-1-4503-0113-8},
    month = {21--25}}},
    scopus = {2-s2.0-79959300590},
    title = {Description Spaces with Fuzziness},
    url = {http://dl.acm.org/citation.cfm?id=1982375},
    urlpdf = {http://delivery.acm.org/10.1145/1990000/1982375/p869-nardini.pdf},
    volume = {II: Artificial Intelligence \& Agents, Information Systems, and Software Development},
    year = 2011
} 
21 pubblicazioni nel 2011 senza IEEE No • in cimaindicein fondo