| |
| 2008 | ||
|---|---|---|
| 2 | EE | Béchir Ktari, François Lajeunesse-Robert, Claude Bolduc: Solving Linear Equations in *-continuous Action Lattices. RelMiCS 2008: 289-303 |
| 2005 | ||
| 1 | EE | Claude Bolduc, Jules Desharnais: Static Analysis of Programs Using Omega Algebra with Tests. RelMiCS 2005: 60-72 |
| 1 | Jules Desharnais | [1] |
| 2 | Béchir Ktari | [2] |
| 3 | François Lajeunesse-Robert | [2] |