151.

15 Apr 2008

Software

Sequential Nuggets of Knowledge - DeeVee
SNK-DeeVee

FROIDEVAUX, Christine

152.

30 Sep 2011

Software

SHIRI-Annot
ncremental Ontology-based Extraction and Alignment in Semi-Structured Documents

THIAM, Mouhamadou

153.

25 Jul 2011

Software

SHIRI-Querying
Semantic Search on Heterogeneous Semi-structured Documents

PERNELLE-MANSCOUR, Nathalie

154.

01 Jan 2018

Software

Silicell Maker
Silicell Maker: computer aided synthetic bionetwork design system

AMAR, Patrick

155.

14 Jul 2007

Software

SIMBAD
Simbad, A mobile robot simulator for Autonomous and Evolutionary Robotics

BREDECHE, Nicolas

156.

20 Oct 2017

Software

Smarties
The Smarties Input System

CHAPUIS, Olivier

157.

01 Mar 2016

Software

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

KELLER, Chantal

158.

01 Jan 2010

Software

SomeWhere
Peer-to-Peer Consequence Finding

GOASDOUE, François

159.

01 Jan 2010

Software

SomeWhere+
Paraconsistent Peer-to-Peer Consequence Finding algorithm

CHATALIC, Philippe

160.

04 Feb 2013

Software

SPChecker
SPChecker

COHEN-BOULAKIA, Sarah

161.

01 Feb 2013

Software

SPFlow
Rewriting a non SP workflow into an SP workflow while preserving provenance

COHEN-BOULAKIA, Sarah

162.

01 Jan 2013

Software

SPIN
Scientific Programming InterNet

PETITON, Serge

163.

01 Jan 2011

Software

SpyWhere
SpyWhere

REYNAUD, Chantal

164.

01 Jan 2013

Software

Substance
Programming framework and middleware for developing distributed interactive application

BEAUDOUIN-LAFON, Michel

165.

01 Apr 2015

Software

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

BABOULIN, Marc

166.

18 Feb 2014

Software

SwingStates
An extension to the Java Swing toolkit based on state machines

APPERT, Caroline

167.

22 Sep 2017

Patent

Synchro CORAC
Synchronization mechanism for critical systems

BOULANGER, Frédéric

168.

24 Apr 2009

Software

TARGET
Adaptative ontology-based Web search framework

REYNAUD, Chantal

169.

01 Jan 2011

Software

TaxoMap Alignment
A prototype to automate semantic mappings between taxonomies

REYNAUD, Chantal

170.

01 Jan 2011

Software

TaxoMap Refinement
TaxoMap Refinement

REYNAUD, Chantal

171.

20 Jul 2014

Software

TemporalOCL
Temporal OCL Plugin for Eclipse

TAHA, Safouan

172.

20 Apr 2018

Software

TESL
Tagged Events Specification Language

BOULANGER, Frédéric

173.

25 Apr 2012

Software

TEXAN
A service to extract entities from tables

REYNAUD, Chantal

174.

07 Sep 2017

Software

The Coquelicot library
The Coquelicot library

BOLDO, Sylvie

175.

01 Jan 2013

Software

Touchstone
Software platform for designing and running controlled experiments

APPERT, Caroline