Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software & patents
#
Date
Type
Name & title
Contact
51.
01 Jan 2014
Software
SAKey
Scalable Tool For Almost Key Discovery in RDF Data
PERNELLE-MANSCOUR, Nathalie
52.
25 Jul 2011
Software
SHIRI-Querying
Semantic Search on Heterogeneous Semi-structured Documents
PERNELLE-MANSCOUR, Nathalie
53.
01 Jan 2007
Software
Program
Program : Programming with Dependent Types in Coq
PAULIN-MOHRING, Christine
54.
01 Jan 2014
Software
ALEA
ALEA : A library for reasoning on random algorithms in Coq
PAULIN-MOHRING, Christine
55.
22 Sep 2014
Software
Causalex
Causality Graph Explorer
PAULEVE, Loïc
56.
22 Mar 2018
Software
Pint
Static analyzer for dynamics of Automata Networks
PAULEVE, Loïc
57.
03 May 2018
Software
BOLDR
Query Intermediate Representation Library
NGUYEN, Kim
58.
15 Sep 2017
Software
Coq.Interval
The Coq.Interval library for automatically proving bounds of real-valued expressions
MELQUIOND, Guillaume
59.
09 Jan 2017
Software
Gappa
Gappa, a tool for certifying numerical applications
MELQUIOND, Guillaume
60.
17 Feb 2018
Software
Coq
The Coq proof assistant
MELQUIOND, Guillaume
61.
20 Jan 2001
Patent
Traffic unification in wild networks
Traffic unification in wild networks
MARTIN, Steven
62.
23 Sep 2013
Software
Frama-C
Framework for Modular Analysis of C
MARCHÉ, Claude
63.
24 Nov 2011
Software
Krakatoa
Krakatoa Tool for Java Program Verification
MARCHÉ, Claude
64.
09 Mar 2018
Software
RiseClipse
MDE for IEC standards
MARCADET, Dominique
65.
01 Apr 2013
Software
EdiFlow
EdiFlow: interactive workflows for data analytics
MANOLESCU-GOUJOT, Ioana
66.
01 Jan 2013
Software
RDFViews
RDFViews
MANOLESCU-GOUJOT, Ioana
67.
01 Jan 2006
Software
KadoP
XML indexing and querying in P2P
MANOLESCU-GOUJOT, Ioana
68.
01 Jan 2011
Software
LiquidXML
LiquidXML
MANOLESCU-GOUJOT, Ioana
69.
01 Jan 2013
Software
ViP2P
views in peer-to-peer
MANOLESCU-GOUJOT, Ioana
70.
01 Jan 2011
Software
AnnoVip
AnnoVip
MANOLESCU-GOUJOT, Ioana
71.
08 Jan 2014
Software
ReactiveML
The ReactiveML language
MANDEL, Louis
72.
20 Oct 2017
Patent
CommandBoard
Computer system with improved touch-based interface
MACKAY, Wendy
73.
15 Sep 2013
Software
ACM-ES
Surrogate models for CMA-ES
LOSHCHILOV, Ilya
74.
01 Jan 2014
Software
myNRC2.0
Smart memory allocator
LACASSAGNE, Lionel
75.
01 Jan 2014
Software
covTrack
Robust 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]