Reference health

ScaFI: A Scala DSL and Toolkit for Aggregate Programming

https://doi.org/10.2139/ssrn.4169748
CiteStamped reference-health badge
26/26 checkable references clean · checked 2026-08-30

Every reference with a DOI in the deposited reference list resolved to a known work in Crossref or DataCite at the dated check, and none carried a retraction, withdrawal, or removal notice.

26 without a DOI — not checked. A reference deposited without a DOI is never matched by title or guessed at; it stays outside the checked set, and this line discloses that.

The 26 checked references that resolve
resolves10.1016/j.future.2018.09.005
Modelling and simulation of Opportunistic IoT Services with Aggregate Computing
resolves10.1109/MTS.2020.3012324
On the Social Implications of Collective Adaptive Systems
resolves10.1109/MC.2003.1160055
The vision of autonomic computing
resolves10.1109/ACCESS.2019.2955677
Collective Intelligence: A Taxonomy and Survey
resolves10.1007/s10009-020-00565-0
Rigorous engineering of collective adaptive systems: special section
resolves10.1109/MC.2015.261
Aggregate Programming for the Internet of Things
resolves10.3390/fi12110203
Pulverization in Cyber-Physical Systems: Engineering the Self-Organizing Logic Separated from Deployment
resolves10.1145/3285956
A Higher-Order Calculus of Computational Fields
resolves10.1145/3177774
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation
resolves10.1016/j.engappai.2020.104081
Engineering collective intelligence at the edge with aggregate processes
resolves10.1016/j.scico.2012.12.003
Operational semantics of proto
resolves10.1145/2695664.2695913
Protelis
resolves10.1017/S0956796807006405
Lightweight family polymorphism
resolves10.1109/SASO.2017.18
Compositional Blocks for Optimal Self-Healing Gradients
resolves10.1057/jos.2012.27
Chemical-oriented simulation of computational systems with ALCHEMIST
resolves10.15439/2016F407
Simulating Large-scale Aggregate MASs with Alchemist and Scala
resolves10.1145/2968219.2979129
On execution platforms for large-scale aggregate computing
resolves10.1016/j.future.2020.07.032
Partitioned integration and coordination via the self-organising coordination regions pattern
resolves10.1109/FMEC.2019.8795355
Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach
resolves10.1016/j.scico.2018.07.006
Towards attack-resistant Aggregate Computing using trust mechanisms
resolves10.1109/FAS-W.2019.00036
A Framework for Self-Adaptive Dispersal of Computing Services
resolves10.1145/3179994
Adaptive Opportunistic Airborne Sensor Sharing
resolves10.1016/j.jss.2021.110908
Adaptive distributed monitors of spatial properties for cyber–physical systems
resolves10.1145/3241653.3266230
Cross-platform language design in Scala.js (keynote)
resolves10.1007/978-3-319-08681-1
Social Collective Intelligence
resolves10.1080/10919392.2020.1748977
Emergence phenomena in self-organizing systems: a systematic literature review of concepts, researches, and future prospects
The 26 references without a DOI — listed, not checked
no DOI — not checkedPervasive computing: vision and challenges
no DOI — not checkedref4
no DOI — not checkedFrom distributed coordination to field calculus and aggregate computing
no DOI — not checkedFCPP: an efficient and extensible field calculus framework
no DOI — not checkedA core calculus for collective adaptive systems programming
no DOI — not checkedref18
no DOI — not checkedref19
no DOI — not checkedref21
no DOI — not checkedref23
no DOI — not checkedTime-fluid field-based coordination through programmable distributed schedulers
no DOI — not checkedProgramming with Actors -State-of-the-Art and Research Perspectives
no DOI — not checkedFunctional programming for distributed systems with XC (artifact)
no DOI — not checkedCoordination Models and Languages -24th IFIP WG 6.1 International Conference, COORDINATION 2022
no DOI — not checkedEngineering resilient collaborative edge-enabled iot
no DOI — not checkedA programming approach to collective autonomy
no DOI — not checkedTuple-based coordination in large-scale situated systems
no DOI — not checkedref37
no DOI — not checkedref38
no DOI — not checkedref39
no DOI — not checkedCoordination Models and Languages -21st IFIP WG 6.1 International Conference, COORDINATION
no DOI — not checkedAn overview of the scala programming language
no DOI — not checkedLanguage-oriented programming via DSL stacking
no DOI — not checkedref47
no DOI — not checkedref48
no DOI — not checkedref49
no DOI — not checkedSelf-Organizing Systems: The Emergence of Order
What this badge says. CiteStamped means the CHECKABLE references of this work were clean at the dated check: each resolved to a known work in a public registry, and none carried a retraction notice at that time. It says nothing about the quality, findings, or importance of the work itself, and nothing about references deposited without a DOI.

checked 2026-08-30 — re-checked daily as this page is visited; titles and statuses come from Crossref and DataCite and are not part of the signed record

view as graph · paper page

Embed this badge

Both snippets point at the live badge image and link back to this page. The badge re-renders from the daily check, so an embed never goes stale by more than a day of visits.

<a href="https://citestamp.com/citestamped/10.2139/ssrn.4169748"><img src="https://citestamp.com/citestamped/10.2139/ssrn.4169748/badge.svg" alt="CiteStamped reference-health badge" width="460" height="64"></a>
[![CiteStamped reference-health badge](https://citestamp.com/citestamped/10.2139/ssrn.4169748/badge.svg)](https://citestamp.com/citestamped/10.2139/ssrn.4169748)