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
126.
01 janv. 2014
Logiciel
MultiBoost
MultiBoost
KÉGL, Balázs
127.
01 mars 2016
Logiciel
SMTCoq
Plug-in de communication entre Coq et prouveurs externes
KELLER, Chantal
128.
01 janv. 2014
Logiciel
covTrack
Robust and realtime multitarget covariance tracking
LACASSAGNE, Lionel
129.
01 janv. 2014
Logiciel
myNRC2.0
Smart memory allocator
LACASSAGNE, Lionel
130.
15 sept. 2013
Logiciel
ACM-ES
Surrogate models for CMA-ES
LOSHCHILOV, Ilya
131.
20 oct. 2017
Brevet
CommandBoard
Dispositif informatique à interface tactile améliorée et procédé correspondant
MACKAY, Wendy
132.
08 janv. 2014
Logiciel
ReactiveML
le langage ReactiveML
MANDEL, Louis
133.
01 janv. 2011
Logiciel
LiquidXML
LiquidXML
MANOLESCU-GOUJOT, Ioana
134.
01 janv. 2013
Logiciel
ViP2P
views in peer-to-peer
MANOLESCU-GOUJOT, Ioana
135.
01 janv. 2011
Logiciel
AnnoVip
AnnoVip
MANOLESCU-GOUJOT, Ioana
136.
01 avril 2013
Logiciel
EdiFlow
EdiFlow: workflows intéractifs pour l'analyse de données
MANOLESCU-GOUJOT, Ioana
137.
01 janv. 2013
Logiciel
RDFViews
RDFViews
MANOLESCU-GOUJOT, Ioana
138.
01 janv. 2006
Logiciel
KadoP
Système d'indexation et d'interrogation XML en P2P
MANOLESCU-GOUJOT, Ioana
139.
09 mars 2018
Logiciel
RiseClipse
IDM pour les standards de l'IEC
MARCADET, Dominique
140.
24 nov. 2011
Logiciel
Krakatoa
Outil Krakatoa de vérification de programmes Java
MARCHÉ, Claude
141.
23 sept. 2013
Logiciel
Frama-C
Framework for Modular Analysis of C
MARCHÉ, Claude
142.
20 janv. 2001
Brevet
Traffic unification in wild networks
Traffic unification in wild networks
MARTIN, Steven
143.
17 févr. 2018
Logiciel
Coq
L'assistant de preuve Coq
MELQUIOND, Guillaume
144.
15 sept. 2017
Logiciel
Coq.Interval
Bibliothèque Coq.Interval de preuve automatique de bornes sur des expressions à valeurs réelles
MELQUIOND, Guillaume
145.
09 janv. 2017
Logiciel
Gappa
Outil Gappa de certification de programmes numériques
MELQUIOND, Guillaume
146.
03 mai 2018
Logiciel
BOLDR
Query Intermediate Representation Library
NGUYEN, Kim
147.
22 sept. 2014
Logiciel
Causalex
Causality Graph Explorer
PAULEVE, Loïc
148.
22 mars 2018
Logiciel
Pint
Static analyzer for dynamics of Automata Networks
PAULEVE, Loïc
149.
01 janv. 2007
Logiciel
Program
Program : un langage de programmation avec types dépendants dans Coq
PAULIN-MOHRING, Christine
150.
01 janv. 2014
Logiciel
ALEA
ALEA : A library for reasoning on random algorithms in Coq
PAULIN-MOHRING, Christine
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 6 sur 9]