Jacob Beal

IEEE Trans. Autom. Control., 2023

Securing Fieldable Bioinformatics.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2023

2022

A Lyapunov Analysis of a Most Probable Path Finding Algorithm.

[BibT_eX]

[DOI]

James Alastair McLaughlin

IEEE Control. Syst. Lett., 2022

Near-optimal knowledge-free resilient leader election.

[BibT_eX]

[DOI]

Autom., 2022

2021

Synthetic biology open language visual (SBOL visual) version 3.0.

[BibT_eX]

[DOI]

Hasan Baig

Pedro Fontanarossa

James Scott-Brown

Prashant Vaidyanathan

Thomas E. Gorochowski

Goksel Misirli

James Alastair McLaughlin

Chris J. Myers

J. Integr. Bioinform., 2021

Synthetic biology open language visual (SBOL Visual) version 2.3.

[BibT_eX]

[DOI]

J. Integr. Bioinform., 2021

Monotonic Filtering for Distributed Collection.

[BibT_eX]

[DOI]

CoRR, 2021

Priority-enabled Load Balancing for Dispersed Computing.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Conference on Fog and Edge Computing, 2021

Effect of Monotonic Filtering on Graph Collection Dynamics.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

2020

Field-based Coordination with the Share Operator.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2020

Synthetic biology open language (SBOL) version 3.0.0.

[BibT_eX]

[DOI]

Hasan Baig

Pedro Fontanarrosa

Vishwesh Kulkarni

Prashant Vaidyanathan

Bryan Bartley

Matthew Crowther

Thomas E. Gorochowski

J. Integr. Bioinform., 2020

Synthetic biology open language visual (SBOL visual) version 2.2.

[BibT_eX]

[DOI]

J. Integr. Bioinform., 2020

Improving Collection Dynamics by Monotonic Filtering.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020

2019

Opportunities and Challenges in Applying Artificial Intelligence to Bioengineering.

[BibT_eX]

[DOI]

Fusun Yaman

Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019

A Higher-Order Calculus of Computational Fields.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2019

Robustness of the Adaptive Bellman -Ford Algorithm: Global Stability and Ultimate Bounds.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

From distributed coordination to field calculus and aggregate computing.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2019

Synthetic Biology Open Language Visual (SBOL Visual) Version 2.1.

[BibT_eX]

[DOI]

J. Integr. Bioinform., 2019

Synthetic Biology Open Language (SBOL) Version 2.3.

[BibT_eX]

[DOI]

J. Integr. Bioinform., 2019

A Framework for Self-Adaptive Dispersal of Computing Services.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019

The share Operator for Field-Based Coordination.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2019

Global Uniform Asymptotic Stability of a Generalized Adaptive Bellman-Ford Algorithm.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018

Engineering Resilient Collective Adaptive Systems by Self-Stabilisation.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 2018

Adaptive Opportunistic Airborne Sensor Sharing.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2018

Synthetic Biology Open Language Visual (SBOL Visual) Version 2.0.

[BibT_eX]

[DOI]

J. Integr. Bioinform., 2018

Synthetic Biology Open Language (SBOL) Version 2.2.0.

[BibT_eX]

[DOI]

J. Integr. Bioinform., 2018

An Aggregate Computing Approach to Self-Stabilizing Leader Election.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2018

Space-Time Universality of Field Calculus.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2018

Robust Stability of Spreading Blocks in Aggregate Computing.

[BibT_eX]

[DOI]

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

AI Challenges in Synthetic Biology Engineering.

[BibT_eX]

[DOI]

Fusun Yaman

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

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

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2017

Practical Aggregate Programming with Protelis.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, 2017

Towards a Foundational API for Resilient Distributed Systems Design.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, 2017

2016

A type-sound calculus of computational fields.

[BibT_eX]

[DOI]

Ferruccio Damiani

Sci. Comput. Program., 2016

Trading accuracy for speed in approximate consensus.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2016

Synthetic Biology Open Language (SBOL) Version 2.1.0.

[BibT_eX]

[DOI]

J. Integr. Bioinform., 2016

