Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software & patents
#
Date
Type
Name & title
Contact
126.
01 Jan 2014
Software
MultiBoost
MultiBoost
KÉGL, Balázs
127.
01 Mar 2016
Software
SMTCoq
Coq plugin that checks proof witnesses coming from external SAT and SMT solvers
KELLER, Chantal
128.
01 Jan 2014
Software
covTrack
Robust and realtime multitarget covariance tracking
LACASSAGNE, Lionel
129.
01 Jan 2014
Software
myNRC2.0
Smart memory allocator
LACASSAGNE, Lionel
130.
15 Sep 2013
Software
ACM-ES
Surrogate models for CMA-ES
LOSHCHILOV, Ilya
131.
20 Oct 2017
Patent
CommandBoard
Computer system with improved touch-based interface
MACKAY, Wendy
132.
08 Jan 2014
Software
ReactiveML
The ReactiveML language
MANDEL, Louis
133.
01 Jan 2013
Software
RDFViews
RDFViews
MANOLESCU-GOUJOT, Ioana
134.
01 Jan 2006
Software
KadoP
XML indexing and querying in P2P
MANOLESCU-GOUJOT, Ioana
135.
01 Jan 2011
Software
LiquidXML
LiquidXML
MANOLESCU-GOUJOT, Ioana
136.
01 Jan 2013
Software
ViP2P
views in peer-to-peer
MANOLESCU-GOUJOT, Ioana
137.
01 Jan 2011
Software
AnnoVip
AnnoVip
MANOLESCU-GOUJOT, Ioana
138.
01 Apr 2013
Software
EdiFlow
EdiFlow: interactive workflows for data analytics
MANOLESCU-GOUJOT, Ioana
139.
09 Mar 2018
Software
RiseClipse
MDE for IEC standards
MARCADET, Dominique
140.
23 Sep 2013
Software
Frama-C
Framework for Modular Analysis of C
MARCHÉ, Claude
141.
24 Nov 2011
Software
Krakatoa
Krakatoa Tool for Java Program Verification
MARCHÉ, Claude
142.
20 Jan 2001
Patent
Traffic unification in wild networks
Traffic unification in wild networks
MARTIN, Steven
143.
09 Jan 2017
Software
Gappa
Gappa, a tool for certifying numerical applications
MELQUIOND, Guillaume
144.
17 Feb 2018
Software
Coq
The Coq proof assistant
MELQUIOND, Guillaume
145.
15 Sep 2017
Software
Coq.Interval
The Coq.Interval library for automatically proving bounds of real-valued expressions
MELQUIOND, Guillaume
146.
03 May 2018
Software
BOLDR
Query Intermediate Representation Library
NGUYEN, Kim
147.
22 Sep 2014
Software
Causalex
Causality Graph Explorer
PAULEVE, Loïc
148.
22 Mar 2018
Software
Pint
Static analyzer for dynamics of Automata Networks
PAULEVE, Loïc
149.
01 Jan 2007
Software
Program
Program : Programming with Dependent Types in Coq
PAULIN-MOHRING, Christine
150.
01 Jan 2014
Software
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]