26.

22 sept. 2017

Brevet

Synchro CORAC
Procédé de synchronisation pour systèmes critiques

BOULANGER, Frédéric

27.

15 sept. 2017

Logiciel

Coq.Interval
Bibliothèque Coq.Interval de preuve automatique de bornes sur des expressions à valeurs réelles

MELQUIOND, Guillaume

28.

07 sept. 2017

Logiciel

The Coquelicot library
The Coquelicot library

BOLDO, Sylvie

29.

15 août 2017

Logiciel

HOL-OCL
Un systeme de preuve pour UML/OCL

WOLFF, Burkhart

30.

15 août 2017

Logiciel

GARN
Game Algorithms for RNa 3D sampling

COHEN, Johanne

31.

30 juin 2017

Logiciel

DIGISCAPE
Middleware de téléprésence

GLADIN, Olivier

32.

31 janv. 2017

Logiciel

SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes

SAFAR, Brigitte

33.

09 janv. 2017

Logiciel

Gappa
Outil Gappa de certification de programmes numériques

MELQUIOND, Guillaume

34.

01 janv. 2017

Logiciel

OntoEvent-B
Générateur de contextes Event-B à partir des ontologies

AIT-SADOUNE, Idir

35.

01 sept. 2016

Logiciel

CQAPri
Consistent Query Answering with Priorities

BOURGAUX, Camille

36.

01 mars 2016

Logiciel

SMTCoq
Plug-in de communication entre Coq et prouveurs externes

KELLER, Chantal

37.

01 mars 2016

Logiciel

VICKEY
Mining Conditional Keys on Knowledge Bases

PERNELLE-MANSCOUR, Nathalie

38.

26 oct. 2015

Logiciel

Coq-Combi
Algebraic combinatorics in Coq

HIVERT, Florent

39.

10 juil. 2015

Logiciel

WildOS
Middleware pour salles interactives

BEAUDOUIN-LAFON, Michel

40.

01 juil. 2015

Logiciel

RBT solver
Random Butterfly Transformations

BABOULIN, Marc

41.

01 juin 2015

Logiciel

UnityCluster
Middleware pour applications Unity3D réparties

FLEURY, Cédric

42.

01 avril 2015

Logiciel

SUNFLUIDH (collaboration LIMSI)
CPU/GPU solver for Navier-Stokes equations

BABOULIN, Marc

43.

11 mars 2015

Logiciel

ZVTM
Zoomable Visual Transformation Machine

PIETRIGA, Emmanuel

44.

11 mars 2015

Logiciel

ZGRViewer
A GraphViz/DOT Viewer

PIETRIGA, Emmanuel

45.

27 janv. 2015

Logiciel

Orphea
Pseudo-knot RNA sequence finder

AMAR, Patrick

46.

01 janv. 2015

Logiciel

PigReuse
2 platform for specifying and exploiting warehouses of RDF data

CAMACHO RODRIGUEZ, Jesus

47.

04 déc. 2014

Logiciel

Why3
La plateforme Why3

FILLIÂTRE, Jean-Christophe

48.

24 nov. 2014

Logiciel

Voeux
Gestion des services d'enseignement

AMAR, Patrick

49.

03 oct. 2014

Logiciel

NT2
The Numerical Template Toolbox

FALCOU, Joël

50.

22 sept. 2014

Logiciel

Causalex
Causality Graph Explorer

PAULEVE, Loïc