Verena Wolf and Henzinger - Free people check

(1 - 6 from 7

)

Computer Aided Verification: 21st International Conference, CAV

books.google.de

337 Thomas A. Henzinger, Maria Mateescu, and Verena Wolf Centaur Technology Media Unit Verification: Case Study: Floating-Point Addition .

Reachability Problems: Third International Workshop, RP 2009,...

books.google.de

3 Thomas Henzinger, Barbara Jobstmann, and Verena Wolf Reachability for Continuous and Hybrid Systems (invited talk) Oded Maler Algorithmic ...

[ ] Hybrid Numerical Solution of the Chemical Master Equation

arxiv.org

Authors: Thomas A. Henzinger, Maria Mateescu, Linar Mikeev, Verena Wolf (Submitted on 5 May 2010) Abstract: We present a numerical approximation ...

CiteSeerX — Solving the chemical master equation using sliding windows

citeseerx.ist.psu.edu

BibTeX @MISC{Wolf10solvingthe, author = {Verena Wolf and Rushil Goel and Maria Mateescu and Thomas A Henzinger}, title = {Solving the chemical master equation using

Solving the chemical master equation using sliding windows

www.ncbi.nlm.nih.gov

Verena Wolf,1 Rushil Goel,2 Maria Mateescu,3 and Thomas A Henzinger Verena Wolf: wolf/at/cs.uni-sb.de; Rushil Goel: rushilgoel/at/cse.iitb.ac.in; ...

All web results to the name "Verena Wolf"

MTC: Problem Solving in Computer Science

mtc.epfl.ch

Problem Solving in Computer Science Winter Semester Instructors: Lecturer: Tom Henzinger; Assistant: Verena Wolf; Schedule: Lectures. Tuesday, 10:15-12:00, BC04

Related search requests for Verena Wolf

Martin Leucker
Joost-Pieter Katoen
Rushil Goel

Bernd Westphal
Didier Thomas
Heidemarie Grünewald

Verena Twigg

Person "Wolf" (16)
Forename "Verena" (4041)
Name "Wolf" (9070)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Verena Wolf and Henzinger Free People Check