 | 2003 |
|---|
| 5 |       | Paul Caspi,
Adrian Curic,
Aude Maignan,
Christos Sofronis,
Stavros Tripakis:
Translating Discrete-Time Simulink to Lustre.
EMSOFT 2003: 84-99 |
| 4 | | Paul Caspi,
Adrian Curic,
Aude Maignan,
Christos Sofronis,
Stavros Tripakis,
Peter Niebert:
From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications.
LCTES 2003: 153-162 |
| 2001 |
|---|
| 3 | | Jean Della Dora,
Aude Maignan,
Mihaela Mirica-Ruse,
Sergio Yovine:
Hybrid computation.
ISSAC 2001: 101-108 |
| 2000 |
|---|
| 2 | | Aude Maignan:
On Symbolic-Numeric Solving of Sine-Polynomial Equations.
J. Complexity 16(1): 274-285 (2000) |
| 1998 |
|---|
| 1 | | Aude Maignan:
Solving One and Two-Dimensional Exponential Polynomial Systems.
ISSAC 1998: 215-221 |