Resiliency with Aggregate Computing: State of the Art and Roadmap.

[BibT_eX]

[DOI]

Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, 2016

Managing bioengineering complexity with AI techniques.

[BibT_eX]

[DOI]

Fusun Yaman

Biosyst., 2016

Aggregate Programming: From Foundations to Applications.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016

Self-Adaptation to Device Distribution Changes.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2016

Adaptive Task Reallocation for Airborne Sensor Sharing.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016

Opportunistic Sharing of Airborne Sensors.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Distributed Computing in Sensor Systems, 2016

Improving Gossip Dynamics Through Overlapping Replicates.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2016

A Lyapunov analysis for the robust stability of an adaptive Bellman-Ford algorithm.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015

Superdiffusive Dispersion and Mixing of Swarms.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2015

Formal foundations of sensor network applications.

[BibT_eX]

[DOI]

ACM SIGSPATIAL Special, 2015

Synthetic Biology Open Language (SBOL) Version 2.0.0.

[BibT_eX]

[DOI]

J. Integr. Bioinform., 2015

Aggregate Programming for the Internet of Things.

[BibT_eX]

[DOI]

Computer, 2015

Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems, 2015

Toward Predicting Distributed Systems Dynamics.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015

Distributed Recovery for Enterprise Services.

[BibT_eX]

[DOI]

Shane S. Clark

Partha P. Pal

Proceedings of the 2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems, 2015

Protelis: practical aggregate programming.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

2014

Building Blocks for Aggregate Programming of Self-Organising Applications.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014

Predictable Self-Organization with Computational Fields.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Alex Papalexopoulos

Steven Florek

IEEE Trans. Smart Grid, 2013

Operational semantics of proto.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2013

On the Evaluation of Space-Time Functions.

[BibT_eX]

[DOI]

Brett Benyo

Comput. J., 2013

Editorial.

[BibT_eX]

[DOI]

Comput. J., 2013

Spatial Computing Meets Realistic Mobile Wireless Problems.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems Workshops, 2013

Web Proto: Aggregate Programming for Everyone.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2013

QuaFL: a typed DSL for quantum programming.

[BibT_eX]

[DOI]

Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, 2013

Functional synthesis of genetic regulatory networks.

[BibT_eX]

[DOI]

Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, 2013

Mixed geometric-topological representation for electromechanical design.

[BibT_eX]

[DOI]

Hala Mostafa

Proceedings of the Genetic and Evolutionary Computation Conference, 2013

A Calculus of Computational Fields.

[BibT_eX]

[DOI]

Ferruccio Damiani

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013

A Morphogenetically Assisted Design Variation Tool.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012

Organizing the Aggregate: Languages for Spatial Computing

[BibT_eX]

[DOI]

CoRR, 2012

Self-Stabilizing Robot Team Formation with Proto: IEEE Self-Adaptive and Self-Organizing Systems 2012 Demo Entry.

[BibT_eX]

[DOI]

Jeffrey Cleveland

Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2012

Fast Precise Distributed Control for Energy Demand Management.

[BibT_eX]

[DOI]

Jeffrey Berliner

Kevin Hunter

Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2012

A Dimensionless Graceful Degradation Metric for Quantifying Resilience.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012

A manifold operator representation for adaptive design.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2012

Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

A Tactical Command Approach to Human Control of Vehicle Swarms.

[BibT_eX]

[DOI]

Proceedings of the Human Control of Bioinspired Swarms, 2012

Functional Blueprints: An Approach to Modularity in Grown Systems.

[BibT_eX]

[DOI]

Proceedings of the Morphogenetic Engineering, Toward Programmable Complex Systems, 2012

2011

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

[BibT_eX]

[DOI]

Olivier Michel

Ulrik Pagh Schultz

ACM Trans. Auton. Adapt. Syst., 2011

Functional blueprints: an approach to modularity in grown systems.

[BibT_eX]

[DOI]

Swarm Intell., 2011

On the Evaluation of Space-Time Functions.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems, 2011

Using Morphogenetic Models to Develop Spatial Structures.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems, 2011

