| Toward a verified relational database management system G Malecha, G Morrisett, A Shinnar, R Wisnesky Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010 | 141 | 2010 |
| Effective interactive proofs for higher-order imperative programs A Chlipala, G Malecha, G Morrisett, A Shinnar, R Wisnesky ACM Sigplan Notices 44 (9), 79-90, 2009 | 127 | 2009 |
| Orchid: Integrating schema mapping and etl S Dessloch, MA Hernández, R Wisnesky, A Radwan, J Zhou 2008 IEEE 24th International Conference on Data Engineering, 1307-1316, 2008 | 104 | 2008 |
| HIL: a high-level scripting language for entity integration M Hernández, G Koutrika, R Krishnamurthy, L Popa, R Wisnesky Proceedings of the 16th international conference on extending database …, 2013 | 74 | 2013 |
| Relational foundations for functorial data migration DI Spivak, R Wisnesky Proceedings of the 15th Symposium on Database Programming Languages, 21-28, 2015 | 57 | 2015 |
| Algebraic databases P Schultz, DI Spivak, C Vasilakopoulou, R Wisnesky arXiv preprint arXiv:1602.03501, 2016 | 54 | 2016 |
| Algebraic data integration P Schultz, R Wisnesky Journal of Functional Programming 27, 2017 | 35 | 2017 |
| Trace-based verification of imperative programs with I/O G Malecha, G Morrisett, R Wisnesky Journal of Symbolic Computation 46 (2), 95-118, 2011 | 35 | 2011 |
| Categorical data integration for computational science KS Brown, DI Spivak, R Wisnesky Computational Materials Science 164, 127-132, 2019 | 28 | 2019 |
| Using category theory to facilitate multiple manufacturing service database integration R Wisnesky, S Breiner, A Jones, DI Spivak, E Subrahmanian Journal of Computing and Information Science in Engineering 17 (2), 021011, 2017 | 23 | 2017 |
| Bringing Business Objects into Extract-Transform-Load (ETL) Technology H Morris, H Liao, S Padmanabhan, S Srinivasan, P Lau, J Shan, ... 2008 IEEE International Conference on e-Business Engineering, 709-714, 2008 | 19 | 2008 |
| Algebraic model management: A survey P Schultz, DI Spivak, R Wisnesky Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 …, 2017 | 15 | 2017 |
| Entity integration using high-level scripting languages AR Brown, L Popa, MA Hernandez-Sherrington, S Thalamati, ... US Patent 9,535,951, 2017 | 13 | 2017 |
| Certified web services in Ynot R Wisnesky, GM Malecha, JG Morrisett | 12 | 2010 |
| Algebraic property graphs J Shinavier, R Wisnesky, JG Meyers arXiv preprint arXiv:1909.04881, 2019 | 11 | 2019 |
| Solvable Groups RJ Wisnesky Harvard University, Cambridge, USA, 2005 | 10 | 2005 |
| Evaluating scheduling algorithms on distributed computational grids R Wisnesky Proceedings of the 11th IEEE Symposium on HighPerformance Distributed Computing, 2002 | 10 | 2002 |
| Operadic analysis of distributed systems K Schweiker, S Varadarajan, D Spivak, P Schultz, R Wisnesky, M Pérez National Aeronautics and Space Administration, Tech. Rep. NASA/CR–2015–xxxxxx, 2015 | 7 | 2015 |
| Mapping polymorphism R Wisnesky, MA Hernández, L Popa Proceedings of the 13th International Conference on Database Theory, 196-208, 2010 | 7 | 2010 |
| Functorial Data Migration: From Theory to Practice E Subrahmanian, R Wisnesky, D Spivak, P Schultz Eswaran Subrahmanian, Ryan Wisnesky, David Spivak, Patrick Schultz, 2014 | 6* | 2014 |