Callisto: Mergers Without Pain. - Huong Morris; Hui Liao; Sriram Padmanabhan; Sriram Srinivasan; Eugene Kawamoto; Phay Lau; Jing Shan; Ryan Wisnesky (BIRTE, 2006)

Orchid: Integrating Schema Mapping and ETL. - Stefan Dessloch; Mauricio A. Hernández; Ryan Wisnesky; Ahmed Radwan; Jindan Zhou (ICDE, 2008)

Bringing Business Objects into Extract-Transform-Load (ETL) Technology. - Huong Morris; Hui Liao; Sriram Padmanabhan; Sriram Srinivasan; Phay Lau; Jing Shan; Ryan Wisnesky (ICEBE, 2008)

Effective interactive proofs for higher-order imperative programs. - Adam Chlipala; J. Gregory Malecha; Greg Morrisett; Avraham Shinnar; Ryan Wisnesky (ICFP, 2009)

Mapping polymorphism. - Ryan Wisnesky; Mauricio A. Hernández; Lucian Popa 001 (ICDT, 2010)

Toward a verified relational database management system. - J. Gregory Malecha; Greg Morrisett; Avraham Shinnar; Ryan Wisnesky (POPL, 2010)

Trace-based verification of imperative programs with I/O. - Gregory Malecha; Greg Morrisett; Ryan Wisnesky (J. Symb. Comput., 2011)

High-Level Rules for Integration and Analysis of Data: New Challenges. - Bogdan Alexe; Douglas Burdick; Mauricio A. Hernández; Georgia Koutrika; Rajasekar Krishnamurthy; Lucian Popa 001; Ioana Stanoi; Ryan Wisnesky (In Search of Elegance in the Theory and Practice of Computation, 2013)

HIL: a high-level scripting language for entity integration. - Mauricio A. Hernández; Georgia Koutrika; Rajasekar Krishnamurthy; Lucian Popa 001; Ryan Wisnesky (EDBT, 2013)

Using dependent types and tactics to enable semantic optimization of language-integrated queries. - Gregory Malecha; Ryan Wisnesky (DBPL, 2015)

Relational foundations for functorial data migration. - David I. Spivak; Ryan Wisnesky (DBPL, 2015)

QINL: Query-integrated Languages. - Patrick Schultz; David I. Spivak; Ryan Wisnesky (CoRR, 2015)

A Purely Equational Formalism for Functorial Data Migration. - David I. Spivak; Patrick Schultz; Ryan Wisnesky (CoRR, 2015)

Functorial Data Migration: From Theory to Practice. - Ryan Wisnesky; David I. Spivak; Patrick Schultz; Eswaran Subrahmanian (CoRR, 2015)

Algebraic Model Management: A Survey. - Patrick Schultz; David I. Spivak; Ryan Wisnesky (WADT, 2016)

Algebraic Databases. - Patrick Schultz; David I. Spivak; Christina Vasilakopoulou; Ryan Wisnesky (CoRR, 2016)

Using Category Theory to Facilitate Multiple Manufacturing Service Database Integration. - Ryan Wisnesky; Spencer Breiner; Albert T. Jones; David I. Spivak; Eswaran Subrahmanian (J. Comput. Inf. Sci. Eng., 2017)

Algebraic data integration. - Patrick Schultz; Ryan Wisnesky (J. Funct. Program., 2017)

Categorical Data Integration for Computational Science. - Kristopher Brown; David I. Spivak; Ryan Wisnesky (CoRR, 2019)

Algebraic Property Graphs. - Joshua Shinavier; Ryan Wisnesky (CoRR, 2019)

Informal Data Transformation Considered Harmful. - Eric Daimler; Ryan Wisnesky (CoRR, 2020)

Consensus-Free Spreadsheet Integration. - Brandon Baylor; Eric Daimler; James Hansen; Esteban Montero; Ryan Wisnesky (CoRR, 2022)

Fast Left Kan Extensions Using the Chase. - Joshua Meyers; David I. Spivak; Ryan Wisnesky (J. Autom. Reason., 2022)

Relational to RDF Data Migration by Query Co-Evaluation. - Ryan Wisnesky; Daniel Filonik (CoRR, 2024)

Towards A More Reasonable Semantic Web. - Vleer Doing; Ryan Wisnesky (CoRR, 2024)