Formal Analysis of Optical Systems

Simulating physics with computers

Richard P. Feynman · International Journal of Theoretical Physics · 1982 · 7.3K citations

Computational Science, Engineering, Computer Engineering +8

Model checking

E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations

<i>Principles of Optics: Electromagnetic Theory of Propagation, Interference and Diffraction of Light</i>

Max Born, Emil Wolf, Eugene Hecht · Physics Today · 2000 · 4.1K citations

Optical Materials, Engineering, Wave Optic +21

Block-iterative frequency-domain methods for Maxwell's equations in a planewave basis

Steven G. Johnson, John D. Joannopoulos · Optics Express · 2001 · 3.2K citations · Full text

Numerical Analysis, Spectral Theory, O Delta X +14

Laser Beams and Resonators

H. Kogelnik, T. Li · Applied Optics · 1966 · 2.8K citations

Photonics, Engineering, Beam Optic +9