51.

01 Mar 2016

Software

VICKEY
Mining Conditional Keys on Knowledge Bases

PERNELLE-MANSCOUR, Nathalie

52.

25 Jul 2012

Software

REISA
Controlled Knowledge Base Enrichment from Web documents

PERNELLE-MANSCOUR, Nathalie

53.

01 Jan 2007

Software

Program
Program : Programming with Dependent Types in Coq

PAULIN-MOHRING, Christine

54.

01 Jan 2014

Software

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

PAULIN-MOHRING, Christine

55.

22 Mar 2018

Software

Pint
Static analyzer for dynamics of Automata Networks

PAULEVE, Loïc

56.

22 Sep 2014

Software

Causalex
Causality Graph Explorer

PAULEVE, Loïc

57.

03 May 2018

Software

BOLDR
Query Intermediate Representation Library

NGUYEN, Kim

58.

09 Jan 2017

Software

Gappa
Gappa, a tool for certifying numerical applications

MELQUIOND, Guillaume

59.

17 Feb 2018

Software

Coq
The Coq proof assistant

MELQUIOND, Guillaume

60.

15 Sep 2017

Software

Coq.Interval
The Coq.Interval library for automatically proving bounds of real-valued expressions

MELQUIOND, Guillaume

61.

20 Jan 2001

Patent

Traffic unification in wild networks
Traffic unification in wild networks

MARTIN, Steven

62.

23 Sep 2013

Software

Frama-C
Framework for Modular Analysis of C

MARCHÉ, Claude

63.

24 Nov 2011

Software

Krakatoa
Krakatoa Tool for Java Program Verification

MARCHÉ, Claude

64.

09 Mar 2018

Software

RiseClipse
MDE for IEC standards

MARCADET, Dominique

65.

01 Jan 2013

Software

RDFViews
RDFViews

MANOLESCU-GOUJOT, Ioana

66.

01 Jan 2006

Software

KadoP
XML indexing and querying in P2P

MANOLESCU-GOUJOT, Ioana

67.

01 Jan 2011

Software

LiquidXML
LiquidXML

MANOLESCU-GOUJOT, Ioana

68.

01 Jan 2013

Software

ViP2P
views in peer-to-peer

MANOLESCU-GOUJOT, Ioana

69.

01 Jan 2011

Software

AnnoVip
AnnoVip

MANOLESCU-GOUJOT, Ioana

70.

01 Apr 2013

Software

EdiFlow
EdiFlow: interactive workflows for data analytics

MANOLESCU-GOUJOT, Ioana

71.

08 Jan 2014

Software

ReactiveML
The ReactiveML language

MANDEL, Louis

72.

20 Oct 2017

Patent

CommandBoard
Computer system with improved touch-based interface

MACKAY, Wendy

73.

15 Sep 2013

Software

ACM-ES
Surrogate models for CMA-ES

LOSHCHILOV, Ilya

74.

01 Jan 2014

Software

covTrack
Robust and realtime multitarget covariance tracking

LACASSAGNE, Lionel

75.

01 Jan 2014

Software

myNRC2.0
Smart memory allocator

LACASSAGNE, Lionel