Per Year

42 publications with DOI / 2012

2012

Is It a “Good” Encoding of Mixed Choice? (paper in proceedings) — Kirstin Peters, Uwe Nestmann
Gradient-based Self-organisation Patterns of Anticipative Adaptation (paper in proceedings) — Sara Montagna, Danilo Pianini, Mirko Viroli
Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry (paper in proceedings) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson
Linda in space-time: an adaptive coordination model for mobile ad-hoc environments (paper in proceedings) — Mirko Viroli, Danilo Pianini, Jacob Beal
Bayesian Reasoning and Machine Learning (book) — David Barber
Agents and Peer-to-Peer Computing (edited volume) — Domenico Beneventano, Zoran Despotovic, Francesco Guerra, Sam Joseph, Gianluca Moro, Adrián Perreau de Pinninck
Systematic Review in Software Engineering: Where We Are and Where We Should Be Going (paper in proceedings) — Barbara A. Kitchenham
Bottom-Up Argumentation (paper in proceedings) — Francesca Toni, Paolo Torroni
VPN - Client-server object-oriented virtual plant modeling tool (paper in proceedings) — Giuliano Vitali, Eugenio Magnanini, Nico Mennucci, Enrico Denti
Programming Multi-Agent Systems (edited volume) — Rem Collier, Jürgen Dix, Peter Novák
From Byzantine Consensus to BFT State Machine Replication: A Latency-Optimal Transformation (paper in proceedings) — João Sousa, Alysson Bessani
CAP twelve years later: How the “rules” have changed (article in journal) — Eric Brewer
From SOA to Pervasive Service Ecosystems: an approach based on Semantic Web technologies (book chapter) — Mirko Viroli, Franco Zambonelli, Graeme Stevenson, Simon Dobson
ASENSIS 2012 – 1st International Workshop on Adaptive Service Ecosystems: Nature and Socially Inspired Solutions (paper in proceedings) — José Luis Fernandez-Marquez, Sara Montagna, Andrea Omicini, Franco Zambonelli
Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach (paper in proceedings) — Alessandro Ricci, Andrea Santi
Programming Directives for Elastic Computing (article in journal) — Schahram Dustdar, Yike Guo, Rui Han, Benjamin Satzger, Hong-Linh Truong
A Method Fragments Approach to Methodologies for Engineering Self-Organising Systems (article in journal) — Mariachiara Puviani, Giovanna Di Marzo Serugendo, Regina Frei, Giacomo Cabri
Advanced Agent Technology (edited volume) — Francien Dechesne, Hiromitsu Hattori, Adriaan ter Mors, Jose Miguel Such, Danny Weyns, Frank Dignum
Thinking as Computation: A First Course (book) — Hector J. Levesque
Programming Multi-Agent Systems (edited volume) — Louise A. Dennis, Olivier Boissier, Rafael H. Bordini
Standard Type Soundness for Agents and Artifacts (article in journal) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
A Computational Framework for Multilevel Morphologies (book chapter) — Sara Montagna, Mirko Viroli
BIO-CORE: Bio-inspired Self-organising Mechanisms Core (paper in proceedings) — Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna
Perspectives on the CAP Theorem (article in journal) — Seth Gilbert, Nancy Lynch
Overcoming CAP with Consistent Soft-State Replication (article in journal) — Kenneth Birman, Daniel Freedman, Qi Huang, Patrick Dowell
Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp (paper in proceedings) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Interdependent Artificial Institutions in Agent Environments (article in journal) — Charalampos Tampitsikas, Stefano Bromuri, Nicoletta Fornara, Michael Ignaz Schumacher
Logic for physical space: From antiquity to present days (article in journal) — Marco Aiello, Guram Bezhanishvili, Isabelle Bloch, Valentin Goranko
Early Homo: Who, When, and Where (article in journal) — Susan C. Antón
Multiagent System Technologies (edited volume) — Ingo J. Timm, Christian Guttmann
Implicit: A Multi-agent Recommendation System for Web Search (article in journal) — Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgini
Situation Identification Techniques in Pervasive Computing: A Review (article in journal) — Juan Ye, Simon Dobson, Susan McKeever
Architecture-Driven Modeling of Adaptive Collaboration Structures in Large-Scale Social Web Applications (paper in proceedings) — Christoph Dorn, Richard N Taylor
ECLiPSe – From LP to CLP (article in journal) — Joachim Schimpf, Kish Shen
Self-adaptive software needs quantitative verification at runtime (article in journal) — Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola
Identification of the Social and Cognitive Processes Underlying Human Cumulative Culture (article in journal) — L. G. Dean, R. L. Kendal, S. J. Schapiro, B. Thierry, K. N. Laland
Toward Sociotechnical Urban Superorganisms (article in journal) — Franco Zambonelli
Simulation of caspases apoptotic signalling pathway in a tuple space-based bioinformatics infrastructure (article in journal) — Maura Cárdenas-García, Pedro Pablo González Pérez, Sara Montagna
Blackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks (paper in proceedings) — Jean-Marie Jacquet, Isabelle Linden, Mihail-Octavian Staicu
Guest Editor's Introduction: The CAP Theorem's Growing Impact (article in journal) — Simon S.Y. Shim
The Finite Domain Constraint Solver of SWI-Prolog (book chapter) — Markus Triska
Declarative Agent Languages and Technologies IX (edited volume) — Chiaki Sakama, Sebastian Sardina, Wamberto Vasconcelos, Michael Winikoff

42 publications in 2012 with DOI • top • index • bottom

publications with DOI / 2012 / personal

Andrea Agiollo • Roberta Calegari • Giovanni Ciatto • Enrico Denti • Matteo Magnini • Mattia Matteini • Sara Montagna • Andrea Omicini • Giuseppe Pisano • Federico Sabbatini