| Authors |
|
| Publication date |
2012
|
| Host editors |
|
| Book title |
Logic and Program Semantics
|
| Book subtitle |
Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
|
| ISBN |
|
| ISBN (electronic) |
|
| Series |
Lecture Notes in Computer Science
|
| Pages (from-to) |
322
|
| Number of pages |
1
|
| Publisher |
Heidelberg: Springer
|
| Organisations |
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
|
| 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.
|
| Document type |
Chapter
|
| Language |
English
|
| Published at |
https://doi.org/10.1007/978-3-642-29485-3_21
|
|
Permalink to this page
|