- 4
- 1
- 1
Pascal Molli
6
Documents
Présentation
Pr. Pascal Molli graduated from Nancy University (France) and received his Ph.D. in Computer Science from Nancy University in 1996. From 1997 to September 2010, he is Associate Professor at University of Nancy. In 1998, he participated to the creation of the INRIA ECOO (Environments for Cooperation) project. In 2001, he becomes vice-head of the INRIA ECOO Team. In October 2009, he creates and leads the [INRIA SCORE](http://score.loria.fr/) team. From September 2010 to current, he is Full Professor at [University of Nantes](http://www.univ-nantes.fr/) and is head of GDD Team in [LINA](http://www.lina.univ-nantes.fr/) research center.
Pr. Molli published more than 80 papers in software engineering, information systems, distributed systems and computer supported cooperative work (CSCW). He has served on program committee of 20 conferences or workshops. He participated to national projects such as [Libresource](http://www.libresource.org/), [Xwiki-Concerto](http://concerto.xwiki.org/), [Concordant](http://concordant.lip6.fr/),[STREAMS](http://streams.loria.fr/) and international projects such as European Project [Qualipso](http://www.qualipso.org/). He is currently the coordinator of project [Kolflow](http://kolflow.univ-nantes.fr/).
Pr. Molli mainly worked on collaborative distributed systems and focused on problems of consistency of shared data in collaborative environments and awareness models for collaborative editing.
Pr. Pascal Molli graduated from Nancy University (France) and received his Ph.D. in Computer Science from Nancy University in 1996. From 1997 to September 2010, he is Associate Professor at University of Nancy. In 1998, he participated to the creation of the INRIA ECOO (Environments for Cooperation) project. In 2001, he becomes vice-head of the INRIA ECOO Team. In October 2009, he creates and leads the [INRIA SCORE](http://score.loria.fr/) team. From September 2010 to current, he is Full Professor at [University of Nantes](http://www.univ-nantes.fr/) and is head of GDD Team in [LINA](http://www.lina.univ-nantes.fr/) research center.
Pr. Molli published more than 80 papers in software engineering, information systems, distributed systems and computer supported cooperative work (CSCW). He has served on program committee of 20 conferences or workshops. He participated to national projects such as [Libresource](http://www.libresource.org/), [Xwiki-Concerto](http://concerto.xwiki.org/), [Concordant](http://concordant.lip6.fr/),[STREAMS](http://streams.loria.fr/) and international projects such as European Project [Qualipso](http://www.qualipso.org/). He is currently the coordinator of project [Kolflow](http://kolflow.univ-nantes.fr/).
Pr. Molli mainly worked on collaborative distributed systems and focused on problems of consistency of shared data in collaborative environments and awareness models for collaborative editing.
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
|