Phil Watson

12 papers A 1B 1Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2024 — conf
Inverse-designed CWDM demultiplexer operated in O-band.
OFC
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
1999 B conf
Inductive Learning with Corroboration.
ALT
Phil Watson
1997 — conf
A Case Study in Timed CSP: The Railroad Crossing Problem.
HART
Luming Lai, Phil Watson
1997 J jnl
Embeddings in the Strong Reducibilities Between 1 and npm.
Math. Log. Q.
Phil Watson
1995 — conf
Inductive Learning of Recurrence-Term Languages from Positive Data.
GOSLER Final Report
Phil Watson
1994 — conf
Machine Discovery in the Presence of Incomplete or Ambiguous Data.
AII/ALT
Steffen Lange, Phil Watson
1993 J jnl
Solving Divergence in Knuth-Bendix Completion by Enriching Signatures.
Theor. Comput. Sci.
Muffy Thomas, Phil Watson
1991 — conf
An Efficient Representation of Arithmetic for Term Rewriting.
RTA
Dave Cohen, Phil Watson
1991 J jnl
Order-Sorted Term Rewriting.
Comput. J.
A. J. J. Dick, Phil Watson
1991 — conf
Solving Divergence in Knuth-Bendix Completion by Enriching Signatures.
AMAST
Muffy Thomas, Phil Watson
1990 A conf
Generalising Diverging Sequences of Rewrite Rules by Synthesising New Sorts.
Functional Programming
Muffy Thomas, Phil Watson
1990 J jnl
On Restricted Forms of Enumeration Reducibility.
Ann. Pure Appl. Log.
Phil Watson