Concepedia

Andrew Gacek

AG

Statistics

Publications

19

Citations

667

H-Index

15

Active since

2008

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 computer science, computing, and formal methods.

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 · 92 citations · Full text

Computing, Cloud Computing, Computer Science +15

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

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

Engineering, Design, Systems Engineering +16

Abella: A System for Reasoning about Relational Specifications

David Baelde, Kaustuv Chaudhuri, Andrew Gacek et al. · 2015 · 65 citations · Full text

Computing, Computer Science, Formal Methods +16

A Two-Level Logic Approach to Reasoning About Computations

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

Computing, Computer Science, Knowledge Representation +11

Combining Generic Judgments with Recursive Definitions

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

Computing, Computer Science, Formal Methods +13

1–5 of 19