Christoph M. Wintersteiger

Available identifiers

Publication	Date of Publication	Type
Convergence analysis of some tent-based schemes for linear hyperbolic systems	2022-02-14	Paper
An explicit mapped tent pitching scheme for Maxwell equations	2021-12-02	Paper
Structure aware Runge-Kutta time stepping for spacetime tents	2021-01-15	Paper
Tent pitching and Trefftz-DG method for the acoustic wave equation	2020-08-17	Paper
Exploring approximations for floating-point arithmetic using UppSAT	2018-10-18	Paper
An approximation framework for solvers and decision procedures	2017-07-10	Paper
Deciding Bit-Vector Formulas with mcSAT	2016-09-05	Paper
Higher order unfitted FEM for Stokes interface problems	2016-05-13	Paper
Approximations for Model Construction	2014-09-26	Paper
Functional Analysis of Large-Scale DNA Strand Displacement Circuits	2014-07-07	Paper
Loop summarization using state and transition invariants	2014-06-30	Paper
Ranking function synthesis for bit-vector relations	2014-06-30	Paper
Efficiently solving quantified bit-vector formulas	2014-03-28	Paper
Resourceful Reachability as HORN-LA	2014-01-17	Paper
Loop Summarization and Termination Analysis	2011-05-19	Paper
Ranking function synthesis for bit-vector relations	2010-04-27	Paper
A First Step Towards a Unified Proof Checker for QBF	2009-03-10	Paper
Loop Summarization Using Abstract Transformers	2008-11-20	Paper

This page was built for person: Christoph M. Wintersteiger