51.

30 sept. 2011

Logiciel

KD2R
OWL2 key discovery on RDF datasets

PERNELLE-MANSCOUR, Nathalie

52.

25 juil. 2011

Logiciel

SHIRI-Querying
Semantic Search on Heterogeneous Semi-structured Documents

PERNELLE-MANSCOUR, Nathalie

53.

01 janv. 2007

Logiciel

Program
Program : un langage de programmation avec types dépendants dans Coq

PAULIN-MOHRING, Christine

54.

01 janv. 2014

Logiciel

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

PAULIN-MOHRING, Christine

55.

22 sept. 2014

Logiciel

Causalex
Causality Graph Explorer

PAULEVE, Loïc

56.

22 mars 2018

Logiciel

Pint
Static analyzer for dynamics of Automata Networks

PAULEVE, Loïc

57.

03 mai 2018

Logiciel

BOLDR
Query Intermediate Representation Library

NGUYEN, Kim

58.

15 sept. 2017

Logiciel

Coq.Interval
Bibliothèque Coq.Interval de preuve automatique de bornes sur des expressions à valeurs réelles

MELQUIOND, Guillaume

59.

09 janv. 2017

Logiciel

Gappa
Outil Gappa de certification de programmes numériques

MELQUIOND, Guillaume

60.

17 févr. 2018

Logiciel

Coq
L'assistant de preuve Coq

MELQUIOND, Guillaume

61.

20 janv. 2001

Brevet

Traffic unification in wild networks
Traffic unification in wild networks

MARTIN, Steven

62.

23 sept. 2013

Logiciel

Frama-C
Framework for Modular Analysis of C

MARCHÉ, Claude

63.

24 nov. 2011

Logiciel

Krakatoa
Outil Krakatoa de vérification de programmes Java

MARCHÉ, Claude

64.

09 mars 2018

Logiciel

RiseClipse
IDM pour les standards de l'IEC

MARCADET, Dominique

65.

01 avril 2013

Logiciel

EdiFlow
EdiFlow: workflows intéractifs pour l'analyse de données

MANOLESCU-GOUJOT, Ioana

66.

01 janv. 2013

Logiciel

RDFViews
RDFViews

MANOLESCU-GOUJOT, Ioana

67.

01 janv. 2006

Logiciel

KadoP
Système d'indexation et d'interrogation XML en P2P

MANOLESCU-GOUJOT, Ioana

68.

01 janv. 2011

Logiciel

LiquidXML
LiquidXML

MANOLESCU-GOUJOT, Ioana

69.

01 janv. 2013

Logiciel

ViP2P
views in peer-to-peer

MANOLESCU-GOUJOT, Ioana

70.

01 janv. 2011

Logiciel

AnnoVip
AnnoVip

MANOLESCU-GOUJOT, Ioana

71.

08 janv. 2014

Logiciel

ReactiveML
le langage ReactiveML

MANDEL, Louis

72.

20 oct. 2017

Brevet

CommandBoard
Dispositif informatique à interface tactile améliorée et procédé correspondant

MACKAY, Wendy

73.

15 sept. 2013

Logiciel

ACM-ES
Surrogate models for CMA-ES

LOSHCHILOV, Ilya

74.

01 janv. 2014

Logiciel

myNRC2.0
Smart memory allocator

LACASSAGNE, Lionel

75.

01 janv. 2014

Logiciel

covTrack
Robust and realtime multitarget covariance tracking

LACASSAGNE, Lionel