Ryan Wisnesky
From MaRDI portal
Person:617976
Available identifiers
zbMath Open wisnesky.ryanMaRDI QIDQ617976
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Fast left Kan extensions using the chase | 2022-12-12 | Paper |
| Fast Left Kan Extensions Using The Chase | 2022-05-04 | Paper |
| Algebraic Model Management: A Survey | 2020-01-16 | Paper |
| Algebraic data integration | 2018-08-03 | Paper |
| Algebraic databases | 2017-05-10 | Paper |
| Toward a verified relational database management system | 2015-06-11 | Paper |
| Effective interactive proofs for higher-order imperative programs | 2015-01-06 | Paper |
| Relational Foundations For Functorial Data Migration | 2012-12-20 | Paper |
| Trace-based verification of imperative programs with I/O | 2011-01-14 | Paper |
| Algebraic Model Management: A Survey | N/A | Paper |
Research outcomes over time
This page was built for person: Ryan Wisnesky
