# |
Date |
Type |
Name & title |
Contact |
|
76. |
01 Jan 2013 |
Software |
|
BOLDO, Sylvie |
|
77. |
01 Jan 2014 |
Software |
PAXQuerymassively parallel processing of XQuery queries |
CAMACHO RODRIGUEZ, Jesus |
|
78. |
01 Jan 2012 |
Software |
|
GRIGORI, Laura |
|
79. |
01 Jan 1970 |
Software |
PactoleCoq formalisation a mobile sensors networks. |
BALABONSKI, Thibaut |
|
80. |
27 Jan 2015 |
Software |
OrpheaPseudo-knot RNA sequence finder |
AMAR, Patrick |
|
81. |
01 Jan 2007 |
Software |
OptimAXAlgebraic optimizer for Active XML |
ABITEBOUL, Serge |
|
82. |
01 Jan 2013 |
Software |
|
CAPPELLO, Franck |
|
83. |
10 Feb 2014 |
Software |
|
BASTOUL, Cédric |
|
84. |
01 Jan 2017 |
Software |
OntoEvent-BA Generator of Event-B contexts from Ontologies |
AIT-SADOUNE, Idir |
|
85. |
01 Jun 2000 |
Software |
|
GOASDOUE, François |
|
86. |
04 Feb 2014 |
Software |
|
FILLIÂTRE, Jean-Christophe |
|
87. |
24 Aug 2009 |
Software |
|
CHAPUIS, Olivier |
|
88. |
03 Oct 2014 |
Software |
NT2The Numerical Template Toolbox |
FALCOU, Joël |
|
89. |
07 Aug 2009 |
Software |
|
DENISE, Alain |
|
90. |
01 Jan 2014 |
Software |
|
HERSCHEL, Mélanie |
|
91. |
01 Jan 2014 |
Software |
|
LACASSAGNE, Lionel |
|
92. |
01 Jan 2014 |
Software |
|
KÉGL, Balázs |
|
93. |
01 May 2007 |
Software |
MPICH-VMessage Passing Interface For Volatile Resources |
HERAULT, Thomas |
|
94. |
01 Jan 2014 |
Software |
|
TEYTAUD, Olivier |
|
95. |
17 Jul 2014 |
Software |
ModHelXModHel'X - A framework for heterogeneous modeling |
BOULANGER, Frédéric |
|
96. |
01 Jan 2014 |
Software |
MlpostMlpost: an Objective Caml interface to Metapost |
FILLIÂTRE, Jean-Christophe |
|
97. |
01 Jan 2013 |
Software |
MetisseWindowing System to explore inovative window management techniques |
CHAPUIS, Olivier |
|
98. |
01 Jan 2014 |
Software |
|
TEYTAUD, Olivier |
|
99. |
15 Oct 2012 |
Software |
|
FALCOU, Joël |
|
100. |
01 Aug 2009 |
Software |
|
REYNAUD, Chantal |
|
|
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 4 sur 9] |