Search results for "Andrew Gacek"

Found 17 publication records. Showing 17 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Darren D. Cofer, Andrew Gacek, Steven P. Miller, Michael W. Whalen, Brian LaValley, Lui Sha	Compositional Verification of Architectural Models.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
1	Andrew Gacek, Dale Miller, Gopalan Nadathur	Nominal abstraction.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
1	Andrew Gacek	Relating Nominal and Higher-order Abstract Syntax Specifications	CoRR	2010	DBLP BibTeX RDF
1	Andrew Gacek	Relating nominal and higher-order abstract syntax specifications.	PPDP	2010	DBLP DOI BibTeX RDF	higher-order abstract syntax, proof search, nominal logic
1	Andrew Gacek, Dale Miller, Gopalan Nadathur	Reasoning in Abella about Structural Operational Semantics Specifications.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Andrew Gacek, Dale Miller, Gopalan Nadathur	A two-level logic approach to reasoning about computations	CoRR	2009	DBLP BibTeX RDF
1	Andrew Gacek, Dale Miller, Gopalan Nadathur	Nominal Abstraction	CoRR	2009	DBLP BibTeX RDF
1	Andrew Gacek	A Framework for Specifying, Prototyping, and Reasoning about Computational Systems	CoRR	2009	DBLP BibTeX RDF
1	Andrew Gacek	System Description: Abella -- A System for Reasoning about Computations	CoRR	2008	DBLP BibTeX RDF
1	Andrew Gacek, Dale Miller, Gopalan Nadathur	Combining generic judgments with recursive definitions	CoRR	2008	DBLP BibTeX RDF
1	Andrew Gacek, Dale Miller, Gopalan Nadathur	Reasoning in Abella about Structural Operational Semantics Specifications	CoRR	2008	DBLP BibTeX RDF
1	Andrew Gacek	The Abella Interactive Theorem Prover (System Description).	IJCAR	2008	DBLP DOI BibTeX RDF
1	Andrew Gacek, Dale Miller, Gopalan Nadathur	Combining Generic Judgments with Recursive Definitions.	LICS	2008	DBLP DOI BibTeX RDF	generic judgments, reasoning about operational semantics, higher-order abstract syntax, proof search
1	David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu	The Bedwyr system for model checking over syntactic expressions	CoRR	2007	DBLP BibTeX RDF
1	Andrew Gacek	The Suspension Calculus and its Relationship to Other Explicit Treatments of Substitution in Lambda Calculi	CoRR	2007	DBLP BibTeX RDF
1	Andrew Gacek, Gopalan Nadathur	A Simplified Suspension Calculus and its Relationship to Other Explicit Substitution Calculi	CoRR	2007	DBLP BibTeX RDF
1	David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu	The Bedwyr System for Model Checking over Syntactic Expressions.	CADE	2007	DBLP DOI BibTeX RDF

Publications of "Andrew Gacek" ( http://dblp.L3S.de/Authors/Andrew_Gacek )