76.

30 oct. 2008

Logiciel

FM
FM: the Fourier-Motzkin library

BASTOUL, Cédric

77.

11 mars 2009

Logiciel

GCC ICI
GCC Interactive Compilation Interface

FURSIN, Grigori

78.

02 août 2009

Logiciel

Piplib
Parametric Integer Programming Library

BASTOUL, Cédric

79.

01 janv. 2013

Logiciel

Rna3Dmotif
Software for extracting RNA tertiary motifs

DENISE, Alain

80.

03 déc. 2012

Logiciel

PoCC
the Polyhedral Compiler Collection

BASTOUL, Cédric

81.

03 oct. 2012

Logiciel

Coq.FP2
Coq.FP2

BOLDO, Sylvie

82.

01 janv. 2014

Logiciel

ALEA
ALEA : A library for reasoning on random algorithms in Coq

PAULIN-MOHRING, Christine

83.

01 janv. 2014

Logiciel

Coccinelle
Coccinelle

CONTEJEAN, Evelyne

84.

10 févr. 2014

Logiciel

OpenScop
OpenScop

BASTOUL, Cédric

85.

01 janv. 2013

Logiciel

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

APPERT, Caroline

86.

01 janv. 2013

Logiciel

Substance
Programming framework and middleware for developing distributed interactive application

BEAUDOUIN-LAFON, Michel

87.

01 janv. 2013

Logiciel

Scotty
User Interface Programming at Run Time

BEAUDOUIN-LAFON, Michel

88.

01 janv. 2012

Logiciel

Parallel Solvers
for Solving Linear Systems of Equations

GRIGORI, Laura

89.

01 janv. 2012

Logiciel

CALU
for multicore architectures

GRIGORI, Laura

90.

01 janv. 2013

Logiciel

FlowStates Toolkit
Programmer des applications interactives avec des flots de données et des machines à états

APPERT, Caroline

91.

01 janv. 2013

Logiciel

OpenWP
OpenWP

CAPPELLO, Franck

92.

01 janv. 2012

Logiciel

XPIOT
XPIOT

COLAZZO, Dario

93.

01 janv. 2013

Logiciel

XupOp
XupOp

COLAZZO, Dario

94.

01 janv. 2013

Logiciel

XupIn
XML query-update independence tester

COLAZZO, Dario

95.

01 janv. 2010

Logiciel

BPEL2CPN
BPEL2CPN

DAGUE, Philippe

96.

01 janv. 2011

Logiciel

TaxoMap Refinement
TaxoMap Refinement

REYNAUD, Chantal

97.

22 mars 2018

Logiciel

Pint
Static analyzer for dynamics of Automata Networks

PAULEVE, Loïc

98.

01 janv. 2013

Logiciel

ViP2P
views in peer-to-peer

MANOLESCU-GOUJOT, Ioana

99.

01 janv. 2011

Logiciel

SpyWhere
SpyWhere

REYNAUD, Chantal

100.

01 août 2009

Logiciel

MESAM
MESAM

REYNAUD, Chantal