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.