Concepedia

Andrew Gacek

AG

19

Publications

659

Citations

15

H-Index

2008

Active since

Affiliations

University of Minnesota(Current)

Rockwell Automation (United States)

Amazon (United States)

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

Andrew Gacek is an author at University of Minnesota specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningVerificationSoftware AnalysisSystems EngineeringProgram AnalysisSoftware Engineering

Publications per year

2008–2020

19

Publications

19

Semantic-based Automated Reasoning for AWS Access Policies using SMT

John Backes, Pauline Bolignano, Byron Cook et al. · 2018 · 89 citations

Provisioning (Technology), Engineering, Information Security +23

Your "What" Is My "How": Iteration and Hierarchy in System Design

Michael W. Whalen, Andrew Gacek, Darren Cofer et al. · IEEE Software · 2012 · 72 citations

Engineering, Software Engineering, Systems Design +22

Abella: A System for Reasoning about Relational Specifications

David Baelde, Kaustuv Chaudhuri, Andrew Gacek et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2015 · 65 citations · Full text

Intuitionistic Logic, Relational Specifications, Engineering +21

A Two-Level Logic Approach to Reasoning About Computations

Andrew Gacek, Dale Miller, Gopalan Nadathur · Journal of Automated Reasoning · 2011 · 48 citations · Full text

Reasoning, Two-level Logic Approach, Computational Logic +6

Combining Generic Judgments with Recursive Definitions

Andrew Gacek, Dale Miller, Gopalan Nadathur · Proceedings - Symposium on Logic in Computer Science · 2008 · 44 citations

Engineering, Appropriate Proof Systems, Type Theory +17

Rows per page

1–5 of 19