Stephen Prajna

Computational Theory and Mathematics · 2002–2007

A researcher in the Science corpus: 8 papers; trusts 17 researchers and is trusted by 34 researchers here, as inferred from the citation graph.

Subfields

Whom Stephen Prajna trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Pablo A. Parrilo
  2. Antonis Papachristodoulou
  3. Christoph Helmberg
  4. Alongkrit Chutinan
  5. Bruce Reznick
  6. Jean B. Lasserre
  7. Iroon Polytechniou
  8. Bruce H. Krogh
  9. Claire Jennifer Tomlin
  10. Anders Rantzer

Who trusts Stephen Prajna overall

  1. Antonis Papachristodoulou
  2. Aaron D. Ames
  3. Jacob Steinhardt
  4. Zachary Jarvis-Wloszek
  5. Russ Tedrake
  6. Mung Chiang
  7. Ali Jadbabaie
  8. Matthias Althoff
  9. Aditi Raghunathan
  10. Rajeev Alur

Papers from Stephen Prajna's perspective

Ordered by how strongly the researchers Stephen Prajna trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming
  2. Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization
  3. Global Optimization with Polynomials and the Problem of Moments (SIAM Journal on Optimization)
  4. Semidefinite programming
  5. Semidefinite programming relaxations for semialgebraic problems
  6. Some concrete aspects of Hilbert's 17th Problem
  7. Squared Functional Systems and Optimization Problems
  8. Some NP-complete problems in quadratic and nonlinear programming
  9. GloptiPoly: global optimization over polynomials with Matlab and SeDuMi (Proceedings of the 41st IEEE Conference on Decision and Control, 2002.)
  10. Safety Verification of Hybrid Systems Using Barrier Certificates (International Conference on Hybrid Systems: Computation and Control)

Their papers