Edit Profile (opens in new tab) Wintersteiger, Christoph M. Compute Distance To: Compute Author ID: wintersteiger.christoph-m Published as: Wintersteiger, Christoph M.; Wintersteiger, Christoph; Wintersteiger, C. more...less External Links: MGP Documents Indexed: 18 Publications since 2007 1 Contribution as Editor Co-Authors: 26 Co-Authors with 19 Joint Publications 637 Co-Co-Authors all top 5 Co-Authors 0 single-authored 6 Kröning, Daniel 6 Rümmer, Philipp 5 Schöberl, Joachim 4 Zeljić, Aleksandar 3 Gopalakrishnan, Jay 3 Sharygina, Natasha 3 Tsitovich, Aliaksei 2 Cook, Byron 2 Hamadi, Youssef 2 Tonetta, Stefano 1 Backeman, Peter 1 Berdine, Josh 1 Beyersdorff, Olaf 1 Biere, Armin 1 Bjørner, Nikolaj S. 1 de Moura, Leonardo 1 Drake, Dow 1 Hochsteger, Matthias 1 Jussila, Toni 1 Kriener, Jael E. 1 Kugler, Hillel 1 Perugia, Ilaria 1 Phillips, Andrew 1 Sinz, Carsten 1 Stocker, Paul 1 Yordanov, Boyan all top 5 Serials 3 Formal Methods in System Design 1 Computers & Mathematics with Applications 1 Mathematics of Computation 1 Journal of Automated Reasoning 1 SIAM Journal on Scientific Computing 1 Lecture Notes in Computer Science 1 SN Partial Differential Equations and Applications all top 5 Fields 14 Computer science (68-XX) 5 Numerical analysis (65-XX) 4 Partial differential equations (35-XX) 3 Mathematical logic and foundations (03-XX) 2 Approximations and expansions (41-XX) 1 General and overarching topics; collections (00-XX) 1 Fluid mechanics (76-XX) 1 Optics, electromagnetic theory (78-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 19 Publications have been cited 98 times in 77 Documents Cited by ▼ Year ▼ Efficiently solving quantified bit-vector formulas. Zbl 1284.03212Wintersteiger, Christoph M.; Hamadi, Youssef; De Moura, Leonardo 17 2013 A first step towards a unified proof checker for QBF. Zbl 1214.68334Jussila, Toni; Biere, Armin; Sinz, Carsten; Kröning, Daniel; Wintersteiger, Christoph M. 12 2007 Mapped tent pitching schemes for hyperbolic systems. Zbl 1378.65166Gopalakrishnan, J.; Schöberl, J.; Wintersteiger, C. 11 2017 Ranking function synthesis for bit-vector relations. Zbl 1284.68172Cook, Byron; Kroening, Daniel; Rümmer, Philipp; Wintersteiger, Christoph M. 11 2010 Tent pitching and Trefftz-DG method for the acoustic wave equation. Zbl 1447.65087Perugia, Ilaria; Schöberl, Joachim; Stocker, Paul; Wintersteiger, Christoph 9 2020 Loop summarization and termination analysis. Zbl 1315.68106Tsitovich, Aliaksei; Sharygina, Natasha; Wintersteiger, Christoph M.; Kroening, Daniel 7 2011 Loop summarization using abstract transformers. Zbl 1183.68377Kroening, Daniel; Sharygina, Natasha; Tonetta, Stefano; Tsitovich, Aliaksei; Wintersteiger, Christoph M. 5 2008 Deciding bit-vector formulas with mcSAT. Zbl 1475.68226Zeljić, Aleksandar; Wintersteiger, Christoph M.; Rümmer, Philipp 5 2016 Ranking function synthesis for bit-vector relations. Zbl 1291.68138Cook, Byron; Kroening, Daniel; Rümmer, Philipp; Wintersteiger, Christoph M. 4 2013 Functional analysis of large-scale DNA strand displacement circuits. Zbl 1409.68112Yordanov, Boyan; Wintersteiger, Christoph M.; Hamadi, Youssef; Phillips, Andrew; Kugler, Hillel 3 2013 Exploring approximations for floating-point arithmetic using uppsat. Zbl 06958103Zeljić, Aleksandar; Backeman, Peter; Wintersteiger, Christoph M.; Rümmer, Philipp 3 2018 Loop summarization using state and transition invariants. Zbl 1291.68262Kroening, Daniel; Sharygina, Natasha; Tonetta, Stefano; Tsitovich, Aliaksei; Wintersteiger, Christoph M. 2 2013 Approximations for model construction. Zbl 1409.68264Zeljić, Aleksandar; Wintersteiger, Christoph M.; Rümmer, Philipp 2 2014 Structure aware Runge-Kutta time stepping for spacetime tents. Zbl 1452.65232Gopalakrishnan, Jay; Schöberl, Joachim; Wintersteiger, Christoph 2 2020 An approximation framework for solvers and decision procedures. Zbl 1409.68265Zeljić, Aleksandar; Wintersteiger, Christoph M.; Rümmer, Philipp 1 2017 Resourceful reachability as HORN-LA. Zbl 1406.68049Berdine, Josh; Bjørner, Nikolaj; Ishtiaq, Samin; Kriener, Jael E.; Wintersteiger, Christoph M. 1 2013 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. Zbl 1390.68015 1 2018 An explicit mapped tent pitching scheme for Maxwell equations. Zbl 1484.65219Gopalakrishnan, Jay; Hochsteger, Matthias; Schöberl, Joachim; Wintersteiger, Christoph 1 2020 Convergence analysis of some tent-based schemes for linear hyperbolic systems. Zbl 1497.65170Drake, Dow; Gopalakrishnan, Jay; Schöberl, Joachim; Wintersteiger, Christoph 1 2022 Convergence analysis of some tent-based schemes for linear hyperbolic systems. Zbl 1497.65170Drake, Dow; Gopalakrishnan, Jay; Schöberl, Joachim; Wintersteiger, Christoph 1 2022 Tent pitching and Trefftz-DG method for the acoustic wave equation. Zbl 1447.65087Perugia, Ilaria; Schöberl, Joachim; Stocker, Paul; Wintersteiger, Christoph 9 2020 Structure aware Runge-Kutta time stepping for spacetime tents. Zbl 1452.65232Gopalakrishnan, Jay; Schöberl, Joachim; Wintersteiger, Christoph 2 2020 An explicit mapped tent pitching scheme for Maxwell equations. Zbl 1484.65219Gopalakrishnan, Jay; Hochsteger, Matthias; Schöberl, Joachim; Wintersteiger, Christoph 1 2020 Exploring approximations for floating-point arithmetic using uppsat. Zbl 06958103Zeljić, Aleksandar; Backeman, Peter; Wintersteiger, Christoph M.; Rümmer, Philipp 3 2018 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. Zbl 1390.68015 1 2018 Mapped tent pitching schemes for hyperbolic systems. Zbl 1378.65166Gopalakrishnan, J.; Schöberl, J.; Wintersteiger, C. 11 2017 An approximation framework for solvers and decision procedures. Zbl 1409.68265Zeljić, Aleksandar; Wintersteiger, Christoph M.; Rümmer, Philipp 1 2017 Deciding bit-vector formulas with mcSAT. Zbl 1475.68226Zeljić, Aleksandar; Wintersteiger, Christoph M.; Rümmer, Philipp 5 2016 Approximations for model construction. Zbl 1409.68264Zeljić, Aleksandar; Wintersteiger, Christoph M.; Rümmer, Philipp 2 2014 Efficiently solving quantified bit-vector formulas. Zbl 1284.03212Wintersteiger, Christoph M.; Hamadi, Youssef; De Moura, Leonardo 17 2013 Ranking function synthesis for bit-vector relations. Zbl 1291.68138Cook, Byron; Kroening, Daniel; Rümmer, Philipp; Wintersteiger, Christoph M. 4 2013 Functional analysis of large-scale DNA strand displacement circuits. Zbl 1409.68112Yordanov, Boyan; Wintersteiger, Christoph M.; Hamadi, Youssef; Phillips, Andrew; Kugler, Hillel 3 2013 Loop summarization using state and transition invariants. Zbl 1291.68262Kroening, Daniel; Sharygina, Natasha; Tonetta, Stefano; Tsitovich, Aliaksei; Wintersteiger, Christoph M. 2 2013 Resourceful reachability as HORN-LA. Zbl 1406.68049Berdine, Josh; Bjørner, Nikolaj; Ishtiaq, Samin; Kriener, Jael E.; Wintersteiger, Christoph M. 1 2013 Loop summarization and termination analysis. Zbl 1315.68106Tsitovich, Aliaksei; Sharygina, Natasha; Wintersteiger, Christoph M.; Kroening, Daniel 7 2011 Ranking function synthesis for bit-vector relations. Zbl 1284.68172Cook, Byron; Kroening, Daniel; Rümmer, Philipp; Wintersteiger, Christoph M. 11 2010 Loop summarization using abstract transformers. Zbl 1183.68377Kroening, Daniel; Sharygina, Natasha; Tonetta, Stefano; Tsitovich, Aliaksei; Wintersteiger, Christoph M. 5 2008 A first step towards a unified proof checker for QBF. Zbl 1214.68334Jussila, Toni; Biere, Armin; Sinz, Carsten; Kröning, Daniel; Wintersteiger, Christoph M. 12 2007 all cited Publications top 5 cited Publications all top 5 Cited by 161 Authors 8 Wintersteiger, Christoph M. 7 Biere, Armin 5 Kröning, Daniel 4 Niemetz, Aina 4 Preiner, Mathias 4 Reynolds, Andrew 3 Barrett, Clark W. 3 Frohn, Florian 3 Giesl, Jürgen 3 Gopalakrishnan, Jay 3 Graham-Lengrand, Stéphane 3 Hensel, Jera 3 Moiola, Andrea 3 Phillips, Andrew 3 Schöberl, Joachim 3 Ströder, Thomas 3 Tinelli, Cesare 2 Bjørner, Nikolaj S. 2 Bonacina, Maria Paola 2 Brauer, Jörg 2 Brockschmidt, Marc 2 de Moura, Leonardo 2 Hamadi, Youssef 2 Heljanko, Keijo 2 Heule, Marijn J. H. 2 Janota, Mikoláš 2 Jonáš, Martin 2 King, Andy 2 Kugler, Hillel 2 Kuncak, Viktor 2 Lakin, Matthew R. 2 Lonsing, Florian 2 Marques-Silva, João P. 2 Perugia, Ilaria 2 Pölz, Dominik 2 Schanz, Martin 2 Sebastiani, Roberto 2 Shankar, Natarajan 2 Sharygina, Natasha 2 Stocker, Paul 2 Strejček, Jan 2 Sun, Zheng 2 Trentin, Patrick 2 Tsitovich, Aliaksei 2 Weber, Tjark 1 Abrahamsen, Dylan 1 Aluf-Medina, Michelle 1 Aschermann, Cornelius 1 Balabanov, Valeriy 1 Baranowski, Marek 1 Ben-Amram, Amir M. 1 Boffi, Daniele 1 Böhme, Sascha 1 Borralleras, Cristina 1 Bryant, Randal E. 1 Cao, Zhenfu 1 Carstensen, Carsten 1 Celledoni, Elena 1 Chakraborty, Supratik 1 Chen, Jie 1 Chew, Leroy 1 Clarke, Edmund Melson jun. 1 Cook, Byron 1 Cyphert, John 1 da Mota, Benoit 1 Datta, Pratish 1 Desharnais, Jules 1 Deters, Morgan 1 Diallo, Nafi 1 Dolev, Danny 1 Dong, Xiaolei 1 Drake, Dow 1 Dutertre, Bruno 1 Dutta, Ratna 1 Ern, Alexandre 1 Fornberg, Bengt 1 Fox, Anthony C. J. 1 Fröhlich, Andreas M. 1 Fuhs, Carsten 1 Gander, Martin Jakob 1 Genaim, Samir 1 Gfrerer, Michael Helmut 1 Ghardallou, Wided 1 Gómez, Sergio Alejandro 1 Gong, Junqing 1 Gu, Ming 1 Gurfinkel, Arie 1 Güttel, Stefan 1 He, Fei 1 He, Shaobo 1 Imbert-Gérard, Lise-Marie 1 Inala, Jeevana Priya 1 Jackaman, James 1 Järvisalo, Matti 1 Jha, Susmit 1 Jiang, Jie-Hong Roland 1 John, Ajith K. 1 Jovanović, Dejan 1 Kincaid, Zachary 1 King, Tim ...and 61 more Authors all top 5 Cited in 21 Serials 10 Formal Methods in System Design 8 Journal of Automated Reasoning 3 Computers & Mathematics with Applications 3 Mathematics of Computation 3 Theoretical Computer Science 3 Journal of Logical and Algebraic Methods in Programming 2 Artificial Intelligence 2 SIAM Journal on Numerical Analysis 1 Information Processing Letters 1 Journal of Computational Physics 1 Wave Motion 1 Journal of Computer and System Sciences 1 Numerische Mathematik 1 Science of Computer Programming 1 Journal of Scientific Computing 1 Theory of Computing Systems 1 Journal of the ACM 1 Oberwolfach Reports 1 Journal of Satisfiability, Boolean Modeling and Computation 1 Communications on Applied Mathematics and Computation 1 SN Partial Differential Equations and Applications all top 5 Cited in 12 Fields 58 Computer science (68-XX) 17 Numerical analysis (65-XX) 15 Mathematical logic and foundations (03-XX) 9 Partial differential equations (35-XX) 4 Approximations and expansions (41-XX) 3 Information and communication theory, circuits (94-XX) 2 Fluid mechanics (76-XX) 2 Optics, electromagnetic theory (78-XX) 2 Biology and other natural sciences (92-XX) 1 General and overarching topics; collections (00-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Mechanics of deformable solids (74-XX) Citations by Year