Jacob Beal
2009
Flexible Self-Healing Gradients
ACM Symposium on Applied Computing
ACM
New York, NY, USA
1197–1201
10.1145/1529282.1529550
Jacob Beal
2010
A Basis Set of Operators for Space-Time Computations
Spatial Computing Workshop
10.1109/SASOW.2010.21
Jacob Beal
Jonathan Bachrach
2006
Infrastructure for Engineered Emergence in Sensor/Actuator Networks
IEEE Intelligent Systems
21
10–19
10.1109/mis.2006.29
Jacob Beal
Stefan Dulman
Kyle Usbeck
Mirko Viroli
Nikolaus Correll
2013
Organizing the Aggregate: Languages for Spatial Computing
Marjan Mernik
Formal and Practical Aspects of Domain-Specific Languages: Recent Developments
16
IGI Global
436–501
10.4018/978-1-4666-2092-6.ch016
Jacob Beal
Danilo Pianini
Mirko Viroli
2015
Aggregate Programming for the Internet of Things
IEEE Computer
48
9
10.1109/MC.2015.261
Jacob Beal
Kyle Usbeck
Brett Benyo
2013
On the Evaluation of Space-Time Functions
The Computer Journal
56
12
1500–1517
10.1093/comjnl/bxs099
Jacob Beal
Mirko Viroli
Ferruccio Damiani
2014
Towards a Unified Model of Spatial Computing
7th Spatial Computing Workshop (SCW 2014)
AAMAS 2014, Paris, France
Jacob Beal
Mirko Viroli
Danilo Pianini
Ferruccio Damiani
2016
Self-adaptation to Device Distribution Changes in Situated Computing Systems
IEEE Conference on Self-Adaptive and Self-Organising Systems (SASO 2016)
IEEE
To appear.
Lorenzo Bettini
Viviana Bono
Rocco De Nicola
Gian Luigi Ferrari
Daniele Gorla
Michele Loreti
Eugenio Moggi
Rosario Pugliese
Emilio Tuosto
Betti Venneri
2003
The Klaim Project: Theory and Practice
Global Computing 2003
Lecture Notes in Computer Science
2874
Springer
88–150
10.1007/978-3-540-40042-4_4
Luca Cardelli
Philippa Gardner
2010
Processes in Space
6th Conference on Computability in Europe
Lecture Notes in Computer Science
6158
Springer
78–87
10.1007/978-3-642-13962-8
Luca Cardelli
Andrew D. Gordon
2000
Mobile ambients
Theoretical Computer Science
240
1
177–213
10.1016/S0304-3975(99)00231-5
Luca Cardelli
Mirco Tribastone
Max Tschaikowski
Andrea Vandin
2016
Symbolic computation of differential equivalences
POPL 2016
137–150
10.1145/2837614.2837649
Alonzo Church
1932
A Set of Postulates for the Foundation of Logic
Annals of Mathematics
33
2
346–366
10.2307/1968337
Daniel Coore
1999
Botanical Computing: A Developmental Approach to Generating Inter connect Topologies on an Amorphous Computer
MIT
Cambridge, MA, USA
Ferruccio Damiani
Mirko Viroli
2015
Type-based Self-stabilisation for Computational Fields
Logical Methods in Computer Science
11
4
1–53
10.2168/LMCS-11(4:21)2015
Ferruccio Damiani
Mirko Viroli
Jacob Beal
2016
A type-sound calculus of computational fields
Science of Computer Programming
117
17 – 44
10.1016/j.scico.2015.11.005
Ferruccio Damiani
Mirko Viroli
Danilo Pianini
Jacob Beal
2015
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields
Susanne Graf
Mahesh Viswanathan
Formal Techniques for Distributed Objects, Components, and Systems
Lecture Notes in Computer Science
9039
Springer International Publishing
113–128
10.1007/978-3-319-19195-9_8
Jose Luis Fernandez-Marquez
Giovanna Di Marzo Serugendo
Sara Montagna
Mirko Viroli
Josep Lluís Arcos
2013
Description and composition of bio-inspired design patterns: a complete overview
Natural Computing
12
1
43–67
10.1007/s11047-012-9324-y
Tim Finin
Richard Fritzson
Don McKay
Robin McEntire
1994
KQML as an agent communication language
Proceedings of the third international conference on Information and knowledge management
CIKM '94
ACM
New York, NY, USA
456–463
10.1145/191246.191322
Jean-Louis Giavitto
Christophe Godin
Olivier Michel
Przemyslaw Prusinkiewicz
2002
Computational models for integrative and developmental biology
Technical Report
72-2002
Univerite d'Evry, LaMI
Atsushi Igarashi
Benjamin C. Pierce
Philip Wadler
2001
Featherweight Java: A Minimal Core Calculus for Java and GJ
ACM Transactions on Programming Languages and Systems
23
3
396–450
10.1145/503502.503505
M.E. Inchiosa
M.T. Parker
2002
Overcoming design and development challenges in agent-based modeling using ASCAPE
Proceedings of the National Academy of Sciences of the United States of America
99
Suppl 3
7304
10.1073/pnas.082081199
Diego Latella
Michele Loreti
Mieke Massink
2015
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination
Sci. Comput. Program.
110
23–50
10.1016/j.scico.2015.06.009
Axel Legay
Benoît Delahaye
Saddek Bensalem
2010
Statistical Model Checking: An Overview
Howard Barringer
Ylies Falcone
Bernd Finkbeiner
Klaus Havelund
Insup Lee
Gordon Pace
Grigore Roşu
Oleg Sokolsky
Nikolai Tillmann
Runtime Verification
Lecture Notes in Computer Science
6418
Springer
122–135
10.1007/978-3-642-16612-9_11
Samuel R. Madden
Robert Szewczyk
Michael J. Franklin
David Culler
2002
Supporting Aggregate Queries Over Ad-Hoc Wireless Sensor Networks
Workshop on Mobile Computing and Systems Applications
10.1109/MCSA.2002.1017485
Marco Mamei
Franco Zambonelli
2009
Programming pervasive and mobile computing applications: The TOTA approach
ACM Trans. on Software Engineering Methodologies
18
4
1–56
10.1145/1538942.1538945
Message Passing Interface Forum
2009
MPI: A Message-Passing Interface Standard Version 2.2
Robin Milner
2006
Pure bigraphs: Structure and dynamics
Information and Computation
204
1
60–122
10.1016/j.ic.2005.07.003
Radhika Nagpal
2001
Programmable Self-Assembly: Constructing Global Shape using Biologically-inspired Local Interactions and Origami Mathematics
MIT
Cambridge, MA, USA
Ryan Newton
Matt Welsh
2004
Region Streams: Functional Macroprogramming for Sensor Networks
First International Workshop on Data Management for Sensor Networks (DMSN)
78–87
10.1145/1052199.1052213
Rocco De Nicola
Gianluigi Ferrari
Michele Loreti
Rosario Pugliese
2013
A Language-Based Approach to Autonomic Computing
Formal Methods for Components and Objects
Lecture Notes in Computer Science
7542
25–48
10.1007/978-3-642-35887-6_2
Danilo Pianini
Jacob Beal
Mirko Viroli
2016
Improving Gossip Dynamics Through Overlapping Replicates
Alberto Lluch Lafuente
José Proença
Coordination Models and Languages - 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Lecture Notes in Computer Science
9686
Springer
192–207
10.1007/978-3-319-39519-7_12
Danilo Pianini
Mirko Viroli
Jacob Beal
2015
Protelis: Practical Aggregate Programming
ACM Symposium on Applied Computing 2015
1846–1853
10.1145/2695664.2695913
E. Sklar
2007
NetLogo, a multi-agent simulation environment
Artificial life
13
3
303–311
10.1162/artl.2007.13.3.303
Mirko Viroli
Jacob Beal
Ferruccio Damiani
Danilo Pianini
2015
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields
IEEE Conference on Self-Adaptive and Self-Organising Systems (SASO 2015)
IEEE
10.1109/SASO.2015.16
Mirko Viroli
Matteo Casadei
Sara Montagna
Franco Zambonelli
2011
Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces
ACM Transactions on Autonomous and Adaptive Systems
6
2
14:1 – 14:24
10.1145/1968513.1968517
Mirko Viroli
Danilo Pianini
Sara Montagna
Graeme Stevenson
2012
Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry
Sascha Ossowski
Paola Lecca
Chih-Cheng Hung
Jiman Hong
27th Annual ACM Symposium on Applied Computing (SAC 2012)
ACM
Riva del Garda, TN, Italy
295–302
10.1145/2245276.2245336
Kamin Whitehouse
Cory Sharp
Eric Brewer
David Culler
2004
Hood: a neighborhood abstraction for sensor networks
Proceedings of the 2nd international conference on Mobile systems, applications, and services
ACM Press
10.1145/990064.990079