# |
 Date  |
 Type  |
 Name & title  |
 Contact  |
 |
126. |
01 Nov 2009 |
Software |
GUIDEA Graphical User Interface for EA C++ library developpment |
SCHOENAUER, Marc |
 |
127. |
01 Jan 2014 |
Software |
|
GERMAIN, Cécile |
 |
128. |
01 Jan 2013 |
Software |
GlucoseThe solver that looks for glue clauses |
SIMON, Laurent |
 |
129. |
01 Jan 2014 |
Software |
|
BEAUDOUIN-LAFON, Michel |
 |
130. |
01 Jan 2014 |
Software |
GenRGenSGeneration of Random Genomic Sequences and Structures |
DENISE, Alain |
 |
131. |
01 Jul 2008 |
Software |
|
FROIDEVAUX, Christine |
 |
132. |
01 Jan 2014 |
Software |
|
COHEN-BOULAKIA, Sarah |
 |
133. |
11 Mar 2009 |
Software |
GCC ICIGCC Interactive Compilation Interface |
FURSIN, Grigori |
 |
134. |
15 Aug 2017 |
Software |
GARNGame Algorithms for RNa 3D sampling |
COHEN, Johanne |
 |
135. |
09 Jan 2017 |
Software |
GappaGappa, a tool for certifying numerical applications |
MELQUIOND, Guillaume |
 |
136. |
05 Mar 2014 |
Software |
Functoryplace where functional workers are manufacturing programs |
FILLIÂTRE, Jean-Christophe |
 |
137. |
23 Sep 2013 |
Software |
Frama-CFramework for Modular Analysis of C |
MARCHÉ, Claude |
 |
138. |
28 Jun 2011 |
Patent |
FR1155729Procédé pour l’extinction de routeurs dans un réseau de communications et routeur mettant en œuvre ce procédé |
AL AGHA, Khaldoun |
 |
139. |
11 Dec 2009 |
Patent |
FR0958890A method for quality-based routing in a multi-hop network |
AL AGHA, Khaldoun |
 |
140. |
01 Jan 2006 |
Patent |
FR0652963Protocole de routage ad hoc résistant aux noeuds égoïstes |
AL AGHA, Khaldoun |
 |
141. |
23 Nov 2010 |
Patent |
|
FALCOU, Joël |
 |
142. |
30 Oct 2008 |
Software |
FMFM: the Fourier-Motzkin library |
BASTOUL, Cédric |
 |
143. |
01 Jan 2013 |
Software |
|
APPERT, Caroline |
 |
144. |
10 Jan 2014 |
Software |
|
BOLDO, Sylvie |
 |
145. |
18 Dec 2006 |
Software |
FAIL-FCIFault Injection Language - Fail Cluster Implementation |
TIXEUIL, Sébastien |
 |
146. |
01 Jan 2014 |
Software |
FactMinderA browser (Chrome) extension targeted at online fact checkers and data journalists |
GOASDOUE, François |
 |
147. |
01 Apr 2013 |
Software |
EdiFlowEdiFlow: interactive workflows for data analytics |
MANOLESCU-GOUJOT, Ioana |
 |
148. |
01 Jan 2011 |
Software |
|
REYNAUD, Chantal |
 |
149. |
20 Jun 2020 |
Software |
DNADNADeep Neural Architectures for DNA |
JAY, Flora |
 |
150. |
01 Jun 2005 |
Software |
Djangotheta-subsumption test for Relational Learning |
SEBAG, Michèle |
 |
 |
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 6 sur 9] |