Skip to Main content Skip to Navigation

hal-03201974v1  Conference papers
Stéphane DemriArnaud Sangnier. When Model-Checking Freeze LTL over Counter Machines Becomes Decidable
FOSSACS 2010 - Foundations of Software Science and Computational Structures, 13th International Conference, Luke Ong, Mar 2010, Paphos, Cyprus. pp.176-190, ⟨10.1007/978-3-642-12032-9_13⟩
hal-03188381v1  Journal articles
Stéphane DemriDenis Lugiez. Complexity of Modal Logics with Presburger Constraints
Journal of Applied Logic, Elsevier, 2010, 8 (3), pp.233-252. ⟨10.1016/j.jal.2010.03.001⟩
hal-00784056v1  Journal articles
Grégoire AllaireAndro MikelicAndrey Piatnitski. Homogenization approach to the dispersion theory for reactive transport through porous media
SIAM Journal on Mathematical Analysis, Society for Industrial and Applied Mathematics, 2010, 42 (1), pp.125-144
hal-00784058v1  Journal articles
Grégoire AllaireAndrey Piatnitski. Homogenization of nonlinear reaction-diffusion equation with a large reaction term
Annali dell'Universita di Ferrara, Springer Verlag, 2010, 56, pp.141-161
hal-00690084v1  Conference papers
Nadia BoukhelifaFanny ChevalierJean-Daniel Fekete. Real-time Aggregation of Wikipedia Data for Visual Analytics
Proceedings of Visual Analytics Science and Technology (VAST 2010), Nov 2010, Los Alamitos, CA, USA, United States. pp.147--154, ⟨10.1109/VAST.2010.5652896⟩
hal-02661047v1  Journal articles
Nicolas VerzelenFanny Villers. Goodness-of-fit tests for high-dimensional Gaussian linear models
Annals of Statistics, Institute of Mathematical Statistics, 2010, 38 (2), pp.704-752. ⟨10.1214/08-AOS629⟩
hal-00784055v1  Journal articles
Grégoire AllaireLuis Friz. Localization of high frequency waves propagating in a locally periodic medium
Proceedings of the Royal Society of Edinburgh: Section A Mathematics, Cambridge University Press (CUP), 2010, 140A, pp.897-926
hal-02263426v1  Conference papers
Ulrich HerbergThomas Heide ClausenJérôme Milan. Digital Signatures for Admittance Control in the Optimized Link State Routing Protocol Version 2
2010 International Conference on Internet Technology and Applications (iTAP), Aug 2010, Wuhan, China. pp.1-4, ⟨10.1109/ITAPP.2010.5566285⟩
hal-02263420v1  Conference papers
Emmanuel BaccelliThomas Heide ClausenRyuji Wakikawa. IPv6 operation for WAVE — Wireless Access in Vehicular Environments
2010 IEEE Vehicular Networking Conference (IEEE VNC), Dec 2010, Jersey City, United States. pp.160-165, ⟨10.1109/VNC.2010.5698260⟩
hal-02079665v1  Conference papers
Samuel EmeriauFrédéric BlanchardJean-Baptiste PolineLaurent PierotEric Bittar. Connectivity feature extraction for spatio-functional clustering of fMRI data
International Conference on Image Processing Theory, Tools and Applications, 2010, Paris, France
hal-01806104v1  Conference papers
Diego FigueiraPiotr HofmanSławomir Lasota. Relating timed and register automata
International Workshop on Expressiveness in Concurrency (EXPRESS), Aug 2010, Paris, France. pp.61-75, ⟨10.4204/EPTCS.41.5⟩
hal-01806093v1  Conference papers
Diego Figueira. Forward-XPath and extended register automata
International Conference on Database Theory (ICDT), Mar 2010, Lausanne, Switzerland. ⟨10.1145/1804669.1804699⟩
hal-01779507v1  Conference papers
Faten NabliSylvain Soliman. Steady-state Solution of Biochemical Systems, Beyond S-systems via T-invariants
Proceedings of the 8th International Conference on Computational Methods in Systems Biology, 2010, New York, NY, USA, Unknown Region. pp.14--22, ⟨10.1145/1839764.1839768⟩
hal-00483581v2  Journal articles
Alain DeniseYann PontyMichel Termier. Controlled non uniform random generation of decomposable structures
Theoretical Computer Science, Elsevier, 2010, 411 (40-42), pp.3527-3552. ⟨10.1016/j.tcs.2010.05.010⟩
hal-01588300v1  Patents
Sami YehiaOlivier TemamHugues Berry. Procédé pour la conception d'accélérateurs
France, N° de brevet: FR2937762. 4833. 2010, pp.22
hal-01431335v1  Journal articles
Steven GaySylvain SolimanFrançois Fages. A graphical method for reducing and relating models in systems biology
Bioinformatics, Oxford University Press (OUP), 2010, 26 (18), pp.i575--i581. ⟨10.1093/bioinformatics/btq388⟩
hal-01421021v1  Reports
Pierre AlliezChristophe DelageMenelaos KaravelasSylvain PionMonique Teillaud et al.  Delaunay Tessellations and Voronoi Diagrams in CGAL
[Research Report] INRIA Sophia Antipolis - Méditerranée; University of Crete. 2010
hal-01350286v1  Journal articles
Philippe de Reffye. Cultivons notre jardin
Interstices, INRIA, 2010
hal-01350225v1  Journal articles
Sylvie Boldo. Un algorithme de découpe de gâteau
Interstices, INRIA, 2010
hal-01323199v1  Poster communications
Cédric BellisMarc Bonnet. Qualitative Crack Identification by 3D Time-Domain Topological Sensitivity
Stability and Nonlinearity in Solid Mechanics: a symposium to honor Nguyen Quoc Son, Sep 2010, Paris, France