2007 |
6 | EE | Miquel Bertran,
Francesc-Xavier Babot,
August Climent:
Formal Sequentialization of Distributed Systems via Program Rewriting.
Electr. Notes Theor. Comput. Sci. 188: 53-75 (2007) |
2005 |
5 | EE | Francesc-Xavier Babot,
Miquel Bertran,
August Climent:
A Static Communication Elimination Algorithm for Distributed System Verification.
ICFEM 2005: 375-389 |
4 | EE | Miquel Bertran,
Francesc-Xavier Babot,
August Climent:
An Input/Output Semantics for Distributed Program Equivalence Reasoning.
Electr. Notes Theor. Comput. Sci. 137(1): 25-46 (2005) |
2003 |
3 | EE | 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: 64-71 |
2002 |
2 | | 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: 305-314 |
2001 |
1 | EE | Miquel Bertran,
Francesc-Xavier Babot,
August Climent,
Miquel Nicolau:
Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs.
SAS 2001: 20-39 |