A Commutative Replicated Data Type for Cooperative Editing. - Nuno M. Preguiça; Joan Manuel Marquès; Marc Shapiro 001; Mihai Letia (ICDCS, 2009)

CRDTs: Consistency without concurrency control - Mihai Letia; Nuno M. Preguiça; Marc Shapiro 001 (CoRR, 2009)

Visual Debugging for Stream Processing Applications. - Wim De Pauw; Mihai Letia; Bugra Gedik; Henrique Andrade; Andy Frenkiel; Michael Pfeifer; Daby M. Sow (RV, 2010)

Consistency without concurrency control in large, dynamic systems. - Mihai Letia; Nuno M. Preguiça; Marc Shapiro 001 (ACM SIGOPS Oper. Syst. Rev., 2010)

Composing Relaxed Transactions. - Vincent Gramoli; Rachid Guerraoui; Mihai Letia (IPDPS, 2013)

Disjoint-Access Parallelism Does Not Entail Scalability. - Rachid Guerraoui; Mihai Letia (NETYS, 2014)

Inferring Scalability from Program Pseudocode. - Mihai Letia (2014)