Ryan Wisnesky

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 13

Top Topics

Precedence Relations

Computational Science

Top Venues

J. Funct. Program.

J. Comput. Inf. Sci. Eng.

Publications

Ryan Wisnesky, Daniel Filonik
Relational to RDF Data Migration by Query Co-Evaluation. CoRR (2024)
Vleer Doing, Ryan Wisnesky
Towards A More Reasonable Semantic Web. CoRR (2024)
Patrick Schultz, David I. Spivak, Ryan Wisnesky
Algebraic Model Management: A Survey. CoRR (2023)
Brandon Baylor, Eric Daimler, James Hansen, Esteban Montero, Ryan Wisnesky
Consensus-Free Spreadsheet Integration. CoRR (2022)
Joshua Meyers, David I. Spivak, Ryan Wisnesky
Fast Left Kan Extensions Using the Chase. J. Autom. Reason. 66 (4) (2022)
Joshua Meyers, David I. Spivak, Ryan Wisnesky
Fast Left Kan Extensions Using The Chase. CoRR (2022)
Eric Daimler, Ryan Wisnesky
Informal Data Transformation Considered Harmful. CoRR (2020)
Joshua Shinavier, Ryan Wisnesky
Algebraic Property Graphs. CoRR (2019)
Kristopher Brown, David I. Spivak, Ryan Wisnesky
Categorical Data Integration for Computational Science. CoRR (2019)
Ryan Wisnesky, Spencer Breiner, Albert T. Jones, David I. Spivak, Eswaran Subrahmanian
Using Category Theory to Facilitate Multiple Manufacturing Service Database Integration. J. Comput. Inf. Sci. Eng. 17 (2) (2017)
Patrick Schultz, Ryan Wisnesky
Algebraic data integration. J. Funct. Program. 27 (2017)
Patrick Schultz, David I. Spivak, Ryan Wisnesky
Algebraic Model Management: A Survey. WADT (2016)
Patrick Schultz, David I. Spivak, Christina Vasilakopoulou, Ryan Wisnesky
Algebraic Databases. CoRR (2016)
David I. Spivak, Patrick Schultz, Ryan Wisnesky
A Purely Equational Formalism for Functorial Data Migration. CoRR (2015)
David I. Spivak, Ryan Wisnesky
Relational foundations for functorial data migration. DBPL (2015)
Patrick Schultz, David I. Spivak, Ryan Wisnesky
QINL: Query-integrated Languages. CoRR (2015)
Ryan Wisnesky, David I. Spivak, Patrick Schultz, Eswaran Subrahmanian
Functorial Data Migration: From Theory to Practice. CoRR (2015)
Gregory Malecha, Ryan Wisnesky
Using dependent types and tactics to enable semantic optimization of language-integrated queries. DBPL (2015)
Mauricio A. Hernández, Georgia Koutrika, Rajasekar Krishnamurthy, Lucian Popa, Ryan Wisnesky
HIL: a high-level scripting language for entity integration. EDBT (2013)
Bogdan Alexe, Douglas Burdick, Mauricio A. Hernández, Georgia Koutrika, Rajasekar Krishnamurthy, Lucian Popa, Ioana Stanoi, Ryan Wisnesky
High-Level Rules for Integration and Analysis of Data: New Challenges. In Search of Elegance in the Theory and Practice of Computation (2013)
David I. Spivak, Ryan Wisnesky
On The Relational Foundations Of Functorial Data Migration CoRR (2012)
Gregory Malecha, Greg Morrisett, Ryan Wisnesky
Trace-based verification of imperative programs with I/O. J. Symb. Comput. 46 (2) (2011)
J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky
Toward a verified relational database management system. POPL (2010)
Ryan Wisnesky, Mauricio A. Hernández, Lucian Popa
Mapping polymorphism. ICDT (2010)
Adam Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky
Effective interactive proofs for higher-order imperative programs. ICFP (2009)
Huong Morris, Hui Liao, Sriram Padmanabhan, Sriram Srinivasan, Phay Lau, Jing Shan, Ryan Wisnesky
Bringing Business Objects into Extract-Transform-Load (ETL) Technology. ICEBE (2008)
Stefan Dessloch, Mauricio A. Hernández, Ryan Wisnesky, Ahmed Radwan, Jindan Zhou
Orchid: Integrating Schema Mapping and ETL. ICDE (2008)
Huong Morris, Hui Liao, Sriram Padmanabhan, Sriram Srinivasan, Eugene Kawamoto, Phay Lau, Jing Shan, Ryan Wisnesky
Callisto: Mergers Without Pain. BIRTE (2006)