Skip to Main content Skip to Navigation

inria-00172406v1  Journal articles
Denis Roegel. A complex drawing in descriptive geometry
Tugboat, TeX Users Group, 2007, 28 (2), pp.218-228
inria-00176899v1  Journal articles
Ernest ValvenyPhilippe DoschAdam WinstanleyZhou YuYang Su et al.  A general framework for the evaluation of symbol recognition methods
International Journal on Document Analysis and Recognition, Springer Verlag, 2007, 9 (1), pp.59-74. ⟨10.1007/s10032-006-0033-x⟩
inria-00154259v1  Journal articles
Nazim Fatès. À la découverte des automates cellulaires
Interstices, INRIA, 2007
hal-02980943v1  Journal articles
Jean-René CourtaultDidier GalmicheDavid Pym. A Logic of Separating Modalities
Theoretical Computer Science, Elsevier, 2016, 637 (1), pp.30-58. ⟨10.1016/j.tcs.2016.04.040⟩
hal-01279884v1  Journal articles
Denis Roegel. A mechanical calculator for arithmetic sequences (1844-1852): part 2, working details
IEEE Annals of the History of Computing, Institute of Electrical and Electronics Engineers, 2016, 38 (1), pp.80-88. ⟨10.1109/MAHC.2016.3⟩
hal-01374382v1  Journal articles
Denis Roegel. A new early adding machine by Schwilgué (c. 1840?)
Bulletin of the Scientific Instrument Society, Scientific Instrument Society, 2016, 130, pp.24-27
hal-00921122v1  Journal articles
Jean-Sébastien SereniJan Volec. A note on acyclic vertex-colorings
Journal of Combinatorics, International Press, 2016, 7 (4), pp.725--737. ⟨10.4310/JOC.2016.v7.n4.a8⟩
inria-00153555v1  Journal articles
Rémi BadonnelRadu StateOlivier Festor. A Probabilistic Approach for Managing Mobile Ad-Hoc Networks
IEEE Transactions on Network and Service Management, IEEE, 2007, 4 (1), pp.39-50. ⟨10.1109/TNSM.2007.030104⟩
hal-00953684v1  Journal articles
Éric SchostPierre-Jean Spaenlehauer. A Quadratically Convergent Algorithm for Structured Low-Rank Approximation
Foundations of Computational Mathematics, Springer Verlag, 2016, 16 (2), pp.457-492. ⟨10.1007/s10208-015-9256-x⟩
inria-00110872v1  Journal articles
Paolo BaldanClara BertolissiHoratiu CirsteaClaude Kirchner. A rewriting calculus for cyclic higher-order term graphs
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2007, 17 (3), pp.363-406. ⟨10.1017/S0960129507006093⟩
inria-00000628v3  Journal articles
Horatiu CirsteaGermain FaureClaude Kirchner. A Rho-Calculus of explicit constraint application
Higher-Order and Symbolic Computation, Springer Verlag, 2007, Special Issue on Rewriting Logic and its Applications, 20, pp.37-72. ⟨10.1007/s10990-007-9004-2⟩
hal-01207859v1  Journal articles
Anthéa MayzaudRémi BadonnelIsabelle Chrisment. A Taxonomy of Attacks in RPL-based Internet of Things
International Journal of Network Security, ACEEE a Division of Engineers Network, 2016, 18 (3), pp.459 - 473
inria-00103490v1  Journal articles
S. ChenAmine BermakW. YanDominique Martinez. Adaptive-Quantization Digital Image Sensor for Low-Power, Real-Time, Image Compression
IEEE Transactions on Circuits and Systems Part 1 Fundamental Theory and Applications, Institute of Electrical and Electronics Engineers (IEEE), 2007, 54 (1), pp.13-25
inria-00401534v1  Journal articles
Axel HuttAndre LongtinLutz Schimansky-Geier. Additive global noise delays Turing bifurcations
Physical Review Letters, American Physical Society, 2007, 98 (23), pp.230601-1 - 230601-4. ⟨10.1103/PhysRevLett.98.230601⟩
hal-01297415v1  Journal articles
Salima HarratKarima MeftouhMourad AbbasWalid-Khaled HidouciKamel Smaïli. An Algerian dialect: Study and Resources
International journal of advanced computer science and applications (IJACSA), The Science and Information Organization, 2016, 7 (3), pp.384-396. ⟨10.14569/IJACSA.2016.070353⟩
inria-00188456v1  Journal articles
Sunayana GhoshSylvain PetitjeanGert Vegter. Approximation by conic splines
Mathematics in Computer Science, Springer, 2007, 1 (1), pp.39-69. ⟨10.1007/s11786-007-0004-8⟩
lirmm-00201467v1  Journal articles
Amine Mohamed Rouane HaceneMichel DaoMarianne HuchardPetko Valtchev. Aspects de la réingénierie des modèles UML par analyse de données relationnelles
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2007, 12 (5), pp.39-68