| 2002 |
| 6 | EE | Ran Rinat,
Scott F. Smith:
Modular Internet Programming with Cells.
ECOOP 2002: 257-280 |
| 5 | EE | Ran Rinat:
Type-Safe Covariant Specialization with Generalized Matching.
Inf. Comput. 177(1): 90-120 (2002) |
| 1999 |
| 4 | EE | Ran Rinat,
Menachem Magidor,
Scott F. Smith:
Correspondence Polymorphism for Object-Oriented Languages.
OOPSLA 1999: 167-186 |
| 1996 |
| 3 | EE | Ran Rinat,
Menachem Magidor:
Metaphoric Polymorphism: Taking Code Reuse One Step Further.
ECOOP 1996: 449-471 |
| 1988 |
| 2 | | Ran Rinat,
Nissim Francez,
Orna Grumberg:
Infinite Trees, Markings and Well-Foundedness
Inf. Comput. 79(2): 131-154 (1988) |
| 1986 |
| 1 | | Ran Rinat,
Nissim Francez,
Orna Grumberg:
Infinite Trees, Markings and Well Foundedness.
CAAP 1986: 238-253 |