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
VARNA
Visualisation Applet for RNA
DENISE, Alain
127.
01 Jan 2014
Software
FactMinder
A browser (Chrome) extension targeted at online fact checkers and data journalists
GOASDOUE, François
128.
01 Jan 2014
Software
WaRG
Warehousing RDF Graphs
ROATIS, Ioana-Alexandra
129.
01 Jan 2014
Software
CUBICLE
A PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS
CONCHON, Sylvain
130.
01 Jan 2014
Software
SAKey
Scalable Tool For Almost Key Discovery in RDF Data
PERNELLE-MANSCOUR, Nathalie
131.
01 Jan 2014
Software
Cartaj
Classification Of RNA threeway Junctions
DENISE, Alain
132.
01 Jan 2014
Software
GridObservatory
Grid Observatory
GERMAIN, Cécile
133.
01 Jan 2014
Software
Alt-Ergo
The Alt-Ergo theorem prover
CONCHON, Sylvain
134.
01 Jan 2014
Software
HERSCHEL, Mélanie
135.
01 Jan 2014
Software
COCO
Comparing Continuous Optimizers
HANSEN, Nikolaus
136.
01 Jan 2014
Software
bibtex2html
Bibtex to HTML
FILLIÂTRE, Jean-Christophe
137.
01 Jan 2014
Software
ALEA
ALEA : A library for reasoning on random algorithms in Coq
PAULIN-MOHRING, Christine
138.
01 Jan 2014
Software
GeneValorization
Gene List significance at-a-glance
COHEN-BOULAKIA, Sarah
139.
01 Jan 2014
Software
Coccinelle
Coccinelle
CONTEJEAN, Evelyne
140.
01 Jan 2014
Software
CFML
CFML
CHARGUERAUD, Arthur
141.
01 Jan 2014
Software
cTuning
public repository and tools for collaborative and statistical program and architecture characterization and optimization
FURSIN, Grigori
142.
08 Jan 2014
Software
ReactiveML
The ReactiveML language
MANDEL, Louis
143.
10 Jan 2014
Software
Flocq Library
Flocq Library
BOLDO, Sylvie
144.
20 Jan 2014
Software
Candl
Chunky Dependance Analyzer
BASTOUL, Cédric
145.
04 Feb 2014
Software
ocamlgraph
Ocaml graph library
FILLIÂTRE, Jean-Christophe
146.
10 Feb 2014
Software
OpenScop
OpenScop
BASTOUL, Cédric
147.
18 Feb 2014
Software
SwingStates
An extension to the Java Swing toolkit based on state machines
APPERT, Caroline
148.
05 Mar 2014
Software
Functory
place where functional workers are manufacturing programs
FILLIÂTRE, Jean-Christophe
149.
12 Apr 2014
Software
Datacert
DataCert: A coq library for Data Intensive Languages and Systems Certification
CONTEJEAN, Evelyne
150.
17 Jul 2014
Software
ModHelX
ModHel'X - A framework for heterogeneous modeling
BOULANGER, Frédéric
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 6 sur 9]