Christoph M. Wintersteiger

Computer Science · Physical Sciences

20h-index1.2kcitations70works1.42yr avg
OpenAlex↗ORCID↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(33), Logic, programming, and type systems(17), Gene Regulatory Network Analysis(13), Software Testing and Debugging Techniques(13), Advanced Numerical Methods in Computational Mathematics(8)

Publications70 total

Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic
arXiv (Cornell University)·2026Open Access
Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic
arXiv (Cornell University)·2026Open Access
Formal Verification of the IEEE P3109 Standard for Binary Floating-Point Formats for Machine Learning
2025
Confidential Container Groups
Communications of the ACM·2024· 2 citedOpen Access
Confidential Container Groups
Queue·2024· 5 citedOpen Access
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
arXiv (Cornell University)·2023Open Access
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
Proceedings of the VLDB Endowment·2023· 14 cited
The Reasoning Engine: A Satisfiability Modulo Theories-Based Framework for Reasoning About Discrete Biological Models
Journal of Computational Biology·2023· 3 cited
Investigation of friction and scuffing during loss of lubrication on a high velocity twin-disc test rig
Forschung im Ingenieurwesen·2023· 4 citedOpen Access
Parma: Confidential Containers via Attested Execution Policies
arXiv (Cornell University)·2023· 1 citedOpen Access
Effect of LOL conditions under high velocity and high injection temperatures
VDI Verlag eBooks·2023
An SMT-Based Framework for Reasoning About Discrete Biological Models
Lecture notes in computer science·2022· 3 cited
Seven Challenges in Parallel SAT Solving
Proceedings of the AAAI Conference on Artificial Intelligence·2021· 24 citedOpen Access
Convergence analysis of some tent-based schemes for linear hyperbolic systems
Mathematics of Computation·2021· 1 citedOpen Access
Convergence analysis of some tent-based schemes for linear hyperbolic\n systems
arXiv (Cornell University)·2021Open Access
Structure aware Runge–Kutta time stepping for spacetime tents
Partial Differential Equations and Applications·2020Open Access
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider
2020· 75 citedOpen Access
Discovering Essential Multiple Gene Effects Through Large Scale Optimization: An Application to Human Cancer Metabolism
IEEE/ACM Transactions on Computational Biology and Bioinformatics·2020· 13 citedOpen Access
Tent pitching and Trefftz-DG method for the acoustic wave equation
Computers & Mathematics with Applications·2020· 2 citedOpen Access
An Explicit Mapped Tent Pitching Scheme for Maxwell Equations
Lecture notes in computational science and engineering·2020· 9 citedOpen Access
page 1 of 4Next →

Frequent Co-authors

Youssef Hamadi(13), Boyan Yordanov(10), Hillel Kugler(10), Daniel Kroening(9), Natasha Sharygina(6), Aliaksei Tsitovich(6), Philipp Rümmer(5), Cédric Fournet(4), Sylvan Clebsch(4), Stefano Tonetta(4), Aleksandar Zeljić(4), Sara-Jane Dunn(4), Antoine Delignat-Lavaud(3), Leonardo de Moura(3), Manuel Costa(3), Armin Biere(3), Joachim Schöberl(3), Edward Zulkoski(3), Ruben Martins(3), Liang Jia(3)