| |
| 2005 | ||
|---|---|---|
| 3 | EE | Roy Armoni, Limor Fix, Ranan Fraer, Scott Huddleston, Nir Piterman, Moshe Y. Vardi: SAT-based Induction for Temporal Safety Properties. Electr. Notes Theor. Comput. Sci. 119(2): 3-16 (2005) |
| 1982 | ||
| 2 | Scott Huddleston, Kurt Mehlhorn: A New Data Structure for Representing Sorted Lists. Acta Inf. 17: 157-184 (1982) | |
| 1981 | ||
| 1 | Scott Huddleston, Kurt Mehlhorn: Robust Balancing in B-Trees. Theoretical Computer Science 1981: 234-244 | |
| 1 | Roy Armoni | [3] |
| 2 | Limor Fix | [3] |
| 3 | Ranan Fraer | [3] |
| 4 | Kurt Mehlhorn | [1] [2] |
| 5 | Nir Piterman | [3] |
| 6 | Moshe Y. Vardi | [3] |