Concepedia

Randy Pollack

RP

11

Publications

518

Citations

11

H-Index

1984

Active since

Affiliations

University of Pennsylvania(Current)

Harvard University Press

University of Edinburgh

Institut national de recherche en sciences et technologies du numérique

Kyoto University

Randy Pollack is an author at University of Pennsylvania specializing in formal methods, engineering, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationProgram AnalysisData SecurityHardware SecuritySoftware AnalysisAutomated ReasoningInformation Security

Publications per year

1984–2016

11

Publications

11

Engineering formal metatheory

Brian Aydemir, Arthur Charguéraud, Benjamin C. Pierce et al. · 2008 · 215 citations

Engineering, Verification, Automated Proof +22

A Constructive Algebraic Hierarchy in Coq

Herman Geuvers, Randy Pollack, Freek Wiedijk et al. · Journal of Symbolic Computation · 2002 · 65 citations · Full text

Algebraic Logic, Constructive Mathematics, Automated Reasoning +2

A verified information-flow architecture

Arthur Azevedo de Amorim, Nathan Collins, André DeHon et al. · 2014 · 57 citations · Full text

Engineering, Information Security, Verification +22

A Logical Framework with Dependently Typed Records

Thierry Coquand, Randy Pollack, Makoto Takeyama · 2004 · 34 citations

A Canonical Locally Named Representation of Binding

Randy Pollack, Masahiko Sato, Wilmer Ricciotti · Journal of Automated Reasoning · 2011 · 32 citations

Engineering, Representation Theory, Domain Theory +5

Rows per page

1–5 of 11