26.

20 Jan 2001

Patent

Traffic unification in wild networks
Traffic unification in wild networks

MARTIN, Steven

27.

24 May 2018

Software

TouchTokens
Low-cost Solution for Tangible Interfaces

APPERT, Caroline

28.

01 Jan 2013

Software

Touchstone
Software platform for designing and running controlled experiments

APPERT, Caroline

29.

07 Sep 2017

Software

The Coquelicot library
The Coquelicot library

BOLDO, Sylvie

30.

25 Apr 2012

Software

TEXAN
A service to extract entities from tables

REYNAUD, Chantal

31.

20 Apr 2018

Software

TESL
Tagged Events Specification Language

BOULANGER, Frédéric

32.

20 Jul 2014

Software

TemporalOCL
Temporal OCL Plugin for Eclipse

TAHA, Safouan

33.

01 Jan 2011

Software

TaxoMap Refinement
TaxoMap Refinement

REYNAUD, Chantal

34.

01 Jan 2011

Software

TaxoMap Alignment
A prototype to automate semantic mappings between taxonomies

REYNAUD, Chantal

35.

24 Apr 2009

Software

TARGET
Adaptative ontology-based Web search framework

REYNAUD, Chantal

36.

22 Sep 2017

Patent

Synchro CORAC
Synchronization mechanism for critical systems

BOULANGER, Frédéric

37.

18 Feb 2014

Software

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

APPERT, Caroline

38.

01 Apr 2015

Software

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

BABOULIN, Marc

39.

01 Jan 2013

Software

Substance
Programming framework and middleware for developing distributed interactive application

BEAUDOUIN-LAFON, Michel

40.

01 Jan 2011

Software

SpyWhere
SpyWhere

REYNAUD, Chantal

41.

01 Jan 2013

Software

SPIN
Scientific Programming InterNet

PETITON, Serge

42.

01 Feb 2013

Software

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

COHEN-BOULAKIA, Sarah

43.

04 Feb 2013

Software

SPChecker
SPChecker

COHEN-BOULAKIA, Sarah

44.

01 Jan 2010

Software

SomeWhere+
Paraconsistent Peer-to-Peer Consequence Finding algorithm

CHATALIC, Philippe

45.

01 Jan 2010

Software

SomeWhere
Peer-to-Peer Consequence Finding

GOASDOUE, François

46.

01 Mar 2016

Software

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

KELLER, Chantal

47.

20 Oct 2017

Software

Smarties
The Smarties Input System

CHAPUIS, Olivier

48.

14 Jul 2007

Software

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

BREDECHE, Nicolas

49.

01 Jan 2018

Software

Silicell Maker
Silicell Maker: computer aided synthetic bionetwork design system

AMAR, Patrick

50.

25 Jul 2011

Software

SHIRI-Querying
Semantic Search on Heterogeneous Semi-structured Documents

PERNELLE-MANSCOUR, Nathalie