Phil Watson

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 1

Top Topics

Clustering Algorithm

Specially Designed

Top Venues

Publications

Alfred K. C. Cheung, Krishna Gadepalli, Jian Guan, Andreas Hoenselaar, Yang Meng, Anton Menshov, Jan Petykiewicz, Xavier Serey, Rhett Stucki, Lieven Verslegers, Jiahui Wang, Phil Watson, Ian A. D. Williamson, Yi-Kuei Ryan Wu
Inverse-designed CWDM demultiplexer operated in O-band. OFC (2024)
Phil Watson
Inductive Learning with Corroboration. ALT (1999)
Phil Watson
Embeddings in the Strong Reducibilities Between 1 and npm. Math. Log. Q. 43 (1997)
Luming Lai, Phil Watson
A Case Study in Timed CSP: The Railroad Crossing Problem. HART (1997)
Phil Watson
Inductive Learning of Recurrence-Term Languages from Positive Data. GOSLER Final Report (1995)
Steffen Lange, Phil Watson
Machine Discovery in the Presence of Incomplete or Ambiguous Data. AII/ALT (1994)
Muffy Thomas, Phil Watson
Solving Divergence in Knuth-Bendix Completion by Enriching Signatures. Theor. Comput. Sci. 112 (1) (1993)
Dave Cohen, Phil Watson
An Efficient Representation of Arithmetic for Term Rewriting. RTA (1991)
A. J. J. Dick, Phil Watson
Order-Sorted Term Rewriting. Comput. J. 34 (1) (1991)
Muffy Thomas, Phil Watson
Solving Divergence in Knuth-Bendix Completion by Enriching Signatures. AMAST (1991)
Muffy Thomas, Phil Watson
Generalising Diverging Sequences of Rewrite Rules by Synthesising New Sorts. Functional Programming (1990)
Phil Watson
On Restricted Forms of Enumeration Reducibility. Ann. Pure Appl. Log. 49 (1) (1990)