# |
Date |
Type |
Name & title |
Contact |
|
126. |
01 Jan 2014 |
Software |
CartajClassification Of RNA threeway Junctions |
DENISE, Alain |
|
127. |
01 Jan 2014 |
Software |
|
COHEN-BOULAKIA, Sarah |
|
128. |
01 Jan 2014 |
Software |
cTuningpublic repository and tools for collaborative and statistical program and architecture characterization and optimization |
FURSIN, Grigori |
|
129. |
01 Jan 2014 |
Software |
CUBICLEA PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS |
CONCHON, Sylvain |
|
130. |
01 Jan 2014 |
Software |
|
CHARGUERAUD, Arthur |
|
131. |
01 Jan 2014 |
Software |
|
KÉGL, Balázs |
|
132. |
01 Jan 2014 |
Software |
|
TEYTAUD, Olivier |
|
133. |
01 Jan 2014 |
Software |
|
CAMACHO RODRIGUEZ, Jesus |
|
134. |
01 Jan 2014 |
Software |
FactMinderA browser (Chrome) extension targeted at online fact checkers and data journalists |
GOASDOUE, François |
|
135. |
01 Jan 2014 |
Software |
WaRGWarehousing RDF Graphs |
ROATIS, Ioana-Alexandra |
|
136. |
01 Jan 2014 |
Software |
|
BEAUDOUIN-LAFON, Michel |
|
137. |
01 Jan 2014 |
Software |
|
LACASSAGNE, Lionel |
|
138. |
01 Jan 2014 |
Software |
covTrackRobust and realtime multitarget covariance tracking |
LACASSAGNE, Lionel |
|
139. |
01 Jan 2014 |
Software |
PAXQuerymassively parallel processing of XQuery queries |
CAMACHO RODRIGUEZ, Jesus |
|
140. |
01 Jan 2014 |
Software |
|
ZAMPETAKIS, Stamatis |
|
141. |
01 Jan 2014 |
Software |
SAKeyScalable Tool For Almost Key Discovery in RDF Data |
PERNELLE-MANSCOUR, Nathalie |
|
142. |
08 Jan 2014 |
Software |
|
MANDEL, Louis |
|
143. |
10 Jan 2014 |
Software |
|
BOLDO, Sylvie |
|
144. |
20 Jan 2014 |
Software |
CandlChunky Dependance Analyzer |
BASTOUL, Cédric |
|
145. |
04 Feb 2014 |
Software |
|
FILLIÂTRE, Jean-Christophe |
|
146. |
10 Feb 2014 |
Software |
|
BASTOUL, Cédric |
|
147. |
18 Feb 2014 |
Software |
SwingStatesAn extension to the Java Swing toolkit based on state machines |
APPERT, Caroline |
|
148. |
05 Mar 2014 |
Software |
Functoryplace where functional workers are manufacturing programs |
FILLIÂTRE, Jean-Christophe |
|
149. |
12 Apr 2014 |
Software |
DatacertDataCert: A coq library for Data Intensive Languages and Systems Certification |
CONTEJEAN, Evelyne |
|
150. |
17 Jul 2014 |
Software |
ModHelXModHel'X - A framework for heterogeneous modeling |
BOULANGER, Frédéric |
|
|
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 6 sur 9] |