20
Publications
1.6K
Citations
17
H-Index
1988
Active since
Jon G. Riecke is an author at Nokia (United States) specializing in engineering, formal methods, and automated reasoning.
Top concepts
EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationSemanticsProgram AnalysisSoftware AnalysisLanguageLinguistics
Publications per year
1988–2003
20
20
Martı́n Abadi, Anindya Banerjee, Nevin Heintze et al. · 1999 · 412 citations
Engineering, Information Security, Dependency Linguistics +20
Nevin Heintze, Jon G. Riecke · 1998 · 410 citations
Stability issues in OSPF routing
Anindya Basu, Jon G. Riecke · 2001 · 185 citations
A generalization of exceptions and control in ML-like languages
Carl A. Gunter, Didier Rémy, Jon G. Riecke · 1995 · 113 citations · Full text
Kripke Logical Relations and PCF
Peter W. O’Hearn, Jon G. Riecke · Information and Computation · 1995 · 68 citations · Full text
Rows per page
1–5 of 20