Aurel Randolph

According to our database¹, Aurel Randolph authored at least 4 papers between 2012 and 2015.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2015

On Synthesizing a Consistent Operational Transformation Approach.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2015

2014

Spécification et analyse d'un protocole de contrôle d'accès optimiste pour éditeurs collaboratifs répartis.

[BibT_eX]

[DOI]

Ingénierie des Systèmes d Inf., 2014

2013

Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2013

2012

On Consistency of Operational Transformation Approach

[BibT_eX]

[DOI]

Proceedings of the Proceedings 14th International Workshop on Verification of Infinite-State Systems, 2012

Aurel Randolph

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...