Green Journals

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

Layered Monoidal Theories I: Diagrammatic Algebra and Applications

Leo Lobski, Fabio Zanasi

2026-10-29

DOI: 10.1145/3861016

Refining Gelfond’s Rationality Principle: Towards More Comprehensive Foundational Principles for Answer Set Semantics

Yi-Dong Shen, Thomas Eiter

2026-10-13 Vol. 27 Issue 4 Pages 1-72

DOI: 10.1145/3840299

Non-Deterministic Abstract Machines

Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet et al.

2026-10-3

DOI: 10.1145/3849808

Synchronous Team Semantics for Temporal Logics

Andreas Krebs, Arne Meier, Jonni Virtema et al.

2026-9-26 Vol. 27 Issue 4 Pages 1-36

DOI: 10.1145/3834561

Free differential modalities

Richard Garner, Jean-Simon Pacaud Lemay

2026-9-18

DOI: 10.1145/3845804

On Propositional Dynamic Logic and Concurrency

Matteo Acclavio, Fabrizio Montesi, Marco Peressotti

2026-9-2

DOI: 10.1145/3844942

\(\pi\) LL: Reconciling Linear Logic, the \(\pi\) -calculus, and their Metatheory

Fabrizio Montesi, Marco Peressotti

2026-9-1

DOI: 10.1145/3844503

Foundations for an Abstract Proof Theory in the Context of Horn Rules

Tim S. Lyon, Piotr Ostropolski-Nalewaja

2026-8-17 Vol. 27 Issue 4 Pages 1-42

DOI: 10.1145/3821208

A Language-Theoretic Classification of Discrete-Time Discrete Event Systems

Julian Klein, Sabine Glesner

2026-8-17

DOI: 10.1145/3841180

Model Checking Probabilistic Operator Precedence Automata

Francesco Pontiggia, Ezio Bartocci, Michele Chiari

2026-8-17 Vol. 27 Issue 4 Pages 1-44

DOI: 10.1145/3822593

Journal Report

Journal Information

Classification History

Recent Articles