Abdessamad Imine
Abdessamad Imine
Associate Professor HdR at University of Lorraine, and Researcher at INRIA-LORIA of Nancy
Email verificata su loria.fr - Home page
Titolo
Citata da
Citata da
Anno
Data consistency for P2P collaborative editing
G Oster, P Urso, P Molli, A Imine
Proceedings of the 2006 20th anniversary conference on Computer supported …, 2006
2802006
Proving correctness of transformation functions in real-time groupware
A Imine, P Molli, G Oster, M Rusinowitch
ECSCW 2003, 277-293, 2003
1362003
Using the transformational approach to build a safe and generic data synchronizer
P Molli, G Oster, H Skaf-Molli, A Imine
Proceedings of the 2003 international ACM SIGGROUP conference on Supporting …, 2003
1172003
Tombstone transformation functions for ensuring consistency in collaborative editing systems
P Molli, P Urso, A Imine
2006 International Conference on Collaborative Computing: Networking …, 2006
1052006
Formal design and verification of operational transformation algorithms for copies convergence
A Imine, M Rusinowitch, G Oster, P Molli
Theoretical Computer Science 351 (2), 167-183, 2006
842006
Proving correctness of transformation functions in collaborative editing systems
G Oster, P Urso, P Molli, A Imine
INRIA, 2005
492005
Coordination model for real-time collaborative editors
A Imine
International Conference on Coordination Languages and Models, 225-246, 2009
402009
Real time group editors without operational transformation
G Oster, P Urso, P Molli, A Imine
INRIA, 2005
362005
Anonymizing social graphs via uncertainty semantics
HH Nguyen, A Imine, M Rusinowitch
Proceedings of the 10th ACM symposium on information, computer and …, 2015
292015
Conception Formelle d'Algorithmes de Réplication Optimiste Vers l'Edition Collaborative dans les Réseaux Pair-à-Pair
A Imine
éditeur inconnu, 2006
282006
Vote: Group editors analyzing tool
A Imine, P Molli, G Oster, P Urso
Electronic Notes in Theoretical Computer Science 86 (1), 153-161, 2003
262003
Development of transformation functions assisted by a theorem prover
A Imine, P Molli, G Oster, M Rusinowitch
Fourth International Workshop on Collaborative Editing, 2002
242002
A flexible access control model for distributed collaborative editors
A Imine, A Cherif, M Rusinowitch
Workshop on Secure Data Management, 89-106, 2009
232009
Detecting communities under differential privacy
HH Nguyen, A Imine, M Rusinowitch
Proceedings of the 2016 ACM on Workshop on Privacy in the Electronic Society …, 2016
222016
On model-checking optimistic replication algorithms
H Boucheneb, A Imine
Formal Techniques for Distributed Systems, 73-89, 2009
162009
A maximum variance approach for graph anonymization
HH Nguyen, A Imine, M Rusinowitch
International Symposium on Foundations and Practice of Security, 49-64, 2014
142014
On synthesizing a consistent operational transformation approach
A Randolph, H Boucheneb, A Imine, A Quintero
IEEE Transactions on Computers 64 (4), 1074-1089, 2014
142014
On consistency of operational transformation approach
A Randolph, H Boucheneb, A Imine, A Quintero
arXiv preprint arXiv:1302.3292, 2013
142013
Practical access control management for distributed collaborative editors
A Cherif, A Imine, M Rusinowitch
Pervasive and Mobile Computing 15, 62-86, 2014
132014
Differentially private publication of social graphs at linear cost
HH Nguyen, A Imine, M Rusinowitch
2015 IEEE/ACM International Conference on Advances in Social Networks …, 2015
122015
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20