Hanne Gottliebsen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1999–2004
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | IFM | Design Verification for Control Engineering. | Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom W. Kelsey, Ursula Martin |
| 1999 | CADE | VSDITLU: a verifiable symbolic definite integral table look-up. | Andrew A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin |
| 1999 | ISSAC | Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case Study. | Andrew A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin |