# |
 Date  |
 Type  |
 Nom et Titre  |
 Responsable  |
 |
51. |
30 sept. 2011 |
Logiciel |
KD2ROWL2 key discovery on RDF datasets |
PERNELLE-MANSCOUR, Nathalie |
 |
52. |
25 juil. 2011 |
Logiciel |
SHIRI-QueryingSemantic Search on Heterogeneous Semi-structured Documents |
PERNELLE-MANSCOUR, Nathalie |
 |
53. |
01 janv. 2007 |
Logiciel |
ProgramProgram : un langage de programmation avec types dépendants dans Coq |
PAULIN-MOHRING, Christine |
 |
54. |
01 janv. 2014 |
Logiciel |
ALEAALEA : A library for reasoning on random algorithms in Coq |
PAULIN-MOHRING, Christine |
 |
55. |
22 sept. 2014 |
Logiciel |
|
PAULEVE, Loïc |
 |
56. |
22 mars 2018 |
Logiciel |
PintStatic analyzer for dynamics of Automata Networks |
PAULEVE, Loïc |
 |
57. |
03 mai 2018 |
Logiciel |
BOLDRQuery Intermediate Representation Library |
NGUYEN, Kim |
 |
58. |
15 sept. 2017 |
Logiciel |
Coq.IntervalBibliothèque Coq.Interval de preuve automatique de bornes sur des expressions à valeurs réelles |
MELQUIOND, Guillaume |
 |
59. |
09 janv. 2017 |
Logiciel |
GappaOutil Gappa de certification de programmes numériques |
MELQUIOND, Guillaume |
 |
60. |
17 févr. 2018 |
Logiciel |
CoqL'assistant de preuve Coq |
MELQUIOND, Guillaume |
 |
61. |
20 janv. 2001 |
Brevet |
|
MARTIN, Steven |
 |
62. |
23 sept. 2013 |
Logiciel |
Frama-CFramework for Modular Analysis of C |
MARCHÉ, Claude |
 |
63. |
24 nov. 2011 |
Logiciel |
KrakatoaOutil Krakatoa de vérification de programmes Java |
MARCHÉ, Claude |
 |
64. |
09 mars 2018 |
Logiciel |
|
MARCADET, Dominique |
 |
65. |
01 avril 2013 |
Logiciel |
EdiFlowEdiFlow: workflows intéractifs pour l'analyse de données |
MANOLESCU-GOUJOT, Ioana |
 |
66. |
01 janv. 2013 |
Logiciel |
|
MANOLESCU-GOUJOT, Ioana |
 |
67. |
01 janv. 2006 |
Logiciel |
KadoPSystème d'indexation et d'interrogation XML en P2P |
MANOLESCU-GOUJOT, Ioana |
 |
68. |
01 janv. 2011 |
Logiciel |
|
MANOLESCU-GOUJOT, Ioana |
 |
69. |
01 janv. 2013 |
Logiciel |
ViP2Pviews in peer-to-peer |
MANOLESCU-GOUJOT, Ioana |
 |
70. |
01 janv. 2011 |
Logiciel |
|
MANOLESCU-GOUJOT, Ioana |
 |
71. |
08 janv. 2014 |
Logiciel |
|
MANDEL, Louis |
 |
72. |
20 oct. 2017 |
Brevet |
CommandBoardDispositif informatique à interface tactile améliorée et procédé correspondant |
MACKAY, Wendy |
 |
73. |
15 sept. 2013 |
Logiciel |
ACM-ESSurrogate models for CMA-ES |
LOSHCHILOV, Ilya |
 |
74. |
01 janv. 2014 |
Logiciel |
|
LACASSAGNE, Lionel |
 |
75. |
01 janv. 2014 |
Logiciel |
covTrackRobust and realtime multitarget covariance tracking |
LACASSAGNE, Lionel |
 |
 |
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 3 sur 9] |