Skip to Main content Skip to Navigation

inria-00596236v1  Journal articles
A. A. FallAbderrahman IggidrGauthier SalletJean-Jules Tewa. Epidemiological models and Lyapunov functions
Mathematical Modelling of Natural Phenomena, EDP Sciences, 2007, 2 (1), pp.62 - 83. ⟨10.1051/mmnp:2008011⟩
hal-01370430v1  Journal articles
Atte Aalto. Iterative observer-based state and parameter estimation for linear systems
ESAIM: Control, Optimisation and Calculus of Variations, EDP Sciences, 2018, 24 (1), pp.265-288. ⟨10.1051/cocv/2017005⟩
hal-01516032v3  Journal articles
Eddie AamariClément Levrard. Non-Asymptotic Rates for Manifold, Tangent Space, and Curvature Estimation
Annals of Statistics, Institute of Mathematical Statistics, 2019, 47 (1), ⟨10.1214/18-AOS1685⟩
hal-01521955v3  Journal articles
Eddie AamariJisu KimFrédéric ChazalBertrand MichelAlessandro Rinaldo et al.  Estimating the Reach of a Manifold
Electronic Journal of Statistics , Shaker Heights, OH : Institute of Mathematical Statistics, 2019, ⟨10.1214/19-EJS1551⟩
hal-01636616v1  Journal articles
Martín AbadiBruno BlanchetCédric Fournet. The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication
Journal of the ACM (JACM), Association for Computing Machinery, 2017, 65 (1), pp.1 - 103. ⟨10.1145/3127586⟩
hal-03494281v1  Journal articles
Amar AbanePaul MuhlethalerSamia Bouzefrane. Modeling and Improving Named Data Networking over IEEE 802.15.4
Annals of Telecommunications - annales des télécommunications, Springer, 2021
hal-02334088v1  Journal articles
Amar AbaneMehammed DaouiSamia BouzefranePaul Muhlethaler. A lightweight forwarding strategy for Named Data Networking in low-end IoT
Journal of Network and Computer Applications (JNCA), Elsevier, 2019, 148, pp.102445. ⟨10.1016/j.jnca.2019.102445⟩
hal-01586549v1  Journal articles
Mourad AbbasKamel SmaïliDaoud Berkani. TR-Classifier and kNN Evaluation for Topic Identification tasks
International Journal on Information and Communication Technologies, Serials Publications, 2010, 3 (3), pp.10
hal-01768411v4  Journal articles
Mickaël AbbasAlexandre ErnNicolas Pignet. A Hybrid High-Order method for incremental associative plasticity with small deformations
Computer Methods in Applied Mechanics and Engineering, Elsevier, 2019, 346, pp.891-912. ⟨10.1016/j.cma.2018.08.037⟩
hal-00867887v1  Journal articles
Lokman Abbas-TurkiDamien Lamberton. European Options Sensitivity with Respect to the Correlation for Multidimensional Heston Models
International Journal of Theoretical and Applied Finance, World Scientific Publishing, 2014, 17 (03), pp.DOI: 10.1142/S0219024914500150
hal-01157814v1  Journal articles
N AbbassiD BenboudjemaStéphane DerrodeW Pieczynski. Optimal Filter Approximations in Conditionally Gaussian Pairwise Markov Switching Models
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2015, 60 (4), pp.1104-1109. ⟨10.1109/TAC.2014.2340591⟩
hal-02373325v1  Journal articles
Emanuela AbbateAngelo IolloGabriella Puppo. An asymptotic-preserving all-speed scheme for fluid dynamics and nonlinear elasticity
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2019
hal-01320646v1  Journal articles
Tarek AbbesAdel BouhoulaMichaël Rusinowitch. Detection of firewall configuration errors with updatable tree
International Journal of Information Security, Springer Verlag, 2016, 15 (3), pp.301-317. ⟨10.1007/s10207-015-0290-0⟩
hal-00752055v1  Journal articles
Sophie S. AbbyEric TannierManolo GouyVincent Daubin. Lateral gene transfer as a support for the tree of life.
Proceedings of the National Academy of Sciences of the United States of America , National Academy of Sciences, 2012, 109 (13), pp.4962-4967. ⟨10.1073/pnas.1116871109⟩
hal-00840372v1  Journal articles
Rouwaida AbdallahLoïc HélouëtClaude Jard. Distributed Implementation of Message Sequence Charts
Software and Systems Modeling, Springer Verlag, 2015, 14, pp.10-32. ⟨10.1007/s10270-013-0357-1⟩
hal-01654158v1  Journal articles
Meriem AbdallahMarie BlonskiSophie Wantz-MézièresYann GaudeauLuc Taillandier et al.  On the relevance of two manual tumor volume estimation methods for diffuse low-grade gliomas
Healthcare Technology Letters, The Institution of Engineering and Technology, 2018, 5 (1), pp.13-17. ⟨10.1049/htl.2017.0013⟩
inria-00337663v1  Journal articles
Humberto AbdelnurOlivier FestorRadu State. Fuzzing dans la sphère VoIP
MISC - Le journal de la sécurité informatique, Lavoisier, 2008
inria-00405356v1  Journal articles
Humberto AbdelnurTigran AvanesovMichaël RusinowitchRadu State. Abusing SIP authentication
Journal of Information Assurance and Security, Dynamic Publishers Inc., USA, 2009, Special Issue on Access Control and Protcols, 4 (4), pp.311-318
hal-02400019v1  Journal articles
Athena AbdiAlain GiraultHamid Zarandi. ERPOT: A Quad-Criteria Scheduling Heuristic to Optimize Execution Time, Reliability, Power Consumption and Temperature in Multicores
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2019, 30 (10), pp.2193-2210. ⟨10.1109/TPDS.2019.2906172⟩
hal-02378889v1  Journal articles
Mohammed Riyadh AbdmeziemFrançois Charoy. Securing IoT-based Groups: Efficient, Scalable and Fault-tolerant Key Management Protocol
Ad Hoc & Sensor Wireless Networks, PKP Publishing ServicesNetwork 2019
hal-02378897v1  Journal articles
Mohammed Riyadh Abdmeziem. Securing IoT-based collaborative applications using a new compressed and distributed MIKEY mode
International Journal of Information and Computer Security, Inderscience, 2019
hal-00750002v1  Journal articles
Ammar Hasan AbdoSégolène CabocheValérie LeclèrePhilippe JacquesMaude Pupin. A new fingerprint to predict nonribosomal peptides activity.
Journal of Computer-Aided Molecular Design, Springer Verlag, 2012, 26 (10), pp.1187-94. ⟨10.1007/s10822-012-9608-4⟩
hal-01090611v1  Journal articles
Ammar AbdoValérie LeclèrePhilippe JacquesNaomie SalimMaude Pupin. Prediction of New Bioactive Molecules using a Bayesian Belief Network
Journal of Chemical Information and Modeling, American Chemical Society, 2014, 54 (1), pp.30-36. ⟨10.1021/ci4004909⟩
hal-00739754v2  Journal articles
Assyr AbdulleGilles VilmartKonstantinos Zygalakis. Weak second order explicit stabilized methods for stiff stochastic differential equations
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2013, 35 (4), pp.1792-1814. ⟨10.1137/12088954X⟩
hal-00746563v1  Journal articles
Assyr AbdulleDavid CohenGilles VilmartKonstantinos Zygalakis. High weak order methods for stochastic differential equations based on modified equations
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2012, 34 (3), pp.1800-1823. ⟨10.1137/110846609⟩
hal-00811490v2  Journal articles
Assyr AbdulleYun BaiGilles Vilmart. Reduced basis finite element heterogeneous multiscale method for quasilinear elliptic homogenization problems
Discrete and Continuous Dynamical Systems - Series S, American Institute of Mathematical Sciences, 2015, 8 (1), pp.91-118. ⟨10.3934/dcdss.2015.8.91⟩
hal-01017106v3  Journal articles
Assyr AbdulleMartin HuberGilles Vilmart. Linearized numerical homogenization method for nonlinear monotone parabolic multiscale problems
Multiscale Modeling and Simulation: A SIAM Interdisciplinary Journal, Society for Industrial and Applied Mathematics, 2015, 13 (3), pp.916-952. ⟨10.1137/140975504⟩
hal-00858088v2  Journal articles
Assyr AbdulleGilles VilmartKonstantinos Zygalakis. High order numerical approximation of the invariant measure of ergodic SDEs
SIAM Journal on Numerical Analysis, Society for Industrial and Applied Mathematics, 2014, 52 (4), pp.1600-1622. ⟨10.1137/130935616⟩
hal-01111169v1  Journal articles
Assyr AbdulleMarcus J. GroteChristian Stohrer. Finite Element Heterogeneous Multiscale Method for the Wave Equation: Long-Time Effects
Multiscale Modeling and Simulation: A SIAM Interdisciplinary Journal, Society for Industrial and Applied Mathematics, 2014, 12 (3), pp.1230-1257. ⟨10.1137/13094195X⟩
hal-00965354v2  Journal articles
Assyr AbdulleGilles VilmartKonstantinos Zygalakis. Long time accuracy of Lie-Trotter splitting methods for Langevin dynamics
SIAM Journal on Numerical Analysis, Society for Industrial and Applied Mathematics, 2015, 53 (1), pp.1-16. ⟨10.1137/140962644⟩
hal-01596179v1  Journal articles
Andreas AbelAndrea VezzosiThéo Winterhalter. Normalization by evaluation for sized dependent types
Proceedings of the ACM on Programming Languages, ACM, 2017, 1, pp.33. ⟨10.1145/3110277⟩
hal-01613530v2  Journal articles
Simon AbelardPierrick GaudryPierre-Jean Spaenlehauer. Improved Complexity Bounds for Counting Points on Hyperelliptic Curves
Foundations of Computational Mathematics, Springer Verlag, 2019, 19 (3), pp.591-621. ⟨10.1007/s10208-018-9392-1⟩
inria-00334011v1  Journal articles
Remi AbgrallFabien Marpeau. Residual distribution schemes on quadrilateral meshes.
Journal of Scientific Computing, Springer Verlag, 2007, 30 (1), pp.131-175
inria-00403691v1  Journal articles
Remi AbgrallJirka Trefilick. An example of high order Residual Distribution scheme using non Lagrange elements
Journal of Scientific Computing, Springer Verlag, 2009, 45 (1-3), pp.3-25
inria-00333754v1  Journal articles
Remi Abgrall. Essentially non-oscillatory residual distribution schemes for hyperbolic problems
Journal of Computational Physics, Elsevier, 2006, 214 (2), pp.773-808
hal-00547413v1  Journal articles
Remi AbgrallPierre RametRobin Huart. Numerical simulation of unsteady MHD flows and applications
Magnetohydrodynamics c/c of Magnitnaia Gidrodinamika, Institute of Physics, University of Latvia, 2009, 45 (2), pp.225-232
hal-01167068v1  Journal articles
Serge AbiteboulPierre BourhisVictor Vianu. Highly Expressive Query Languages for Unordered Data Trees
Theory of Computing Systems, Springer Verlag, 2015, 57, pp.927-966. ⟨10.1007/s00224-015-9617-5⟩
hal-01254247v1  Journal articles
Serge AbiteboulFabien GandonFabian Suchanek. A la recherche des connaissances du Web...
1024 : Bulletin de la Société Informatique de France, Société Informatique de France, 2014, pp.20
hal-01261950v2  Journal articles
Serge AbiteboulYael AmsterdamerDaniel DeutchTova MiloPierre Senellart. Optimal Probabilistic Generation of XML Documents
Theory of Computing Systems, Springer Verlag, 2015, 57 (4), pp.806-842
hal-00908090v1  Journal articles
Serge Abiteboul. Vers une nouvelle science des risques ?
Risques : les cahiers de l'assurance, Société d'édition et de diffusion des documents informatifs et techniques de l'assurance, 2013
hal-00766210v1  Journal articles
Serge AbiteboulPierre BourhisVictor Vianu. Comparing workflow specification languages: A matter of views
ACM Transactions on Database Systems, Association for Computing Machinery, 2012, 37 (10), ⟨10.1145/2188349.2188352⟩
inria-00429484v1  Journal articles
Serge AbiteboulLuc SegoufinVictor Vianu. Modeling and Verifying Active XML Artifacts
Bulletin of the Technical Committee on Data Engineering, IEEE Computer Society, 2009
inria-00429489v1  Journal articles
Serge AbiteboulNeoklis Polyzotis. Searching Shared Content in Communities with the Data Ring
Bulletin of the Technical Committee on Data Engineering, IEEE Computer Society, 2009
hal-01068006v1  Journal articles
Serge AbiteboulBenjamin AndréDaniel Kaplan. Managing your digital life with a Personal information management system
Communications of the ACM, Association for Computing Machinery, 2015, 58 (5), pp.32-35
hal-01273439v1  Journal articles
Serge Abiteboul. Analyse des données et choix de société
Parole publique, Association communication publique, 2016, Communiquer à l’ère du Big Data. Promesses et périls de l'action publique algorithmique
hal-01744283v1  Journal articles
Serge Abiteboul. Les algorithmes du commerce
Concurrences - revue des droits de la concurrence, Institut de droit de la concurrence, 2018
hal-01963510v1  Journal articles
Serge Abiteboul. Les déclinaisons de la neutralité
Annales des Mines - Enjeux Numériques, Conseil général de l'Économie, ministère de l'Économie et des Finances, 2018
hal-03172025v1  Journal articles
Serge Abiteboul. Dans la jungle des identifiants numériques
Acteurs Publics, Issy-les-Moulineaux: Société d'édition publique, 2021
hal-03117322v1  Journal articles
Serge Abiteboul. Qualité, équité, transparence, vérification et explicabilité des décisions algorithmiques
Annales des Mines - Enjeux Numériques, Conseil général de l'Économie, ministère de l'Économie et des Finances, 2021
hal-02613465v1  Journal articles
Serge AbiteboulFlorence Hachez-Leroy. Quel patrimoine pour l’informatique ? Introduction au numéro
Patrimoine industriel, CILAC, 2020, Patrimoine industriel informatique
hal-01730520v1  Journal articles
Badr Abou El MajdJean-Antoine DesideriRégis Duvigneau. Multilevel strategies for parametric shape optimization in aerodynamics
Revue Européenne de Mécanique Numérique/European Journal of Computational Mechanics, Hermès / Paris : Lavoisier 2008, 17 (1-2)