Ran Raz: Publications:
Other Papers
-
``The Surprise Examination Paradox and the Second Incompleteness Theorem''
,
S.Kritchman, R.Raz,
-
Notices of the American Mathematical Society 57(11) (2010)
-
``A Time Lower Bound for Satisfiability'',
D. van Melkebeek, R.Raz,
-
Proceeding of the 31st ICALP, 2004, pp. 971-982
-
Theoretical Computer Science 348 (2005), pp. 311-320
-
``ProMate: A Structure Based Prediction Program to Identify the Location
of Protein Protein Binding Sites'',
H.Neuvirth, R.Raz, G.Schreiber,
-
Journal of Molecular Biology 338(1) (2004), pp. 181-199
-
``Distance Labeling in Graphs'',
C.Gavoille, D.Peleg, S.Perennes, R.Raz,
-
Proceeding of SODA, 2001, pp. 210-219
-
Journal of Algorithms 53(1) (2004), pp. 85-112
-
``VC-Dimension of Sets of Permutations'',
R.Raz,
-
Combinatorica 20(1) (2000), pp. 1-15
-
``Lower Bounds on the Distortion of Embedding Finite Metric Spaces
in Graphs'',
Y.Rabinovich, R.Raz,
-
Discrete and Computational Geometry 19 (1998), pp. 79-94
-
``Arthur-Merlin Games in Boolean Decision Trees'',
R.Raz, G.Tardos, O.Verbitsky, N.Vereshchagin,
-
Proceeding of Computational Complexity, 1998, pp. 58-67
-
Journal of Computer and System Sciences
59(2) (1999), pp. 346-372