Concepedia

Christoph M. Wintersteiger

CM

Statistics

Publications

15

Citations

564

H-Index

13

Active since

2009

Affiliations

Microsoft Research (United Kingdom)(Current)

University of Cambridge

Microsoft (United States)

University of Oxford

Bar-Ilan University

Christoph M. Wintersteiger is an author at Microsoft Research (United Kingdom) specializing in computer science, computing, and algorithms.

Publications per year

2009–2023

15

Publications

15

SCNS: a graphical tool for reconstructing executable regulatory networks from single-cell genomic data

Steven Woodhouse, Nir Piterman, Christoph M. Wintersteiger et al. · BMC Systems Biology · 2018 · 96 citations · Full text

Life Sciences, Bioinformatics, Cell Biology +17

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider

Jonathan Protzenko, Bryan Parno, Aymeric Fromherz et al. · 2020 · 75 citations · Full text

Computing, Computer Engineering, Computer Science +17

Efficiently solving quantified bit-vector formulas

Christoph M. Wintersteiger, Youssef Hamadi, Leonardo de Moura · Formal Methods in System Design · 2012 · 55 citations

Computing, Computer Science, Mathematics +7

CCF: A Framework for Building Confidential Verifiable Replicated Services

mark-russinovich, edward-ashton, christine-avanessians et al. · 2019 · 53 citations

Computing, Computer Engineering, Computer Science +13

Seven Challenges in Parallel SAT Solving

Youssef Hamadi, Christoph M. Wintersteiger · AI Magazine · 2013 · 50 citations

Computing, Computer Science, Algorithms +8

1–5 of 15