# |
![](images/fleche-bas.jpg) Date ![](images/fleche-haut.jpg) |
![](images/fleche-bas.jpg) Type ![](images/fleche-haut.jpg) |
![](images/fleche-bas.jpg) Nom et Titre ![](images/fleche-haut.jpg) |
![](images/fleche-bas.jpg) Responsable ![](images/fleche-haut.jpg) |
![](images/spacer.gif) |
1. |
01 janv. 2021 |
Logiciel |
Codalabopen source framework for running competitions |
GUYON, Isabelle |
![](images/spacer.gif) |
2. |
20 juin 2020 |
Logiciel |
DNADNADeep Neural Architectures for DNA |
JAY, Flora |
![](images/spacer.gif) |
3. |
02 déc. 2019 |
Logiciel |
|
CAILLOU, Philippe |
![](images/spacer.gif) |
4. |
24 mai 2018 |
Logiciel |
|
APPERT, Caroline |
![](images/spacer.gif) |
5. |
15 mai 2018 |
Logiciel |
LODAtlasBrowsing Linked Data Catalogs with LODAtlas |
PIETRIGA, Emmanuel |
![](images/spacer.gif) |
6. |
03 mai 2018 |
Logiciel |
BOLDRQuery Intermediate Representation Library |
NGUYEN, Kim |
![](images/spacer.gif) |
7. |
20 avril 2018 |
Logiciel |
TESLTagged Events Specification Language |
BOULANGER, Frédéric |
![](images/spacer.gif) |
8. |
29 mars 2018 |
Logiciel |
MapMosaicDynamic Layer Compositing for Interactive Geovisualization |
PIETRIGA, Emmanuel |
![](images/spacer.gif) |
9. |
29 mars 2018 |
Logiciel |
BaiaAdvanced animated transitions between before-and-after satellite images |
PIETRIGA, Emmanuel |
![](images/spacer.gif) |
10. |
23 mars 2018 |
Logiciel |
CaRNAvalDatabase of RNA Recurrent Interaction Networks |
DENISE, Alain |
![](images/spacer.gif) |
11. |
22 mars 2018 |
Logiciel |
PintStatic analyzer for dynamics of Automata Networks |
PAULEVE, Loïc |
![](images/spacer.gif) |
12. |
09 mars 2018 |
Logiciel |
|
MARCADET, Dominique |
![](images/spacer.gif) |
13. |
17 févr. 2018 |
Logiciel |
CoqL'assistant de preuve Coq |
MELQUIOND, Guillaume |
![](images/spacer.gif) |
14. |
22 janv. 2018 |
Logiciel |
|
COHEN-BOULAKIA, Sarah |
![](images/spacer.gif) |
15. |
11 janv. 2018 |
Logiciel |
|
HIVERT, Florent |
![](images/spacer.gif) |
16. |
01 janv. 2018 |
Logiciel |
Silicell MakerSilicell Maker: computer aided synthetic bionetwork design system |
AMAR, Patrick |
![](images/spacer.gif) |
17. |
01 janv. 2018 |
Logiciel |
|
GERMAIN, Cécile |
![](images/spacer.gif) |
18. |
18 déc. 2017 |
Logiciel |
IrisUne logique de séparation d'ordre supérieur implémentée dasn l'assistant de preuve Coq |
JOURDAN, Jacques-Henri |
![](images/spacer.gif) |
19. |
15 déc. 2017 |
Logiciel |
|
DENISE, Alain |
![](images/spacer.gif) |
20. |
01 déc. 2017 |
Logiciel |
|
THIÉRY, Nicolas |
![](images/spacer.gif) |
21. |
01 déc. 2017 |
Logiciel |
SageMathUn logiciel open-source de mathématiques générales |
THIÉRY, Nicolas |
![](images/spacer.gif) |
22. |
13 nov. 2017 |
Logiciel |
HOL-TestGenGénérateur de tests à partir de spécifications HOL |
WOLFF, Burkhart |
![](images/spacer.gif) |
23. |
01 nov. 2017 |
Logiciel |
MAGMAContribution to numerical linear algebra libraries |
BABOULIN, Marc |
![](images/spacer.gif) |
24. |
20 oct. 2017 |
Logiciel |
|
CHAPUIS, Olivier |
![](images/spacer.gif) |
25. |
20 oct. 2017 |
Brevet |
CommandBoardDispositif informatique à interface tactile améliorée et procédé correspondant |
MACKAY, Wendy |
![](images/spacer.gif) |
![](images/spacer.gif) |
1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 1 sur 9] |