Francesc-Xavier Babot

Publication Activity (10 Years)

Years Active: 2001-2014
Publications (10 Years): 0

Top Topics

Distributed Database Systems

Message Passing

Software Development Environments

Top Venues

Acta Informatica

Publications

Miquel Bertran, Francesc-Xavier Babot, August Climent
Formal communication elimination and sequentialization equivalence proofs for distributed system models. Acta Informatica 51 (6) (2014)
August Climent, Joan Navarro, Miquel Bertran, Francesc-Xavier Babot
Optimistic concurrency control with partial replication design. IADIS AC (2) (2009)
Miquel Bertran, Francesc-Xavier Babot, August Climent
Formal Sequentialization of Distributed Systems via Program Rewriting. Electron. Notes Theor. Comput. Sci. 188 (2007)
Miquel Bertran, Francesc-Xavier Babot, August Climent
An Input/Output Semantics for Distributed Program Equivalence Reasoning. Electron. Notes Theor. Comput. Sci. 137 (1) (2005)
Francesc-Xavier Babot, Miquel Bertran, August Climent
A Static Communication Elimination Algorithm for Distributed System Verification. ICFEM (2005)
August Climent, Miquel Bertran, Francesc-Xavier Babot, Josep M. Muixi
Performance Analysis of Speculative Concurrency Control Algorithms based on Wait Depth Limited for Distributed Database Systems. ISPDC (2003)
Miquel Bertran, Albert Duran, Miquel Porta, Francesc-Xavier Babot, August Climent, Miquel Nicolau
Integrating Formal Verification of Parallelization in the PADD/RALE Environment. JISBD (2002)
Miquel Bertran, Francesc-Xavier Babot, August Climent, Miquel Nicolau
Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs. SAS (2001)