28967 articles – 22393 references  [version française]
.:. Browse > By publications .:.
51360 documents ordered by :
First Previous ... 4323 - 4324 - 4325 - 4326 - 4327 - 4328 - 4329 ... Next Last
Specifying Authentication Protocols Using Rewriting and Strategies
Cirstea H.
Dans Third International Workshop on Practical Aspects of Declarative Languages - PADl'01 (2001) 15 p [inria-00100509 - version 1]
Data oriented genetic operators for one-machine scheduling problems
Portmann M.-C., Aloulou M. A.
Dans Proceedings of the Genetic and Evolutionary Computation Conference - GECCO'2001 (2001) 1184 [inria-00100510 - version 1]
Discrete Derivatives of Sequences
Pétermann Y.-F., Rémy J.-L., Vardi I.
Advances in Applied Mathematics 27, 2-3 (2001) 562-584 [inria-00100511 - version 1]
Population improvement with data oriented genetic operators
Portmann M.-C., Aloulou M. A.
Dans Proceedings of the Genetic and Evolutionary Computation Conference - GECCO'2001 (2001) 339-346 [inria-00100512 - version 1]
Signal transformation strategies to improve speech intelligibility for second language acquisition
Colotte V., Laprie Y., Bonneau A.
Dans 17th International Congress on Acoustics (2001) 2 p [inria-00100513 - version 1]
Inference in Computational Semantics
Blackburn P., Kohlhase M.
none (Ed.) (2001) 139 p [inria-00100514 - version 1]
Permutation Schedules Are Good For Realistic Flow Shop
Kovalyov M. Y., Portmann M.-C., Aggoune R.
In International Conference on Industrial Engineering and Production Management - IEPM'2001 2 (2001) 1147-1155 [inria-00100515 - version 1]
Définition d'ordonnancements flexibles. Première application à un problème à une machine
Aloulou M. A., Portmann M.-C.
Dans 4ème Congrés International de Génie Industriel - GI'2001 2 (2001) 1029-1038 [inria-00100508 - version 1]
Single Machine Scheduling to Maximize Maximum Cost
Aloulou M. A., Kovalyov M. Y., Portmann M.-C.
Dans Fifth Workshop on Models and Algorithms for Planning and Scheduling Problems - MAPSP'2001 (2001) 2 p [inria-00100507 - version 1]
An effective fixed point calculus for deterministic systems applied to model checking
Musset J., Rusinowitch M.
Dans First International Workshop on Automated Verification of Infinite-State Systems - AVIS'01 (2001) 4 p [inria-00100501 - version 1]