August Climent

Publication Activity (10 Years)

Years Active: 2001-2017
Publications (10 Years): 4

Top Topics

Students Learning

Secondary School

Learning Process

Top Venues

J. Inf. Technol. Res.

Acta Informatica

Publications

Judit Lacomba Masmiquel, August Climent, David Fonseca
School Performance Analysis from a Scholastic Learning Process. J. Inf. Technol. Res. 10 (1) (2017)
Xavi Canaleta, David Fonseca, Isidro Navarro, August Climent, Lluís Vicent
Improving computational skills and curriculum of vocational training students. case study: technological behaviour of pharmacy students in a digital marketing course. TEEM (2016)
José Antonio Montero, David Fonseca, Lluís Vicent, August Climent, Xavi Canaleta, Sergi Villagrasa
Technological needs calling for the application of coaching in university advising: functional proposal. TEEM (2016)
David Fonseca, August Climent, Lluís Vicent, Xavier Canaleta
Learning4Work. Designing a New Evaluation System Based on Scenario Centered Curriculum Methodology: The Pre-test. HCI (23) (2016)
David Fonseca, Sergi Villagrasa, Francese Vails, Ernest Redondo, August Climent, Lluís Vicent
Engineering teaching methods using hybrid technologies based on the motivation and assessment of student's profiles. FIE (2014)
Miquel Bertran, Francesc-Xavier Babot, August Climent
Formal communication elimination and sequentialization equivalence proofs for distributed system models. Acta Informatica 51 (6) (2014)
Joan Navarro, José Enrique Armendáriz-Iñigo, August Climent
An Adaptive and Scalable Replication Protocol on Power Smart Grids. Scalable Comput. Pract. Exp. 12 (3) (2011)
José Enrique Armendáriz-Iñigo, Itziar Arrieta-Salinas, Joan Navarro, August Climent
Transactional Support in the Cloud: Taking Advantage of Classic Approaches. DEXA Workshops (2011)
Joan Navarro, José Enrique Armendáriz-Iñigo, August Climent
Dynamic Distributed Storage Architecture on Smart Grids. ICSOFT (1) (2011)
August Climent, Joan Navarro, Miquel Bertran, Francesc-Xavier Babot
Optimistic concurrency control with partial replication design. IADIS AC (2) (2009)
Miquel Bertran, Francesc-Xavier Babot, August Climent
Formal Sequentialization of Distributed Systems via Program Rewriting. Electron. Notes Theor. Comput. Sci. 188 (2007)
Miquel Bertran, Francesc-Xavier Babot, August Climent
An Input/Output Semantics for Distributed Program Equivalence Reasoning. Electron. Notes Theor. Comput. Sci. 137 (1) (2005)
Francesc-Xavier Babot, Miquel Bertran, August Climent
A Static Communication Elimination Algorithm for Distributed System Verification. ICFEM (2005)
Josep M. Muixi, August Climent
Performance Improvement of Distributed Database Management Systems. ICEIS (1) (2003)
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)
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)
Josep M. Muixi, August Climent, Silvia Canals
Reactive Load Balancing in Distributed Database Management Systems. BalticDB&IS (2002)
Miquel Bertran, Francesc-Xavier Babot, August Climent, Miquel Nicolau
Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs. SAS (2001)