Miquel Bertran

August Climent, Joan Navarro, Miquel Bertran, Francesc-Xavier Babot: Optimistic concurrency control with partial replication design. IADIS AC (2) 2009: 181-186

Miquel Bertran, Francesc-Xavier Babot, August Climent: Formal Sequentialization of Distributed Systems via Program Rewriting. Electr. Notes Theor. Comput. Sci. 188: 53-75 (2007)

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)

Francesc-Xavier Babot, Miquel Bertran, August Climent: A Static Communication Elimination Algorithm for Distributed System Verification. ICFEM 2005: 375-389

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

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

Miquel Bertran, Teodor Rus: Papers from ARTS'97 - Preface. Theor. Comput. Sci. 253(1): 1 (2001)

Miquel Bertran, Francesc-Xavier Babot, August Climent, Miquel Nicolau: Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs. SAS 2001: 20-39

Miquel Bertran: A Transformation of Monitor into Communication Synchronized Parallel Processes: A Systematic Refinement Step in Design. ARTS 1997: 199-215

Miquel Bertran, Felipe Alvarez-Cuevas, Albert Duran: Communication Extended Abstract Types in the Refinement of Parallel Communicating Processes. ARTS 1997: 263-279

Miquel Bertran, Teodor Rus (Eds.): Transformation-Based Reactive Systems Development, 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings. Lecture Notes in Computer Science 1231, Springer 1997, isbn 3-540-63010-4

Maurice Naftalin, B. Tim Denvir, Miquel Bertran (Eds.): FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings. Lecture Notes in Computer Science 873, Springer 1994, isbn 3-540-58555-9

Harold W. Lawson Jr., Miquel Bertran, Javier Sanagustin: The Formal Definition of Human/Machine Communications. Softw., Pract. Exper. 8(1): 51-58 (1978)