Jacob Beal

According to our database1, Jacob Beal authored at least 103 papers between 2004 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
Opportunities and Challenges in Applying Artificial Intelligence to Bioengineering.
Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019

A Higher-Order Calculus of Computational Fields.
ACM Trans. Comput. Log., 2019

Robustness of the Adaptive Bellman -Ford Algorithm: Global Stability and Ultimate Bounds.
IEEE Trans. Automat. Contr., 2019

From distributed coordination to field calculus and aggregate computing.
J. Log. Algebraic Methods Program., 2019

Synthetic Biology Open Language Visual (SBOL Visual) Version 2.1.
J. Integrative Bioinformatics, 2019

Synthetic Biology Open Language (SBOL) Version 2.3.
J. Integrative Bioinformatics, 2019

Field-based Coordination with the Share Operator.
CoRR, 2019

A Framework for Self-Adaptive Dispersal of Computing Services.
Proceedings of the IEEE 4th International Workshops on Foundations and Applications of Self* Systems, 2019

New Distributed Constraint Reasoning Algorithms for Load Balancing in Edge Computing.
Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019

The share Operator for Field-Based Coordination.
Proceedings of the Coordination Models and Languages, 2019

2018
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation.
ACM Trans. Model. Comput. Simul., 2018

Adaptive Opportunistic Airborne Sensor Sharing.
TAAS, 2018

Synthetic Biology Open Language Visual (SBOL Visual) Version 2.0.
J. Integrative Bioinformatics, 2018

Synthetic Biology Open Language (SBOL) Version 2.2.0.
J. Integrative Bioinformatics, 2018

An Aggregate Computing Approach to Self-Stabilizing Leader Election.
Proceedings of the 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2018

From Field-Based Coordination to Aggregate Computing.
Proceedings of the Coordination Models and Languages, 2018

Space-Time Universality of Field Calculus.
Proceedings of the Coordination Models and Languages, 2018

Robust Stability of Spreading Blocks in Aggregate Computing.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

AI Challenges in Synthetic Biology Engineering.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Self-Adaptation to Device Distribution in the Internet of Things.
TAAS, 2017

Practical Aggregate Programming with Protelis.
Proceedings of the 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, 2017

Error in Self-Stabilizing Spanning-Tree Estimation of Collective State.
Proceedings of the 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, 2017

Towards a Foundational API for Resilient Distributed Systems Design.
Proceedings of the 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, 2017

2016
A type-sound calculus of computational fields.
Sci. Comput. Program., 2016

Trading accuracy for speed in approximate consensus.
Knowledge Eng. Review, 2016

Synthetic Biology Open Language (SBOL) Version 2.1.0.
J. Integrative Bioinformatics, 2016

Resiliency with Aggregate Computing: State of the Art and Roadmap.
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, 2016

Managing bioengineering complexity with AI techniques.
Biosyst., 2016

Aggregate Programming: From Foundations to Applications.
Proceedings of the Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016

Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE.
Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016

Self-Adaptation to Device Distribution Changes.
Proceedings of the 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2016

Adaptive Task Reallocation for Airborne Sensor Sharing.
Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016

Opportunistic Sharing of Airborne Sensors.
Proceedings of the International Conference on Distributed Computing in Sensor Systems, 2016

Improving Gossip Dynamics Through Overlapping Replicates.
Proceedings of the Coordination Models and Languages, 2016

A Lyapunov analysis for the robust stability of an adaptive Bellman-Ford algorithm.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015
Superdiffusive Dispersion and Mixing of Swarms.
TAAS, 2015

Formal foundations of sensor network applications.
SIGSPATIAL Special, 2015

Synthetic Biology Open Language (SBOL) Version 2.0.0.
J. Integrative Bioinformatics, 2015

Aggregate Programming for the Internet of Things.
IEEE Computer, 2015

Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields.
Proceedings of the 2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems, 2015

Toward Predicting Distributed Systems Dynamics.
Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015

Distributed Recovery for Enterprise Services.
Proceedings of the 2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems, 2015

Protelis: practical aggregate programming.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

2014
Building Blocks for Aggregate Programming of Self-Organising Applications.
Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014

Predictable Self-Organization with Computational Fields.
Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014

2013
Precise Mass-Market Energy Demand Management Through Stochastic Distributed Computing.
IEEE Trans. Smart Grid, 2013

Operational semantics of proto.
Sci. Comput. Program., 2013

On the Evaluation of Space-Time Functions.
Comput. J., 2013

Editorial.
Comput. J., 2013

Spatial Computing Meets Realistic Mobile Wireless Problems.
Proceedings of the 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems Workshops, 2013

Web Proto: Aggregate Programming for Everyone.
Proceedings of the 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems Workshops, 2013

