Randy Pollack - Concepedia

Author

Randy Pollack

University of Pennsylvania

Also Known As

R Pollack, Randy B. Pollack, Randy Beth Pollack, Randy Pollack

Publications

641

Citations

H-Index

Concepts

All Affiliations

University of Pennsylvania Harvard University Press University of Edinburgh Institut national de recherche en sciences et technologies du numérique Kyoto University

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	7	7	385
2	Computer Science	6	6	365
3	Social Sciences	3	3	263
4	Data Privacy	2	2	76
5	Systems Engineering	1	1	20

Randy Pollack

Publications

518

Citations

H-Index

Page 1

	Year	Citations
Engineering formal metatheory Brian Aydemir, Arthur Charguéraud, Benjamin C. Pierce, EngineeringVerificationAutomated ProofSoftware AnalysisFormal Verification	2008	215
A Constructive Algebraic Hierarchy in Coq Herman Geuvers, Randy Pollack, Freek Wiedijk, Journal of Symbolic Computation Algebraic LogicConstructive MathematicsAutomated ReasoningHigher-order LogicConstructive Algebraic Hierarchy	2002	65
A verified information-flow architecture Arthur Azevedo de Amorim, Nathan Collins, André DeHon, EngineeringInformation SecurityVerificationComputer-aided VerificationFormal Verification	2014	57
A Logical Framework with Dependently Typed Records Thierry Coquand, Randy Pollack, Makoto Takeyama	2004	34
A Canonical Locally Named Representation of Binding Randy Pollack, Masahiko Sato, Wilmer Ricciotti Journal of Automated Reasoning EngineeringRepresentation TheoryDomain TheoryAutomated ReasoningFormal Methods	2011	32
Engineering formal metatheory Brian Aydemir, Arthur Charguéraud, Benjamin C. Pierce, ACM SIGPLAN Notices EngineeringAutomated ProofHigher-order LogicFormal VerificationSocial Sciences	2008	28
External and internal syntax of the<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" display="inline" overflow="scroll"><mml:mi>λ</mml:mi></mml:math>-calculus Masahiko Sato, Randy Pollack Journal of Symbolic Computation	2010	21
Preliminary design of the SAFE platform André DeHon, Ben Karel, Thomas F. Knight, EngineeringSecure Host ArchitectureInformation SecuritySafety ScienceFormal Verification	2011	20
A Theory of Information-Flow Labels Benoît Montagu, Benjamin C. Pierce, Randy Pollack EngineeringInformation SecuritySemanticsSecurity LiteratureSoftware Analysis	2013	19
A verified information-flow architecture Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Journal of Computer Security EngineeringInformation SecurityVerificationComputer-aided VerificationSoftware Analysis	2016	14

Page 1