Ran Rinat

Publication Activity (10 Years)

Years Active: 1986-2013
Publications (10 Years): 0

Top Topics

Parallel Algorithm

Design Space Exploration

Top Venues

Publications

Michael Masin, Lior Limonad, Aviad Sela, David Boaz, Lev Greenberg, Nir Mashkif, Ran Rinat
Pluggable Analysis Viewpoints for Design Space Exploration. CSER (2013)
Ran Rinat
Type-Safe Covariant Specialization with Generalized Matching. Inf. Comput. 177 (1) (2002)
Ran Rinat, Scott F. Smith
Modular Internet Programming with Cells. ECOOP (2002)
Ran Rinat, Menachem Magidor, Scott F. Smith
Correspondence Polymorphism for Object-Oriented Languages. OOPSLA (1999)
Ran Rinat, Menachem Magidor
Metaphoric Polymorphism: Taking Code Reuse One Step Further. ECOOP (1996)
Ran Rinat, Nissim Francez, Orna Grumberg
Infinite Trees, Markings and Well-Foundedness Inf. Comput. 79 (2) (1988)
Ran Rinat, Nissim Francez, Orna Grumberg
Infinite Trees, Markings and Well Foundedness. CAAP (1986)