# |
 Date  |
Type |
Name & title |
Contact |
 |
1. |
15 Sep 2013 |
Software |
ACM-ESSurrogate models for CMA-ES |
LOSHCHILOV, Ilya |
|
2. |
09 Jul 2008 |
Software |
Active XMLDeclarative specification of Web applications |
ABITEBOUL, Serge |
|
3. |
01 Jan 2005 |
Software |
AcwareUn système pour le stockage de contenus |
ABITEBOUL, Serge |
|
4. |
01 Jan 2014 |
Software |
ALEAALEA : A library for reasoning on random algorithms in Coq |
PAULIN-MOHRING, Christine |
|
5. |
01 Jan 2011 |
Software |
|
SAFAR, Brigitte |
|
6. |
01 Jan 2014 |
Software |
|
CONCHON, Sylvain |
|
7. |
01 Jan 2014 |
Software |
|
CAMACHO RODRIGUEZ, Jesus |
|
8. |
01 Jan 2011 |
Software |
|
MANOLESCU-GOUJOT, Ioana |
|
9. |
01 Jan 2013 |
Software |
APMCApproximate Probabilistic Model Checker |
PEYRONNET, Sylvain |
|
10. |
06 Jun 2012 |
Software |
aSHIIPA random topology generator of interdomain |
WEISSER, Marc-Antoine |
|
11. |
05 Dec 2005 |
Software |
AuGuSTeStatistical Testing of C Programs |
VOISIN, Frédéric |
|
12. |
29 Mar 2018 |
Software |
BaiaAdvanced animated transitions between before-and-after satellite images |
PIETRIGA, Emmanuel |
|
13. |
01 Jan 2014 |
Software |
|
FILLIÂTRE, Jean-Christophe |
|
14. |
01 Jan 2013 |
Software |
BioGuideGuiding scientists through biological sources |
COHEN-BOULAKIA, Sarah |
|
15. |
15 Nov 2012 |
Software |
BitDewMiddleware for Large Scale Data Management and Distribution |
FEDAK, Gilles |
|
16. |
03 May 2018 |
Software |
BOLDRQuery Intermediate Representation Library |
NGUYEN, Kim |
|
17. |
01 Jan 2010 |
Software |
|
DAGUE, Philippe |
|
18. |
31 Oct 2011 |
Software |
BSP++The C++ Bulk Synchronous Parallelism Library |
FALCOU, Joël |
|
19. |
17 Sep 2004 |
Software |
CaduceusCaduceus Tool for C Program Verification |
FILLIÂTRE, Jean-Christophe |
|
20. |
01 Jan 2012 |
Software |
CALUfor multicore architectures |
GRIGORI, Laura |
|
21. |
20 Jan 2014 |
Software |
CandlChunky Dependance Analyzer |
BASTOUL, Cédric |
|
22. |
01 Jan 2010 |
Software |
|
TEMAM, Olivier |
|
23. |
23 Mar 2018 |
Software |
CaRNAvalDatabase of RNA Recurrent Interaction Networks |
DENISE, Alain |
|
24. |
01 Jan 2014 |
Software |
CartajClassification Of RNA threeway Junctions |
DENISE, Alain |
|
25. |
02 Dec 2019 |
Software |
|
CAILLOU, Philippe |
|
|
| 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 1 sur 9] |
