Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software & patents
#
Date
Type
Name & title
Contact
126.
01 Jan 2010
Software
BPEL2CPN
BPEL2CPN
DAGUE, Philippe
127.
01 Jan 2013
Software
CiME
CiME: a tool box for automated deduction.
CONTEJEAN, Evelyne
128.
01 Jan 2014
Software
Coccinelle
Coccinelle
CONTEJEAN, Evelyne
129.
12 Apr 2014
Software
Datacert
DataCert: A coq library for Data Intensive Languages and Systems Certification
CONTEJEAN, Evelyne
130.
01 Jan 2014
Software
Alt-Ergo
The Alt-Ergo theorem prover
CONCHON, Sylvain
131.
01 Jan 2014
Software
CUBICLE
A PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS
CONCHON, Sylvain
132.
01 Jan 2013
Software
XupIn
XML query-update independence tester
COLAZZO, Dario
133.
01 Jan 2012
Software
XPIOT
XPIOT
COLAZZO, Dario
134.
01 Jan 2013
Software
XUpTe
XUpTe
COLAZZO, Dario
135.
01 Jan 2013
Software
XupOp
XupOp
COLAZZO, Dario
136.
04 Feb 2013
Software
SPChecker
SPChecker
COHEN-BOULAKIA, Sarah
137.
22 Jan 2018
Software
ConQuR-Bio
ConQuR-Bio
COHEN-BOULAKIA, Sarah
138.
01 Jan 2013
Software
BioGuide
Guiding scientists through biological sources
COHEN-BOULAKIA, Sarah
139.
01 Feb 2013
Software
SPFlow
Rewriting a non SP workflow into an SP workflow while preserving provenance
COHEN-BOULAKIA, Sarah
140.
01 Jan 2014
Software
GeneValorization
Gene List significance at-a-glance
COHEN-BOULAKIA, Sarah
141.
15 Aug 2017
Software
GARN
Game Algorithms for RNa 3D sampling
COHEN, Johanne
142.
01 Jan 2010
Software
SomeWhere+
Paraconsistent Peer-to-Peer Consequence Finding algorithm
CHATALIC, Philippe
143.
01 Jan 2014
Software
CFML
CFML
CHARGUERAUD, Arthur
144.
24 Aug 2009
Software
NĂșcleo
Video toolkit
CHAPUIS, Olivier
145.
01 Jan 2012
Software
WMTRACE
Logging and visualizing user's window management activity
CHAPUIS, Olivier
146.
01 Jan 2013
Software
Metisse
Windowing System to explore inovative window management techniques
CHAPUIS, Olivier
147.
20 Oct 2017
Software
Smarties
The Smarties Input System
CHAPUIS, Olivier
148.
01 Jan 2013
Software
V-DS
Virtualization environment for large-scale Distributed Systems
CAPPELLO, Franck
149.
01 Jan 2013
Software
PVC
Private Virtual Cluster
CAPPELLO, Franck
150.
01 Jan 2013
Software
OpenWP
OpenWP
CAPPELLO, Franck
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 6 sur 9]