Mining specifications, Proc. 29 th ACM Symp. on Principles of programming languages, 2002. ,
DOI : 10.1145/565816.503275
Version management with CVS, date unknown ,
Semantic data caching and replacement, Proc. VLDB'96, pp.330-341, 1996. ,
Bugs as inconsistent behavior: A general approach to inferring errors in systems code, Proc. 18 th Symp. on Op. Sys. Principles, pp.57-72, 2001. ,
Principles of Program Analysis, 1999. ,
DOI : 10.1007/978-3-662-03811-6
Containment of conjunctive queries: beyond relations as sets, ACM Transactions on Database Systems (TODS), vol.20, issue.3, pp.288-324, 1995. ,
Decentralized replicated-object protocols, Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing , PODC '99, 1999. ,
DOI : 10.1145/301308.301345
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.2488
Flexible and safe resolution of file conflicts, Proc. USENIX Winter Tech. Conf, 1995. ,
Proving correctness of compiler optimizations by temporal logic, Proc. 29 th ACM Symp. on Principles of Programming Languages, pp.283-294, 2002. ,
A flexible object merging framework, Proceedings of the 1994 ACM conference on Computer supported cooperative work , CSCW '94, pp.231-242, 1994. ,
DOI : 10.1145/192844.193016
Pl/sql user's guide and reference -release 8, 1997. ,
Multiversion reconciliation for mobile databases, Proceedings 15th International Conference on Data Engineering (Cat. No.99CB36337), pp.582-589, 1999. ,
DOI : 10.1109/ICDE.1999.754974
Reservations for Conflict Avoidance in a Mobile Database System, Proceedings of the 1st international conference on Mobile systems, applications and services, MobiSys '03, pp.43-56, 2003. ,
DOI : 10.1145/1066116.1189038
Sqlicecube: Automatic sematics-based reconciliation for mobile databases, 2003. ,
Efficient semantics-aware reconciliation for optimistic write sharing, 2002. ,
Replication: Optimistic approaches, 2002. ,
URL : https://hal.archives-ouvertes.fr/inria-00444765
Operational transformation in real-time group editors, Proceedings of the 1998 ACM conference on Computer supported cooperative work , CSCW '98, p.59, 1998. ,
DOI : 10.1145/289444.289469
Managing update conflicts in Bayou, a weakly connected replicated storage system, Proc. 15th Symp. on Op. Sys. Principles, Copper Mountain CO (USA), 1995. ,
Commutativity-based concurrency control for abstract data types, IEEE Transactions on Computers, vol.37, issue.12, pp.1488-1505, 1988. ,