Christoph M. Wintersteiger

1.2k total citations
24 papers, 266 citations indexed

About

Christoph M. Wintersteiger is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Christoph M. Wintersteiger has authored 24 papers receiving a total of 266 indexed citations (citations by other indexed papers that have themselves been cited), including 12 papers in Artificial Intelligence, 10 papers in Computational Theory and Mathematics and 8 papers in Computer Networks and Communications. Recurrent topics in Christoph M. Wintersteiger's work include Formal Methods in Verification (10 papers), Logic, programming, and type systems (6 papers) and Gene Regulatory Network Analysis (4 papers). Christoph M. Wintersteiger is often cited by papers focused on Formal Methods in Verification (10 papers), Logic, programming, and type systems (6 papers) and Gene Regulatory Network Analysis (4 papers). Christoph M. Wintersteiger collaborates with scholars based in United Kingdom, United States and Austria. Christoph M. Wintersteiger's co-authors include Youssef Hamadi, Berthold Göttgens, Nir Piterman, Steven Woodhouse, Jasmin Fisher, Leonardo de Moura, Jay Gopalakrishnan, Daniel Kroening, Joachim Schöberl and Alex Shamis and has published in prestigious journals such as Communications of the ACM, SIAM Journal on Scientific Computing and Proceedings of the VLDB Endowment.

In The Last Decade

Christoph M. Wintersteiger

22 papers receiving 256 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Christoph M. Wintersteiger United Kingdom 10 92 78 76 52 51 24 266
Stefano Crespi Reghizzi Italy 11 195 2.1× 74 0.9× 158 2.1× 68 1.3× 63 1.2× 52 361
Martti Penttonen Finland 10 216 2.3× 85 1.1× 162 2.1× 25 0.5× 103 2.0× 29 337
Angelo Troina Italy 9 96 1.0× 132 1.7× 122 1.6× 23 0.4× 59 1.2× 32 302
Paolo Baldan Italy 10 132 1.4× 75 1.0× 183 2.4× 70 1.3× 70 1.4× 54 373
Simone Tini Italy 10 162 1.8× 68 0.9× 193 2.5× 18 0.3× 45 0.9× 54 275
Gopinath Chennupati United States 9 85 0.9× 21 0.3× 17 0.2× 39 0.8× 92 1.8× 36 231
Dragan Bošnački Netherlands 12 110 1.2× 27 0.3× 196 2.6× 21 0.4× 53 1.0× 46 355
Matthew A. Hammer United States 10 193 2.1× 13 0.2× 47 0.6× 88 1.7× 112 2.2× 23 316
Francesca Levi Italy 9 132 1.4× 132 1.7× 102 1.3× 35 0.7× 121 2.4× 26 302
Artūrs Bačkurs United States 8 181 2.0× 76 1.0× 97 1.3× 16 0.3× 44 0.9× 24 269

Countries citing papers authored by Christoph M. Wintersteiger

Since Specialization
Citations

This map shows the geographic impact of Christoph M. Wintersteiger's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Christoph M. Wintersteiger with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Christoph M. Wintersteiger more than expected).

Fields of papers citing papers by Christoph M. Wintersteiger

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Christoph M. Wintersteiger. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Christoph M. Wintersteiger. The network helps show where Christoph M. Wintersteiger may publish in the future.

Co-authorship network of co-authors of Christoph M. Wintersteiger

