Proceedings Third Israel Symposium on the Theory of Computing and Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

0818669152

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the complexity of statistical reasoning

Proceedings Third Israel Symposium on the Theory of Computing and Systems ◽

10.1109/istcs.1995.377030 ◽

2002 ◽

Cited By ~ 2

Author(s):

J. Kilian ◽

M. Naor

Keyword(s):

Statistical Reasoning

Download Full-text

Lower bounds for perceptrons solving some separation problems and oracle separation of AM from PP

Proceedings Third Israel Symposium on the Theory of Computing and Systems ◽

10.1109/istcs.1995.377047 ◽

2002 ◽

Cited By ~ 9

Author(s):

N.K. Vereshchagin

Keyword(s):

Lower Bounds ◽

Separation Problems

Download Full-text

Some improvements to total degree tests

Proceedings Third Israel Symposium on the Theory of Computing and Systems ◽

10.1109/istcs.1995.377032 ◽

2002 ◽

Cited By ~ 29

Author(s):

K. Friedl ◽

M. Sudan

Keyword(s):

Total Degree

Download Full-text

A general technique for implementation of efficient priority queues

Proceedings Third Israel Symposium on the Theory of Computing and Systems ◽

10.1109/istcs.1995.377045 ◽

2002 ◽

Cited By ~ 4

Author(s):

P. Hoyer

Keyword(s):

Priority Queues ◽

General Technique

Download Full-text

Computational pseudo-randomness

Proceedings Third Israel Symposium on the Theory of Computing and Systems ◽

10.1109/istcs.1995.377029 ◽

2002 ◽

Author(s):

A. Wigderson

Download Full-text

A partial order approach to branching time logic model checking

Proceedings Third Israel Symposium on the Theory of Computing and Systems ◽

10.1109/istcs.1995.377038 ◽

2002 ◽

Cited By ~ 30

Author(s):

R. Gerth ◽

R. Kuiper ◽

D. Peled ◽

W. Penczek

Keyword(s):

Model Checking ◽

Partial Order ◽

Logic Model ◽

Branching Time ◽

Time Logic ◽

Logic Model Checking

Download Full-text

Approximating the value of two power proof systems, with applications to MAX 2SAT and MAX DICUT

Proceedings Third Israel Symposium on the Theory of Computing and Systems ◽

10.1109/istcs.1995.377033 ◽

2002 ◽

Cited By ~ 102

Author(s):

U. Feige ◽

M. Goemans

Keyword(s):

Proof Systems

Download Full-text

All shortest paths in weighted grid graphs and its application to finding all approximate repeats in strings

Proceedings Third Israel Symposium on the Theory of Computing and Systems ◽

10.1109/istcs.1995.377044 ◽

2002 ◽

Cited By ~ 5

Author(s):

J.P. Schmidt

Keyword(s):

Shortest Paths ◽

Grid Graphs

Download Full-text

Improved algorithms in geometric optimization via expanders

Proceedings Third Israel Symposium on the Theory of Computing and Systems ◽

10.1109/istcs.1995.377043 ◽

2002 ◽

Cited By ~ 5

Author(s):

M.J. Katz

Keyword(s):

Geometric Optimization

Download Full-text

Automata with sensing heads

Proceedings Third Israel Symposium on the Theory of Computing and Systems ◽

10.1109/istcs.1995.377036 ◽

2002 ◽

Cited By ~ 3

Author(s):

H. Petersen

Download Full-text

Proceedings Third Israel Symposium on the Theory of Computing and SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc. Press

On the complexity of statistical reasoning

Lower bounds for perceptrons solving some separation problems and oracle separation of AM from PP

Some improvements to total degree tests

A general technique for implementation of efficient priority queues

Computational pseudo-randomness

A partial order approach to branching time logic model checking

Approximating the value of two power proof systems, with applications to MAX 2SAT and MAX DICUT

All shortest paths in weighted grid graphs and its application to finding all approximate repeats in strings

Improved algorithms in geometric optimization via expanders

Automata with sensing heads

Proceedings Third Israel Symposium on the Theory of Computing and Systems
Latest Publications