M. Frans Kaashoek - Publications, H-index & Citations

Back

M. Frans Kaashoek

Affiliation pending

70H-index

245Paper Count

3.6WCitation Count

Published Papers 6

Publication Date

Certifying a File System Using Crash Hoare Logic: Correctness in the Presence of Crashes

COMMUNICATIONS OF THE ACM

IF12.2

2017-03-24

OAAI

Chajed, Tej; Chen, Haogang; Chlipala, Adam; Kaashoek, M. Frans; Zeldovich, Nickolai; Ziegler, Daniel

Save

A Differential Approach to Undefined Behavior Detection

COMMUNICATIONS OF THE ACM

IF12.2

2016-02-25

OAAI

Wang, Xi; Zeldovich, Nickolai; Kaashoek, M. Frans; Solar-Lezama, Armando

Save

Chord: A scalable peer-to-peer lookup protocol for Internet applications

IEEE-ACM TRANSACTIONS ON NETWORKING

IF3.6

2003-02-01

1.8K

PREAI

Stoica, I; Morris, R; Liben-Nowell, D; Karger, DR; Kaashoek, MF; Dabek, F; Balakrishnan, H

Save

Looking up data in P2P systems

COMMUNICATIONS OF THE ACM

IF12.2

2003-02-01

330

OAAI

Balakrishnan, I; Kaashoek, MF; Karger, D; Morris, R; Stoica, I

Save

Scalable internet services

IEEE INTERNET COMPUTING

IF4.4

2001-07-01

PREAI

Douglis, F; Kaashoek, MF

Save

Mobile computing with the Rover toolkit

IEEE TRANSACTIONS ON COMPUTERS

IF3.8

1997-03-01

OAAI

Joseph, AD; Tauber, JA; Kaashoek, MF

Save

Research Directions