Gérald Oster
6
Documents
Identifiants chercheurs
- gerald-oster
- 0000-0002-3861-9365
- Google Scholar : https://scholar.google.fr/citations?user=fCCNEZMAAAAJ
Présentation
Gérald Oster est maître de conférences de l'Université de Lorraine en poste à TELECOM Nancy depuis septembre 2006. Il a obtenu son Doctorat en Informatique de Nancy-Université en 2005 et a été chercheur post-doctorant à l'ETH Zurich (Suisse).
Son expertise porte sur les systèmes collaboratifs à large échelle avec un accent particulier sur les mécanismes de réplication de données et leurs applications. Il a coordonné le projet ANR STREAMS et a participé à plusieurs projets de recherche et transfert technologique tels que les projets EU FP6 QualiPSo, RNTL LibreSource and RNTL XWiki Concerto , DGCIS Wiki 3.0 et ANR ConcoRDanT.
Gérald Oster est maître de conférences de l'Université de Lorraine en poste à TELECOM Nancy depuis septembre 2006. Il a obtenu son Doctorat en Informatique de Nancy-Université en 2005 et a été chercheur post-doctorant à l'ETH Zurich (Suisse).
Son expertise porte sur les systèmes collaboratifs à large échelle avec un accent particulier sur les mécanismes de réplication de données et leurs applications. Il a coordonné le projet ANR STREAMS et a participé à plusieurs projets de recherche et transfert technologique tels que les projets EU FP6 QualiPSo, RNTL LibreSource and RNTL XWiki Concerto , DGCIS Wiki 3.0 et ANR ConcoRDanT.
Publications
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 6
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
Formal Design and Verification of Operational Transformation Algorithms for Copies ConvergenceTheoretical Computer Science, 2006, Algebraic Methodology and Software Technology, 351 (2), pp.167--183. ⟨10.1016/j.tcs.2005.09.066⟩
Article dans une revue
inria-00000426v1
|
|
Towards Synchronizing Linear Collaborative Objects with Operation TransformationInternational Conference on Formal Techniques for Networked and Distributed Systems - FORTE 2005, Oct 2005, Taipei/Taiwan, pp.411-427
Communication dans un congrès
inria-00000427v1
|
Deductive Verification of Distributed Groupware SystemsTenth International Conference on Algebraic Methodology and Software Technology - AMAST 2004, 2004, Stirling, Scotland, United Kingdom, pp.226-240
Communication dans un congrès
inria-00099986v1
|
|
|
Proving Correctness of Transformation Functions in Real-Time Groupware8th European Conference of Computer-supported Cooperative Work - ECSCW'03, 2003, Helsinki, Finland, 18 p
Communication dans un congrès
inria-00107652v1
|
|
Development of Transformation Functions Assisted by a Theorem ProverFourth International Workshop on Collaborative Editing 2002 - ACM CSCW'2002, 2002, Nouvelle-Orléans, USA, 8 p
Communication dans un congrès
inria-00107574v1
|
|
Achieving Convergence with Operational Transformation in Distributed Groupware Systems[Research Report] RR-5188, INRIA. 2004, pp.19
Rapport
inria-00071398v1
|