# |
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] |