Benjamin Plummer

According to our database, Benjamin Plummer authored at least 4 papers between 2015 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

2015

Planning for success: how students use a grade prediction tool to win their classes.

Caitlin Holman, Stephen J. Aguilar, Adam Levick, Jeff Stern, Benjamin Plummer, Barry J. Fishman

Proceedings of the Fifth International Conference on Learning Analytics And Knowledge, 2015