151.

01 Sep 2016

Software

CQAPri
Consistent Query Answering with Priorities

BOURGAUX, Camille

152.

22 Sep 2014

Software

Causalex
Causality Graph Explorer

PAULEVE, Loïc

153.

20 Oct 2017

Software

Smarties
The Smarties Input System

CHAPUIS, Olivier

154.

01 Jan 2014

Software

PAXQuery
massively parallel processing of XQuery queries

CAMACHO RODRIGUEZ, Jesus

155.

01 Jan 2015

Software

PigReuse
2 platform for specifying and exploiting warehouses of RDF data

CAMACHO RODRIGUEZ, Jesus

156.

01 Jan 2014

Software

CliqueSquare
CliqueSquare

ZAMPETAKIS, Stamatis

157.

20 Apr 2018

Software

TESL
Tagged Events Specification Language

BOULANGER, Frédéric

158.

06 Jun 2012

Software

aSHIIP
A random topology generator of interdomain

WEISSER, Marc-Antoine

159.

20 Jul 2014

Software

TemporalOCL
Temporal OCL Plugin for Eclipse

TAHA, Safouan

160.

31 Jan 2017

Software

SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes

SAFAR, Brigitte

161.

01 Jan 2021

Software

Codalab
Codalab

GUYON, Isabelle

162.

15 Dec 2017

Software

LiCoRNA
aLignment of Complex RNAs

DENISE, Alain

163.

15 Aug 2017

Software

GARN
Game Algorithms for RNa 3D sampling

COHEN, Johanne

164.

23 Mar 2018

Software

CaRNAval
Database of RNA Recurrent Interaction Networks

DENISE, Alain

165.

09 Mar 2018

Software

RiseClipse
MDE for IEC standards

MARCADET, Dominique

166.

01 Jan 2018

Software

Silicell Maker
Silicell Maker: computer aided synthetic bionetwork design system

AMAR, Patrick

167.

22 Sep 2017

Patent

Synchro CORAC
Synchronization mechanism for critical systems

BOULANGER, Frédéric

168.

01 Jan 2017

Software

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

AIT-SADOUNE, Idir

169.

27 Jan 2015

Software

Orphea
Pseudo-knot RNA sequence finder

AMAR, Patrick

170.

01 Jan 2014

Software

SAKey
Scalable Tool For Almost Key Discovery in RDF Data

PERNELLE-MANSCOUR, Nathalie

171.

11 Jan 2018

Software

HP-Combi
High Performance Combinatorics

HIVERT, Florent

172.

26 Oct 2015

Software

Coq-Combi
Algebraic combinatorics in Coq

HIVERT, Florent

173.

01 Mar 2016

Software

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

KELLER, Chantal

174.

20 Jan 2001

Patent

Traffic unification in wild networks
Traffic unification in wild networks

MARTIN, Steven

175.

18 Dec 2017

Software

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

JOURDAN, Jacques-Henri