Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciels et brevets
#
Date
Type
Nom et Titre
Responsable
51.
01 janv. 2014
Logiciel
SAKey
Outil efficace de découverte automatique de presque-clés dans les données RDF
PERNELLE-MANSCOUR, Nathalie
52.
25 juil. 2011
Logiciel
SHIRI-Querying
Semantic Search on Heterogeneous Semi-structured Documents
PERNELLE-MANSCOUR, Nathalie
53.
01 janv. 2007
Logiciel
Program
Program : un langage de programmation avec types dépendants dans Coq
PAULIN-MOHRING, Christine
54.
01 janv. 2014
Logiciel
ALEA
ALEA : A library for reasoning on random algorithms in Coq
PAULIN-MOHRING, Christine
55.
22 sept. 2014
Logiciel
Causalex
Causality Graph Explorer
PAULEVE, Loïc
56.
22 mars 2018
Logiciel
Pint
Static analyzer for dynamics of Automata Networks
PAULEVE, Loïc
57.
03 mai 2018
Logiciel
BOLDR
Query Intermediate Representation Library
NGUYEN, Kim
58.
17 févr. 2018
Logiciel
Coq
L'assistant de preuve Coq
MELQUIOND, Guillaume
59.
15 sept. 2017
Logiciel
Coq.Interval
Bibliothèque Coq.Interval de preuve automatique de bornes sur des expressions à valeurs réelles
MELQUIOND, Guillaume
60.
09 janv. 2017
Logiciel
Gappa
Outil Gappa de certification de programmes numériques
MELQUIOND, Guillaume
61.
20 janv. 2001
Brevet
Traffic unification in wild networks
Traffic unification in wild networks
MARTIN, Steven
62.
24 nov. 2011
Logiciel
Krakatoa
Outil Krakatoa de vérification de programmes Java
MARCHÉ, Claude
63.
23 sept. 2013
Logiciel
Frama-C
Framework for Modular Analysis of C
MARCHÉ, Claude
64.
09 mars 2018
Logiciel
RiseClipse
IDM pour les standards de l'IEC
MARCADET, Dominique
65.
01 janv. 2011
Logiciel
LiquidXML
LiquidXML
MANOLESCU-GOUJOT, Ioana
66.
01 janv. 2013
Logiciel
ViP2P
views in peer-to-peer
MANOLESCU-GOUJOT, Ioana
67.
01 janv. 2011
Logiciel
AnnoVip
AnnoVip
MANOLESCU-GOUJOT, Ioana
68.
01 avril 2013
Logiciel
EdiFlow
EdiFlow: workflows intéractifs pour l'analyse de données
MANOLESCU-GOUJOT, Ioana
69.
01 janv. 2013
Logiciel
RDFViews
RDFViews
MANOLESCU-GOUJOT, Ioana
70.
01 janv. 2006
Logiciel
KadoP
Système d'indexation et d'interrogation XML en P2P
MANOLESCU-GOUJOT, Ioana
71.
08 janv. 2014
Logiciel
ReactiveML
le langage ReactiveML
MANDEL, Louis
72.
20 oct. 2017
Brevet
CommandBoard
Dispositif informatique à interface tactile améliorée et procédé correspondant
MACKAY, Wendy
73.
15 sept. 2013
Logiciel
ACM-ES
Surrogate models for CMA-ES
LOSHCHILOV, Ilya
74.
01 janv. 2014
Logiciel
covTrack
Robust and realtime multitarget covariance tracking
LACASSAGNE, Lionel
75.
01 janv. 2014
Logiciel
myNRC2.0
Smart memory allocator
LACASSAGNE, Lionel
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 3 sur 9]