IMDEA-2017-annual-report_1648514414406.pdf
Verifying Replicated Data Structures Causal Consistency (Intership Proposal 2016-2017)_1648514414797.pdf
BEATCS11 Convergent and Commutative Replicated Data Types_1648514414875.pdf
BEATCS17 Composition in State-based Replicated Data Types_1648514414906.pdf
Composing Lattices and CRDTs (PPT 2013)_1648514414953.pdf
Composition of State-based CRDTs_1648514415016.pdf
Conflict-free Replicated Data Types and Distributed Concurrent Constraint Programming (2013 Category Theory)_1648514415094.pdf
Erlang14 Derflow Distributed Deterministic Dataflow Programming for Erlang_1648514415141.pdf
JPDC18 Delta State Replicated Data Types_1648514415219.pdf
Logic and Lattices for Distributed Programming (2012)_1648514415313.pdf
OPODIS17 Designing a Planetary-Scale IMAP Service with Conflict-free Replicated Data Types_1648514415360.pdf
On The Composability of the Riak DT Map Expanding From Embedded To Multi-Key Structures (PPT 2014)_1648514415394.pdf
PODC16 (Attiya) Specification and Complexity of Collaborative Text Editing (Extended Version)_1648514415534.pdf
A Framework for Verifying Conflict-free Replicated Data Types (PPT 2017)_1648514415628.pdf
CSCW04 Operational Transformation for Collaborative Word Processing_1648514415659.pdf
CSCW06 (Sun) Operation Context and Context-based Operational Transformation_1648514415691.pdf
CSCW06 An Operational Transformation Algorithm and Performance Evaluation_1648514415753.pdf
CSCW09 An Admissibility-Based Operational Transformation Framework for Collaborative Editing Systems_1648514415878.pdf
CSCW12 Operational Transformation for Dependency Conflict Resolution in Real-time Collaborative 3D Design Systems_1648514415925.pdf
CSCW12 Operational Transformation for Orthogonal Conflict Resolution in Real-time Collaborative 2D Editing Systems_1648514416066.pdf
CSCW14 Achieving Convergence in Operational Transformation Conditions, Mechanisms and Systems_1648514416425.pdf
CSCW98 (Ellis) Operational Transformation in Real-time Group Editors Issues Algorithms and Achievements_1648514416519.pdf
CSCW98 (Sun) Operational Transformation in Real-time Group Editors Issues, Algorithms, and Achievements_1648514416660.pdf
CollaborateCom06 View-centric Operational Transformation for Collaborative Editing_1648514416925.pdf
FM14 Formal Verification of Operational Transformation_1648514417160.pdf
ICDCS15 Operational Transformation for Real-time Synchronization of Cloud Storage_1648514417269.pdf
ITP16 Verified Operational Transformation for Trees_1648514417316.pdf
J. Comput Applications10 A Survey on Operational Transformation Algorithms Challenges Issues and Achievements_1648514417348.pdf
Leung2013 Operational Transformation in Cooperative Software Systems_1648514417378.pdf
TPDS09 Context-Based Operational Transformation in Distributed Collaborative Editing Systems_1648514417550.pdf
TPDS10 A Fast Operational Transformation Algorithm for Mobile and Asynchronous Collaboration_1648514417660.pdf
TR Analysis of Operational Transformation Algorithms_1648514417722.pdf
TR Towards a Unified Theory of Operational Transformation and CRDT (Blog)_1648514417925.pdf
TR05 HLA Real Time Group Editors without Operational Transformation_1648514418082.pdf
TR95 A Counterexample to the Distributed Operational Transform and a Corrected Algorithm for Point-to-Point Communication_1648514418097.pdf
arXiv13 1302.3292 On Consistency of Operational Transformation Approach_1648514418128.pdf
CSCW14 (Sun) Exhaustive Search of Puzzles in Operational Transformation_1648514418175.pdf
CSCW14 Appendix Exhaustive Search of Puzzles in Operational Transformation_1648514418222.pdf
CSCW17 (Sun) Exhaustive Search and Resolution of Puzzles in OT Systems Supporting String-Wise Operations_1648514418285.pdf
ECOO04 (Imine) Formal Design and Verification of Operational Transformation Algorithms for Copies Convergence_1648514418425.pdf
TCS06 (Imine) Formal Design and Verification of Operational Transformation Algorithms for Copies Convergence_1648514418441.pdf
ECOO04 (Imine) Formal Design and Verification of Operational Transformation Algorithms for Copies Convergence_1649584009946.pdf
TCS06 (Imine) Formal Design and Verification of Operational Transformation Algorithms for Copies Convergence_1649584010121.pdf
CSCW14 (Sun) Exhaustive Search of Puzzles in Operational Transformation_1649584009043.pdf
CSCW14 Appendix Exhaustive Search of Puzzles in Operational Transformation_1649584009224.pdf
CSCW17 (Sun) Exhaustive Search and Resolution of Puzzles in OT Systems Supporting String-Wise Operations_1649584009525.pdf
TR Analysis of Operational Transformation Algorithms_1649584007969.pdf
TR Towards a Unified Theory of Operational Transformation and CRDT (Blog)_1649584008307.pdf
TR05 HLA Real Time Group Editors without Operational Transformation_1649584008648.pdf
TR95 A Counterexample to the Distributed Operational Transform and a Corrected Algorithm for Point-to-Point Communication_1649584008760.pdf
arXiv13 1302.3292 On Consistency of Operational Transformation Approach_1649584008834.pdf
ITP16 Verified Operational Transformation for Trees_1649584006886.pdf
J. Comput Applications10 A Survey on Operational Transformation Algorithms Challenges Issues and Achievements_1649584007056.pdf
Leung2013 Operational Transformation in Cooperative Software Systems_1649584007183.pdf
TPDS09 Context-Based Operational Transformation in Distributed Collaborative Editing Systems_1649584007452.pdf
TPDS10 A Fast Operational Transformation Algorithm for Mobile and Asynchronous Collaboration_1649584007702.pdf
CollaborateCom06 View-centric Operational Transformation for Collaborative Editing_1649584006013.pdf
FM14 Formal Verification of Operational Transformation_1649584006526.pdf
ICDCS15 Operational Transformation for Real-time Synchronization of Cloud Storage_1649584006767.pdf
CSCW98 (Sun) Operational Transformation in Real-time Group Editors Issues, Algorithms, and Achievements_1649584005032.pdf
CSCW09 An Admissibility-Based Operational Transformation Framework for Collaborative Editing Systems_1649584004070.pdf
CSCW12 Operational Transformation for Dependency Conflict Resolution in Real-time Collaborative 3D Design Systems_1649584004248.pdf
CSCW12 Operational Transformation for Orthogonal Conflict Resolution in Real-time Collaborative 2D Editing Systems_1649584004428.pdf
CSCW14 Achieving Convergence in Operational Transformation Conditions, Mechanisms and Systems_1649584004667.pdf
CSCW98 (Ellis) Operational Transformation in Real-time Group Editors Issues Algorithms and Achievements_1649584004856.pdf
On The Composability of the Riak DT Map Expanding From Embedded To Multi-Key Structures (PPT 2014)_1649584002842.pdf
PODC16 (Attiya) Specification and Complexity of Collaborative Text Editing (Extended Version)_1649584003194.pdf
A Framework for Verifying Conflict-free Replicated Data Types (PPT 2017)_1649584003392.pdf
CSCW04 Operational Transformation for Collaborative Word Processing_1649584003664.pdf
CSCW06 (Sun) Operation Context and Context-based Operational Transformation_1649584003781.pdf
CSCW06 An Operational Transformation Algorithm and Performance Evaluation_1649584003906.pdf
Conflict-free Replicated Data Types and Distributed Concurrent Constraint Programming (2013 Category Theory)_1649584001950.pdf
Erlang14 Derflow Distributed Deterministic Dataflow Programming for Erlang_1649584002143.pdf
JPDC18 Delta State Replicated Data Types_1649584002292.pdf
Logic and Lattices for Distributed Programming (2012)_1649584002516.pdf
OPODIS17 Designing a Planetary-Scale IMAP Service with Conflict-free Replicated Data Types_1649584002663.pdf
Verifying Replicated Data Structures Causal Consistency (Intership Proposal 2016-2017)_1649584001252.pdf
BEATCS11 Convergent and Commutative Replicated Data Types_1649584001305.pdf
BEATCS17 Composition in State-based Replicated Data Types_1649584001483.pdf
Composing Lattices and CRDTs (PPT 2013)_1649584001592.pdf
Composition of State-based CRDTs_1649584001704.pdf
IMDEA-2017-annual-report_1649583999697.pdf