Tom Henzinger: Journal Publications by Venue

ACM Transactions on Computational Logic

ACM Transactions on Programming Languages and Systems

BMC Systems Biology

Formal Methods in System Design

IEEE Computer

IEEE Control Systems Magazine

IEEE Transactions on Automatic Control

IEEE Transactions on Software Engineering

Information and Computation

Information Processing Letters

International Journal of Foundations of Computer Science

International Journal of Game Theory

Journal of the ACM

Journal of Computer and System Sciences

Logical Methods in Computer Science

Nature Biotechnology

Philosophical Transactions of the Royal Society

PLoS Computational Biology

Proceedings of the IEEE

Software Tools for Technology Transfer

Theoretical Computer Science

Last updated in November 2008.