 | 2011 |
|---|
| 7 |       | Karine Deschinkel,
Sid Ahmed Ali Touati,
Sébastien Briais:
SIRALINA: efficient two-steps heuristic for storage optimisation in single period task scheduling.
J. Comb. Optim. 22(4): 819-844 (2011) |
| 2007 |
|---|
| 6 | | Sébastien Briais,
Uwe Nestmann:
Open bisimulation, revisited.
Theor. Comput. Sci. 386(3): 236-271 (2007) |
| 5 | | Sébastien Briais,
Uwe Nestmann:
A formal semantics for protocol narrations.
Theor. Comput. Sci. 389(3): 484-511 (2007) |
| 2006 |
|---|
| 4 | | Sébastien Briais,
Uwe Nestmann:
Open Bisimulation, Revisited.
Electr. Notes Theor. Comput. Sci. 154(3): 109-123 (2006) |
| 2005 |
|---|
| 3 | | Sébastien Briais,
Uwe Nestmann:
A Formal Semantics for Protocol Narrations.
TGC 2005: 163-181 |
| 2004 |
|---|
| 2 | | Johannes Borgström,
Sébastien Briais,
Uwe Nestmann:
Symbolic Bisimulation in the Spi Calculus.
CONCUR 2004: 161-176 |
| 2002 |
|---|
| 1 |  | Sébastien Briais,
Uwe Nestmann:
Mobile Objects "Must" Move Safely.
FMOODS 2002: 129-146 |
Data released under the ODC-BY 1.0 license — See also our legal information page