Consortium of Swiss Academic Libraries

Robust safety of timed automata

De Wulf, Martin ; Doyen, Laurent ; Markey, Nicolas ; Raskin, Jean-François

In: Formal Methods in System Design, 2008, vol. 33, no. 1-3, p. 45-84

Consortium of Swiss Academic Libraries

Optimization methods and stability of inclusions in Banach spaces

Klatte, Diethard ; Kummer, Bernd

In: Mathematical Programming, 2009, vol. 117, no. 1-2, p. 305-330

Consortium of Swiss Academic Libraries

On robust online scheduling algorithms

Gatto, Michael ; Widmayer, Peter

In: Journal of Scheduling, 2011, vol. 14, no. 2, p. 141-156