What is this? This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.

Journal of Computer and System Sciences

A conference, workshop or journal: the thing that recurs, across all its years.

A theory journal covering complexity, automata, databases and the mathematical side of systems. Its back catalogue holds several results that defined their subfields, which is usually why a bibliography reaches for it.

https://www.sciencedirect.com/journal/journal-of-computer-and-system-sciences

Cloud federation in a layered service model

The complexity of the temporal logic with “until” over general linear time

Deterministic propositional dynamic logic: Finite models, complexity, and completeness

Upper and lower bounds for first-order expressibility

Number of quantifiers is better than number of tape cells

The correctness of programs