151.

01 janv. 2013

Logiciel

Glucose
The solver that looks for glue clauses

SIMON, Laurent

152.

01 janv. 2013

Logiciel

XPUQ
XML Partitioning for Updates and Queries

BIDOIT, Nicole

153.

01 nov. 2017

Logiciel

MAGMA
Contribution to numerical linear algebra libraries

BABOULIN, Marc

154.

01 janv. 2014

Logiciel

GlideCursor
Intertial cursor

BEAUDOUIN-LAFON, Michel

155.

01 avril 2015

Logiciel

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

BABOULIN, Marc

156.

01 janv. 2014

Logiciel

myNRC2.0
Smart memory allocator

LACASSAGNE, Lionel

157.

01 janv. 2014

Logiciel

covTrack
Robust and realtime multitarget covariance tracking

LACASSAGNE, Lionel

158.

12 avril 2014

Logiciel

Datacert
DataCert: A coq library for Data Intensive Languages and Systems Certification

CONTEJEAN, Evelyne

159.

22 janv. 2018

Logiciel

ConQuR-Bio
ConQuR-Bio

COHEN-BOULAKIA, Sarah

160.

01 sept. 2016

Logiciel

CQAPri
Consistent Query Answering with Priorities

BOURGAUX, Camille

161.

22 sept. 2014

Logiciel

Causalex
Causality Graph Explorer

PAULEVE, Loïc

162.

20 oct. 2017

Logiciel

Smarties
The Smarties Input System

CHAPUIS, Olivier

163.

01 janv. 2014

Logiciel

PAXQuery
massively parallel processing of XQuery queries

CAMACHO RODRIGUEZ, Jesus

164.

01 janv. 2015

Logiciel

PigReuse
2 platform for specifying and exploiting warehouses of RDF data

CAMACHO RODRIGUEZ, Jesus

165.

01 janv. 2014

Logiciel

CliqueSquare
CliqueSquare

ZAMPETAKIS, Stamatis

166.

20 avril 2018

Logiciel

TESL
Tagged Events Specification Language

BOULANGER, Frédéric

167.

17 juil. 2014

Logiciel

ModHelX
ModHel'X - A framework for heterogeneous modeling

BOULANGER, Frédéric

168.

06 juin 2012

Logiciel

aSHIIP
A random topology generator of interdomain

WEISSER, Marc-Antoine

169.

20 juil. 2014

Logiciel

TemporalOCL
Temporal OCL Plugin for Eclipse

TAHA, Safouan

170.

31 janv. 2017

Logiciel

SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes

SAFAR, Brigitte

171.

01 janv. 2021

Logiciel

Codalab
open source framework for running competitions

GUYON, Isabelle

172.

15 déc. 2017

Logiciel

LiCoRNA
aLignment of Complex RNAs

DENISE, Alain

173.

15 août 2017

Logiciel

GARN
Game Algorithms for RNa 3D sampling

COHEN, Johanne

174.

23 mars 2018

Logiciel

CaRNAval
Database of RNA Recurrent Interaction Networks

DENISE, Alain

175.

09 mars 2018

Logiciel

RiseClipse
IDM pour les standards de l'IEC

MARCADET, Dominique