August Climent

According to our database1, August Climent authored at least 18 papers between 2001 and 2017.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
School Performance Analysis from a Scholastic Learning Process.
J. Inf. Technol. Res., 2017

2016
Technological needs calling for the application of coaching in university advising: functional proposal.
Proceedings of the Fourth International Conference on Technological Ecosystems for Enhancing Multiculturality, Salamanca, Spain, November 02, 2016

Improving computational skills and curriculum of vocational training students. case study: technological behaviour of pharmacy students in a digital marketing course.
Proceedings of the Fourth International Conference on Technological Ecosystems for Enhancing Multiculturality, Salamanca, Spain, November 02, 2016

Learning4Work. Designing a New Evaluation System Based on Scenario Centered Curriculum Methodology: The Pre-test.
Proceedings of the Learning and Collaboration Technologies, 2016

2014
Formal communication elimination and sequentialization equivalence proofs for distributed system models.
Acta Informatica, 2014

Engineering teaching methods using hybrid technologies based on the motivation and assessment of student's profiles.
Proceedings of the IEEE Frontiers in Education Conference, 2014

2011
An Adaptive and Scalable Replication Protocol on Power Smart Grids.
Scalable Comput. Pract. Exp., 2011

Dynamic Distributed Storage Architecture on Smart Grids.
Proceedings of the ICSOFT 2011, 2011

Transactional Support in the Cloud: Taking Advantage of Classic Approaches.
Proceedings of the 2011 Database and Expert Systems Applications, 2011

2009
Optimistic concurrency control with partial replication design.
Proceedings of the IADIS International Conference Applied Computing 2009, 2009

2006
Formal Sequentialization of Distributed Systems via Program Rewriting.
Proceedings of the Sixth Spanish Conference on Programming and Languages, 2006

2005
A Static Communication Elimination Algorithm for Distributed System Verification.
Proceedings of the Formal Methods and Software Engineering, 2005

2004
An Input/Output Semantics for Distributed Program Equivalence Reasoning.
Proceedings of the Fourth Spanish Conference on Programming and Computer Languages, 2004

2003
Performance Analysis of Speculative Concurrency Control Algorithms based on Wait Depth Limited for Distributed Database Systems.
Proceedings of the 2nd International Symposium on Parallel and Distributed Computing (ISPDC 2003), 2003

Performance Improvement of Distributed Database Management Systems.
Proceedings of the ICEIS 2003, 2003

2002
Integrating Formal Verification of Parallelization in the PADD/RALE Environment.
Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002

Reactive Load Balancing in Distributed Database Management Systems.
Proceedings of the Baltic Conference, 2002

2001
Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs.
Proceedings of the Static Analysis, 8th International Symposium, 2001


  Loading...