Benjamin Plummer

According to our database, Benjamin Plummer authored at least 3 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Positional Properties in Temporal Logic.

Jessica Newman, Benjamin Plummer

CoRR, April, 2026

A Coalgebraic Approach to Infinite Games.

Benjamin Plummer, Corina Cîrstea

Proceedings of the Foundations of Software Science and Computation Structures, 2026

2025

Traces via Strategies in Two-Player Games.

Benjamin Plummer, Corina Cîrstea

Proceedings of the 41st Conference on the Mathematical Foundations of Programming Semantics, October, 2025