Per Year

 @incollection{ricci13-akifest,
	booktitle = {Concurrent Objects and Beyond -- Festschrift in Honor of Akinori Yonezawa},
	publisher = {Springer},
	author = {Ricci, Alessandro and Santi, Andrea},
	title = {From Actors and Concurrent Objects to Agent-Oriented Programming in {\simpal}},
	year = 2013,
	editor = {Agha, Gul and Igarashi, Atsushi and Kobayashi, Naoki and  Masuhara, Hidehiko and Matsuoka, Satoshi and Shibayama, Etsuya and Taura, Kenjiro}} 

 @inproceedings{fields-scw2013,
    address = {AAMAS 2013, Saint Paul, Minnesota, USA},
    author = {Viroli, Mirko},
    booktitle = {6th International Spatial Computing Workshop (SCW 2013)},
    editor = {Giavitto, Jean-Louis and Dulman, Stefan and Spicher, Antoine and Viroli, Mirko},
    keywords = {Computational Fields, Confluence, Functional Programming, Chemical rules},
    month = {6}}},
    title = {Engineering Confluent Computational Fields: from Functions to Rewrite Rules},
    year = 2013
} 

 @inproceedings{SYDVM-ASENSIS2012,
	Author = {Stevenson, Graeme and Ye, Juan and Dobson, Simon and Viroli, Mirko and Montagna, Sara},
	Booktitle = {Self-Adaptive and Self-Organizing Systems Workshops (SASOW)},
	Doi = {10.1109/SASOW.2012.39},
	Editor = {Pitt, Jeremy},
	Keywords = {bio-inspired, resource discovery, semantic matching},
	Isbn = {978-1-4673-5153-9},
	Month = apr,
	Note = {2012 IEEE Sixth International Conference (SASOW 2012), Lyon, France, 10-14~} # sep # {~2012. Proceedings},
	Pages = {181-186},
	Publisher = {IEEE CS},
	Title = {Self-Organising Semantic Resource Discovery for Pervasive Systems},
	Year = 2013,
	abstract={Pervasive context-aware computing networks call for designing algorithms for information propagation and reconfiguration that promote self-adaptation, namely, which can guarantee - at least to a probabilistic extent - certain reliability and robustness properties in spite of unpredicted changes and conditions. The possibility of formally analysing their properties is obviously an essential engineering requirement, calling for general-purpose models and tools. As proposed in recent works, several such algorithms can be modelled by the notion of "computational field": a dynamically evolving spatial data structure mapping every node of the network to a data value. Based on this idea, as a contribution toward formally verifying properties of pervasive computing systems, in this article we propose a specification language to model computational fields, and a framework based on PRISM stochastic model checker explicitly targeted at supporting temporal property verification, exploited for quantitative analysis of systems running on networks composed of hundreds of nodes.}
}
 

 @inproceedings{aloo-agere2013,
    address = {New York, NY, USA},
    author = {Ricci, Alessandro and Santi, Andrea},
    booktitle = {2013 Workshop on Programming Based on Actors, Agents, and Decentralized Control (AGERE! 2013)},
    doi = {10.1145/2541329.2541333},
    isbn = {9781450326025},
    keywords = {Concurrent OOP, Agent-Oriented Programming},
    location = {Indianapolis, Indiana, USA},
    numpages = 12,
    pages = {127--138},
    publisher = {ACM},
    title = {Concurrent Object-Oriented Programming with Agent-Oriented Abstractions: The ALOO Approach},
    url = {https://dl.acm.org/doi/10.1145/2541329.2541333},
    year = 2013
} 

 @conference{,
	location = {XIII Conference of the Italian Association for Artificial Intelligence (AI*IA)},
	year = 2013,
	author = {Domeniconi, Giacomo and Moro, Gianluca and Pasolini, Roberto and Sartori, Claudio},
	title = {Domain Independent Text Categorization}} 

 @inproceedings{mokparameng-woa2013,
 Address = {Turin, Italy},
 Author = {Mariani, Stefano},
 Booktitle = {From Objects to Agents},
 Editor = {Baldoni, Matteo and Baroglio, Cristina and Bergenti, Federico and Garro, Alfredo},
 Issn = {1613-0073},
 Keywords = {Spatial coordination; Event-driven programming; Tuple-based coordination},
 Month = {2--3}}} ,
 Publisher = {Sun SITE Central Europe, RWTH Aachen University},
 scopus = {2-s2.0-84892637993},
 Series = {CEUR Workshop Proceedings},
 Title = {Parameter Engineering vs. Parameter Tuning: the Case of Biochemical Coordination in {MoK}},
 Url = {http://ceur-ws.org/Vol-1099/paper5.pdf},
 Volume = 1099, 
 Year = 2013} 

 @article{interactionpicalculus-ijfcs24,
	Author = {Yue, Houguang},
	Doi = {10.1142/S0129054113500081},
	Journal = {International Journal of Foundations of Computer Science},
	Number = 03,
	Pages = {349--373},
	Title = {From Computing to Interaction: On the Expressiveness of Asynchronous Pi-Calculus},
	Url = {http://www.worldscientific.com/doi/abs/10.1142/S0129054113500081},
	urlpdf = {http://www.worldscientific.com/doi/pdf/10.1142/S0129054113500081},
	Volume = 24,
	Year = 2013} 

 @article{siagents-ieeecn6,
    booktitle = {Special Issue on Software Agents},
    editor = {Ganzha, Maria and Paprzycki, Marcin and Omicini, Andrea},
    journal = {Computing Now},
    month = nov,
    number = 11,
    publisher = {IEEE Computer Society},
    title = {Special Issue on Software Agents},
    url = {https://www.computer.org/publications/tech-news/computing-now/software-agents-twenty-years-and-counting},
    volume = 6,
    year = 2013
} 

 @inproceedings{SemMatchingSAC2013,
  added-at = {2013-05-03T00:00:00.000+0200},
   Address = {Coimbra, Portugal},
  author = {Stevenson, Graeme and Ye, Juan and Dobson, Simon and Pianini, Danilo and Montagna, Sara and Viroli, Mirko},
  biburl = {http://www.bibsonomy.org/bibtex/2613dab41c555c320e56d33a2e3d4bbed/dblp},
  booktitle = {SAC},
  crossref = {conf/sac/2013},
  editor = {Shin, Sung Y. and Maldonado, José Carlos},
  ee = {http://doi.acm.org/10.1145/2480362.2480619},
  interhash = {5a2917f1b1aa679519d2ed462bbcdb27},
  intrahash = {613dab41c555c320e56d33a2e3d4bbed},
  isbn = {978-1-4503-1656-9},
  keywords = {dblp},
  Month = {18--22}}},
  timestamp = {2013-05-03T00:00:00.000+0200},
  title = {Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks.},
  url = {http://dblp.uni-trier.de/db/conf/sac/sac2013.html#StevensonYDPMV13},
  year = 2013
}

 

 
@inproceedings{Dorn2013hADL,
	Author = {Dorn, Christoph and Taylor, Richard N},
	Booktitle = {Proceedings of the 2013 International Conference on Software Engineering},
	Date-Added = {2014-04-08 15:15:53 +0000},
	Date-Modified = {2014-04-08 15:16:13 +0000},
	Organization = {IEEE Press},
	Pages = {53--62},
	Title = {Coupling software architecture and human architecture for collaboration-aware system adaptation},
	Year = {2013}}
 

 @techreport{mokbiopepa-amsacta3783,
    address = {Bologna, Italy},
    author = {Mariani, Stefano},
    doi = {10.6092/unibo/amsacta/3783},
    eissn = {2283-6462},
    institution = {{\sc Alma Mater Studiorum}--Università di Bologna},
    issn = {2283-6462},
    keywords = {Biochemical simulation; MoK; Knowledge-intensive environments; BioPepa; Chemical rates; Biochemical coordination},
    month = {20}}},
    title = {Analysis of the {M}olecules {o}f {K}nowledge Model with the {B}io{P}epa {E}clipse Plugin},
    type = {Technical Report},
    url = {http://amsacta.unibo.it/3783/},
    volume = 3783,
    year = 2013
} 

 @incollection{FieldCalculusFOCLASA2013,
	location = {Malaga, Spain},
	booktitle = {Advances in Service-Oriented and Cloud Computing},
	year = 2013,
	keywords = {Spatial Computing, Self-Organising Coordination, Core Calculus},
	pdf-local = {CR.pdf},
	status = {Published},
	venue_list = {--},
	url = {http://link.springer.com/book/10.1007/978-3-642-45364-9},
	editor = {Canal, Carlos and Villari, Massimo},
	series = {Communications in Computer and Information Science},
	eisbn = {978-3-642-45363-2},
	urlpdf = {http://link.springer.com/content/pdf/10.1007%2F978-3-642-45364-9_11.pdf},
	publisher = {Springer Berlin Heidelberg},
	author = {Viroli, Mirko AND Damiani, Ferruccio AND Beal, Jacob},
	chapter = 10,
	title = {A calculus of computation fields},
	note = {Pre-proceedings available at: {http://foclasa.lcc.uma.es/documents/foclasa2013-preproceedings.pdf}},
	abstract = {A number of recent works have investigated the notion of “computational fields” as a means of coordinating systems in distributed, dense and mobile environments such as pervasive computing, sensor networks, and robot swarms. We introduce a minimal core calculus meant to capture the key ingredients of languages that make use of computational fields: functional composition of fields, functions over fields, evolution of fields over time, construction of fields of values from neighbours, and restriction of a field computation to a sub-region of the network. This calculus can act as a core for actual implementation of coordination languages and models, as well as pave the way towards formal analysis of properties concerning expressiveness, self-stabilisation, topology independence, and relationships with the continuous space-time semantics of spatial computations.},
	pages = {114-128},
	address = {Berlin, Germany},
	volume = 393,
	doi = {10.1007/978-3-642-45364-9_11}} 

 @article{Montagna-MONET2012,
	iissn = {1383-469X},
	publisher = {Springer Netherlands},
	journal = {Mobile Networks and Applications},
	author = {Montagna, Sara and Viroli, Mirko and Fernandez-Marquez, Jose Luis and Di Marzo Serugendo, Giovanna and Zambonelli, Franco},
	title = {Injecting Self-organisation into Pervasive Service Ecosystems},
    volume    = {18},
  number    = {3},
  year      = {2013},
 	keywords = {Pervasive Computing, Self-organisation, Chemical-inspired computing},
	issn = {1572-8153},
	status = {Published},
	pages = {398-412},
	url = {http://www.springerlink.com/content/x3j4776323717w7h/},
	doi = {10.1007/s11036-012-0411-1}} 

 @article{chemicalts-scp78,
    author = {Viroli, Mirko},
    doi = {10.1016/j.scico.2012.10.002},
    issn = {0167-6423},
    journal = {Science of Computer Programming},
    keywords = {Coordination models and languages, Self-Organisation, Self-Composition, Chemical-Inspired Computing},
    month = may,
    number = 5,
    pages = {556--568},
    publisher = {Elsevier Science B.V.},
    title = {On Competitive Self-composition in Pervasive Services},
    url = {http://www.sciencedirect.com/science/article/pii/S0167642312001852},
    volume = 78,
    year = 2013
} 

 @proceedings{proc-emas2013,
	Address = {AAMAS 2013, Saint Paul, Minnesota, USA},
	Booktitle = {1st International Workshop ``Engineering Multi-Agent Systems'' (EMAS 2013)},
	Editor = {Cossentino, Massimo and El Fallah Seghrouchni, Amal and Winikoff, Michael},
	Month = {6--7}}},
	Title = {1st International Workshop ``Engineering Multi-Agent Systems'' (EMAS 2013)},
	Year = 2013} 

 @article{alchemist-jos2013,
	Author = {Pianini, Danilo and Montagna, Sara and Viroli, Mirko},
	Doi = {10.1057/jos.2012.27},
	Issn = {1747-7778},
	eissn = {1747-7786},
	Journal = {Journal of Simulation},
	Keywords = {Stochastic simulation, chemical-oriented computing, pervasive service ecosystems},
	Publisher = {Palgrave McMillan},
	Title = {Chemical-oriented Simulation of Computational Systems with {ALCHEMIST}},
	Url = {http://link.springer.com/10.1057/jos.2012.27},
	Year = 2013} 

 @article{trust-cmot2013,
    author = {Paglieri, Fabio and Castelfranchi, Cristiano and Costa Pereira, C{\'e}lia and Falcone, Rino and Tettamanzi, Andrea and Villata, Serena},
    doi = {10.1007/s10588-013-9166-x},
    eissn = {1572-9346},
    issn = {1381-298X},
    journal = {Computational and Mathematical Organization Theory},
    keywords = {Trust; Information dynamics; Argumentation; Information sources; Socio-cognitive models},
    month = aug,
    pages = {1--19},
    publisher = {Springer US},
    title = {Trusting the Messenger because of the Message: Feedback Dynamics from Information Quality to Source Evaluation},
    url = {http://link.springer.com/article/10.1007/s10588-013-9166-x},
    year = 2013
} 

 @article{spatialcomputing-scp78,
	Author = {Viroli, Mirko and Beal, Jacob and Usbeck, Kyle},
	Doi = {10.1016/j.scico.2012.12.003},
	Editor = {Mernik, Marjan},
	Journal = {Science of Computer Programming},
	Month = jun,
	Number = 6,
	Pages = {633--656},
	Pdf-Local = {1-s2.0-S0167642312002146-main.pdf},
	Publisher = {Elsevier Science B.V.},
	Title = {Operational Semantics of {P}roto},
	Url = {http://www.sciencedirect.com/science/article/pii/S0167642312002146},
	Volume = 78,
	Year = 2013} 

 @incollection{SpatialIGI2013,
	booktitle = {Formal and Practical Aspects of Domain-Specific Languages: Recent Developments},
	publisher = {IGI Global },
	author = {Beal, Jacob and Dulman, Stefan and Usbeck, Kyle and Viroli, Mirko and Correll, Nikolaus},
	title = {Organizing the Aggregate: Languages for Spatial Computing},
	chapter = 16,
	year = 2013,
	note = {A longer version available at: {\tt http://arxiv.org/abs/1202.5509}},
	abstract = {As the number of computing devices embedded into engineered systems continues to rise, there is a
widening gap between the needs of the user to control aggregates of devices and the complex technology of individual devices. Spatial computing attempts to bridge this gap for systems with local communication by exploiting the connection between physical locality and device connectivity. A large number of spatial computing domain specific languages (DSLs) have emerged across diverse domains, from biology and reconfigurable computing, to sensor networks and agent-based systems. In this chapter, we develop a framework for analyzing and comparing spatial computing DSLs, survey the current state of the art, and provide a roadmap for future spatial computing DSL investigation.
},
	keywords = {Spatial Computing, Sensor Networks, Agent-Based Systems},
	eissn = {978-1-4666-2092-6},
	status = {Published},
	pages = {436--501},
	venue_list = {--},
	url = {http://www.igi-global.com/chapter/organizing-aggregate-languages-spatial-computing/71829},
	editor = {Mernik, Marjan},
	doi = {10.4018/978-1-4666-2092-6.ch016}} 

 @article{jacamo-scp78,
	Author = {Boissier, Olivier and Bordini, Rafael H. and H{\"u}bner, Jomi and Ricci, Alessandro and Santi, Andrea},
	Doi = {10.1016/j.scico.2011.10.004},
	Editor = {Cabri, Giacomo and Ganzha, Maria},
	Issn = {0167-6423},
	Journal = {Science of Computer Programming},
	Keywords = {Multi-agent oriented programming; Autonomous agents; Shared environments; Agent organisations},
	Month = jun,
	Note = {Special section on Agent-oriented Design Methods and Programming Techniques for Distributed Computing in Dynamic and Complex Environments},
	Number = 6,
	Pages = {747--761},
	Title = {Multi-agent Oriented Programming with {JaCaMo}},
	Url = {http://www.sciencedirect.com/science/article/pii/S016764231100181X},
	Volume = 78,
	Year = 2013} 

 @article{Naco2013,
  author    = {Jose Luis Fernandez-Marquez and
               Giovanna Di Marzo Serugendo and
               Sara Montagna and
               Mirko Viroli and
               Josep Llu\'{\i}s Arcos},
  title     = {Description and composition of bio-inspired design patterns:
               a complete overview},
  journal   = {Natural Computing},
  volume    = {12},
  number    = {1},
  year      = {2013},
  pages     = {43-67},
  ee        = {http://dx.doi.org/10.1007/s11047-012-9324-y}
} 

 @proceedings{proc-scw2013,
	Address = {AAMAS 2013, Saint Paul, Minnesota, USA},
	Booktitle = {6th International Spatial Computing Workshop (SCW 2013)},
	Editor = {Giavitto, Jean-Louis and Dulman, Stefan and Spicher, Antoine and Viroli, Mirko},
	Month = {6}}},
	Title = {1st International Workshop ``Engineering Multi-Agent Systems'' (EMAS 2013)},
	Year = 2013} 

 @article{agents-ieeecn6,
    author = {Ganzha, Maria and Paprzycki, Marcin and Omicini, Andrea},
    journal = {Computing Now},
    month = nov,
    number = 11,
    publisher = {IEEE Computer Society},
    title = {Software Agents: Twenty Years and Counting},
    url = {https://www.computer.org/publications/tech-news/computing-now/software-agents-twenty-years-and-counting},
    volume = 6,
    year = 2013
} 

 @techreport{mokbiopepa-amsacta3783,
    address = {Bologna, Italy},
    author = {Mariani, Stefano},
    institution = {{\sc Alma Mater Studiorum}--Università di Bologna},
    keywords = {Biochemical simulation; MoK; Knowledge-intensive environments; BioPepa; Chemical rates; Biochemical coordination},
    month = {20}}}f {K}nowledge Model with the {B}io{P}epa {E}clipse Plugin},
    type = {AMS Acta Technical Report},
    url = {http://amsacta.unibo.it/3783/},
    volume = 3783,
    year = 2013
} 

 @inproceedings{sitrecognition-asensis2012,
	author={Stevenson, Graeme and Fernandez-Marquez, Jose Luis and Montagna, Sara and Rosi, Alberto and Ye, Juan and Tchao, Akla and Dobson, Simon and Serugendo, Giovanna Di Marzo and Viroli, Mirko}, 
	Booktitle = {Self-Adaptive and Self-Organizing Systems Workshops (SASOW)},
	Doi = {10.1109/SASOW.2012.46},
	Editor = {Pitt, Jeremy},
	Keywords = {bio-inspired, resource discovery, semantic matching},
	Isbn = {978-1-4673-5153-9},
        pdf-local = {PID2504559.pdf},
	Month = apr,
	Note = {2012 IEEE Sixth International Conference (SASOW 2012), Lyon, France, 10-14~} # sep # {~2012. Proceedings},
	Pages = {223--228},
	Publisher = {IEEE CS},
	Title = {Self-Organising Semantic Resource Discovery for Pervasive Systems},
	Year = 2013,
	} 

 @inproceedings{socinfo2013,
  added-at = {2013-11-20T00:00:00.000+0100},
  author = {Anzengruber, Bernhard and Pianini, Danilo and Nieminen, Jussi and Ferscha, Alois},
  biburl = {http://www.bibsonomy.org/bibtex/2845c2785c0e54626803bd0581698c568/dblp},
  booktitle = {SocInfo},
  crossref = {conf/socinfo/2013},
  editor = {Jatowt, Adam and Lim, Ee-Peng and Ding, Ying and Miura, Asako and Tezuka, Taro and Dias, Gaël and Tanaka, Katsumi and Flanagin, Andrew J. and Dai, Bing Tian},
  ee = {http://dx.doi.org/10.1007/978-3-319-03260-3_18},
  interhash = {85881e57156ecd6a86b4a779fc055fae},
  intrahash = {845c2785c0e54626803bd0581698c568},
  isbn = {978-3-319-03259-7},
  keywords = {dblp},
  pages = {206-215},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2013-11-20T00:00:00.000+0100},
  title = {Predicting Social Density in Mass Events to Prevent Crowd Disasters.},
  url = {http://dblp.uni-trier.de/db/conf/socinfo/socinfo2013.html#AnzengruberPNF13},
  volume = 8238,
  year = 2013
}
 

 @inproceedings{selfcomposition-scw2013,
    address = {AAMAS 2013, Saint Paul, Minnesota, USA},
    author = {Montagna, Sara and Viroli, Mirko},
    booktitle = {6th International Spatial Computing Workshop (SCW 2013)},
    editor = {Giavitto, Jean-Louis and Dulman, Stefan and Spicher, Antoine and Viroli, Mirko},
    month = {6}}},
    title = {Composing Gradients for a Context-Aware Navigation of Users in a Smart-City},
    year = 2013
} 

 @article{pedestrian-casm1,
	Author = {Vizzari, Giuseppe and Manenti, Lorenza and Crociani, Luca},
	Doi = {10.1186/2194-3206-1-7},
	Issn = {2194-3206},
	Journal = {Complex Adaptive Systems Modeling},
	Number = 1,
	Pages = 7,
	Title = {Adaptive Pedestrian Behaviour for the Preservation of Group Cohesion},
	Url = {http://www.casmodeling.com/content/1/1/7},
	urlpdf = {http://www.casmodeling.com/content/pdf/2194-3206-1-3.pdf},
	Volume = 1,
	Year = 2013} 

 @inproceedings{VC-ASENSIS2012,
	Author = {Casadei, Matteo and Viroli, Mirko},
	Booktitle = {Self-Adaptive and Self-Organizing Systems Workshops (SASOW)},
	Doi = {10.1109/SASOW.2012.42},
	Editor = {Pitt, Jeremy},
	Keywords = {Self-organisation patterns, computational fields, formal verification, pervasive service ecosystems},
	Isbn = {978-1-4673-5153-9},
	Month = apr,
	Note = {2012 IEEE Sixth International Conference (SASOW 2012), Lyon, France, 10-14~} # sep # {~2012. Proceedings},
	Pages = {199-204},
	Publisher = {IEEE CS},
	Title = {Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems},
	Year = 2013,
	abstract={Pervasive context-aware computing networks call for designing algorithms for information propagation and reconfiguration that promote self-adaptation, namely, which can guarantee - at least to a probabilistic extent - certain reliability and robustness properties in spite of unpredicted changes and conditions. The possibility of formally analysing their properties is obviously an essential engineering requirement, calling for general-purpose models and tools. As proposed in recent works, several such algorithms can be modelled by the notion of "computational field": a dynamically evolving spatial data structure mapping every node of the network to a data value. Based on this idea, as a contribution toward formally verifying properties of pervasive computing systems, in this article we propose a specification language to model computational fields, and a framework based on PRISM stochastic model checker explicitly targeted at supporting temporal property verification, exploited for quantitative analysis of systems running on networks composed of hundreds of nodes.}
}
 

 @proceedings{proceedings-socialpath-aisb2013,
 Address = {AISB Convention 2013, University of Exeter, UK},
 Author = {Verhagen, Harko and Noriega, Pablo and Balke, Tina and de Vos, Marina},
 Booktitle = {Social Coordination: Principles, Artefacts and Theories (SOCIAL.PATH)},
 Editor = {Verhagen, Harko and Noriega, Pablo and Balke, Tina and de Vos, Marina}, 
 Isbn = {978-1-908187-36-9},
 Keywords = {Stigmergic Coordination; Nature-inspired Models; Behaviour-Implicit Communication; Knowledge-intensive Environments; Self-Organisation; Social Action},
 Month = {3--5}}},
 Title = {Social Coordination: Principles, Artefacts and Theories (SOCIAL.PATH)},
 Year = 2013}