×

Wintersteiger, Christoph M.

Author ID: wintersteiger.christoph-m Recent zbMATH articles by "Wintersteiger, Christoph M."
Published as: Wintersteiger, Christoph M.; Wintersteiger, Christoph; Wintersteiger, C.
External Links: MGP

Publications by Year

Citations contained in zbMATH Open

19 Publications have been cited 128 times in 95 Documents Cited by Year
Mapped tent pitching schemes for hyperbolic systems. Zbl 1378.65166
Gopalakrishnan, J.; Schöberl, J.; Wintersteiger, C.
19
2017
Efficiently solving quantified bit-vector formulas. Zbl 1284.03212
Wintersteiger, Christoph M.; Hamadi, Youssef; De Moura, Leonardo
19
2013
Tent pitching and Trefftz-DG method for the acoustic wave equation. Zbl 1447.65087
Perugia, Ilaria; Schöberl, Joachim; Stocker, Paul; Wintersteiger, Christoph
18
2020
A first step towards a unified proof checker for QBF. Zbl 1214.68334
Jussila, Toni; Biere, Armin; Sinz, Carsten; Kröning, Daniel; Wintersteiger, Christoph M.
14
2007
Ranking function synthesis for bit-vector relations. Zbl 1284.68172
Cook, Byron; Kroening, Daniel; Rümmer, Philipp; Wintersteiger, Christoph M.
12
2010
Loop summarization and termination analysis. Zbl 1315.68106
Tsitovich, Aliaksei; Sharygina, Natasha; Wintersteiger, Christoph M.; Kroening, Daniel
7
2011
Loop summarization using abstract transformers. Zbl 1183.68377
Kroening, Daniel; Sharygina, Natasha; Tonetta, Stefano; Tsitovich, Aliaksei; Wintersteiger, Christoph M.
5
2008
Deciding bit-vector formulas with mcSAT. Zbl 1475.68226
Zeljić, Aleksandar; Wintersteiger, Christoph M.; Rümmer, Philipp
5
2016
An explicit mapped tent pitching scheme for Maxwell equations. Zbl 1484.65219
Gopalakrishnan, Jay; Hochsteger, Matthias; Schöberl, Joachim; Wintersteiger, Christoph
5
2020
Functional analysis of large-scale DNA strand displacement circuits. Zbl 1409.68112
Yordanov, Boyan; Wintersteiger, Christoph M.; Hamadi, Youssef; Phillips, Andrew; Kugler, Hillel
4
2013
Ranking function synthesis for bit-vector relations. Zbl 1291.68138
Cook, Byron; Kroening, Daniel; Rümmer, Philipp; Wintersteiger, Christoph M.
4
2013
Exploring approximations for floating-point arithmetic using UppSAT. Zbl 1511.68172
Zeljić, Aleksandar; Backeman, Peter; Wintersteiger, Christoph M.; Rümmer, Philipp
3
2018
Convergence analysis of some tent-based schemes for linear hyperbolic systems. Zbl 1497.65170
Drake, Dow; Gopalakrishnan, Jay; Schöberl, Joachim; Wintersteiger, Christoph
3
2022
Approximations for model construction. Zbl 1409.68264
Zeljić, Aleksandar; Wintersteiger, Christoph M.; Rümmer, Philipp
2
2014
Loop summarization using state and transition invariants. Zbl 1291.68262
Kroening, Daniel; Sharygina, Natasha; Tonetta, Stefano; Tsitovich, Aliaksei; Wintersteiger, Christoph M.
2
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
2
2018
Structure aware Runge-Kutta time stepping for spacetime tents. Zbl 1452.65232
Gopalakrishnan, Jay; Schöberl, Joachim; Wintersteiger, Christoph
2
2020
An approximation framework for solvers and decision procedures. Zbl 1409.68265
Zeljić, Aleksandar; Wintersteiger, Christoph M.; Rümmer, Philipp
1
2017
Resourceful reachability as HORN-LA. Zbl 1406.68049
Berdine, Josh; Bjørner, Nikolaj; Ishtiaq, Samin; Kriener, Jael E.; Wintersteiger, Christoph M.
1
2013
Convergence analysis of some tent-based schemes for linear hyperbolic systems. Zbl 1497.65170
Drake, Dow; Gopalakrishnan, Jay; Schöberl, Joachim; Wintersteiger, Christoph
3
2022
Tent pitching and Trefftz-DG method for the acoustic wave equation. Zbl 1447.65087
Perugia, Ilaria; Schöberl, Joachim; Stocker, Paul; Wintersteiger, Christoph
18
2020
An explicit mapped tent pitching scheme for Maxwell equations. Zbl 1484.65219
Gopalakrishnan, Jay; Hochsteger, Matthias; Schöberl, Joachim; Wintersteiger, Christoph
5
2020
Structure aware Runge-Kutta time stepping for spacetime tents. Zbl 1452.65232
Gopalakrishnan, Jay; Schöberl, Joachim; Wintersteiger, Christoph
2
2020
Exploring approximations for floating-point arithmetic using UppSAT. Zbl 1511.68172
Zeljić, 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
2
2018
Mapped tent pitching schemes for hyperbolic systems. Zbl 1378.65166
Gopalakrishnan, J.; Schöberl, J.; Wintersteiger, C.
19
2017
An approximation framework for solvers and decision procedures. Zbl 1409.68265
Zeljić, Aleksandar; Wintersteiger, Christoph M.; Rümmer, Philipp
1
2017
Deciding bit-vector formulas with mcSAT. Zbl 1475.68226
Zeljić, Aleksandar; Wintersteiger, Christoph M.; Rümmer, Philipp
5
2016
Approximations for model construction. Zbl 1409.68264
Zeljić, Aleksandar; Wintersteiger, Christoph M.; Rümmer, Philipp
2
2014
Efficiently solving quantified bit-vector formulas. Zbl 1284.03212
Wintersteiger, Christoph M.; Hamadi, Youssef; De Moura, Leonardo
19
2013
Functional analysis of large-scale DNA strand displacement circuits. Zbl 1409.68112
Yordanov, Boyan; Wintersteiger, Christoph M.; Hamadi, Youssef; Phillips, Andrew; Kugler, Hillel
4
2013
Ranking function synthesis for bit-vector relations. Zbl 1291.68138
Cook, Byron; Kroening, Daniel; Rümmer, Philipp; Wintersteiger, Christoph M.
4
2013
Loop summarization using state and transition invariants. Zbl 1291.68262
Kroening, Daniel; Sharygina, Natasha; Tonetta, Stefano; Tsitovich, Aliaksei; Wintersteiger, Christoph M.
2
2013
Resourceful reachability as HORN-LA. Zbl 1406.68049
Berdine, Josh; Bjørner, Nikolaj; Ishtiaq, Samin; Kriener, Jael E.; Wintersteiger, Christoph M.
1
2013
Loop summarization and termination analysis. Zbl 1315.68106
Tsitovich, Aliaksei; Sharygina, Natasha; Wintersteiger, Christoph M.; Kroening, Daniel
7
2011
Ranking function synthesis for bit-vector relations. Zbl 1284.68172
Cook, Byron; Kroening, Daniel; Rümmer, Philipp; Wintersteiger, Christoph M.
12
2010
Loop summarization using abstract transformers. Zbl 1183.68377
Kroening, Daniel; Sharygina, Natasha; Tonetta, Stefano; Tsitovich, Aliaksei; Wintersteiger, Christoph M.
5
2008
A first step towards a unified proof checker for QBF. Zbl 1214.68334
Jussila, Toni; Biere, Armin; Sinz, Carsten; Kröning, Daniel; Wintersteiger, Christoph M.
14
2007
all top 5

