Andrew Gacek

	2012
17		Darren D. Cofer, Andrew Gacek, Steven P. Miller, Michael W. Whalen, Brian LaValley, Lui Sha: Compositional Verification of Architectural Models. NASA Formal Methods 2012: 126-140
	2011
16		Andrew Gacek, Dale Miller, Gopalan Nadathur: Nominal abstraction. Inf. Comput. 209(1): 48-73 (2011)
	2010
15		Andrew Gacek: Relating nominal and higher-order abstract syntax specifications. PPDP 2010: 177-186
14		Andrew Gacek: Relating Nominal and Higher-order Abstract Syntax Specifications CoRR abs/1003.5447: (2010)
	2009
13		Andrew Gacek, Dale Miller, Gopalan Nadathur: Nominal Abstraction CoRR abs/0908.1390: (2009)
12		Andrew Gacek: A Framework for Specifying, Prototyping, and Reasoning about Computational Systems CoRR abs/0910.0747: (2009)
11		Andrew Gacek, Dale Miller, Gopalan Nadathur: A two-level logic approach to reasoning about computations CoRR abs/0911.2993: (2009)
10		Andrew Gacek, Dale Miller, Gopalan Nadathur: Reasoning in Abella about Structural Operational Semantics Specifications. Electr. Notes Theor. Comput. Sci. 228: 85-100 (2009)
	2008
9		Andrew Gacek: The Abella Interactive Theorem Prover (System Description). IJCAR 2008: 154-161
8		Andrew Gacek, Dale Miller, Gopalan Nadathur: Combining Generic Judgments with Recursive Definitions. LICS 2008: 33-44
7		Andrew Gacek, Dale Miller, Gopalan Nadathur: Combining generic judgments with recursive definitions CoRR abs/0802.0865: (2008)
6		Andrew Gacek: System Description: Abella -- A System for Reasoning about Computations CoRR abs/0803.2305: (2008)
5		Andrew Gacek, Dale Miller, Gopalan Nadathur: Reasoning in Abella about Structural Operational Semantics Specifications CoRR abs/0804.3914: (2008)
	2007
4		David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu: The Bedwyr System for Model Checking over Syntactic Expressions. CADE 2007: 391-397
3		Andrew Gacek: The Suspension Calculus and its Relationship to Other Explicit Treatments of Substitution in Lambda Calculi CoRR abs/cs/0702027: (2007)
2		David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu: The Bedwyr system for model checking over syntactic expressions CoRR abs/cs/0702116: (2007)
1		Andrew Gacek, Gopalan Nadathur: A Simplified Suspension Calculus and its Relationship to Other Explicit Substitution Calculi CoRR abs/cs/0702152: (2007)

Coauthor Index

1	David Baelde	[2] [4]
2	Darren D. Cofer	[17]
3	Brian LaValley	[17]
4	Dale Miller	[2] [4] [5] [7] [8] [10] [11] [13] [16]
5	Steven P. Miller	[17]
6	Gopalan Nadathur	[1] [2] [4] [5] [7] [8] [10] [11] [13] [16]
7	Lui Sha	[17]
8	Alwen Tiu (Alwen Fernanto Tiu)	[2] [4]
9	Michael W. Whalen	[17]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page