.:. Browse > By year > 2000 .:.

1082 documents ordered by : Date Title first author name document type Submit date

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

Practical and Polytopic Observers for Nonlinear Uncertain Systems Rapaport A., Gouzé J.-L. N° RR-4079 (2000) [inria-00072554 - version 1]

The Receptive Distributed $\pi$-Calculus Amadio R. M., Boudol G., Lhoussaine C. N° RR-4080 (2000) [inria-00072553 - version 1]

A Lagrangian Approach Based on the Natural Neighbor Interpolation Del Pin F. N° RR-4090 (2000) [inria-00072542 - version 1]

Traduction et optimisation globale dans les langages de classes Zendra O. Université Henri Poincaré - Nancy I (30/10/2000), Claude GODART (Dir.) [tel-00565633 - version 1]

Modèles de mémoires pour la navigation autonome Rougier N. P. Université Henri Poincaré - Nancy I (20/10/2000), Frédéric Alexandre (Dir.) [tel-00602997 - version 1]

Building trust into oo components using a genetic analogy Baudry B., Le Hanh V., Jézéquel J.-M., Le Traon Y. Dans Proceedings of ISSRE'2000 (2000) [hal-00794307 - version 1]

Precise modeling of design patterns Le Guennec A., Sunyé G., Jézéquel J.-M. Dans Proceedings of UML 2000 (2000) [hal-00794308 - version 1]

Trustable components: Yet another mutation-based approach Baudry B., Vu Le H., Jézéquel J.-M., Le Traon Y. Dans Proceedings of the 1st Symposium on Mutation Testing (Mutation'2000) (2000) [hal-00777468 - version 1]

Space and Time Shape Constrained Deformable Surfaces for 4D Medical Image Segmentation Montagnat J., Delingette H. Dans Medical Image Computing and Computer Assisted Intervention (MICCAI00) (2000) 196-205 [hal-00691926 - version 1]

Synthesis of Discrete-Event Controllers based on the Signal Environment Marchand H., Bournai P., Le Borgne M., Le Guernic P. Discrete Event Dynamic Systems 10, 4 (2000) 325-346 [hal-00546147 - version 1]