26.

20 janv. 2001

Brevet

Traffic unification in wild networks
Traffic unification in wild networks

MARTIN, Steven

27.

24 mai 2018

Logiciel

TouchTokens
Low-cost Solution for Tangible Interfaces

APPERT, Caroline

28.

01 janv. 2013

Logiciel

Touchstone
Plateforme de conception et d\'exécution d\'expérimentations contrôlées

APPERT, Caroline

29.

07 sept. 2017

Logiciel

The Coquelicot library
The Coquelicot library

BOLDO, Sylvie

30.

25 avril 2012

Logiciel

TEXAN
Un service d'extraction de données tabulaires

REYNAUD, Chantal

31.

20 avril 2018

Logiciel

TESL
Tagged Events Specification Language

BOULANGER, Frédéric

32.

20 juil. 2014

Logiciel

TemporalOCL
Temporal OCL Plugin for Eclipse

TAHA, Safouan

33.

01 janv. 2011

Logiciel

TaxoMap Refinement
TaxoMap Refinement

REYNAUD, Chantal

34.

01 janv. 2011

Logiciel

TaxoMap Alignment
Un outil d'alignement de taxonomies

REYNAUD, Chantal

35.

24 avril 2009

Logiciel

TARGET
Adaptative ontology-based Web search framework

REYNAUD, Chantal

36.

22 sept. 2017

Brevet

Synchro CORAC
Procédé de synchronisation pour systèmes critiques

BOULANGER, Frédéric

37.

18 févr. 2014

Logiciel

SwingStates
Une extension de Java Swing basée sur les machines à états

APPERT, Caroline

38.

01 avril 2015

Logiciel

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

BABOULIN, Marc

39.

01 janv. 2013

Logiciel

Substance
Programming framework and middleware for developing distributed interactive application

BEAUDOUIN-LAFON, Michel

40.

01 janv. 2011

Logiciel

SpyWhere
SpyWhere

REYNAUD, Chantal

41.

01 janv. 2013

Logiciel

SPIN
Scientific Programming InterNet

PETITON, Serge

42.

01 févr. 2013

Logiciel

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

COHEN-BOULAKIA, Sarah

43.

04 févr. 2013

Logiciel

SPChecker
SPChecker

COHEN-BOULAKIA, Sarah

44.

01 janv. 2010

Logiciel

SomeWhere+
Calcul paraconsistant de conséquents en mode pair à pair

CHATALIC, Philippe

45.

01 janv. 2010

Logiciel

SomeWhere
Calcul de conséquences en pair-à-pair

GOASDOUE, François

46.

01 mars 2016

Logiciel

SMTCoq
Plug-in de communication entre Coq et prouveurs externes

KELLER, Chantal

47.

20 oct. 2017

Logiciel

Smarties
The Smarties Input System

CHAPUIS, Olivier

48.

14 juil. 2007

Logiciel

SIMBAD
A mobile robot simulator for Autonomous and Evolutionary Robotics

BREDECHE, Nicolas

49.

01 janv. 2018

Logiciel

Silicell Maker
Silicell Maker: computer aided synthetic bionetwork design system

AMAR, Patrick

50.

25 juil. 2011

Logiciel

SHIRI-Querying
Semantic Search on Heterogeneous Semi-structured Documents

PERNELLE-MANSCOUR, Nathalie