Core operational semantics of Proto.

[BibT_eX]

[DOI]

Matteo Casadei

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

An agent framework for agent societies.

[BibT_eX]

[DOI]

Proceedings of the SPLASH'11 Workshops, 2011

Bridging Biology and Engineering Together with Spatial Computing.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2011

2010

Composable continuous-space programs for robotic swarms.

[BibT_eX]

[DOI]

James McLurkin

Neural Comput. Appl., 2010

Distributed Control for Small Customer Energy Demand Management.

[BibT_eX]

[DOI]

Vinayak V. Ranade

Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

Dynamically Defined Processes for Spatial Computers.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

A Basis Set of Operators for Space-Time Computations.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

Adjustable autonomy for cross-domain entitlement decisions.

[BibT_eX]

[DOI]

Jonathan Webb

Michael Atighetchi

Proceedings of the 3rd ACM Workshop on Security and Artificial Intelligence, 2010

Laplacian-based consensus on spatial computers.

[BibT_eX]

[DOI]

Nelson Elhage

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Spectrum Curricula: Design and Initial Results.

[BibT_eX]

[DOI]

Alice Leung

Robert Laddaga

Proceedings of the Enabling Intelligence through Middleware, 2010

2009

AmorphousComputing.

[BibT_eX]

[DOI]

Harold Abelson

Gerald J. Sussman

Proceedings of the Encyclopedia of Complexity and Systems Science, 2009

Guest Editors' Introduction: The New Frontier of Human-Level Artificial Intelligence.

[BibT_eX]

[DOI]

Patrick H. Winston

IEEE Intell. Syst., 2009

Reports of the AAAI 2008 Fall Symposia.

[BibT_eX]

[DOI]

Paul Bello

Nicholas L. Cassimatis

Alexei V. Samsonovich

Patrick Henry Winston

Beverly Park Woolf

AI Mag., 2009

Flexible self-healing gradients.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Behavior modes for randomized robotic coverage.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Fast Self-stabilization for Gradients.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing in Sensor Systems, 2009

Curricula and Metrics to Investigate Human-Like Learning.

[BibT_eX]

[DOI]

Paul Robertson

Robert Laddaga

Proceedings of the Agents that Learn from Human Teachers, 2009

2008

Cells Are Plausible Targets for High-Level Spatial Languages.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Empirical Characterization of Discretization Error in Gradient-Based Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Fast self-healing gradients.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Cognitive security for personal devices.

[BibT_eX]

[DOI]

Rachel Greenstadt

Proceedings of the 1st ACM Workshop on Security and Artificial Intelligence, 2008

Shared focus of attention for heterogeneous agents.

[BibT_eX]

[DOI]

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

Engineered Robustness by Controlled Hallucination.

[BibT_eX]

[DOI]

Gerald Jay Sussman

Proceedings of the Naturally-Inspired Artificial Intelligence, 2008

Preface.

[BibT_eX]

[DOI]

Paul Bello

Nicholas L. Cassimatis

Michael H. Coen

Patrick Henry Winston

Proceedings of the Naturally-Inspired Artificial Intelligence, 2008

Organizing Committee.

[BibT_eX]

[DOI]

Paul Bello

Nicholas L. Cassimatis

Michael H. Coen

Patrick Henry Winston

Proceedings of the Naturally-Inspired Artificial Intelligence, 2008

2007

Learning by learning to communicate.

[BibT_eX]

[DOI]

PhD thesis, 2007

Continuous Space-Time Semantics Allow Adaptive Program Execution.

[BibT_eX]

[DOI]

Takeshi Fujiwara

Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems, 2007

Programming Manifolds.

[BibT_eX]

[DOI]

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

2006

Infrastructure for Engineered Emergence on Sensor/Actuator Networks.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2006

CogSci to AI: It's the Brainware, Stupid!

[BibT_eX]

[DOI]

Gerald J. Sussman

Proceedings of the Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems, 2006

2005

Leveraging Language into Learning.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

2004

Programming an Amorphous Computational Medium.

[BibT_eX]

[DOI]