The Existence of the Nine-Point Circle for a Given Triangle Stephen Andrilli Department of Mathematics and Computer Science La Salle University, Philadelphia,
Proving Security Protocols Correct
André Chailloux, Université Paris 7 and UC Berkeley Or Sattath, the Hebrew University QIP 2012.
Prof. Swarat Chaudhuri
Key Challenges for Theoretical Computer Science
Key Challenges for Theoretical Computer Science Richard M. Karp NSF, August 31, 2005.
The complexity of the Separable Hamiltonian Problem
The Existence of the Nine-Point Circle for a Given Triangle