Green Journals

Year	A	B
2026	✓	✓
2025	✓	✓
2024	✓	✓
2023	✓	✓
2021/2022	✓	✓
2020	✓	✓
2019	✓	✓
2018	✓

Resilience for Regular Path Queries: Towards a Complexity Classification

Antoine Amarilli, Wolfgang Gatterbauer, Neha Makhija et al.

2026-11-13

DOI: 10.1145/3862467

Verification of Temporal Properties in Communicating Datalog Programs

Diego Calvanese, Francesco Di Cosmo, Jorge Lobo et al.

2026-10-30

DOI: 10.1145/3849387

Autonomous Commit and Commit Causality Clocks: Building Blocks for Logging and Recovery on Modern Hardware

Lam-Duy Nguyen, Adnan Alhomssi, Tobias Ziegler et al.

2026-10-16

DOI: 10.1145/3859374

Efficient and Complete Triangle Counting in Hypergraph Streams

Lingkai Meng, Long Yuan, Xuemin Lin et al.

2026-9-24

DOI: 10.1145/3848520

Caching with Monotonicity and Consistency

Shuai An, Yang Cao, Jia Li et al.

2026-9-8

DOI: 10.1145/3845609

Learned Indices for String Keys with Optimized Performance and O(N) Space Cost

Yifan Yang, Shimin Chen

2026-8-17

DOI: 10.1145/3841175

Explaining k-Nearest Neighbors: Abductive and Counterfactual Explanations.

Pablo Barceló, Alexander Kozachinskiy, Miguel Romero et al.

2026-8-4

DOI: 10.1145/3834568

Witness Generation for Classical JSON Schema

Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo et al.

2026-6-17 Vol. 51 Issue 4 Pages 1-45

DOI: 10.1145/3799416

Adaptive Set Intersection via Trie Partition Certificates

Diego Arroyuelo, Juan Pablo Castillo, José M. Cazorla

2026-6-15 Vol. 51 Issue 4 Pages 1-55

DOI: 10.1145/3812648

Finding Smallest Witnesses for Conjunctive Queries

Xiao Hu, Stavros Sintos

2026-6-15 Vol. 51 Issue 4 Pages 1-31

DOI: 10.1145/3786785

Journal Report

Journal Information

Classification History

Recent Articles