| |
| 2007 | ||
|---|---|---|
| 4 | EE | Grégory Batt, Ramzi Ben Salah, Oded Maler: On Timed Models of Gene Networks. FORMATS 2007: 38-52 |
| 3 | EE | Ramzi Ben Salah, Marius Bozga, Oded Maler: On timed components and their abstraction. SAVCBS 2007: 63-71 |
| 2006 | ||
| 2 | EE | Ramzi Ben Salah, Marius Bozga, Oded Maler: On Interleaving in Timed Automata. CONCUR 2006: 465-476 |
| 2003 | ||
| 1 | EE | Ramzi Ben Salah, Marius Bozga, Oded Maler: On Timing Analysis of Combinational Circuits. FORMATS 2003: 204-219 |
| 1 | Grégory Batt | [4] |
| 2 | Marius Bozga | [1] [2] [3] |
| 3 | Oded Maler | [1] [2] [3] [4] |