Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciels et brevets
#
Date
Type
Nom et Titre
Responsable
1.
03 mai 2018
Logiciel
BOLDR
Query Intermediate Representation Library
NGUYEN, Kim
2.
23 mars 2018
Logiciel
CaRNAval
Database of RNA Recurrent Interaction Networks
DENISE, Alain
3.
22 mars 2018
Logiciel
Pint
Static analyzer for dynamics of Automata Networks
PAULEVE, Loïc
4.
09 mars 2018
Logiciel
RiseClipse
IDM pour les standards de l'IEC
MARCADET, Dominique
5.
17 févr. 2018
Logiciel
Coq
L'assistant de preuve Coq
MELQUIOND, Guillaume
6.
22 janv. 2018
Logiciel
ConQuR-Bio
ConQuR-Bio
COHEN-BOULAKIA, Sarah
7.
01 janv. 2018
Logiciel
Silicell Maker
Silicell Maker: computer aided synthetic bionetwork design system
AMAR, Patrick
8.
18 déc. 2017
Logiciel
Iris
Une logique de séparation d'ordre supérieur implémentée dasn l'assistant de preuve Coq
JOURDAN, Jacques-Henri
9.
15 déc. 2017
Logiciel
LiCoRNA
aLignment of Complex RNAs
DENISE, Alain
10.
01 déc. 2017
Logiciel
SageMath
Un logiciel open-source de mathématiques générales
THIÉRY, Nicolas
11.
01 déc. 2017
Logiciel
Sage-Combinat
Améliorer les fonctionnalités combinatoires de Sage
THIÉRY, Nicolas
12.
01 nov. 2017
Logiciel
Codalab
open source framework for running competitions
GUYON, Isabelle
13.
01 nov. 2017
Logiciel
MAGMA
Contribution to numerical linear algebra libraries
BABOULIN, Marc
14.
20 oct. 2017
Logiciel
Smarties
The Smarties Input System
CHAPUIS, Olivier
15.
22 sept. 2017
Brevet
Synchro CORAC
Procédé de synchronisation pour systèmes critiques
BOULANGER, Frédéric
16.
15 sept. 2017
Logiciel
Coq.Interval
Bibliothèque Coq.Interval de preuve automatique de bornes sur des expressions à valeurs réelles
MELQUIOND, Guillaume
17.
07 sept. 2017
Logiciel
The Coquelicot library
The Coquelicot library
BOLDO, Sylvie
18.
15 août 2017
Logiciel
GARN
Game Algorithms for RNa 3D sampling
DENISE, Alain
19.
31 janv. 2017
Logiciel
SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes
SAFAR, Brigitte
20.
09 janv. 2017
Logiciel
Gappa
Outil Gappa de certification de programmes numériques
MELQUIOND, Guillaume
21.
01 janv. 2017
Logiciel
OntoEvent-B
Générateur de contextes Event-B à partir des ontologies
AIT-SADOUNE, Idir
22.
01 mars 2016
Logiciel
SMTCoq
Plug-in de communication entre Coq et prouveurs externes
KELLER, Chantal
23.
01 juil. 2015
Logiciel
RBT solver
Random Butterfly Transformations
BABOULIN, Marc
24.
01 avril 2015
Logiciel
SUNFLUIDH (collaboration LIMSI)
CPU/GPU solver for Navier-Stokes equations
BABOULIN, Marc
25.
11 mars 2015
Logiciel
ZVTM
Zoomable Visual Transformation Machine
PIETRIGA, Emmanuel
1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - Suivant [Page 1 sur 8]