August Climent

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