.:. Listes > Par type de document > Rapport de recherche .:.

297 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

Stochastic Games with Parity Mean-payoff Objective Chatterjee K., Doyen L., Gimbert H., Oualhadj Y. Rapport de recherche [hal-00766251 - version 1]

Distributed Implementation of Message Sequence Charts Helouet L., Jard C., Abdallah R. Rapport de recherche (2012) 42 [hal-00744068 - version 1]

Hidden Anomaly Detection in Telecommunication Networks Junier A., Bouillard A., Benoit R. Rapport de recherche (2012) [hal-00702587 - version 1]

(FO2(<,+1, ~)) on data trees, data tree automata and an extension of (BVASS). Dimino J., Jacquemard F., Segoufin L. Rapport de recherche (2012) 32 [hal-00769249 - version 1]

Stroboscopic averaging for the nonlinear Schrödinger equation Castella F., Chartier P., Méhats F., Murua A. Rapport de recherche [hal-00732850 - version 1]

Asymptotic Analysis for Schrödinger Hamiltonians via Birkhoff-Gustavson Normal Form Ghomari K., Messirdi B., Vu Ngoc S. Rapport de recherche [hal-00730276 - version 2]

Accuracy of unperturbed motion of particles in a gyrokinetic semi-Lagrangian code Latu G., Grandgirard V., Abiteboul J., Bergot M., Crouseilles N., Garbet X., Ghendrih P., Mehrenberger M., Sarazin Y., Sellama H. et al Rapport de recherche (2012) 17 [hal-00727118 - version 1]

Clock Transition Systems Lime D., Roux O. Henri, Jard C. Rapport de recherche [hal-00725792 - version 1]

Generalized DEL-sequents Aucher G., Maubert B., Schwarzentruber F. Rapport de recherche (2012) 23 [hal-00716074 - version 1]

Logical Combinators for Rich Type Systems Genevès P., Layaïda N., Schmitt A. Research report (2012) 18 [hal-00714353 - version 2]