| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A causal, time-independent synchronization pattern for collective adaptive systems
|
Fettke, Peter
|
|
|
25 |
5-6 |
p. 659-673
|
artikel
|
| 2 |
A kinetic approach to investigate the collective dynamics of multi-agent systems
|
Monica, Stefania
|
|
|
25 |
5-6 |
p. 693-705
|
artikel
|
| 3 |
A modal approach to conscious social agents
|
Yifeng, Chen
|
|
|
25 |
5-6 |
p. 707-716
|
artikel
|
| 4 |
A toolchain for strategy synthesis with spatial properties
|
Basile, Davide
|
|
|
25 |
5-6 |
p. 641-658
|
artikel
|
| 5 |
Comparing perfomance abstractions for collective adaptive systems
|
Murgia, Maurizio
|
|
|
25 |
5-6 |
p. 785-798
|
artikel
|
| 6 |
Coordinating and programming multiple ROS-based robots with X-KLAIM
|
Bettini, Lorenzo
|
|
|
25 |
5-6 |
p. 747-764
|
artikel
|
| 7 |
Correct by design coordination of autonomous driving systems
|
Bozga, Marius
|
|
|
25 |
5-6 |
p. 625-639
|
artikel
|
| 8 |
Generating adaptation rule-specific neural networks
|
Bureš, Tomáš
|
|
|
25 |
5-6 |
p. 733-746
|
artikel
|
| 9 |
Language support for verifying reconfigurable interacting systems
|
Alrahman, Yehia Abd
|
|
|
25 |
5-6 |
p. 765-784
|
artikel
|
| 10 |
Machine-learning abstractions for component-based self-optimizing systems
|
Töpfer, Michal
|
|
|
25 |
5-6 |
p. 717-731
|
artikel
|
| 11 |
Modelling flocks of birds and colonies of ants from the bottom up
|
De Nicola, Rocco
|
|
|
25 |
5-6 |
p. 675-691
|
artikel
|
| 12 |
Publisher Correction: Algorithm selection for SMT
|
Scott, Joseph
|
|
|
25 |
5-6 |
p. 799-800
|
artikel
|
| 13 |
Rigorous engineering of collective adaptive systems – 2nd special section
|
Wirsing, Martin
|
|
|
25 |
5-6 |
p. 617-624
|
artikel
|
Tijdschrift beschrijving