Ryan Wisnesky

	2010
4		J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky: Toward a verified relational database management system. POPL 2010: 237-248
	2009
3		Adam J. Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky: Effective interactive proofs for higher-order imperative programs. ICFP 2009: 79-90
	2008
2		Stefan Dessloch, Mauricio A. Hernández, Ryan Wisnesky, Ahmed Radwan, Jindan Zhou: Orchid: Integrating Schema Mapping and ETL. ICDE 2008: 1307-1316
	2006
1		Huong Morris, Hui Liao, Sriram Padmanabhan, Sriram Srinivasan, Eugene Kawamoto, Phay Lau, Jing Shan, Ryan Wisnesky: Callisto: Mergers Without Pain. BIRTE 2006: 92-105

Coauthor Index

1	Adam J. Chlipala	[3]
2	Stefan Deßloch (Stefan Dessloch)	[2]
3	Mauricio A. Hernández	[2]
4	Eugene Kawamoto	[1]
5	Phay Lau	[1]
6	Hui Liao	[1]
7	J. Gregory Malecha	[3] [4]
8	Huong Morris	[1]
9	J. Gregory Morrisett (Greg Morrisett)	[3] [4]
10	Sriram Padmanabhan	[1]
11	Ahmed Radwan	[2]
12	Jing Shan	[1]
13	Avraham Shinnar	[3] [4]
14	Sriram Srinivasan	[1]
15	Jindan Zhou	[2]

Colors in the list of coauthors