Michel Le Borgne

	2008
6		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
5		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
4		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
3		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
2		Albert Benveniste, Michel Le Borgne, Paul Le Guernic: SIGNAL as a Model for Real-Time and Hybrid Systems. ESOP 1992: 20-38
1		Albert Benveniste, Michel Le Borgne, Paul Le Guernic: Hybrid Systems: The SIGNAL Approach. Hybrid Systems 1992: 230-254

Coauthor Index

1	Albert Benveniste	[1] [2]
2	Patricia Bournai	[4]
3	Paul Le Guernic	[1] [2] [4]
4	Carito Guziolowski	[6]
5	Hervé Marchand	[3] [4] [5]
6	Ovidiu Radulescu	[6]
7	Éric Rutten	[3] [5]
8	Mazen Samaan	[3] [5]
9	Anne Siegel	[6]
10	Philippe Veber	[6]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page