Filter your results
- 62
- 124
- 29
- 20
- 5
- 3
- 3
- 1
- 1
- 38
- 16
- 2
- 1
- 1
- 21
- 10
- 9
- 6
- 5
- 4
- 1
- 3
- 1
- 2
- 61
- 1
- 62
- 12
- 9
- 9
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 12
- 12
- 5
- 5
- 4
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
On the motion planning of rolling surfacesForum Mathematicum, 2003, 15 (5), pp.727-758. ⟨10.1515/form.2003.039⟩
Journal articles
istex
hal-02320843v1
|
|||
Lambda-Calculus with Director StringsApplicable Algebra in Engineering, Communication and Computing, 2005, Journal of Applicable Algebra in Engineering, Communication and Computing, 15 (6), pp.393--437
Journal articles
inria-00133315v1
|
|||
Planar Graphs, via Well-Orderly Maps and Trees2004
Other publications
hal-00400503v1
|
|||
MINLP Interface SpecificationCAPE-OPEN Update, 2002, 2, pp.10-13
Journal articles
hal-00163564v1
|
|||
A bijection for loopless triangulations of a polygon with interior pointsInternational Conference on Formal Power Series and Algebraic Combinatorics - FPSAC'02, Foda, O. and Guttmann, T., Jul 2002, Melbourne, Australie, France. 12 p
Conference papers
inria-00100860v1
|
|||
On Minimizing the Weighted Number of Late Jobs in Unit Execution Time Open-ShopsEuropean Journal of Operational Research, 2003, European Journal of Operational Research, 149, pp.344--354
Journal articles
inria-00124173v1
|
|||
|
Fast evaluation of holonomic functionsTheoretical Computer Science, 1999, 210 (1), pp.199-215. ⟨10.1016/s0304-3975(98)00102-9⟩
Journal articles
hal-02350531v1
|
||
|
A combinatorial approach to jumping particlesJournal of Combinatorial Theory, Series A, 2005, 110(1), pp.1-29
Journal articles
hal-00019884v1
|
||
Simulation versus Markovian Methods in System Dependability AssessmentICIL'01, 2001, Okinawa, Japan
Conference papers
hal-02563542v1
|
|||
Computing isogenies in $GF(2^n)$ANTS-II, May 1996, Talence, France. ⟨10.1007/3-540-61581-4_55⟩
Conference papers
istex
hal-01102045v1
|
|||
|
Counting the Number of Points on Elliptic Curves over Finite Fields: Strategies and PerformancesEUROCRYPT '95, May 1995, Saint-Malo, France. ⟨10.1007/3-540-49264-X_7⟩
Conference papers
hal-01102046v1
|
||
|
On the Asymptotic Number of Plane Curves and Alternating KnotsExperimental Mathematics, 2004, 13, pp.4
Journal articles
hal-00004352v1
|
||
Closed Reduction: explicit substitutions without alpha conversionMathematical Structures in Computer Science, 2005, Mathematical Structures in Computer Science, 15 (2), pp.343--381
Journal articles
inria-00133318v1
|
|||
Separation with streams in the $\Lambda\mu$-calculus20th Annual IEEE Symposium on Logic In Computer Science - LICS 2005, Jun 2005, Chicago, United States. pp.356-365, ⟨10.1109/LICS.2005.48⟩
Conference papers
hal-00527871v1
|
|||
Reformulation and Convex Relaxation Techniques for Global Optimization4OR: A Quarterly Journal of Operations Research, 2004, 2, pp.255-258
Journal articles
hal-00152397v1
|
|||
Interactive Volume Reconstruction and Measurement on the GridMethods of Information in Medicine, 2005, 44 (2), pp.227-232
Journal articles
inria-00288872v1
|
|||
Modèles et Algorithmes en Ordonnancement: Exercices et Problèmes CorrigésEllipses, 227 p, 2004, 978-2729821715
Books
inria-00108094v1
|
|||
|
Finding Good Random Elliptic Curves for Cryptosystems Defined Over $GF(2^n)$EUROCRYPT '97, May 1997, Konstanz, Germany. pp.379-392, ⟨10.1007/3-540-69053-0_26⟩
Conference papers
hal-01102043v1
|
||
MaximaWorkshop "on Open Source Computer Algebra", May 2002, Lyon, France. pp.ONLINE
Conference papers
hal-00556949v1
|
|||
|
Random Planar Lattices and Integrated SuperBrownian ExcursionProbability Theory and Related Fields, 2004, 128(2), pp.161-212. ⟨10.1007/s00440-003-0297-8⟩
Journal articles
hal-00005090v1
|
||
|
Solving the p-center problem with tabu search and variable neighborhood searchNetworks, 2003, 42 (1), pp.48-64. ⟨10.1002/net.10081⟩
Journal articles
hal-01255590v1
|
||
Algorithms for computing isogenies between elliptic curvesComputational Perspectives on Number Theory, 1995, Chicago, United States. pp.77-96
Conference papers
hal-01102041v1
|
|||
|
A game semantics for proof search, preliminary resultsTwenty-first Conference on the Mathematical Foundations of Programming Semantics - MFPS XXI, May 2005, Birmingham, United Kingdom. pp.543-563, ⟨10.1016/j.entcs.2005.11.072⟩
Conference papers
hal-00527881v1
|
||
An Interaction Net Implementation of Additive and Multiplicative StructuresJournal of Logic and Computation, 2005, Journal of Logic and Computation, 15 (2), pp.219--237
Journal articles
inria-00133311v1
|
|||
Airspace sectorization with constraintsRAIRO - Operations Research, 2005, 39, pp.105--122
Journal articles
inria-00123795v1
|
|||
Ten notes on equal-processing-time scheduling4OR: A Quarterly Journal of Operations Research, 2004, 4OR: Quarterly Journal of the Belgian, French and Italian Operations Research Societies, pp.111--127
Journal articles
inria-00124157v1
|
|||
Constraint-Based Scheduling: Applying Constraint Programming to Scheduling ProblemsKluwer, 2001, International Series in Operations Research and Management Science, 978-0792374084
Books
inria-00123562v1
|
|||
Artificial evolution : 6th International Conference, Evolution Artificielle, EA 2003, Marseille, France, October 27-30, 2003 ; revised selected papersLiardet, Pierre; Collet, Pierre; Fonlupt, Cyril; Lutton, Evelyne; Schoenauer, Marc. Springer, pp.409, 2004, LNCS 2936, 3540215239
Books
inria-00000846v1
|
|||
|
Towards a Functional Formalism for Modelling Complex Industrial SystemsEuropean Conference on Complex Systems, Nov 2005, Paris, France. pp.163-176, ⟨10.1159/000093688⟩
Conference papers
hal-00282877v1
|
||
Modular Curves of Composite LevelActa Arithmetica, 2005, 118 (2), pp.129-141
Journal articles
inria-00386309v1
|