This figure shows the co-authorship network connecting the top 25 collaborators of Christoph M. Wintersteiger. A scholar is included among the top collaborators of Christoph M. Wintersteiger based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Christoph M. Wintersteiger. Christoph M. Wintersteiger is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Johnson, Matthew, Stavros Volos, Ken Gordon, et al.. (2024). Confidential Container Groups. Communications of the ACM. 67(10). 40–49.
2.
Johnson, Matthew, Stavros Volos, Ken Gordon, et al.. (2024). Confidential Container Groups. Queue. 22(2). 57–86. 1 indexed citations
3.
Cihak-Bayr, Ulrike, et al.. (2023). Investigation of friction and scuffing during loss of lubrication on a high velocity twin-disc test rig. Forschung im Ingenieurwesen. 87(3). 1151–1167. 2 indexed citations
4.
Howard, Heidi, Edward Ashton, Manuel Costa, et al.. (2023). Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability. Proceedings of the VLDB Endowment. 17(2). 225–240. 4 indexed citations
5.
Hamadi, Youssef & Christoph M. Wintersteiger. (2021). Seven Challenges in Parallel SAT Solving. Proceedings of the AAAI Conference on Artificial Intelligence. 26(1). 2120–2125. 1 indexed citations
6.
Hamadi, Youssef, et al.. (2020). Discovering Essential Multiple Gene Effects Through Large Scale Optimization: An Application to Human Cancer Metabolism. IEEE/ACM Transactions on Computational Biology and Bioinformatics. 18(6). 2339–2352. 12 indexed citations
7.
Castro, Miguel, Manuel Costa, Cédric Fournet, et al.. (2019). CCF: A Framework for Building Confidential Verifiable Replicated Services. 33 indexed citations
8.
Drossopoulou, Sophia, et al.. (2019). snmalloc: a message passing allocator. Spiral (Imperial College London). 122–135. 17 indexed citations
9.
Woodhouse, Steven, Nir Piterman, Christoph M. Wintersteiger, Berthold Göttgens, & Jasmin Fisher. (2018). SCNS: a graphical tool for reconstructing executable regulatory networks from single-cell genomic data. BMC Systems Biology. 12(1). 59–59. 62 indexed citations
10.
Beyersdorff, Olaf, et al.. (2018). Theory and Applications of Satisfiability Testing – SAT 2018. Lecture notes in computer science. 9 indexed citations
11.
Kroening, Daniel, et al.. (2018). Loopfrog — loop summarization for static analysis. EPiC series in computing. 1. 130–127. 1 indexed citations
12.
Gopalakrishnan, Jay, Joachim Schöberl, & Christoph M. Wintersteiger. (2017). Mapped Tent Pitching Schemes for Hyperbolic Systems. SIAM Journal on Scientific Computing. 39(6). B1043–B1063. 21 indexed citations
13.
Janota, Mikoláš & Christoph M. Wintersteiger. (2016). On Intervals and Bounds in Bit-vector Arithmetic.. 1617. 81–84. 1 indexed citations
14.
Shavit, Yoli, Boyan Yordanov, Sara-Jane Dunn, et al.. (2016). Automated Synthesis and Analysis of Switching Gene Regulatory Networks. Biosystems. 146. 26–34. 4 indexed citations
15.
Zeljić, Aleksandar, Christoph M. Wintersteiger, & Philipp Rümmer. (2016). An Approximation Framework for Solvers and Decision Procedures. Journal of Automated Reasoning. 58(1). 127–147. 3 indexed citations
16.
Fröhlich, Andreas, Armin Biere, Christoph M. Wintersteiger, & Youssef Hamadi. (2015). Stochastic Local Search for Satisfiability Modulo Theories. Proceedings of the AAAI Conference on Artificial Intelligence. 29(1). 11 indexed citations
17.
Hamadi, Youssef & Christoph M. Wintersteiger. (2013). Seven Challenges in Parallel SAT Solving. AI Magazine. 34(2). 99–106. 21 indexed citations
18.
Yordanov, Boyan, Youssef Hamadi, Hillel Kugler, & Christoph M. Wintersteiger. (2013). Z34Bio: An SMT-based Framework for Analyzing Biological Computation. 1 indexed citations
19.
Wintersteiger, Christoph M., Youssef Hamadi, & Leonardo de Moura. (2012). Efficiently solving quantified bit-vector formulas. Formal Methods in System Design. 42(1). 3–23. 31 indexed citations
20.
Kroening, Daniel, et al.. (2009). Loopfrog: A Static Analyzer for ANSI-C Programs. 668–670. 3 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Stefano Crespi Reghizzi Breakdown of academic impact, for papers by Martti Penttonen Breakdown of academic impact, for papers by Angelo Troina Breakdown of academic impact, for papers by Paolo Baldan Breakdown of academic impact, for papers by Simone Tini Breakdown of academic impact, for papers by Gopinath Chennupati Breakdown of academic impact, for papers by Dragan Bošnački Breakdown of academic impact, for papers by Matthew A. Hammer Breakdown of academic impact, for papers by Francesca Levi Breakdown of academic impact, for papers by Artūrs Bačkurs
Rankless by CCL
2026