Concepedia

Ryan Wisnesky

RW

Statistics

Publications

8

Citations

354

H-Index

8

Active since

2008

Affiliations

Harvard University Press(Current)

Massachusetts Institute of Technology

IBM Research - Almaden

Ryan Wisnesky is an author at Harvard University Press specializing in engineering, data integration, and computer science.

Top concepts

EngineeringComputer ScienceData IntegrationSemantic WebSoftware AnalysisAutomated ReasoningManagementData ScienceVerificationData Modeling

Publications per year

2008–2019

8

Publications

8

Effective interactive proofs for higher-order imperative programs

Adam Chlipala, Gregory Malecha, Greg Morrisett et al. · 2009 · 93 citations

Coq Proof Assistant, Ynot System, Formal Specification +15

Toward a verified relational database management system

Gregory Malecha, Greg Morrisett, Avraham Shinnar et al. · 2010 · 93 citations · Full text

Database Theory, Relational Database, Engineering +15

Orchid: Integrating Schema Mapping and ETL

Mauricio A. Hernández, Ryan Wisnesky, Ahmed Radwan et al. · 2008 · 64 citations

Engineering, Software Engineering, Data Flow Specifications +23

Mauricio A. Hernández, Georgia Koutrika, Rajasekar Krishnamurthy et al. · 2013 · 37 citations

Open Type System, Engineering, Structured Data +16

Trace-based verification of imperative programs with I/O

Gregory Malecha, Greg Morrisett, Ryan Wisnesky · Journal of Symbolic Computation · 2010 · 20 citations

Program Checking, Engineering, Runtime Verification +10

1–5 of 8