Abstract
Dexter was my manager during the first 8 months or so of my one year stay at the IBM Research Center at Yorktown Heights in the mid eighties. Our interaction in terms of scientific output was very slim — it consisted of just a single paper, titled “Limits for automatic verification of finite-state concurrent systems.” The paper appeared in 1986 in Information Processing Letters and had just 3 pages. Still, it has 275 citations on Google scholar, so more than 90 citations per page. I believe it is the best per page citation ratio for both of us.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Apt, K.R. (2012). Two Three Pages Papers. In: Constable, R.L., Silva, A. (eds) Logic and Program Semantics. Lecture Notes in Computer Science, vol 7230. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29485-3_21
Download citation
DOI: https://doi.org/10.1007/978-3-642-29485-3_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29484-6
Online ISBN: 978-3-642-29485-3
eBook Packages: Computer ScienceComputer Science (R0)