Sciweavers

10447 search results - page 253 / 2090
» The Philosophy of Computer Science
Sort
View
ERSHOV
1999
Springer
15 years 11 months ago
On Semantics and Correctness of Reactive Rule-Based Programs
Man Lin, Jacek Malec, Simin Nadjm-Tehrani
114
Voted
FOCS
1998
IEEE
15 years 11 months ago
Delayed Information and Action in On-line Algorithms
Susanne Albers, Moses Charikar, Michael Mitzenmach...
FOCS
1998
IEEE
15 years 11 months ago
Concurrent Reachability Games
Luca de Alfaro, Thomas A. Henzinger, Orna Kupferma...
FOCS
1998
IEEE
15 years 11 months ago
Marked Ancestor Problems
Stephen Alstrup, Thore Husfeldt, Theis Rauhe