University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

Tom Melham

Personal photo - Tom Melham
Professor Tom Melham FRSE
Professor of Computer Science
Tutorial Fellow, Balliol College
+44 (0)1865 273824
+44 (0)1865 273839 (fax)

Links

Personal Web Pages, List of all Publications

Selected Publications

View all

Manage publications

Modelling‚ abstraction‚ and computation in systems biology: A view from computer science

Tom Melham

In Progress in Biophysics and Molecular Biology. Vol. 111. No. 2−3. Pages 129–136. April, 2013.

Focussed Issue: Conecptual Foundations of Systems Biology

Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs

John O'Leary‚ Roope Kaivola and Tom Melham

In Barbara Jobstmann and Sandip Ray, editors, FMCAD 2013: Formal Methods in Computer−Aided Design: Portland‚ Oregon‚ USA‚ 20–23 October 2013. Pages 97–104. IEEE. 2013.

Formal Co−Validation of Low−Level Hardware/Software Interfaces

Alex Horn‚ Michael Tautschnig‚ Celina Val‚ Liaho Liang‚ Tom Melham‚ Jim Grundy and Daniel Kroening

In Barbara Jobstmann and Sandip Ray, editors, FMCAD 2013: Formal Methods in Computer−Aided Design: Portland‚ Oregon‚ USA‚ 20–23 October 2013. Pages 121–128. IEEE. 2013.

Info

Themes

Activities

Projects

Completed Projects

Current Students

Past Students

Personal photo - Sara Adams
Sara Adams
Peter Boehm
Personal photo - Ziyad Hanna
Ziyad Hanna

SHARE THIS: