Author

Christoph M. Wintersteiger

Observed names: C. M. Wintersteiger, Christoph Wintersteiger, Christophm. Wintersteiger, Wintersteiger, Christoph, Wintersteiger, Christoph M, Wintersteiger, Christoph M.

Observed institutions: Microsoft (United States), TU Wien, University of Kent, Fondazione Bruno Kessler, ETH Zurich, University of Oxford, Microsoft Research (United Kingdom), Università della Svizzera italiana

ORCID: 0000-0003-0102-4381

Observed ORCID: 0000-0003-0102-4381

OpenAlex ID: A5016596256

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

2020 · Jonathan Protzenko, Bryan Parno, et al. · IEEE Symposium on Security and Privacy (S&P) · 106

PDF

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

2018 · Steven Woodhouse, Nir Piterman, et al. · BMC Systems Biology · 96

PDF

Efficiently solving quantified bit-vector formulas

2012 · Christoph M. Wintersteiger, Youssef Hamadi, et al. · Formal Methods in System Design · 95

Termination Analysis with Compositional Transition Invariants

2010 · Daniel Kroening, Natasha Sharygina, et al. · Lecture notes in computer science · 84

A Concurrent Portfolio Approach to SMT Solving

2009 · Christoph M. Wintersteiger, Youssef Hamadi, et al. · Lecture notes in computer science · 74

Seven Challenges in Parallel SAT Solving

2013 · Youssef Hamadi, Christoph M. Wintersteiger · AI Magazine · 54

Loop Summarization Using Abstract Transformers

2008 · Daniel Kroening, Natasha Sharygina, et al. · Lecture notes in computer science · 54

A First Step Towards a Unified Proof Checker for QBF

2007 · Toni Jussila, Armin Biere, et al. · Springer eBooks · 53

Ranking Function Synthesis for Bit-Vector Relations

2010 · Byron Cook, Daniel Kroening, et al. · Lecture notes in computer science · 52

PDF

CCF: A Framework for Building Confidential Verifiable Replicated Services

2019 · mark-russinovich, edward-ashton, et al. · 51

Loop Summarization and Termination Analysis

2011 · Aliaksei Tsitovich, Natasha Sharygina, et al. · Lecture notes in computer science · 46

Programming Z3

2019 · Nikolaj Bjørner, Leonardo de Moura, et al. · Lecture notes in computer science · 45

snmalloc: a message passing allocator

2019 · Paul Liétar, Theodore Butler, et al. · ACM SIGPLAN International Symposium on Memory Management (ISMM) · 43

Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability

2023 · Heidi Howard, Fritz Alder, et al. · Proceedings of the VLDB Endowment · 35

PDF

Deciding Bit-Vector Formulas with mcSAT

2016 · Aleksandar Zeljić, Christoph M. Wintersteiger, et al. · Lecture notes in computer science · 33

Ranking function synthesis for bit-vector relations

2013 · Byron Cook, Daniel Kroening, et al. · Formal Methods in System Design · 31

Stochastic Local Search for Satisfiability Modulo Theories

2015 · Andreas Fröhlich, Armin Biere, et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 30

SMT-Based Analysis of Biological Computation

2013 · Boyan Yordanov, Christoph M. Wintersteiger, et al. · Lecture notes in computer science · 30

Loop summarization using state and transition invariants

2012 · Daniel Kroening, Natasha Sharygina, et al. · Formal Methods in System Design · 24

Seven Challenges in Parallel SAT Solving

2021 · Youssef Hamadi, Christoph Wintersteiger · Proceedings of the AAAI Conference on Artificial Intelligence · 22

Analyzing and Synthesizing Genomic Logic Functions

2014 · Nicola Paoletti, Boyan Yordanov, et al. · Lecture notes in computer science · 22

PDF

Lazy Decomposition for Distributed Decision Procedures

2011 · Youssef Hamadi, Joao Marques-Silva, et al. · Electronic Proceedings in Theoretical Computer Science · 18

Discovering Essential Multiple Gene Effects Through Large Scale Optimization: An Application to Human Cancer Metabolism

2020 · Annalisa Occhipinti, Youssef Hamadi, et al. · IEEE Transactions on Computational Biology and Bioinformatics · 13

PDF

Exploring Approximations for Floating-Point Arithmetic Using UppSAT

2018 · Aleksandar Zeljić, Peter Backeman, et al. · Lecture notes in computer science · 13

PDF

Automated Synthesis and Analysis of Switching Gene Regulatory Networks

2016 · Yoli Shavit, Boyan Yordanov, et al. · Biosystems · 13

PDF

Works count: 73

Citation count: 1,316

H-index: 21

I10-index: 31