Nos tutelles

CNRS

Nos partenaires


Accueil > Publications > Rapports de Recherche

Rapports de Recherche - Année 2013


RR-13-01 : F. Bendali, J. Mailfert and D. Mameri
Titre : On minimum weakly-connected independent sets for wireless sensor networks : properties and enumeration algorithm

RR-13-02 : F. Delbot, C. Laforest and R. Phan
Titre : New approximation algorithms for the vertex cover problem variants

RR-13-03 : Y.N. Sotskov, A. Zatsiupa and A. Dolgui
Titre : Stable optimal line balances with a fixed station set

RR-13-04 : S. Salva
Titre : A Model-based testing approach combining passive testing and runtime verification. Application to Web service composition testing in Clouds

RR-13-05 : Favre M. and Wagler A.K.
Titre : On the connected subgraph problem

RR-13-09 : M. Didi Biha, H.L.M. Kerivin
Titre : Reconstructing X’-deterministic extended Petri nets from experimental time-series data X’

RR-13-10 : F.Labernia, O.Raynaud
Titre : Récursive definition of the lattice of Moore Families

RR-13-11 : H. Kerivin and P. Ng
Titre : Maximum-weight connected-subgraph problems

RR-13-14 : Li Haizhou, François Pinet, Farouk Toumani
Titre : Probabilistic simulation for probabilistic data-aware business processes

RR-14-02 : K.Gani, M.Bouet, M.Schneider, F.Toumani
Titre : Modelling home care plans