Ryan Wisnesky Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky: Toward a verified relational database management system. POPL 2010: 237-248
2009
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdam J. Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky: Effective interactive proofs for higher-order imperative programs. ICFP 2009: 79-90
2008
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Dessloch, Mauricio A. Hernández, Ryan Wisnesky, Ahmed Radwan, Jindan Zhou: Orchid: Integrating Schema Mapping and ETL. ICDE 2008: 1307-1316
2006
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuong 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

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

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)