Superdiffusive Dispersion and Mixing of Swarms with Reactive Levy Walks.
Proceedings of the 7th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2013

QuaFL: a typed DSL for quantum programming.
Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, 2013

Functional synthesis of genetic regulatory networks.
Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, 2013

Mixed geometric-topological representation for electromechanical design.
Proceedings of the Genetic and Evolutionary Computation Conference, 2013

A Calculus of Computational Fields.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013

A Morphogenetically Assisted Design Variation Tool.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012
Organizing the Aggregate: Languages for Spatial Computing
CoRR, 2012

Self-Stabilizing Robot Team Formation with Proto: IEEE Self-Adaptive and Self-Organizing Systems 2012 Demo Entry.
Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2012

Fast Precise Distributed Control for Energy Demand Management.
Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2012

A Dimensionless Graceful Degradation Metric for Quantifying Resilience.
Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012

A manifold operator representation for adaptive design.
Proceedings of the Genetic and Evolutionary Computation Conference, 2012

Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments.
Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

A Tactical Command Approach to Human Control of Vehicle Swarms.
Proceedings of the Human Control of Bioinspired Swarms, 2012

Functional Blueprints: An Approach to Modularity in Grown Systems.
Proceedings of the Morphogenetic Engineering, Toward Programmable Complex Systems, 2012

2011
Spatial Computing: Distributed Systems That Take Advantage of Our Geometric World.
TAAS, 2011

Functional blueprints: an approach to modularity in grown systems.
Swarm Intelligence, 2011

On the Evaluation of Space-Time Functions.
Proceedings of the Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems, 2011

Using Morphogenetic Models to Develop Spatial Structures.
Proceedings of the Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems, 2011

Core operational semantics of Proto.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

An agent framework for agent societies.
Proceedings of the Conference on Systems, 2011

Bridging Biology and Engineering Together with Spatial Computing.
Proceedings of the Membrane Computing, 2011

2010
Composable continuous-space programs for robotic swarms.
Neural Computing and Applications, 2010

Distributed Control for Small Customer Energy Demand Management.
Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

Dynamically Defined Processes for Spatial Computers.
Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

A Basis Set of Operators for Space-Time Computations.
Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

Adjustable autonomy for cross-domain entitlement decisions.
Proceedings of the 3rd ACM Workshop on Security and Artificial Intelligence, 2010

Laplacian-based consensus on spatial computers.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Spectrum Curricula: Design and Initial Results.
Proceedings of the Enabling Intelligence through Middleware, 2010

2009
AmorphousComputing.
Proceedings of the Encyclopedia of Complexity and Systems Science, 2009

Guest Editors' Introduction: The New Frontier of Human-Level Artificial Intelligence.
IEEE Intelligent Systems, 2009

Reports of the AAAI 2008 Fall Symposia.
AI Magazine, 2009

Flexible self-healing gradients.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Behavior modes for randomized robotic coverage.
Proceedings of the 2nd International ICST Conference on Robot Communication and Coordination, 2009

Self-Managing Associative Memory for Dynamic Acquisition of Expertise in High-Level Domains.
Proceedings of the IJCAI 2009, 2009

Fast Self-stabilization for Gradients.
Proceedings of the Distributed Computing in Sensor Systems, 2009

Curricula and Metrics to Investigate Human-Like Learning.
Proceedings of the Agents that Learn from Human Teachers, 2009

2008
Cells Are Plausible Targets for High-Level Spatial Languages.
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Empirical Characterization of Discretization Error in Gradient-Based Algorithms.
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Fast self-healing gradients.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Cognitive security for personal devices.
Proceedings of the 1st ACM Workshop on Security and Artificial Intelligence, 2008

Shared focus of attention for heterogeneous agents.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

Engineered Robustness by Controlled Hallucination.
Proceedings of the Naturally-Inspired Artificial Intelligence, 2008

Preface.
Proceedings of the Naturally-Inspired Artificial Intelligence, 2008

Organizing Committee.
Proceedings of the Naturally-Inspired Artificial Intelligence, 2008

2007
Learning by learning to communicate.
PhD thesis, 2007

Continuous Space-Time Semantics Allow Adaptive Program Execution.
Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems, 2007

Programming Manifolds.
Proceedings of the Fair Division, 24.06. - 29.06.2007, 2007

2006
Infrastructure for Engineered Emergence on Sensor/Actuator Networks.
IEEE Intelligent Systems, 2006

CogSci to AI: It's the Brainware, Stupid!
Proceedings of the Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems, 2006

2005
Leveraging Language into Learning.
Proceedings of the Proceedings, 2005

2004
Programming an Amorphous Computational Medium.
Proceedings of the Unconventional Programming Paradigms, 2004


  Loading...