# |
 Date  |
Type |
Name & title |
Contact |
 |
126. |
01 Jan 2010 |
Software |
|
DAGUE, Philippe |
|
127. |
01 Jan 2013 |
Software |
CiMECiME: a tool box for automated deduction. |
CONTEJEAN, Evelyne |
|
128. |
12 Apr 2014 |
Software |
DatacertDataCert: A coq library for Data Intensive Languages and Systems Certification |
CONTEJEAN, Evelyne |
|
129. |
01 Jan 2014 |
Software |
|
CONTEJEAN, Evelyne |
|
130. |
01 Jan 2014 |
Software |
CUBICLEA PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS |
CONCHON, Sylvain |
|
131. |
01 Jan 2014 |
Software |
|
CONCHON, Sylvain |
|
132. |
01 Jan 2013 |
Software |
|
COLAZZO, Dario |
|
133. |
01 Jan 2013 |
Software |
XupInXML query-update independence tester |
COLAZZO, Dario |
|
134. |
01 Jan 2012 |
Software |
|
COLAZZO, Dario |
|
135. |
01 Jan 2013 |
Software |
|
COLAZZO, Dario |
|
136. |
01 Feb 2013 |
Software |
SPFlowRewriting a non SP workflow into an SP workflow while preserving provenance |
COHEN-BOULAKIA, Sarah |
|
137. |
01 Jan 2014 |
Software |
|
COHEN-BOULAKIA, Sarah |
|
138. |
04 Feb 2013 |
Software |
|
COHEN-BOULAKIA, Sarah |
|
139. |
01 Jan 2013 |
Software |
BioGuideGuiding scientists through biological sources |
COHEN-BOULAKIA, Sarah |
|
140. |
22 Jan 2018 |
Software |
|
COHEN-BOULAKIA, Sarah |
|
141. |
15 Aug 2017 |
Software |
GARNGame Algorithms for RNa 3D sampling |
COHEN, Johanne |
|
142. |
01 Jan 2010 |
Software |
SomeWhere+Paraconsistent Peer-to-Peer Consequence Finding algorithm |
CHATALIC, Philippe |
|
143. |
01 Jan 2014 |
Software |
|
CHARGUERAUD, Arthur |
|
144. |
20 Oct 2017 |
Software |
|
CHAPUIS, Olivier |
|
145. |
24 Aug 2009 |
Software |
|
CHAPUIS, Olivier |
|
146. |
01 Jan 2012 |
Software |
WMTRACELogging and visualizing user's window management activity |
CHAPUIS, Olivier |
|
147. |
01 Jan 2013 |
Software |
MetisseWindowing System to explore inovative window management techniques |
CHAPUIS, Olivier |
|
148. |
01 Jan 2013 |
Software |
|
CAPPELLO, Franck |
|
149. |
05 May 2008 |
Software |
XtremWebOpen Source Platform for Desktop Grid Computing |
CAPPELLO, Franck |
|
150. |
01 Jan 2013 |
Software |
V-DSVirtualization environment for large-scale Distributed Systems |
CAPPELLO, Franck |
|
|
| Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 6 sur 9] |
