According to our database1, Francesc-Xavier Babot authored at least 8 papers between 2001 and 2014.
Legend:Book In proceedings Article PhD thesis Other
Formal communication elimination and sequentialization equivalence proofs for distributed system models.
Acta Inf., 2014
Optimistic concurrency control with partial replication design.
Proceedings of the IADIS International Conference Applied Computing 2009, 2009
Formal Sequentialization of Distributed Systems via Program Rewriting.
Electr. Notes Theor. Comput. Sci., 2007
An Input/Output Semantics for Distributed Program Equivalence Reasoning.
Electr. Notes Theor. Comput. Sci., 2005
A Static Communication Elimination Algorithm for Distributed System Verification.
Proceedings of the Formal Methods and Software Engineering, 2005
Performance Analysis of Speculative Concurrency Control Algorithms based on Wait Depth Limited for Distributed Database Systems.
Proceedings of the 2nd International Symposium on Parallel and Distributed Computing (ISPDC 2003), 2003
Integrating Formal Verification of Parallelization in the PADD/RALE Environment.
Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002
Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs.
Proceedings of the Static Analysis, 8th International Symposium, 2001