Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDChristoph M. Wintersteiger
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
[c30]Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella Béguelin
:
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider. IEEE Symposium on Security and Privacy 2020: 983-1002
2010 – 2019
- 2019
- [c29]Paul Liétar, Theodore Butler, Sylvan Clebsch, Sophia Drossopoulou, Juliana Franco, Matthew J. Parkinson, Alex Shamis, Christoph M. Wintersteiger, David Chisnall:
snmalloc: a message passing allocator. ISMM 2019: 122-135 - [i3]Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella Béguelin:
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider. IACR Cryptol. ePrint Arch. 2019: 757 (2019) - 2018
- [j7]Steven Woodhouse, Nir Piterman, Christoph M. Wintersteiger, Berthold Göttgens, Jasmin Fisher:
SCNS: a graphical tool for reconstructing executable regulatory networks from single-cell genomic data. BMC Syst. Biol. 12(1): 59:1-59:7 (2018) - [c28]Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger, Philipp Rümmer:
Exploring Approximations for Floating-Point Arithmetic Using UppSAT. IJCAR 2018: 246-262 - [c27]Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh:
The Effect of Structural Measures and Merges on SAT Solver Performance. CP 2018: 436-452 - [c26]Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh:
Learning-Sensitive Backdoors with Restarts. CP 2018: 453-469 - [c25]Nikolaj Bjørner, Leonardo de Moura, Lev Nachmanson, Christoph M. Wintersteiger:
Programming Z3. SETSS 2018: 148-201 - [c24]Kristjan Liiva, Paul B. Jackson, Grant O. Passmore, Christoph M. Wintersteiger:
Compositional Taylor Model Based Validated Integration. SYNASC 2018: 45-52 - [p1]Antti E. J. Hyvärinen, Christoph M. Wintersteiger:
Parallel Satisfiability Modulo Theories. Handbook of Parallel Constraint Reasoning 2018: 141-178 - [e3]Olaf Beyersdorff, Christoph M. Wintersteiger:
Theory and Applications of Satisfiability Testing - SAT 2018 - 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings. Lecture Notes in Computer Science 10929, Springer 2018, ISBN 978-3-319-94143-1 [contents] - 2017
- [j6]Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rümmer:
An Approximation Framework for Solvers and Decision Procedures. J. Autom. Reason. 58(1): 127-147 (2017) - [i2]Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Liang, Krzysztof Czarnecki, Vijay Ganesh:
Relating Complexity-theoretic Parameters with SAT Solver Performance. CoRR abs/1706.08611 (2017) - [i1]Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger, Philipp Rümmer:
Exploring Approximations for Floating-Point Arithmetic using UppSAT. CoRR abs/1711.08859 (2017) - 2016
- [j5]Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger, Tomoki Otani, Youssef Hamadi, Frederick J. Livesey, Hillel Kugler:
Automated Synthesis and Analysis of Switching Gene Regulatory Networks. Biosyst. 146: 26-34 (2016) - [c23]Peter Backeman, Christoph M. Wintersteiger, Boyan Yordanov, Sara-Jane Dunn:
Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis. SMT@IJCAR 2016: 41-50 - [c22]Mikolás Janota, Christoph M. Wintersteiger:
On Intervals and Bounds in Bit-vector Arithmetic. SMT@IJCAR 2016: 81-84 - [c21]Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rümmer:
Deciding Bit-Vector Formulas with mcSAT. SAT 2016: 249-266 - [e2]Omer Tripp, Christoph M. Wintersteiger:
Proceedings of the 7th Workshop on Constraint Solvers in Testing, Verification, and Analysis co-located with The International Symposium on Software Testing and Analysis (ISSTA 2016), Saarbrücken, Germany, July 17th, 2016. CEUR Workshop Proceedings 1639, CEUR-WS.org 2016 [contents] - 2015
- [c20]Andreas Fröhlich, Armin Biere, Christoph M. Wintersteiger, Youssef Hamadi:
Stochastic Local Search for Satisfiability Modulo Theories. AAAI 2015: 1136-1143 - [c19]Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger, Youssef Hamadi, Hillel Kugler:
Switching Gene Regulatory Networks. IPCAT 2015: 131-144 - 2014
- [c18]Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rümmer:
Approximations for Model Construction. IJCAR 2014: 344-359 - [c17]Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler:
Analyzing and Synthesizing Genomic Logic Functions. CAV 2014: 343-357 - [c16]Markus N. Rabe, Christoph M. Wintersteiger, Hillel Kugler, Boyan Yordanov, Youssef Hamadi:
Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains. QEST 2014: 388-403 - [e1]Philipp Rümmer, Christoph M. Wintersteiger:
Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, SMT 2014, affiliated with the 26th International Conference on Computer Aided Verification (CAV 2014), the 7th International Joint Conference on Automated Reasoning (IJCAR 2014), and the 17th International Conference on Theory and Applications of Satisfiability Testing (SAT 2014), Vienna, Austria, July 17-18, 2014. CEUR Workshop Proceedings 1163, CEUR-WS.org 2014 [contents] - 2013
- [j4]Youssef Hamadi, Christoph M. Wintersteiger:
Seven Challenges in Parallel SAT Solving. AI Mag. 34(2): 99-106 (2013) - [j3]Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura:
Efficiently solving quantified bit-vector formulas. Formal Methods Syst. Des. 42(1): 3-23 (2013) - [j2]Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger:
Loop summarization using state and transition invariants. Formal Methods Syst. Des. 42(3): 221-261 (2013) - [j1]Byron Cook, Daniel Kroening, Philipp Rümmer, Christoph M. Wintersteiger:
Ranking function synthesis for bit-vector relations. Formal Methods Syst. Des. 43(1): 93-120 (2013) - [c15]Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Andrew Phillips, Hillel Kugler:
Functional Analysis of Large-Scale DNA Strand Displacement Circuits. DNA 2013: 189-203 - [c14]Josh Berdine, Nikolaj Bjørner, Samin Ishtiaq, Jael E. Kriener, Christoph M. Wintersteiger:
Resourceful Reachability as HORN-LA. LPAR 2013: 137-146 - [c13]Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Hillel Kugler:
SMT-Based Analysis of Biological Computation. NASA Formal Methods 2013: 78-92 - 2012
- [c12]Youssef Hamadi, Christoph M. Wintersteiger:
Seven Challenges in Parallel SAT Solving. AAAI 2012 - [c11]Josh Berdine, Arlen Cox, Samin Ishtiaq, Christoph M. Wintersteiger:
Diagnosing Abstraction Failure for Separation Logic-Based Analyses. CAV 2012: 155-173 - 2011
- [c10]Aliaksei Tsitovich, Natasha Sharygina, Christoph M. Wintersteiger, Daniel Kroening:
Loop Summarization and Termination Analysis. TACAS 2011: 81-95 - [c9]Youssef Hamadi, João Marques-Silva, Christoph M. Wintersteiger:
Lazy Decomposition for Distributed Decision Procedures. PDMC 2011: 43-54 - 2010
- [c8]Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger:
Loopfrog - loop summarization for static analysis. WING@ETAPS/IJCAR 2010: 130-131 - [c7]Daniel Kroening, Natasha Sharygina, Aliaksei Tsitovich, Christoph M. Wintersteiger:
Termination Analysis with Compositional Transition Invariants. CAV 2010: 89-103 - [c6]Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura:
Efficiently solving quantified bit-vector formulas. FMCAD 2010: 239-246 - [c5]Byron Cook, Daniel Kroening, Philipp Rümmer, Christoph M. Wintersteiger:
Ranking Function Synthesis for Bit-Vector Relations. TACAS 2010: 236-250
2000 – 2009
- 2009
- [c4]Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura:
A Concurrent Portfolio Approach to SMT Solving. CAV 2009: 715-720 - [c3]Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger:
Loopfrog: A Static Analyzer for ANSI-C Programs. ASE 2009: 668-670 - 2008
- [c2]Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger:
Loop Summarization Using Abstract Transformers. ATVA 2008: 111-125 - 2007
- [c1]Toni Jussila, Armin Biere, Carsten Sinz, Daniel Kröning, Christoph M. Wintersteiger:
A First Step Towards a Unified Proof Checker for QBF. SAT 2007: 201-214
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2021-02-19 23:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
