2018

Prime implicate generation in equational logic

ORLI Kalia

Projet de fin d'études Licence

2017

Nouvelles approches pour la portabilite, la non-intrusivite et l'accessibilite des interfaces de manipulation 3D

EMERSON Mia

Projet de fin d'études Licence

2016

Selection de cibles en mouvement : contexte, modeles, et paradigmes d'aide a la selection

EVANGELINE Kirestin

Projet de fin d'études Licence

2016

Connecting Semantic 3D Models to the LOD Cloud for Mobile Applications : discovering the Surroundings with ARCAMA- 3D

CARYN Macaulay

Projet de fin d'études Licence

2014

Aspects socioculturels et temporels dans les ontologies pour les communautes virtuelles

CALLY Kay

Projet de fin d'études Licence

2013

Methodes formelles pour l'extraction d'attaques internes des Systemes d'Information

ELLIOTT Kamal

Projet de fin d'études Licence

2013

Jeux de domination et didentification dans les graphes

OTTO Noble

Projet de fin d'études Licence

2010

Traitements formels et semantiques des echanges et des documents textuels lies a des activites collaboratives

BRANDON Lois

Projet de fin d'études Licence