dblp.uni-trier.dewww.uni-trier.de

Francesc-Xavier Babot Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2007
6EEMiquel Bertran, Francesc-Xavier Babot, August Climent: Formal Sequentialization of Distributed Systems via Program Rewriting. Electr. Notes Theor. Comput. Sci. 188: 53-75 (2007)
2005
5EEFrancesc-Xavier Babot, Miquel Bertran, August Climent: A Static Communication Elimination Algorithm for Distributed System Verification. ICFEM 2005: 375-389
4EEMiquel 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
3EEAugust 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
1EEMiquel Bertran, Francesc-Xavier Babot, August Climent, Miquel Nicolau: Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs. SAS 2001: 20-39

Coauthor Index

1Miquel Bertran [1] [2] [3] [4] [5] [6]
2August Climent [1] [2] [3] [4] [5] [6]
3Albert Duran [2]
4Josep M. Muixi [3]
5Miquel Nicolau [1] [2]
6Miquel Porta [2]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)