176.

15 Dec 2017

Software

LiCoRNA
aLignment of Complex RNAs

DENISE, Alain

177.

15 Aug 2017

Software

GARN
Game Algorithms for RNa 3D sampling

COHEN, Johanne

178.

23 Mar 2018

Software

CaRNAval
Database of RNA Recurrent Interaction Networks

DENISE, Alain

179.

09 Mar 2018

Software

RiseClipse
MDE for IEC standards

MARCADET, Dominique

180.

01 Jan 2018

Software

Silicell Maker
Silicell Maker: computer aided synthetic bionetwork design system

AMAR, Patrick

181.

22 Sep 2017

Patent

Synchro CORAC
Synchronization mechanism for critical systems

BOULANGER, Frédéric

182.

01 Jan 2017

Software

OntoEvent-B
A Generator of Event-B contexts from Ontologies

AIT-SADOUNE, Idir

183.

27 Jan 2015

Software

Orphea
Pseudo-knot RNA sequence finder

AMAR, Patrick

184.

01 Jan 2014

Software

SAKey
Scalable Tool For Almost Key Discovery in RDF Data

PERNELLE-MANSCOUR, Nathalie

185.

11 Jan 2018

Software

HP-Combi
High Performance Combinatorics

HIVERT, Florent

186.

26 Oct 2015

Software

Coq-Combi
Algebraic combinatorics in Coq

HIVERT, Florent

187.

01 Mar 2016

Software

SMTCoq
Coq plugin that checks proof witnesses coming from external SAT and SMT solvers

KELLER, Chantal

188.

20 Jan 2001

Patent

Traffic unification in wild networks
Traffic unification in wild networks

MARTIN, Steven

189.

18 Dec 2017

Software

Iris
A Higher-Order Concurrent Separation Logic Framework implemented and verified in the proof assistant Coq.

JOURDAN, Jacques-Henri

190.

01 Jan 1970

Software

Pactole
Coq formalisation a mobile sensors networks.

BALABONSKI, Thibaut

191.

24 May 2018

Software

TouchTokens
Low-cost Solution for Tangible Interfaces

APPERT, Caroline

192.

29 Mar 2018

Software

MapMosaic
Dynamic Layer Compositing for Interactive Geovisualization

PIETRIGA, Emmanuel

193.

29 Mar 2018

Software

Baia
Advanced animated transitions between before-and-after satellite images

PIETRIGA, Emmanuel

194.

15 May 2018

Software

LODAtlas
Browsing Linked Data Catalogs with LODAtlas

PIETRIGA, Emmanuel

195.

01 Mar 2016

Software

VICKEY
Mining Conditional Keys on Knowledge Bases

PERNELLE-MANSCOUR, Nathalie

196.

30 Jun 2017

Software

DIGISCAPE
Telepresence middleware

GLADIN, Olivier

197.

02 Dec 2019

Software

CARTOLABE
CARTOLABE

CAILLOU, Philippe

198.

01 Jan 2018

Software

io.datascience
io.datascience

GERMAIN, Cécile

199.

10 Jul 2015

Software

WildOS
Middleware for interactive rooms

BEAUDOUIN-LAFON, Michel

200.

20 Oct 2017

Patent

CommandBoard
Computer system with improved touch-based interface

MACKAY, Wendy