Edmund Clarke

1. Counterexample-guided abstraction refinement for symbolic model checking
   2003/09/01 by Edmund M. Clarke, Edmund Clarke, Orna Grümberg +4 · 34 citations
   Computer Science · Engineering · #Formal Methods in Verification #Software Testing and Debugging Techniques #Radiation Effects in Electronics
2. Nonlinear Quantum Optics at a Topological Interface Enabled by Defect Engineering
   2024/08/16 by L. Hallacy, Hallacy, L., N. J. Martin +25 · 2 citations
   Engineering · #Photonic and Optical Devices #Semiconductor Lasers and Optical Devices #Semiconductor materials and devices
3. Electro-mechanically tunable, waveguide-coupled photonic-crystal cavities with embedded quantum dots
   2025/03/12 by Luke Brunswick, Brunswick, Luke A. F., L. Hallacy +9 · 2 citations
   Physics and Astronomy · #Applied Physics (physics.app-ph) #FOS: Physical sciences #Optics (physics.optics) #Photonic Crystals and Applications #Quantum Physics (quant-ph)
4. Waveguide Excitation and Spin Pumping of Chirally Coupled Quantum Dots
   2025/01/31 by S. Germanis, Germanis, Savvas, Chen, Xuchao +16 · 1 citation
   Physics and Astronomy · #Quantum and electron transport phenomena #Quantum optics and atomic interactions #Magnetic properties of thin films