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

Miquel Bertran (Selection)

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

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAugust Climent, Joan Navarro, Miquel Bertran, Francesc-Xavier Babot: Optimistic concurrency control with partial replication design. IADIS AC (2) 2009: 181-186
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiquel Bertran, Francesc-Xavier Babot, August Climent: Formal Sequentialization of Distributed Systems via Program Rewriting. Electr. Notes Theor. Comput. Sci. 188: 53-75 (2007)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesc-Xavier Babot, Miquel Bertran, August Climent: A Static Communication Elimination Algorithm for Distributed System Verification. ICFEM 2005: 375-389
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiquel 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)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAugust 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
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiquel 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiquel Bertran, Francesc-Xavier Babot, August Climent, Miquel Nicolau: Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs. SAS 2001: 20-39

Selection of 7 from 13 records - Miquel Bertran has 13 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page