Cited by 197 Authors

8 Wintersteiger, Christoph M.
7 Biere, Armin
5 Kröning, Daniel
4 Moiola, Andrea
4 Niemetz, Aina
4 Preiner, Mathias
4 Reynolds, Andrew
3 Antonietti, Paola Francesca
3 Barrett, Clark W.
3 Bjørner, Nikolaj S.
3 Frohn, Florian
3 Giesl, Jürgen
3 Gopalakrishnan, Jay
3 Graham-Lengrand, Stéphane
3 Hensel, Jera
3 Phillips, Andrew
3 Pölz, Dominik
3 Schanz, Martin
3 Schöberl, Joachim
3 Stocker, Paul
3 Ströder, Thomas
3 Tinelli, Cesare
2 Bonacina, Maria Paola
2 Brauer, Jörg
2 Brockschmidt, Marc
2 Chew, Leroy
2 de Moura, Leonardo
2 Gander, Martin Jakob
2 Gómez, Sergio Alejandro
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 Mazzieri, Ilario
2 Migliorini, Francesco
2 Perugia, Ilaria
2 Petersen, Rasmus Lerchedahl
2 Sebastiani, Roberto
2 Shankar, Natarajan
2 Sharygina, Natasha
2 Strejček, Jan
2 Sun, Zheng
2 Trentin, Patrick
2 Tsitovich, Aliaksei
2 Weber, Tjark
2 Yordanov, Boyan
2 Yuan, Long
1 Abedi, Reza
1 Abrahamsen, Dylan
1 Aluf-Medina, Michelle
1 Aschermann, Cornelius
1 Balabanov, Valeriy
1 Baranowski, Marek
1 Bause, Markus
1 Ben-Amram, Amir M.
1 Boffi, Daniele
1 Böhme, Sascha
1 Bonizzoni, Francesca
1 Borralleras, Cristina
1 Bryant, Randal E.
1 Cao, Zhenfu
1 Carstensen, Carsten
1 Celledoni, Elena
1 Chakraborty, Supratik
1 Chen, Jie
1 Clarke, Edmund Melson jun.
1 Cook, Byron
1 Corallo, Daniele
1 Cyphert, John
1 da Mota, Benoit
1 Dalchau, Neil
1 Datta, Pratish
1 Desharnais, Jules
1 Deters, Morgan
1 Diallo, Nafi
1 Dietsch, Daniel
1 Dolev, Danny
1 Dong, Xiaolei
1 Dorfler, Willy
1 Drake, Dow
1 Dutertre, Bruno
1 Dutta, Ratna
1 Ern, Alexandre
1 Fazekas, Katalin
1 Fornberg, Bengt
1 Fox, Anthony C. J.
1 Fröhlich, Andreas M.
1 Fuhs, Carsten
1 Genaim, Samir
1 Gfrerer, Michael Helmut
1 Ghardallou, Wided
1 Gong, Junqing
1 Gong, Wenxiu
...and 97 more Authors

Citations by Year