Skip to Main content Skip to Navigation


hal-00407018v1  Journal articles
Annick Valibouze. Sur les relations entre les racines d'un polynôme
Acta Arithmetica, Instytut Matematyczny PAN, 2008, 131 (1), pp.1-27. ⟨10.4064/aa131-1-1⟩
inria-00343103v1  Journal articles
Bernard MourrainPhilippe Trébuchet. Stable normal forms for polynomial system solving
Theoretical Computer Science, Elsevier, 2008, 409 (2), pp.229-240. ⟨10.1016/j.tcs.2008.09.004⟩
hal-00522883v1  Journal articles
Emmanuel ChaillouxVivien RavetJulien Verlaguet. Hirondml: Fair Threads Migrations for Objective Caml
Parallel Processing Letters, World Scientific Publishing, 2008, 18 (1), pp.55-69. ⟨10.1142/S0129626408003223⟩
hal-00536281v1  Conference papers
Annick ValibouzeRémi Legrand. L'informatique par le calcul formel
Colloque international ePrep 2008, May 2008, Gif Sur Yvette, France
hal-00498600v1  Conference papers
Annick Valibouze. Calcul du corps des racines d'un polynôme
Premier colloque franco-maghrébin de Calcul formel, May 2008, Iles de Kerkennah, Tunisie
hal-00345749v1  Conference papers
Olivier BodiniAlexis DarrasseMichele Soria. Distances in random Apollonian network structures
20th Annual International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2008), Jun 2008, Viña del Mar, Chile. pp.307-318
hal-00346845v2  Conference papers
Carine PivoteauBruno SalvyMichele Soria. Boltzmann Oracle for Combinatorial Systems
Fifth Colloquium on Mathematics and Computer Science, Sep 2008, Blaubeuren, Germany. pp.475-488
hal-01303857v1  Conference papers
Hakim BelhaouariFrédéric Peschanski. A Constraint Logic Programming Approach to Automated Testing
24th International Conference on Logic Programming, Dec 2008, Udine, Italy. pp.754-758, ⟨10.1007/978-3-540-89982-2_71⟩
hal-01297406v1  Conference papers
Frédéric PeschanskiJoël-Alexis Bialkiewicz. Modelling and Verifying Mobile Systems Using Pi-Graphs
35th International Conference on Current Trends in Theory and Practice of Computer Science (Sofsem 2009), Jan 2009, Špindlerův Mlýn, Czech Republic. pp.437-442, ⟨10.1007/978-3-540-95891-8_40⟩
hal-00391816v1  Conference papers
Alix MougenotAlexis DarrasseXavier BlancMichele Soria. Uniform random generation of huge metamodel instances
Fifth European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA 2009), Jun 2009, Enschede, Netherlands. pp.130-145, ⟨10.1007/978-3-642-02674-4_10⟩
hal-00391815v1  Conference papers
Alexis DarrasseMichele Soria. Limiting distribution for distances in k-trees
20th International Workshop on Combinatorial Algorithms, IWOCA 2009, Jun 2009, Hradec nad Moravicí, Czech Republic. pp.170-182, ⟨10.1007/978-3-642-10217-2_19⟩
hal-01294713v1  Conference papers
Stef GraillatPhilippe Trébuchet. A new algorithm for computing certified numerical approximations of the roots of a zero-dimensional system
ISSAC'09 - the 2009 international symposium on Symbolic and algebraic computation, Jul 2009, Seoul, South Korea. pp.167-173, ⟨10.1145/1576702.1576727⟩
hal-00396371v1  Conference papers
Bruno PaganoH. QuesnevilleThomas MoniotBenjamin CanouEmmanuel Chailloux et al.  Experience Report: Using Objective Caml to develop safety-critical embedded tool in a certification framework
The 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009), Aug 2009, Edinburgh, United Kingdom. pp.215-220, ⟨10.1145/1596550.1596582⟩
hal-00391817v1  Conference papers
Benjamin CanouAlexis Darrasse. Fast and sound random generation for automated testing and benchmarking in Objective Caml
2009 ACM SIGPLAN Workshop on ML, Aug 2009, Edinburgh, United Kingdom. pp.61-70, ⟨10.1145/1596627.1596637⟩
hal-01293889v1  Conference papers
Olivier BodiniThomas FerniqueDamien Regnault. Cristallization by stochastic flips
6th International Conference on Aperiodic Crystals (APERIODIC'09), Sep 2009, Owford, United Kingdom. pp.1-6, ⟨10.1088/1742-6596/226/1/012022⟩
hal-00641009v1  Conference papers
Mathias BourgoinBenjamin CanouEmmanuel ChaillouxAdrien JonquetPhilippe Wang. OC4MC: Objective Caml for Multicore Architectures
21st Symposium on Implementation and Application of Functional Languages, Sep 2009, South Orange, United States. pp.24-41
hal-00432217v1  Conference papers
Olivier BodiniJérémie Lumbroso. Optimal Partial Tiling of Manhattan Polyominoes
DGCI 2009 - 15th IAPR International Conference on Discrete Geometry for Computer Imagery, Sep 2009, Montreal, Canada. pp.79-91, ⟨10.1007/978-3-642-04397-0_8⟩
hal-00432218v1  Conference papers
Olivier BodiniThomas FerniqueEric Rémila. Distances on Lozenge Tilings
DGCI 2009 - 15th IAPR International Conference on Discrete Geometry for Computer Imagery, Sep 2009, Montreal, Canada. pp.240-251, ⟨10.1007/978-3-642-04397-0_21⟩
hal-01299051v1  Conference papers
Fabienne JézéquelChristophe DenisPhilippe Trébuchet. Reliable numerical evaluation of eigenvalues involved in polynomial systems solving
Computer-assisted proofs - tools, methods and applications, Nov 2009, Dagstuhl, Germany
hal-00411110v1  Conference papers
Olivier RousselMichele Soria. Boltzmann sampling of ordered structures
LAGOS 2009 - 5th Latin-American Algorithms, Graphs and Optimization Symposium, Nov 2009, Rio Grande do Sul, Brazil. pp.305-310, ⟨10.1016/j.endm.2009.11.050⟩
hal-00455012v1  Conference papers
Annick ValibouzeInes AbdeljaouedAlia Ben Kahla. Galoisian separators for biological systems
Mathematics, algorithms and proofs, MAP'09, Dec 2009, Monastir, Tunisie
hal-00193199v1  Journal articles
Olivier BodiniEric FusyCarine Pivoteau. Random sampling of plane partitions
Combinatorics, Probability and Computing, Cambridge University Press (CUP), 2010, 19 (2), pp.201-226
hal-01293893v1  Conference papers
Frédéric Peschanski. Principes et pratiques de la programmation en pi-calcul
Journées Francophone des langages applicatifs (JFLA 2010), Jan 2010, Vieux-Port La Ciotat, France. pp.245-274