ACM Computing Surveys
funge da
Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review (2024) — Giovanni Ciatto, Federico Sabbatini, Andrea Agiollo, Matteo Magnini, Andrea Omicini
Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour Modelling (2023) — Roberto Casadei
Coordination of Autonomous Vehicles: Taxonomy and Survey (2022) — Stefano Mariani, Giacomo Cabri, Franco Zambonelli
A Survey of Methods for Explaining Black Box Models (2018) — Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Franco Turini, Fosca Giannotti, Dino Pedreschi
One Step Forward: Linking Wireless Self-organizing Network Validation Techniques with Formal Testing Approaches (2011) — Aline Carneiro Viana, Stephane Maag, Fatiha Zaidi
Process Migration (2000) — Dejan S. Milojicic, Fred Douglis, Yves Paindaveine, Richard Wheeler, Songnian Zhou
Coordination Models and Languages as Software Integrators (1996) — Paolo Ciancarini
The Interdisciplinary Study of Coordination (1994) — Thomas W. Malone, Kevin Crowston
How to Write Parallel Programs: A Guide to the Perplexed (1989) — Nicholas Carriero, David Gelernter
Petri Nets (1977) — James L. Peterson