Co-authors (414)

Conferences (27)

POPL

7
ISSCC

5
ICALP

3
IFIP

3
LICS

2

Journals (53)

Keywords (445)

Embed

Academic

Authors

John C. Reynolds

John C. Reynolds,Carnegie Mellon University,Programming Languages,Algorithms & Theory,Electrical & Electronic Engineering

Edit

John C. Reynolds

Carnegie Mellon University

Publications: 249 | Citations: 5051

Fields: Programming Languages, Algorithms & Theory, Electrical & Electronic Engineering

Collaborated with 414 co-authors from 1953 to 2012 | Cited by 2806 authors

Cumulative Annual

Sort by:

Publications (249)

BibTeX | RIS | RefWorks Download

Syntactic control of interference for separation logic (Citations: 1)

Journal: Sigplan Notices - SIGPLAN , pp. 323-336, 2012

Making Program Logics Intelligible

Conference: Theoretical Aspects of Software Engineering - TASE , 2011

First geodetic observations using new VLBI stations ASKAP-29 and WARK12M (Citations: 2)

, , , , , , , , , , , http://academic.research.microsoft.com/io.ashx?type=5&id=27618067&selfId1=535814&selfId2=0&maxNumber=12&query=

Published in 2010.

Respiration The Effect of Chloramphenicol and Other Antibiotics on Leukocyte

, , , ,

Published in 2010.

Spatial filtering using a multibeam receiver

, ,

Published in 2010.

Sort by:

Citations (5051 times by 3503 publications)

Behavioral interface specification languages (Citations: 3)

, , , ,

Journal: ACM Computing Surveys - CSUR , pp. 1-58, 2012

Program Extrapolation with Jennisys

Published in 2012.

Expressive modular fine-grained concurrency specification (Citations: 2)

Journal: Sigplan Notices - SIGPLAN , pp. 271-282, 2011

The dynamic frames theory (Citations: 3)

Journal: Formal Aspects of Computing - FAC , vol. 23, no. 3, pp. 267-288, 2011

Geometry of synthesis III: resource management through type inference (Citations: 3)

Journal: Sigplan Notices - SIGPLAN , pp. 345-356, 2011

Comments


	View FAQ about top research areas and Fields of study

John C. Reynolds,Carnegie Mellon University,Programming Languages,Algorithms & Theory,Electrical & Electronic Engineering

Publications (249) BibTeX | RIS | RefWorks Download

Syntactic control of interference for separation logic (Citations: 1)

First geodetic observations using new VLBI stations ASKAP-29 and WARK12M (Citations: 2)

Behavioral interface specification languages (Citations: 3)

Expressive modular fine-grained concurrency specification (Citations: 2)

The dynamic frames theory (Citations: 3)

Geometry of synthesis III: resource management through type inference (Citations: 3)

Publications (249)

BibTeX | RIS | RefWorks Download