Skip to Main content Skip to Navigation

hal-00408736v1  Journal articles
Pierre-Vincent KoseleffDaniel Pecker. On Fibonacci Knots
The Fibonacci Quarterly, Dalhousie University, 2010, 48 (2), pp.137-143
inria-00419983v1  Journal articles
Mohab Safey El DinLihong Zhi. Computing Rational Points in Convex Semialgebraic Sets and Sum of Squares Decompositions
SIAM Journal on Optimization, Society for Industrial and Applied Mathematics, 2010, 20 (6), pp.2876-2889. ⟨10.1137/090772459⟩
hal-00429510v1  Journal articles
Pierre-Vincent KoseleffDaniel PeckerFabrice Rouillier. The first rational Chebyshev knots
Journal of Symbolic Computation, Elsevier, 2010, 45 (12), pp.1341-1358. ⟨10.1016/j.jsc.2010.06.014⟩
inria-00477520v1  Journal articles
Reda BendraouJean-Marc JézéquelMarie-Pierre GervaisXavier Blanc. A Comparison of Six UML-Based Languages for Software Process Modeling
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2010, 36 (5), pp.662-675. ⟨10.1109/TSE.2009.85⟩
hal-00498502v1  Journal articles
Manuel SerranoChristian Queinnec. A simplified multi-tiers semantics for Hop
Higher-Order and Symbolic Computation, Springer Verlag, 2010, pp.1-23. ⟨10.1007/s10990-010-9061-9⟩
hal-00498507v1  Journal articles
Manuel SerranoChristian Queinnec. HTML5 VIDEO portable avec Hop
GNU/Linux Magazine, Diamond Editions, 2010, pp.92-98
inria-00517175v1  Journal articles
Jinsan ChengSylvain LazardLuis PeñarandaMarc PougetFabrice Rouillier et al.  On the topology of real algebraic plane curves
Mathematics in Computer Science, Springer, 2010, 4 (1), pp.113-137. ⟨10.1007/s11786-010-0044-3⟩
hal-00626924v1  Journal articles
Diana Zeaiter JoumblattRenata TeixeiraJaideep ChandrashekarNina Taft. Perspectives on Tracing End-Hosts: A Survey Summary
Computer Communication Review, Association for Computing Machinery, 2010, 40 (2), pp.51-55
hal-00706787v1  Journal articles
Xiaoliang LiChenqi MouDongming Wang. Decomposing polynomial sets into simple sets over finite fields: The zero-dimensional case
Computers and Mathematics with Applications, Elsevier, 2010, 60 (11), pp.2983-2997. ⟨10.1016/j.camwa.2010.09.059⟩
hal-00833336v1  Journal articles
Kimberly C. ClaffyEmile AbenJordan AugeRobert BeverlyFabiàn E. Bustamante et al.  The 2nd workshop on active internet measurements (AIMS-2) report
Computer Communication Review, Association for Computing Machinery, 2010, 40 (5), pp.53--58. ⟨10.1145/1880153.1880162⟩
hal-00974889v1  Journal articles
Françoise Levy-Dit-VehelLudovic Perret. Security Analysis of Word Problem-Based Cryptosystems
Designs, Codes and Cryptography, Springer Verlag, 2010, 54 (1), pp.29-41. ⟨10.1007/s10623-009-9307-x⟩
hal-01146520v1  Journal articles
Olivier CoulaudPierre FortinJean Roman. High-performance BLAS formulation of the adaptive Fast Multipole Method
Mathematical and Computer Modelling, Elsevier, 2010, 51 (3-4), pp.177-188. ⟨10.1016/j.mcm.2009.08.039⟩
hal-01148127v1  Journal articles
Luk BettaleJean-Charles FaugèreLudovic Perret. Hybrid approach for solving multivariate systems over finite fields
Journal of Mathematical Cryptology, De Gruyter, 2010, 3 (3), pp.177--197. ⟨10.1515/jmc.2009.009⟩
hal-01148133v1  Journal articles
Gérald BourgeoisJean-Charles Faugère. Algebraic Attack on NTRU using Witt Vectors and Gröbner bases
Journal of Mathematical Cryptology, De Gruyter, 2010, 3 (3), pp.205--214. ⟨10.1515/jmc.2009.011⟩
hal-01148162v1  Journal articles
Bernd BankMarc GiustiJoos HeintzMohab Safey El DinÉric Schost. On the geometry of polar varieties
Applicable Algebra in Engineering, Communication and Computing, Springer Verlag, 2010, 21 (1), pp.33--83. ⟨10.1007/s00200-009-0117-1⟩
hal-01148164v1  Journal articles
Daniel Lazard. CAD and topology of semi-algebraic sets
Mathematics in Computer Science, Springer, 2010, 4 (1), pp.93--112. ⟨10.1007/s11786-010-0047-0⟩
hal-01170014v1  Journal articles
Zahia GuessoumJean-Pierre BriotNoura FaciOlivier Marin. Towards reliable multi-agent systems: An adaptive replication mechanism
Multiagent and Grid Systems - An International Journal of Cloud Computing , IOS Press, 2010, 6 (1), pp.1-24. ⟨10.3233/MGS-2010-0139⟩
hal-01197391v1  Journal articles
Silvia BianchiPascal FelberMaria Gradinariu Potop-Butucaru. Stabilizing Distributed R-Trees for Peer-to-Peer Content Routing
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2010, 21 (8), pp.1175-1187. ⟨10.1109/TPDS.2009.131⟩
hal-01197398v1  Journal articles
Eric EideGilles MullerOlaf Spinczyk. Report on 5th workshop on programming languages and operating systems (PLOS)
Operating Systems Review, Association for Computing Machinery, 2010, 43 (4), pp.31-34. ⟨10.1145/1713254.1713262⟩