Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs. - Miquel Bertran; Francesc-Xavier Babot; August Climent; Miquel Nicolau (SAS, 2001)

Integrating Formal Verification of Parallelization in the PADD/RALE Environment. - Miquel Bertran; Albert Duran; Miquel Porta; Francesc-Xavier Babot; August Climent; Miquel Nicolau (JISBD, 2002)

Performance Analysis of Speculative Concurrency Control Algorithms based on Wait Depth Limited for Distributed Database Systems. - August Climent; Miquel Bertran; Francesc-Xavier Babot; Josep M. Muixi (ISPDC, 2003)

An Input/Output Semantics for Distributed Program Equivalence Reasoning. - Miquel Bertran; Francesc-Xavier Babot; August Climent (PROLE, 2004)

A Static Communication Elimination Algorithm for Distributed System Verification. - Francesc-Xavier Babot; Miquel Bertran; August Climent (ICFEM, 2005)

Formal Sequentialization of Distributed Systems via Program Rewriting. - Miquel Bertran; Francesc-Xavier Babot; August Climent (PROLE, 2006)

Optimistic concurrency control with partial replication design. - August Climent; Joan Navarro; Miquel Bertran; Francesc-Xavier Babot (IADIS AC (2), 2009)

Contributions to Formal Communication Elimination for System Models with Explicit Parallelism. - Francesc-Xavier Babot (2009)

Formal communication elimination and sequentialization equivalence proofs for distributed system models. - Miquel Bertran; Francesc-Xavier Babot; August Climent (Acta Informatica, 2014)