Skip to Main content Skip to Navigation

hal-00175415v1  Journal articles
Jérôme BesombesJean-Yves Marion. Learning tree languages from positive examples and membership queries
Theoretical Computer Science, Elsevier, 2007, 382 (3), pp.183-197
hal-00184985v1  Journal articles
Anne BonfanteJean-Yves Marion. On the defence notion
Journal in Computer Virology, Springer Verlag, 2007, 3 (4), pp.247-251. ⟨10.1007/s11416-007-0058-9⟩
hal-00126001v1  Journal articles
Dominique BarthJohanne CohenTaoufik Faik. On the B-Continuity Property of Graphs
Discrete Applied Mathematics, Elsevier, 2007, 155 (13), pp.1761 - 1768. ⟨10.1016/j.dam.2007.04.011⟩
inria-00595610v1  Journal articles
Ammar Oulamara. Makespan minimization in a no-wait flow shop problem with two batching machines
Computers and Operations Research, Elsevier, 2007, 34 (4), pp.1033--1050. ⟨10.1016/j.cor.2005.05.028⟩
hal-00184987v1  Journal articles
Guillaume BonfanteJean-Yves Marion. Foreword of WTCV 06
Journal in Computer Virology, Springer Verlag, 2007, 3 (1), pp.1-2. ⟨10.1007/s11416-007-0038-0⟩
hal-00005841v1  Journal articles
Francis CometsFrançois DelarueRené Schott. Distributed Algorithms in an Ergodic Markovian Environment
Random Structures and Algorithms, Wiley, 2007, 30, pp.131-167
hal-00152811v1  Journal articles
P. FeinsilverRené Schott. Inversion of analytical functions via canonical polynomials: a matrix approach
Mathematics in Computer Science, Springer, 2007, 1, pp.345-356
inria-00166536v2  Journal articles
Jérémy FixNicolas P. RougierFrédéric Alexandre. From physiological principles to computational models of the cortex
Journal of Physiology - Paris, Elsevier, 2007, Neuro-Computation: From Sensorimotor Integration to Computational Frameworks, 101 (1-3), pp.32-39. ⟨10.1016/j.jphysparis.2007.10.009⟩
inria-00000598v1  Journal articles
Hervé BrönnimannOlivier DevillersSylvain LazardFrank Sottile. Lines tangent to four triangles in three-dimensional space
Discrete and Computational Geometry, Springer Verlag, 2007, 37 (3), pp.369-380. ⟨10.1007/s00454-006-1278-3⟩
hal-00176793v1  Journal articles
Nicolas BiriDidier Galmiche. Models and Separation Logics for Resource Trees
Journal of Logic and Computation, Oxford University Press (OUP), 2007, 17 (4), pp.687-726. ⟨10.1093/logcom/exm019⟩
inria-00000625v2  Journal articles
Pierrick Gaudry. Fast genus 2 arithmetic based on Theta functions
Journal of Mathematical Cryptology, De Gruyter, 2007, 1 (3), pp.243-265. ⟨10.1515/JMC.2007.012⟩
hal-00136941v1  Journal articles
Jean-Paul Cerri. Euclidean minima of totally real number fields, algorithmic determination
Mathematics of Computation, American Mathematical Society, 2007, pp.29
inria-00172406v1  Journal articles
Denis Roegel. A complex drawing in descriptive geometry
Tugboat, TeX Users Group, 2007, 28 (2), pp.218-228
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⟩
inria-00594389v1  Journal articles
Mohamed Salah BouassidaNajah ChridiIsabelle ChrismentOlivier FestorLaurent Vigneron. Automated Verification of a Key Management Architecture for Hierarchical Group Protocols
Annals of Telecommunications - annales des télécommunications, Springer, 2007, 62 (11-12), pp.1365-1387
hal-00184425v1  Journal articles
Slim OuniMichael CohenHope IshakDominic Massaro. Visual Contribution to Speech Perception: Measuring the Intelligibility of Animated Talking Heads
EURASIP Journal on Audio, Speech, and Music Processing, SpringerOpen, 2007, 2007, pp.ID 47891. ⟨10.1155/2007/47891⟩
inria-00433391v1  Journal articles
Hejiao HuangHélène KirchnerSongyun LiuWeili Wu. Handling Inheritance Violation for Secure Interoperation of Heterogeneous Systems
International Journal of Security and Networks, Inderscience, 2007, 4 (4), pp.223-233
inria-00168449v1  Journal articles
Bruno GaujalNicolas Navet. Dynamic voltage scaling under EDF revisited
Real-Time Systems, Springer Verlag, 2007, 37 (1), pp.77-97. ⟨10.1007/s11241-007-9029-y⟩
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⟩
inria-00175667v1  Journal articles
Jamal SabouneFrançois Charpillet. Markerless human motion tracking from a single camera using Interval Particle Filte
International Journal on Artificial Intelligence Tools, World Scientific Publishing, 2007, 6 (4), pp. 593-609. ⟨10.1142/S021821300700345X⟩