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 the ACM

Journal of Computer and System Sciences

Logical Methods in Computer Science

Theoretical Computer Science

Theory of Computing Systems

Last updated in March 2023.