Concepedia

Henry DeYoung

HD

4

Publications

195

Citations

4

H-Index

2008

Active since

Affiliations

Carnegie Mellon University(Current)

Henry DeYoung is an author at Carnegie Mellon University specializing in formal methods, formal verification, and engineering.

ORCID

Top concepts

Publications per year

2008–2012

4

Publications

4

Experiences in the logical specification of the HIPAA and GLBA privacy laws

Henry DeYoung, Deepak Garg, Limin Jia et al. · 2010 · 89 citations

, , +21

Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication

Henry DeYoung, Frank Pfenning, Bernardo Toninho · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2012 · 45 citations · Full text

, , +14

An Authorization Logic With Explicit Time

Henry DeYoung, Deepak Garg, Frank Pfenning · 2008 · 42 citations

, , +18

Reasoning about the Consequences of Authorization Policies in a Linear Epistemic Logic

Henry DeYoung, Frank Pfenning · Figshare · 2008 · 19 citations · Full text

Rows per page

1–4 of 4