ACM Computing Surveys

ACM Computing Surveys (CSUR) publishes comprehensive, readable tutorials and survey papers that give guided tours through the literature and explain topics to those who seek to learn the basics of areas outside their specialties.

journal containing

 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

journal hosting

 Special Issue on Trustworthy AI