Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software & patents
#
Date
Type
Name & title
Contact
51.
09 Jan 2017
Software
Gappa
Gappa, a tool for certifying numerical applications
MELQUIOND, Guillaume
52.
17 Feb 2018
Software
Coq
The Coq proof assistant
MELQUIOND, Guillaume
53.
01 Jan 2011
Software
TaxoMap Alignment
A prototype to automate semantic mappings between taxonomies
REYNAUD, Chantal
54.
01 Jan 2011
Software
LN2R-LT
A Logical method and a Numerical method for Reference Reconciliation
SAÏS, Fatiha
55.
26 Mar 2006
Software
XTAB2SML
Tool for ontology driven semantic annotation of data tables.
SAÏS, Fatiha
56.
01 Jan 2010
Software
SomeWhere+
Paraconsistent Peer-to-Peer Consequence Finding algorithm
CHATALIC, Philippe
57.
09 Jul 2008
Software
Active XML
Declarative specification of Web applications
ABITEBOUL, Serge
58.
01 Jan 2007
Software
OptimAX
Algebraic optimizer for Active XML
ABITEBOUL, Serge
59.
01 Jan 2007
Software
ULoad
Management of XML views
ABITEBOUL, Serge
60.
01 Jan 2006
Software
KadoP
XML indexing and querying in P2P
MANOLESCU-GOUJOT, Ioana
61.
01 Jan 2005
Software
Acware
Un système pour le stockage de contenus
ABITEBOUL, Serge
62.
07 Jan 2008
Software
GUNSAT
GUNSAT, a greedy local search algorithm for unsatisfiability
SIMON, Laurent
63.
12 Apr 2012
Software
Clan
Chunky Loop Analyzer
BASTOUL, Cédric
64.
15 Sep 2017
Software
Coq.Interval
The Coq.Interval library for automatically proving bounds of real-valued expressions
MELQUIOND, Guillaume
65.
20 Jan 2014
Software
Candl
Chunky Dependance Analyzer
BASTOUL, Cédric
66.
03 May 2018
Software
BOLDR
Query Intermediate Representation Library
NGUYEN, Kim
67.
16 Feb 2008
Software
LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator
BASTOUL, Cédric
68.
30 Oct 2008
Software
FM
FM: the Fourier-Motzkin library
BASTOUL, Cédric
69.
11 Mar 2009
Software
GCC ICI
GCC Interactive Compilation Interface
FURSIN, Grigori
70.
01 Jan 2013
Software
Rna3Dmotif
Software for extracting RNA tertiary motifs
DENISE, Alain
71.
03 Dec 2012
Software
PoCC
the Polyhedral Compiler Collection
BASTOUL, Cédric
72.
03 Oct 2012
Software
Coq.FP2
Coq.FP2
BOLDO, Sylvie
73.
01 Jan 2014
Software
ALEA
ALEA : A library for reasoning on random algorithms in Coq
PAULIN-MOHRING, Christine
74.
01 Jan 2014
Software
Coccinelle
Coccinelle
CONTEJEAN, Evelyne
75.
10 Feb 2014
Software
OpenScop
OpenScop
BASTOUL, Cédric
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 3 sur 9]