Per Year
@inproceedings{eventsituatedmas-pnse2013,
author = {Omicini, Andrea and Mariani, Stefano},
booktitle = {International Workshop on Petri Nets and Software Engineering (PNSE'13)},
editor = {Moldt, Daniel and Rölke, Heiko},
iris = {11585/256514},
issn = {1613-0073},
month = {6~} # aug,
note = {Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), co-located with the 34th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2013). Milano, Italy, 24--25~} # jun # {~2013. Invited paper},
pages = {17--22},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-84924977807},
series = {CEUR Workshop Proceedings},
title = {Coordination for Situated {MAS}: Towards an Event-driven Architecture},
url = {http://ceur-ws.org/Vol-989/paper00.pdf},
volume = 989,
year = 2013
} @inproceedings{spatialrespect-scw2013,
address = {AAMAS 2013, Saint Paul, Minnesota, USA},
author = {Mariani, Stefano and Omicini, Andrea},
booktitle = {6th International Spatial Computing Workshop (SCW 2013)},
editor = {Giavitto, Jean-Louis and Dulman, Stefan and Spicher, Antoine and Viroli, Mirko},
iris = {11585/256508},
keywords = {Situatedness; Spatial Computing Languages; Tuple-based Coordination; Environment; Space-Time Fabric},
month = {6}}},
title = {Promoting Space-Aware Coordination: {{\sf ReSpecT}} as a Spatial-Computing Virtual Machine},
year = 2013
} @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}} @article{btssocbio-jcm2013,
author = {González-Pérez, Pedro Pablo and Cárdenas-García, Maura and Montagna, Sara},
eissn = {1792-8850},
iris = {11585/521588},
issn = {1792-7625},
journal = {Journal of Computations & Modelling},
keywords = {Signal transduction, Anti-apoptotic signalling pathways, Biochemical Tuple Spaces for Self-Organising Coordination, Tuple space-based computational framework},
number = 2,
pages = {35-65},
publisher = {Scienpress Ltd},
title = {Understanding the PI3K/AKT Anti-Apoptotic Signalling Pathway: a Tuple Space-Based Computational Framework for Simulating the Signal Transduction},
volume = 3,
year = 2013
} @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}} @incollection{collaborativelearning-nova2013,
address = {Hauppauge, NY, USA},
author = {Matteucci, Maria Cristina and Nardini, Elena and Omicini, Andrea},
booktitle = {Information and Communications Technology: New Research},
chapter = 9,
editor = {Roselli, Judie and Gulick, Evan},
iris = {11585/137998},
isbn = {978-1-62618-070-3},
month = apr,
pages = {175--188},
publisher = {Nova Science Publishers, Inc.},
scopus = {2-s2.0-84895337881},
series = {Media and Communications - Technologies, Policies and Challenges. Electronics and Telecommunications Research},
title = {Collaborative Learning and {ICT}: A Prototypal Learning Environment},
url = {https://novapublishers.com/shop/information-and-communications-technology-new-research/},
year = 2013
} @incollection{sapereaose-emasI,
acm = {10.5555/3100666.3100677},
author = {Molesini, Ambra and Omicini, Andrea and Viroli, Mirko and Zambonelli, Franco},
booktitle = {Engineering Multi-Agent Systems},
chapter = 11,
doi = {10.1007/978-3-642-45343-4_11},
editor = {Cossentino, Massimo and El Fallah Seghrouchni, Amal and Winikoff, Michael},
eisbn = {978-3-642-45343-4},
iris = {11585/256515},
isbn = {978-3-642-45342-7},
issn = {0302-9743},
month = dec,
note = {1st International Workshop (EMAS 2013), Saint Paul, Minnesota, USA, 6--7~} # may # {~2013, Revised Selected Papers},
pages = {196--214},
publisher = {Springer Berlin Heidelberg},
scopus = {2-s2.0-84893042546},
series = {Lecture Notes in Computer Science},
title = {Engineering Pervasive Multiagent Systems in {SAPERE}},
url = {http://link.springer.com/10.1007/978-3-642-45343-4_11},
volume = 8245,
year = 2013
} @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
} @article{2p-alpnews2013,
author = {Denti, Enrico and Omicini, Andrea and Calegari, Roberta},
iris = {11585/230475},
journal = {ALP Newsletter},
month = oct,
publisher = {Association for Logic Programming},
title = {{\textsf{tu}Prolog}: Making {P}rolog Ubiquitous},
url = {http://www.cs.nmsu.edu/ALP/2013/10/tuprolog-making-prolog-ubiquitous/},
year = 2013
} @article{natureinspiredcoord-isrnse2013,
articleno = 384903,
author = {Omicini, Andrea},
doi = {10.1155/2013/384903},
iris = {11585/133805},
issn = {2090-7680},
journal = {ISRN Software Engineering},
note = {Review Article},
numpages = 13,
publisher = {Hindawi Publishing Corporation},
title = {Nature-inspired Coordination Models: Current Status, Future Trends},
url = {http://www.hindawi.com/journals/isrn.software.engineering/2013/384903/},
urlepub = {http://downloads.hindawi.com/journals/isrn.software.engineering/2013/384903.epub},
urlpdf = {http://downloads.hindawi.com/journals/isrn.software.engineering/2013/384903.pdf},
volume = 2013,
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} @inproceedings{spatial-woa2013,
address = {Turin, Italy},
author = {Mariani, Stefano and Omicini, Andrea},
booktitle = {WOA 2013 -- From Objects to Agents. Proceedings of the 14th Workshop ``From Objects to Agents'', co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013)},
editor = {Baldoni, Matteo and Baroglio, Cristina and Bergenti, Federico and Garro, Alfredo},
eissn = {1613-0073},
iris = {11585/256516},
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-84892667374},
series = {CEUR Workshop Proceedings},
title = {Space-aware Coordination in \textsf{ReSpecT}},
url = {http://ceur-ws.org/Vol-1099/paper3.pdf},
volume = 1099,
year = 2013
} @inproceedings{mok-aisb2013,
address = {AISB Convention 2013, University of Exeter, UK},
author = {Mariani, Stefano and Omicini, Andrea},
booktitle = {Social Coordination: Principles, Artefacts and Theories (SOCIAL.PATH)},
editor = {Verhagen, Harko and Noriega, Pablo and Balke, Tina and de Vos, Marina},
iris = {11585/134570},
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}}},
scopus = {2-s2.0-84894174065},
title = {{MoK}: Stigmergy Meets Chemistry to Exploit Social Actions for Coordination Purposes},
url = {http://social.path.sintelnet.eu/workshop_programme},
urlpdf = {http://social.path.sintelnet.eu/papers/paper%20Mariani.pdf},
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
} @inproceedings{uniform-woa2013,
address = {Turin, Italy},
author = {Mariani, Stefano and Omicini, Andrea},
booktitle = {WOA 2013 -- From Objects to Agents. Proceedings of the 14th Workshop ``From Objects to Agents'', co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013)},
editor = {Baldoni, Matteo and Baroglio, Cristina and Bergenti, Federico and Garro, Alfredo},
eissn = {1613-0073},
iris = {11585/256522},
issn = {1613-0073},
keywords = {Stochastic systems; Tuple-based coordination; Uniform primitives; Non-determinism},
month = {2--3}}},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-84892634950},
series = {CEUR Workshop Proceedings},
title = {Tuple-based Coordination of Stochastic Systems with Uniform Primitives},
url = {http://ceur-ws.org/Vol-1099/paper4.pdf},
urlopenaccess = {http://ceur-ws.org/Vol-1099/paper4.pdf},
urlpdf = {http://ceur-ws.org/Vol-1099/paper4.pdf},
volume = 1099,
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} @inproceedings{pme-sac2013,
acm = {2480621},
address = {Coimbra, Portugal},
author = {Mariani, Stefano and Omicini, Andrea},
booktitle = {28th ACM Symposium on Applied Computing (SAC 2013)},
doi = {10.1145/2480362.2480621},
iris = {11585/134362},
isbn = {978-1-4503-1656-9},
keywords = {Embedding, modular embedding, concurrent languages, coordination languages, probabilistic languages and systems, tuple-based languages},
month = {18--22}}},
scopus = {2-s2.0-84877995463},
title = {Probabilistic Embedding: Experiments with Tuple-based Probabilistic Languages},
url = {http://dl.acm.org/citation.cfm?id=2480621},
urlpdf = {http://delivery.acm.org/10.1145/2490000/2480621/p1380-mariani.pdf},
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.}
}
@inproceedings{tucsononcloud-ica3pp2013,
acm = {10.1007/978-3-319-03889-6_33},
author = {Mariani, Stefano and Omicini, Andrea},
booktitle = {Algorithms and Architectures for Parallel Processing},
doi = {10.1007/978-3-319-03889-6_33},
editor = {Aversa, Rocco and Kolodzej, Joanna and Zhang, Jun and Amato, Flora and Fortino, Giancarlo},
eisbn = {978-3-319-03889-6},
iris = {11585/256500},
isbn = {978-3-319-03888-9},
issn = {0302-9743},
month = dec,
note = {13th International Conference (ICA3PP-2013), Vietri sul Mare, Italy, 18-20~} # dec # {~2013. Proceedings, Part II},
pages = {285--294},
publisher = {Springer International Publishing Switzerland},
scopus = {2-s2.0-84892840451},
series = {LNCS},
title = {{\sf TuCSoN} on Cloud: An Event-driven Architecture for Embodied / Disembodied Coordination},
url = {http://link.springer.com/10.1007/978-3-319-03889-6_33},
volume = 8286,
year = 2013
} @inproceedings{sapereaose-emas2013,
address = {AAMAS 2013, Saint Paul, Minnesota, USA},
author = {Molesini, Ambra and Omicini, Andrea and Viroli, Mirko and Zambonelli, Franco},
booktitle = {1st International Workshop ``Engineering Multi-Agent Systems'' (EMAS 2013)},
editor = {Cossentino, Massimo and El Fallah Seghrouchni, Amal and Winikoff, Michael},
iris = {11585/134364},
month = {6--7}}},
title = {Engineering Pervasive Multiagent Systems in {SAPERE}},
year = 2013
} @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} @incollection{respect-abcmi2013,
author = {Mariani, Stefano and Omicini, Andrea},
booktitle = {Multiagent System Technologies},
doi = {10.1007/978-3-642-40776-5_26},
editor = {Klusch, Matthias and Thimm, Matthias and Paprzycki, Marcin},
eisbn = {978-3-642-40776-5},
eissn = {1611-3349},
iris = {11585/256513},
isbn = {978-3-642-40775-8},
issn = {0302-9743},
location = {Koblenz, Germany},
note = {11th German Conference (MATES 2013), Koblenz, Germany, 16-20~} # sep # {~2013. Proceedings},
pages = {306--319},
publisher = {Springer},
scopus = {2-s2.0-84885000353},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Event-driven Programming for Situated {MAS} with {{\sf ReSpecT}} Tuple Centres},
url = {http://link.springer.com/10.1007/978-3-642-40776-5_26},
volume = 8076,
year = 2013
}
publications
without
Web of Science ID
/
2013
/
personal
Andrea Agiollo
•
Roberta Calegari
•
Giovanni Ciatto
•
Angelo Croatti
•
Enrico Denti
•
Matteo Magnini
•
Sara Montagna
•
Andrea Omicini
•
Giuseppe Pisano
•
Andrea Rafanelli
•
Federico Sabbatini