Gérald Oster

Available identifiers

zbMath Open oster.geraldMaRDI QIDQ820127

List of research outcomes

Publication	Date of Publication	Type
Building a collaborative peer-to-peer wiki system on a structured overlay	2010-09-02	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005	2006-07-07	Paper
Formal design and verification of operational transformation algorithms for copies convergence	2006-04-06	Paper
Algebraic Methodology and Software Technology	2005-08-25	Paper
Scattering from cylindrically symmetric systems	1952-01-01	Paper

Research outcomes over time

This page was built for person: Gérald Oster