- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| j3 |      | Philippe Veber, Carito Guziolowski, Michel Le Borgne, Ovidiu Radulescu, Anne Siegel: Inferring the role of transcription factors in regulatory networks. BMC Bioinformatics 9 (2008) |
| 2001 | ||
| j2 | | Hervé Marchand, Éric Rutten, Michel Le Borgne, Mazen Samaan: Formal verification of programs specified with signal: application to a power transformer station controller. Sci. Comput. Program. 41(1): 85-104 (2001) |
| 2000 | ||
| j1 | | Hervé Marchand, Patricia Bournai, Michel Le Borgne, Paul Le Guernic: Synthesis of Discrete-Event Controllers Based on the Signal Environment. Discrete Event Dynamic Systems 10(4): 325-346 (2000) |
| 1996 | ||
| c3 | | Michel Le Borgne, Hervé Marchand, Éric Rutten, Mazen Samaan: Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller. AMAST 1996: 271-285 |
| 1992 | ||
| c2 | | Albert Benveniste, Michel Le Borgne, Paul Le Guernic: SIGNAL as a Model for Real-Time and Hybrid Systems. ESOP 1992: 20-38 |
| c1 | | Albert Benveniste, Michel Le Borgne, Paul Le Guernic: Hybrid Systems: The SIGNAL Approach. Hybrid Systems 1992: 230-254 |
| 1 | Albert Benveniste | |
| 2 | Patricia Bournai | |
| 3 | Paul Le Guernic | |
| 4 | Carito Guziolowski | |
| 5 | Hervé Marchand | |
| 6 | Ovidiu Radulescu | |
| 7 | Éric Rutten | |
| 8 | Mazen Samaan | |
| 9 | Anne Siegel | |
| 10 | Philippe Veber |
Colors in the list of coauthors
Last update Sat May 25 18:10:07 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page