Author: Oliver E. Theel

Publications

Co-authors

Markus Pizka

1

Michel Raynal

1

Productive Colleagues

Markus Pizka

2

Michel Raynal

3

Publications

Theel, Oliver E. (2001): A New Verification Technique for Self-Stabilizing Distributed Algorithms based on Variable. In: HICSS 2001 , 2001, . https://csdl.computer.org/comp/proceedings/hicss/2001/0981/09/09819069abs.htm

Theel, Oliver E., Pizka, Markus (1999): Distributed Caching and Replication - Introduction. In: HICSS 1999 , 1999, . https://csdl.computer.org/comp/proceedings/hicss/1999/0001/08/00018007abs.htm

Theel, Oliver E., Raynal, Michel (1997): Static and Dynamic Adaptation of Transactional Consistency. In: HICSS 1997 , 1997, . pp. 533-542. https://csdl.computer.org/comp/proceedings/hicss/1997/7734/01/7734010533abs.htm