M. Reed

Formal Methods and Tools for the Development of Distributed and Real Time Systems: SPEC -- Esprit Project 3096 (Extended Abstract)

Pierre Wolper, Dov M. Gabbay, Amir Pnueli, 1990 .

LIMITATIONS OF ONE-DIMENSIONAL MODELS OF WAVEGUIDE FACETS

Trevor M. Benson, Phillip Sewell, P. C. Kendall, 1997 .

THE FREE-SPACE RADIATION MODE METHOD FOR THE ANALYSIS OF COATED ANGLED FACETS AND COMPARISON WITH A FDTD METHOD

Trevor M. Benson, Phillip Sewell, P. C. Kendall, 1997 .

Efficient propagation algorithm for 3D optical waveguides

Trevor M. Benson, P. C. Kendall, M. Reed, 1998 .

Full vector analysis of two-dimensional angled and coated optical waveguide facets

Trevor M. Benson, P. C. Kendall, M. Reed, 1997 .