Laurent Doyen: Journal Publications by Venue

ACM Transactions on Computational Logic

Formal Aspects of Computing

Formal Methods in System Design

Information and Computation

Information Processing Letters

International Journal of Foundations of Computer Science

Journal of Computer and System Sciences

Logical Methods in Computer Science

Theoretical Computer Science

Theory of Computing Systems

  • Dietmar Berwanger and Laurent Doyen. Observation and Distinction. Representing Information in Infinite Games. To appear in Theory of Computing Systems (ToCS), 2022, Springer. [ pdf]

  • Last updated in August 2022.