Checkpoint
Crin
Racine
Checkpoint
Crin
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

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.

Le cluster Abdessamad Imine - Gérald Oster

Terms

12Abdessamad Imine
18Gérald Oster
32Pascal Molli
4Pascal Urso
8Michaël Rusinowitch
10Hala Skaf-Molli
3Pradeep Ray

Associations

Freq.WeightAssociation
120.816Abdessamad Imine - Gérald Oster
160.667Gérald Oster - Pascal Molli
120.612Abdessamad Imine - Pascal Molli
40.577Abdessamad Imine - Pascal Urso
50.510Abdessamad Imine - Michaël Rusinowitch
90.503Hala Skaf-Molli - Pascal Molli
60.500Gérald Oster - Michaël Rusinowitch
40.471Gérald Oster - Pascal Urso
60.447Gérald Oster - Hala Skaf-Molli
60.375Michaël Rusinowitch - Pascal Molli
40.354Pascal Molli - Pascal Urso
30.306Pascal Molli - Pradeep Ray
Documents par ordre de pertinence
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
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
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
000C71 (2003) Hala Skaf-Molli ; Pascal Molli ; Gérald OsterSemantic Consistency for Collaborative Systems
000C79 (2003) Hala Skaf-Molli ; Pascal Molli ; Gerald Oster ; Claude Godart ; Pradeep Ray ; Fethi RabhiToxic Farm : a cooperative management platform for virtual teams and enterprises
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
000788 (2004) Fahrad Daneshgar ; Pradeep Ray ; Fethi Rahbi ; Hala Molli ; Pascal Molli ; Claude GodartKnowledge Sharing Infrastructures for Teams within Virtual Communities
000F36 (2002) Pascal Molli ; Hala Skaf-Molli ; Gerald OsterDivergence Awareness for Virtual Team through the Web
002016 (1999) Abdelmajid Bouazza ; Hala Skaf-Molli ; Pascal MolliCoordinating Virtual Teams by Measuring Group Divergence
000193 (2005) Alessandro Armando ; David Basin ; Yohan Boichut ; Yannick Chevalier ; Luca Compagna ; Jorge Cuellar ; Paul Hankes Drielsma ; Pierre-Cyril Héam ; O. Kouchnarenko ; Jacopo Mantovani ; Sebastian Mödersheim ; David Von Oheimb ; Michaël Rusinowitch ; Judson Santos Santiago ; Mathieu Turuani ; Luca Vigano ; Laurent VigneronThe AVISPA Tool for the automated validation of internet security protocols and applications
000378 (2005) Gérald OsterRéplication optimiste et cohérence des données dans les environnements collaboratifs répartis
001246 (2002) François Charoy ; Claude Godart ; Pascal Molli ; Gerald Oster ; Marc Patten ; Miguel ValdesServices for Virtual Teams Hosting : ToxicFarm Introduction
001931 (2000) Jean-Charles Lamirel [France] ; Jacques Ducloy ; Gérald OsterAdaptive browsing for information discovery in an iconographic context
001967 (2000) Daniela Grigori ; Hala Skaf-Molli ; François CharoyAdding Flexibility in a Cooperative Workflow Execution Engine
001978 (2000) Abdelmajid Bouazza ; Pascal MolliUnifying coupled and uncoupled collaborative work in virtual teams
001E85 (1999) Gérôme Canals ; Pascal Molli ; Claude GodartSupport for End User Participation using Replicated Versions & Group Communication
002055 (1999) Claude Godart ; Pascal Molli ; Olivier PerrinModeling and enacting processes. Some difficulties.
002074 (1998) Pascal Molli ; Laurent AndreyJava Lectures Notes
002097 (1998) Gérôme Canals ; Christophe Bouthier ; Claude Godart ; Pascal MolliTuamotu : Une infrastructure distribuée pour le support des entreprise-projets
002267 (1998) Gérôme Canals ; Claude Godart ; Pascal Molli ; Manuel MunierA Criterion to Enforce Correctness of Indirectly Cooperating Applications
002272 (1998) Gérôme Canals ; Pascal Molli ; Claude GodartTuaMotu : Support for Telecooperative Engineering Applications using Replicated Versions
002332 (1998) Gérôme Canals ; Claude Godart ; François Charoy ; Pascal Molli ; Hala SkafCOO Approach to Support Cooperation in Software Developments
002341 (1998) Narjes Berregeb ; Adel Bouhoula ; Michaël RusinowitchObservational Proofs with Critical Contexts
002762 (1997) Pascal MolliCOO-Transactions : Supporting Cooperative Work
002763 (1997) Pascal Molli ; Manuel Munier ; Gérôme Canals ; François Charoy ; Claude GodartCOO-serializability : A Correctness Criterion for Cooperative Executions
002952 (1996) Claude Godart ; Gérôme Canals ; François Charoy ; Pascal Molli ; Hala SkafDesigning and Implementing COO : Design Process, Architectural Style, Lessons Learned
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