Christoph M. Wintersteiger

Author

Microsoft Research (United Kingdom)ORCID

Also Known As

Beyersdorff, Olaf 1973-, C. Wintersteiger, Christoph M. Wintersteiger, Christoph Wintersteiger, Wintersteiger, Christoph, Wintersteiger, Christoph M, Wintersteiger, Christoph M.

Publications

1.2K

Citations

H-Index

Concepts

All Affiliations

Microsoft Research (United Kingdom)University of Cambridge Microsoft (United States)University of Oxford Bar-Ilan University

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	13	14	460
2	Medicine	2	2	29
3	Cell Biology	2	2	29
4	Natural Sciences	1	1	39
5	Biostatistics	1	1	13

Christoph M. Wintersteiger

Publications

556

Citations

H-Index

Page 1

	Year	Citations
SCNS: a graphical tool for reconstructing executable regulatory networks from single-cell genomic data Steven Woodhouse, Nir Piterman, Christoph M. Wintersteiger, BMC Systems Biology	2018	96
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Atop EvercryptCryptographic PrimitiveEngineeringInformation SecurityVerification	2020	75
Efficiently solving quantified bit-vector formulas Christoph M. Wintersteiger, Youssef Hamadi, Leonardo de Moura Formal Methods in System Design Mathematical ProgrammingEngineeringApproximate ComputingVectorizationComputational Complexity	2012	54
CCF: A Framework for Building Confidential Verifiable Replicated Services mark-russinovich, edward-ashton, christine-avanessians, Secure ServiceEngineeringInformation SecurityVerificationDistributed Ledger	2019	53
Seven Challenges in Parallel SAT Solving Youssef Hamadi, Christoph M. Wintersteiger AI Magazine EngineeringParallel Sat SolversComputational ComplexityParallel MetaheuristicsParallel Complexity Theory	2013	50
Mapped Tent Pitching Schemes for Hyperbolic Systems Jay Gopalakrishnan, Joachim Schöberl, Christoph M. Wintersteiger SIAM Journal on Scientific Computing Numerical AnalysisHyperbolic SystemsEngineeringComputer-aided DesignComputational Mechanics	2017	39
snmalloc: a message passing allocator Paul Liétar, Theodore Butler, Sylvan Clebsch, EngineeringComputer ArchitectureMemory Model (Programming)Message Passing AllocatorDeallocated Objects	2019	36
Ranking function synthesis for bit-vector relations Byron Cook, Daniel Kroening, Philipp Rümmer, Formal Methods in System Design Computational Complexity TheoryEngineeringData ScienceAutomated ReasoningFormal Methods	2013	28
Stochastic Local Search for Satisfiability Modulo Theories Andreas Fröhlich, Armin Biere, Christoph M. Wintersteiger, Proceedings of the AAAI Conference on Artificial Intelligence Mathematical ProgrammingEngineeringVerificationSls SolversComputer-aided Verification	2015	26
Seven Challenges in Parallel SAT Solving Youssef Hamadi, Christoph M. Wintersteiger Proceedings of the AAAI Conference on Artificial Intelligence Cluster ComputingParallel Sat SolvingEngineeringParallel Sat SolversComputational Complexity	2021	24

Page 1