author : Jacob Beal
34
publications
The share Operator for Field-Based Coordination (2019) — Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli On a Higher-Order Calculus of Computational Fields (2019) — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal From distributed coordination to field calculus and aggregate computing (Journal of Logical and Algebraic Methods in Programming, 2019) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini A Higher-Order Calculus of Computational Fields (2019) — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal Engineering Resilient Collective Adaptive Systems by Self-Stabilisation (ACM Transactions on Modeling and Computer Simulation, 2018) — Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini From Field-Based Coordination to Aggregate Computing (COORDINATION 2018) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini Space-Time Universality of Field Calculus (ALP4IoT2017) — Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli Self-Adaptation to Device Distribution in the Internet of Things (ACM Transactions on Autonomous and Adaptive Systems, 2017) — Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani Towards a Foundational API for Resilient Distributed Systems Design (eCAS 2017 @ SASO 2017) — Matteo Francia, Danilo Pianini, Jacob Beal, Mirko Viroli Practical Aggregate Programming with Protelis (SASO 2017) — Danilo Pianini, Jacob Beal, Mirko Viroli A type-sound calculus of computational fields (Science of Computer Programming, 2016) — Ferruccio Damiani, Mirko Viroli, Jacob Beal Improving Gossip Dynamics Through Overlapping Replicates (2016) — Danilo Pianini, Jacob Beal, Mirko Viroli Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE (2016) — Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal Improving Gossip Dynamics Through Overlapping Replicates (COORDINATION 2016) — Danilo Pianini, Jacob Beal, Mirko Viroli Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE (2016) — Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal Self-adaptation to Device Distribution Changes in Situated Computing Systems (SASO 2016) — Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields (FORTE 2015 @ DisCoTec 2015) — Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal Formal Foundations of Sensor Network Applications (SIGSPATIAL Special, 2015) — Jacob Beal, Mirko Viroli Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields (SASO 2015) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini Aggregate Programming for the Internet of Things (Computer, 2015) — Jacob Beal, Danilo Pianini, Mirko Viroli Building Blocks for Aggregate Programming of Self-Organising Applications (FoCAS 2014) — Jacob Beal, Mirko Viroli Organizing the Aggregate: Languages for Spatial Computing (2013) — Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli, Nikolaus Correll Operational Semantics of Proto (Science of Computer Programming, 2013) — Mirko Viroli, Jacob Beal, Kyle Usbeck A calculus of computation fields (FOCLASA 2013 @ ESOCC 2013) — Mirko Viroli, Ferruccio Damiani, Jacob Beal Linda in space-time: an adaptive coordination model for mobile ad-hoc environments (2012) — Mirko Viroli, Danilo Pianini, Jacob Beal Reaction Factoring and Bipartite Update Graphs Accelerate the Gillespie Algorithm for Large-Scale Biochemical Systems (PLOS ONE, 2010) — Sagar Indurkhya, Jacob Beal