3264 articles – 5421 references  [version française]
.:. Lists > By document type > Research report .:.
296 documents ordered by :
First Previous 1 - 2 - 3 - 4 - 5 - 6 - 7 ... Next Last
Distributed Implementation of Message Sequence Charts
Helouet L., Jard C., Abdallah R.
Rapport de recherche (2012) 42 [hal-00744068 - version 1]
fulltext access Hidden Anomaly Detection in Telecommunication Networks
Junier A., Bouillard A., Benoit R.
Rapport de recherche (2012) [hal-00702587 - version 1]
fulltext access (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]
fulltext access Stroboscopic averaging for the nonlinear Schrödinger equation
Castella F., Chartier P., Méhats F., Murua A.
Rapport de recherche [hal-00732850 - version 1]
fulltext access 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]
fulltext access 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]
fulltext access Clock Transition Systems
Lime D., Roux O. Henri, Jard C.
Rapport de recherche [hal-00725792 - version 1]
fulltext access Generalized DEL-sequents
Aucher G., Maubert B., Schwarzentruber F.
Rapport de recherche (2012) 23 [hal-00716074 - version 1]
fulltext access Logical Combinators for Rich Type Systems
Genevès P., Layaïda N., Schmitt A.
Research report (2012) 18 [hal-00714353 - version 2]
fulltext access The Simplex Tree: an Efficient Data Structure for General Simplicial Complexes
Boissonnat J.-D., Maria C.
Rapport de recherche (2012) 20 [hal-00707901 - version 2]