Jacob Beal

Beal, Jacob
Persona
ORCID iD0000-0002-1663-5102
NomeJacob
CognomeBeal
Nomi nelle schede APICe

Jacob Beal
Jake Beal

Affiliazione
AffiliazioneRaytheon BBN
ID ROR dell’affiliazione
Provenienza
FonteORCID public registry, 2026-10-26
Account APICe
In APICe
Eventi (14)
Event_icon.svg eCAS 2021 @ ACSOS 2021 — Membro del comitato direttivo
Event_icon.svg eCAS 2020 @ ACSOS 2021 — Membro del comitato direttivo
Event_icon.svg eCAS 2019 @ SASO 2019 — Membro del comitato direttivo, Membro del PC
Event_icon.svg SASO 2019 — Membro del comitato direttivo, Membro del PC
Event_icon.svg eCAS 2018 @ SASO 2018 — Membro del comitato direttivo
Event_icon.svg SASO 2018 — PC Chair
Event_icon.svg eCAS 2017 @ SASO 2017 — Membro del comitato direttivo, Membro del PC
Event_icon.svg SASO 2017 — Industry and Sponsorship Chair, Membro del comitato direttivo, Membro del PC
Event_icon.svg ALP4IoT 2017 — Membro del PC
Event_icon.svg SASO 2016 — Membro del comitato direttivo, Membro del PC
Event_icon.svg eCAS 2016 @ SASO 2016 — Membro del comitato direttivo, Workshop Chair
Event_icon.svg SASO 2011 — PC Chair
Event_icon.svg SASO 2010 — Workshop Chair, Membro del PC
Event_icon.svg SASO 2009 — Poster Chairs
Pubblicazioni (35)
Publication_icon.svg The share Operator for Field-Based Coordination (articolo in atti, 2019) — Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli — autori
Publication_icon.svg On a Higher-Order Calculus of Computational Fields (articolo in atti, 2019) — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal — autori
Publication_icon.svg A Higher-Order Calculus of Computational Fields (articolo in rivista, 2019) — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal — autori
Publication_icon.svg From distributed coordination to field calculus and aggregate computing (articolo in rivista, 2019) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini — autori
Publication_icon.svg Engineering Resilient Collective Adaptive Systems by Self-Stabilisation (articolo in rivista, 2018) — Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini — autori
Publication_icon.svg From Field-Based Coordination to Aggregate Computing (articolo in atti, 2018) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini — autori
Publication_icon.svg Space-Time Universality of Field Calculus (articolo in atti, 2018) — Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli — autori
Publication_icon.svg Self-Adaptation to Device Distribution in the Internet of Things (articolo in rivista, 2017) — Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani — autori
Publication_icon.svg Towards a Foundational API for Resilient Distributed Systems Design (articolo in atti, 2017) — Matteo Francia, Danilo Pianini, Jacob Beal, Mirko Viroli — autori
Publication_icon.svg Practical Aggregate Programming with Protelis (articolo in atti, 2017) — Danilo Pianini, Jacob Beal, Mirko Viroli — autori
Publication_icon.svg Improving Gossip Dynamics Through Overlapping Replicates (articolo in atti, 2016) — Danilo Pianini, Jacob Beal, Mirko Viroli — autori
Publication_icon.svg A type-sound calculus of computational fields (articolo in rivista, 2016) — Ferruccio Damiani, Mirko Viroli, Jacob Beal — autori
Publication_icon.svg Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE (articolo in atti, 2016) — Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal — autori
Publication_icon.svg Resiliency with Aggregate Computing: State of the Art and Roadmap (articolo in atti, 2016) — Mirko Viroli, Jacob Beal — autori
Publication_icon.svg Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE (articolo in atti, 2016) — Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal — autori
Publication_icon.svg Self-adaptation to Device Distribution Changes in Situated Computing Systems (articolo in atti, 2016) — Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani — autori
Publication_icon.svg Aggregate Programming: From Foundations to Applications (articolo in atti, 2016) — Jacob Beal, Mirko Viroli — autori
Publication_icon.svg Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields (articolo in atti, 2015) — Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal — autori
Publication_icon.svg Formal Foundations of Sensor Network Applications (articolo in rivista, 2015) — Jacob Beal, Mirko Viroli — autori
Publication_icon.svg Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields (articolo in atti, 2015) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini — autori
Publication_icon.svg Space-Time Programming (articolo in rivista, 2015) — Jacob Beal, Mirko Viroli — autori
Publication_icon.svg Protelis: Practical Aggregate Programming (articolo in atti, 2015) — Danilo Pianini, Mirko Viroli, Jacob Beal — autori
Publication_icon.svg Aggregate Programming for the Internet of Things (articolo in rivista, 2015) — Jacob Beal, Danilo Pianini, Mirko Viroli — autori
Publication_icon.svg Building Blocks for Aggregate Programming of Self-Organising Applications (articolo in atti, 2014) — Jacob Beal, Mirko Viroli — autori
Publication_icon.svg Towards a Unified Model of Spatial Computing (articolo in atti, 2014) — Jacob Beal, Mirko Viroli, Ferruccio Damiani — autori
Publication_icon.svg Operational Semantics of Proto (articolo in rivista, 2013) — Mirko Viroli, Jacob Beal, Kyle Usbeck — autori
Publication_icon.svg Organizing the Aggregate: Languages for Spatial Computing (capitolo di libro, 2013) — Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli, Nikolaus Correll — autori
Publication_icon.svg A calculus of computation fields (articolo in atti, 2013) — Mirko Viroli, Ferruccio Damiani, Jacob Beal — autori
Publication_icon.svg On the Space-time Situation of Pervasive Service Ecosystems (articolo in atti, 2012) — Mirko Viroli, Graeme Stevenson — curatori
Publication_icon.svg Linda in space-time: an adaptive coordination model for mobile ad-hoc environments (articolo in atti, 2012) — Mirko Viroli, Danilo Pianini, Jacob Beal — autori
Publication_icon.svg Core Operational Semantics of Proto (articolo in atti, 2011) — Mirko Viroli, Jacob Beal, Matteo Casadei — autori
Publication_icon.svg Spatial Computing: Distributed Systems That Take Advantage of Our Geometric World (articolo in rivista, 2011) — Jacob Beal, Olivier Michel, Ulrik Pagh Schultz — autori
Publication_icon.svg A Basis Set of Operators for Space-Time Computations (articolo in atti, 2010) — Jacob Beal — autori
Publication_icon.svg Fast self-healing gradients (articolo in atti, 2008) — Jacob Beal, Jonathan Bachrach, Daniel Vickery, Mark Tobenkin — autori
Presentazioni (3)
Talk_icon.svg Towards a Foundational API for Resilient Distributed Systems Design (eCAS 2017 @ SASO 2017, 18/09/2016) — Danilo Pianini — autori
Talk_icon.svg Protelis: Practical Aggregate Programming (CM 2015 @ SAC 2015, 16/04/2015) — Danilo Pianini — autori
Talk_icon.svg A core calculus of computational fields (FOCLASA 2013 @ ESOCC 2013, 11/09/2013) — Mirko Viroli — autori