T. Clement

Publication Activity (10 Years)

Years Active: 1992-2002
Publications (10 Years): 0

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

J. M. Tressler, T. Clement, H. Kazerooni, M. Lim
Dynamic Behavior of Pneumatic Systems for Lower Extremity Extenders. ICRA (2002)
D. P. Haworth, N. G. Smith, R. Bardelli, T. Clement
Interference localization for EUTELSAT satellites-the first european transmitter location system. Int. J. Satell. Commun. Netw. 15 (4) (1997)
T. Clement
The Role of Data Reification in Program Refinement: Origins, Synthesis and Appraisal. Comput. J. 35 (5) (1992)
T. Clement
Using Metavariables in Natural Deduction Proofs. Refine (1992)