List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Convergence analysis of some tent-based schemes for linear hyperbolic systems Mathematics of Computation | 2022-02-14 | Paper |
| An explicit mapped tent pitching scheme for Maxwell equations (available as arXiv preprint) | 2021-12-02 | Paper |
| Structure aware Runge-Kutta time stepping for spacetime tents SN Partial Differential Equations and Applications | 2021-01-15 | Paper |
| Tent pitching and Trefftz-DG method for the acoustic wave equation Computers & Mathematics with Applications | 2020-08-17 | Paper |
| Exploring approximations for floating-point arithmetic using UppSAT (available as arXiv preprint) | 2018-10-18 | Paper |
| An approximation framework for solvers and decision procedures Journal of Automated Reasoning | 2017-07-10 | Paper |
| Deciding Bit-Vector Formulas with mcSAT Theory and Applications of Satisfiability Testing – SAT 2016 | 2016-09-05 | Paper |
| Higher order unfitted FEM for Stokes interface problems | 2016-05-13 | Paper |
| Approximations for Model Construction Automated Reasoning | 2014-09-26 | Paper |
| Functional analysis of large-scale DNA strand displacement circuits Lecture Notes in Computer Science | 2014-07-07 | Paper |
| Loop summarization using state and transition invariants Formal Methods in System Design | 2014-06-30 | Paper |
| Ranking function synthesis for bit-vector relations Formal Methods in System Design | 2014-06-30 | Paper |
| Efficiently solving quantified bit-vector formulas Formal Methods in System Design | 2014-03-28 | Paper |
| Resourceful reachability as HORN-LA Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
| Loop Summarization and Termination Analysis Tools and Algorithms for the Construction and Analysis of Systems | 2011-05-19 | Paper |
| Ranking function synthesis for bit-vector relations Tools and Algorithms for the Construction and Analysis of Systems | 2010-04-27 | Paper |
| A First Step Towards a Unified Proof Checker for QBF Theory and Applications of Satisfiability Testing – SAT 2007 | 2009-03-10 | Paper |
| Loop Summarization Using Abstract Transformers Automated Technology for Verification and Analysis | 2008-11-20 | Paper |
Research outcomes over time
This page was built for person: Christoph M. Wintersteiger
