August Climent

According to our database1, August Climent
  • authored at least 18 papers between 2001 and 2017.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
School Performance Analysis from a Scholastic Learning Process.
JITR, 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 Inf., 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 Computing: Practice and Experience, 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

2007
Formal Sequentialization of Distributed Systems via Program Rewriting.
Electr. Notes Theor. Comput. Sci., 2007

2005
An Input/Output Semantics for Distributed Program Equivalence Reasoning.
Electr. Notes Theor. Comput. Sci., 2005

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

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...