26.

01 Apr 2006

Software

Lucid Synchrone
Lucid Synchrone

POUZET, Marc

27.

01 Jan 2007

Software

Program
Program : Programming with Dependent Types in Coq

PAULIN-MOHRING, Christine

28.

05 Dec 2005

Software

AuGuSTe
Statistical Testing of C Programs

VOISIN, Frédéric

29.

01 Jan 2013

Software

CiME
CiME: a tool box for automated deduction.

CONTEJEAN, Evelyne

30.

01 Jan 2007

Software

Contribution to Scilab
Contribution to Scilab

AUGER, Anne

31.

01 Jan 2014

Software

MoGo
Computer-Go program

TEYTAUD, Olivier

32.

01 Jan 2012

Software

WMTRACE
Logging and visualizing user's window management activity

CHAPUIS, Olivier

33.

18 Feb 2014

Software

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

APPERT, Caroline

34.

24 Aug 2009

Software

Núcleo
Video toolkit

CHAPUIS, Olivier

35.

11 Oct 2013

Software

CLooG
Chunky Loop Generator

BASTOUL, Cédric

36.

01 Jan 2006

Patent

FR0652963
Protocole de routage ad hoc résistant aux noeuds égoïstes

AL AGHA, Khaldoun

37.

01 Jan 2010

Software

Qolyester
implementation from scratch of the OLSR protocol

AL AGHA, Khaldoun

38.

01 Jan 2014

Software

GenRGenS
Generation of Random Genomic Sequences and Structures

DENISE, Alain

39.

01 Jan 2014

Software

VARNA
Visualisation Applet for RNA

DENISE, Alain

40.

13 May 2013

Software

WXD
Text editor

AMAR, Patrick

41.

01 Jan 2014

Software

HSIM
Hyperstructure Simulator

AMAR, Patrick

42.

01 Jan 2013

Software

BioGuide
Guiding scientists through biological sources

COHEN-BOULAKIA, Sarah

43.

10 Feb 2012

Software

CDuce
CDuce an XML centric Programmimg Language

BENZAKEN, Véronique

44.

01 Jan 2005

Software

IDéeBD
IDéeBD

DELAËT, Sylvie

45.

01 Jan 2013

Software

PVC
Private Virtual Cluster

CAPPELLO, Franck

46.

15 Apr 2008

Software

Sequential Nuggets of Knowledge - DeeVee
SNK-DeeVee

FROIDEVAUX, Christine

47.

01 Jan 2013

Software

V-DS
Virtualization environment for large-scale Distributed Systems

CAPPELLO, Franck

48.

01 Jan 2013

Software

APMC
Approximate Probabilistic Model Checker

PEYRONNET, Sylvain

49.

01 Jan 2007

Software

sALLUSTe
Statistical Testing based on Lustre Descriptions

GAUDEL, Marie-Claude

50.

01 Jul 2008

Software

GenoQuery
Querying genomic data warehouse

FROIDEVAUX, Christine