Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software & patents
#
Date
Type
Name & title
Contact
1.
03 May 2018
Software
BOLDR
Query Intermediate Representation Library
NGUYEN, Kim
2.
20 Apr 2018
Software
TESL
Tagged Events Specification Language
BOULANGER, Frédéric
3.
23 Mar 2018
Software
CaRNAval
Database of RNA Recurrent Interaction Networks
DENISE, Alain
4.
22 Mar 2018
Software
Pint
Static analyzer for dynamics of Automata Networks
PAULEVE, Loïc
5.
09 Mar 2018
Software
RiseClipse
MDE for IEC standards
MARCADET, Dominique
6.
17 Feb 2018
Software
Coq
The Coq proof assistant
MELQUIOND, Guillaume
7.
22 Jan 2018
Software
ConQuR-Bio
ConQuR-Bio
COHEN-BOULAKIA, Sarah
8.
11 Jan 2018
Software
HP-Combi
High Performance Combinatorics
HIVERT, Florent
9.
01 Jan 2018
Software
Silicell Maker
Silicell Maker: computer aided synthetic bionetwork design system
AMAR, Patrick
10.
18 Dec 2017
Software
Iris
A Higher-Order Concurrent Separation Logic Framework implemented and verified in the proof assistant Coq.
JOURDAN, Jacques-Henri
11.
15 Dec 2017
Software
LiCoRNA
aLignment of Complex RNAs
DENISE, Alain
12.
01 Dec 2017
Software
Sage-Combinat
To improve the open source mathematical system Sage
THIÉRY, Nicolas
13.
01 Dec 2017
Software
SageMath
A free open-source mathematics software system
THIÉRY, Nicolas
14.
01 Nov 2017
Software
MAGMA
Contribution to numerical linear algebra libraries
BABOULIN, Marc
15.
01 Nov 2017
Software
Codalab
Codalab
GUYON, Isabelle
16.
20 Oct 2017
Software
Smarties
The Smarties Input System
CHAPUIS, Olivier
17.
22 Sep 2017
Patent
Synchro CORAC
Synchronization mechanism for critical systems
BOULANGER, Frédéric
18.
15 Sep 2017
Software
Coq.Interval
The Coq.Interval library for automatically proving bounds of real-valued expressions
MELQUIOND, Guillaume
19.
07 Sep 2017
Software
The Coquelicot library
The Coquelicot library
BOLDO, Sylvie
20.
15 Aug 2017
Software
GARN
Game Algorithms for RNa 3D sampling
DENISE, Alain
21.
31 Jan 2017
Software
SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes
SAFAR, Brigitte
22.
09 Jan 2017
Software
Gappa
Gappa, a tool for certifying numerical applications
MELQUIOND, Guillaume
23.
01 Jan 2017
Software
OntoEvent-B
A Generator of Event-B contexts from Ontologies
AIT-SADOUNE, Idir
24.
01 Mar 2016
Software
SMTCoq
Coq plugin that checks proof witnesses coming from external SAT and SMT solvers
KELLER, Chantal
25.
26 Oct 2015
Software
Coq-Combi
Algebraic combinatorics in Coq
HIVERT, Florent
1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - Suivant [Page 1 sur 8]