|
Search the dblp DataBase
Aude Maignan:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis
Translating Discrete-Time Simulink to Lustre. [Citation Graph (0, 0)][DBLP] EMSOFT, 2003, pp:84-99 [Conf]
- Jean Della Dora, Aude Maignan, Mihaela Mirica-Ruse, Sergio Yovine
Hybrid computation. [Citation Graph (0, 0)][DBLP] ISSAC, 2001, pp:101-108 [Conf]
- Aude Maignan
Solving One and Two-Dimensional Exponential Polynomial Systems. [Citation Graph (0, 0)][DBLP] ISSAC, 1998, pp:215-221 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] LCTES, 2003, pp:153-162 [Conf]
- Aude Maignan
On Symbolic-Numeric Solving of Sine-Polynomial Equations. [Citation Graph (0, 0)][DBLP] J. Complexity, 2000, v:16, n:1, pp:274-285 [Journal]
Search in 0.001secs, Finished in 0.001secs
|