Auteurs
Checkpoint
Crin
Racine
Checkpoint
Crin
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Crin)

Index « Auteurs » - entrée « Gérald Oster »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Gérald Masini < Gérald Oster < Gérald Tenenbaum  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 18.
Ident.Authors (with country if any)Title
000097 (2005) Gérald Oster ; Pascal Urso ; Pascal Molli ; Abdessamad ImineEdition collaborative sur réseau pair-à-pair à large échelle
000160 (2005) Abdessamad Imine ; Michaël Rusinowitch ; Gérald Oster ; Pascal MolliFormal Design and Verification of Operational Transformation Algorithms for Copies Convergence
000176 (2005) Abdessamad Imine ; Pascal Molli ; Gérald Oster ; Michaël RusinowitchTowards Synchronizing Linear Collaborative Objects with Operation Transformation
000296 (2005) Gérald Oster ; Pascal Urso ; Pascal Molli ; Hala Molli-Skaf ; Abdessamad ImineOptimistic Replication for Massive Collaborative Editing
000313 (2005) Gérald Oster ; Pascal Urso ; Pascal Molli ; Abdessamad ImineReal time group editors without Operational transformation
000378 (2005) Gérald OsterRéplication optimiste et cohérence des données dans les environnements collaboratifs répartis
000602 (2004) Gérald Oster ; Pascal Molli ; Hala Skaf-Molli ; Abdessamad ImineUn modèle sûr et générique pour la synchronisation de données divergentes
000605 (2004) Abdessamad Imine ; Pascal Molli ; Gérald Oster ; Michaël RusinowitchDeductive Verification of Distributed Groupware Systems
000683 (2004) Abdessamad Imine ; Pascal Molli ; Gérald Oster ; Michaël RusinowitchAchieving Convergence with Operational Transformation in Distributed Groupware Systems
000797 (2004) Claude Godart ; Pascal Molli ; Gérald Oster ; Olivier Perrin ; Hala Skaf-Molli ; Pradeep Ray ; Fethi RabhiThe ToxicFarm Integrated Cooperation Framework for Virtual Teams
000B36 (2003) Pascal Molli ; Gérald Oster ; Hala Skaf-Molli ; Abdessamad ImineUsing the Transformational Approach to Build a Safe and Generic Data Synchronizer
000B79 (2003) Abdessamad Imine ; Pascal Molli ; Gérald Oster ; Michaël RusinowitchProving Correctness of Transformation Functions in Real-Time Groupware
000C71 (2003) Hala Skaf-Molli ; Pascal Molli ; Gérald OsterSemantic Consistency for Collaborative Systems
000D16 (2003) Abdessamad Imine ; Pascal Molli ; Gérald Oster ; Pascal UrsoVOTE : Group Editors Analyzing Tool
000D69 (2003) Pascal Molli ; Gérald Oster ; Hala Skaf-Molli ; Abdessamad ImineSafe Generic Data Synchronizer
001097 (2002) Pascal Molli ; Hala Skaf-Molli ; Gérald Oster ; Sébastien JourdainSAMS : Synchronous, Asynchronous, Multi-Synchronous Environments
001226 (2002) Imine Abdessamad ; Pascal Molli ; Gérald Oster ; Michaël RusinowitchDevelopment of Transformation Functions Assisted by a Theorem Prover
001931 (2000) Jean-Charles Lamirel [France] ; Jacques Ducloy ; Gérald OsterAdaptive browsing for information discovery in an iconographic context

List of associated KwdEn.i

Nombre de
documents		Descripteur
7operational transformation
3distributed systems
2optimistic replication
2synchronization
2theorem prover
2transformation functions
2transformational approach
1Systèmes collaboratifs
1algebraic specification
1awareness provisioning
1classification
1cohérence des données
1constraints
1convergence
1coordination
1cscw
1data mining
1digital library
1divergence
1e-business
1first order logique
1formal verification
1groupware
1information retrieval
1multi-synchronous
1multimedia
1neural networks
1operational transposition
1real time groupware
1replicated data consistency
1rewriting
1réconciliation
1réplication optimiste
1semantic consistency
1synchronization reconciliating
1therorem prover
1transformées opérationnelles
1user interface
1virtual teams
1vérification formelle
1web services
1workflow
1xml

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i -k "Gérald Oster" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i  \
                -Sk "Gérald Oster" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    Gérald Oster
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022