Ryan Wisnesky - RankMe

29 papers A* 2A 2B 1Journal 18Unranked 6

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