David Lester (UNIVERSITY of Manchester)

Identifiers

• name variant David Lester (UNIVERSITY of Manchester) 0.60 · backfill

Papers (2)

1. Verified Real Number Calculations: A Library for Interval Arithmetic cs.MS · 2007 · author #3
2. Stochastic Formal Methods for Hybrid Systems cs.MS · 2006 · author #2

Mentions

• 0708.3721 #3 · backfill · confidence 0.70 David Lester (UNIVERSITY of Manchester)

Frequent Coauthors

• Annick Truffert (LAMPS) 1 shared papers
• C\'esar Mu\~noz (NIA) 1 shared papers
• Eliaus) 1 shared papers
• Erik Martin-Dorel (ELIAUS 1 shared papers
• Lamps) 1 shared papers
• Marc Daumas (ELIAUS) 1 shared papers
• Marc Daumas (LIRMM 1 shared papers