Sciweavers

50 search results - page 1 / 10
» focs 2000
Sort
View
70
Voted
FOCS
2000
IEEE
15 years 5 months ago
The Common Fragment of CTL and LTL
Monika Maidl
71
Voted
FOCS
2000
IEEE
15 years 5 months ago
Detecting a Network Failure
Jon M. Kleinberg
66
Voted
FOCS
2000
IEEE
15 years 5 months ago
On the boundary complexity of the union of fat triangles
János Pach, Gábor Tardos