| |
| 2006 | ||
|---|---|---|
| 5 | EE | Xavier Le Pallec, Cesar Olavo de Moura Filho, Raphaël Marvie, Mirabelle Nebut, Jean-Claude Tarby: Supporting Generic Methodologies to Assist IMS-LD Modeling. ICALT 2006: 923-927 |
| 2004 | ||
| 4 | EE | Karell Bertet, Mirabelle Nebut: Efficient Algorithms on the Family Associated to an Implicational System. Discrete Mathematics & Theoretical Computer Science 6(2): 315-338 (2004) |
| 3 | EE | Mirabelle Nebut: An Overview of the Signal Clock Calculus. Electr. Notes Theor. Comput. Sci. 88: 39-54 (2004) |
| 2 | EE | Mirabelle Nebut: Specification and analysis of synchronous reactions. Formal Asp. Comput. 16(3): 263-291 (2004) |
| 2002 | ||
| 1 | EE | Mirabelle Nebut, Sophie Pinchinat: A Decidable Clock Language for Synchronous Specifications. Electr. Notes Theor. Comput. Sci. 65(5): (2002) |
| 1 | Karell Bertet | [4] |
| 2 | Cesar Olavo de Moura Filho | [5] |
| 3 | Raphaël Marvie | [5] |
| 4 | Xavier Le Pallec | [5] |
| 5 | Sophie Pinchinat | [1] |
| 6 | Jean-Claude Tarby | [5] |