2012-01-02
Two three pages papers
Publication
Publication
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.
| Additional Metadata | |
|---|---|
| Springer | |
| R.L. Constable , A.M. Silva (Alexandra) | |
| doi.org/10.1007/978-3-642-29485-3_21 | |
| Lecture Notes in Computer Science | |
| Organisation | Networks and Optimization |
|
Apt, K. (2012). Two three pages papers. In R. L. Constable & A. Silva (Eds.), Logic and Program Semantics (pp. 322–322). Springer.https://doi.org/10.1007/978-3-642-29485-3_21 |
|