Gérald Oster

Increasing Awareness inCollaborative Authoring through EditProfiling

S. Papadopoulou, C. Ignat, Gérald Oster, 2006 .

Development of Transformation Functions Assisted by a Theorem Prover

Pascal Molli, Michaël Rusinowitch, Gérald Oster, 2002 .

Proving Correctness of Transformation Functions Functions in Real-Time Groupware.

Pascal Molli, Abdessamad Imine, Michaël Rusinowitch, 2003 .