Christoph Wintersteiger | Microsoft Research - Academia.edu

Christoph Wintersteiger

About

Christoph started following the work of 2 people. 2012-03-05 14:51:02 -0800

Christoph started following the work of Nikolaj Bjorner, Microsoft Research, Research in Software Engineering. 2012-02-21 17:17:13 -0800

Christoph added 3 papers 2012-02-13 17:19:42 -0800

Papers (12)

Ranking function synthesis for bit-vector relations

Loopfrog: A static analyzer for ANSI-C programs

A first step towards a unified proof checker for QBF

Digitaltechnik: Eine praxisnahe Einführung

Research Interests (5)

Primary

Microsoft Research

Post-Doc, Cambridge

Follow Christoph's work

Department Colleagues (3)

Following the Work of (10)

Georg Weissenbacher

Nikolaj Bjorner

Work being Followed by (9)

x

Log In

Academia © 2012