Skip to Main content Skip to Navigation

hal-00542185v1  Conference papers
Cyril BanderierPierre Nicodeme. Bounded Discrete Walks
AofA2010 - Conference on Analysis of Algorithms 2010, Jun 2010, Vienna, Austria. pp.35-48
hal-00828135v2  Journal articles
Michel FliessCédric Join. Model-free control
International Journal of Control, Taylor & Francis, 2013, 86 (12), pp.2228-2252. ⟨10.1080/00207179.2013.810345⟩
inria-00450410v1  Journal articles
Raouf DridiMichel Petitot. New classification techniques for ordinary differential equations
Journal of Symbolic Computation, Elsevier, 2009, 44 (7), pp.836 - 851. ⟨10.1016/j.jsc.2008.04.010⟩
hal-00824988v1  Journal articles
Michel PetitotRaouf DridiSylvain Neut,. Elie Cartan's geometrical vision or how to avoid expression swell
Journal of Symbolic Computation, Elsevier, 2009, 44 (3), pp.261-270
hal-01997592v1  Conference papers
Jean-Guillaume DumasJoris van der HoevenClément PernetDaniel Roche. LU factorization with errors
International Symposium on Symbolic and Algebraic Computation - ISSAC'19, Jul 2019, Beijing, China. pp.131-138, ⟨10.1145/3326229.3326244⟩
hal-02127783v1  Journal articles
Robin RousselMarie-Paule CaniJean-Claude LéonNiloy Mitra. Designing Chain Reaction Contraptions from Causal Graphs
ACM Transactions on Graphics, Association for Computing Machinery, 2019, 38 (4), pp.Article No. 43. ⟨10.1145/3306346.3322977⟩
hal-00708580v2  Conference papers
Philippe RinaudoYann PontyDominique BarthAlain Denise. Tree decomposition and parameterized algorithms for RNA structure-sequence alignment including tertiary interactions and pseudoknots
WABI - 12th Workshop on Algorithms in Bioinformatics - 2012, University of Ljubljana, Sep 2012, Ljubljana, Slovenia
hal-00759573v1  Journal articles
Alain DenisePhilippe Rinaudo. Optimisation problems for pairwise RNA sequence and structure comparison: a brief survey
Transactions on Computational Collective Intelligence, Springer, 2014, 13, pp.70-82. ⟨10.1007/978-3-642-54455-2_3⟩
hal-00756345v1  Conference papers
Fabrice JossinetAlexis LamiablePhilippe RinaudoLiza Al-ShikhleyFranck Quessette et al.  Graph Algorithms and Software Framework for Interactive RNA Structure Modelling
Journees Ouvertes de Biologie Informatique et Mathematiques - JOBIM'12, Jul 2012, Rennes, France. pp.475-476
hal-01160665v1  Journal articles
S A CoxGilles VergnaudJ MilanF MorenoJ Beckmann et al.  The EUROGEM map of human chromosome 17.
European Journal of Human Genetics, Nature Publishing Group, 1993, 2 (3), pp.236-7
hal-00761608v1  Journal articles
Vic NorrisAlain ThierryPatrick AmarBarry I HollandFranck Molina. The Mimic Chain Reaction
Journal of Molecular Microbiology and Biotechnology, Karger, 2012, 22 (5), pp.335-343. ⟨10.1159/000345328⟩
hal-00823279v2  Conference papers
Yu ZhouYann PontyStéphane VialetteJérôme WaldispühlYi Zhang et al.  Flexible RNA design under structure and sequence constraints using formal languages
ACM-BCB - ACM Conference on Bioinformatics, Computational Biology and Biomedical Informatics - 2013, Sep 2013, Bethesda, Washigton DC, United States
hal-00506348v1  Journal articles
Guillaume BlinAlain DeniseSerge DulucqClaire HerrbachHélène Touzet. Alignments of RNA structures.
IEEE/ACM Transactions on Computational Biology and Bioinformatics, Institute of Electrical and Electronics Engineers, 2010, 7 (2), pp.309-322. ⟨10.1109/TCBB.2008.28⟩
inria-00413358v1  Conference papers
Stephane DoncieuxJean-Baptiste MouretNicolas Bredeche. Exploring New Horizons in Evolutionary Design of Robots
Workshop on Exploring new horizons in Evolutionary Design of Robots at IROS 2009, 2009, Saint Louis, United States. pp.5-12
hal-01217886v1  Conference papers
Fabien TarissanCamilo La Rota. Inferring Update Sequences in Boolean Gene Regulatory Networks
Cologne-Twente Workshop on Graphs and Combinatorial Optimization 2009 (CTW'09), 2009, Paris, France
hal-01010471v1  Conference papers
D. RossiGuilhem PujolXiao WangFabien Mathieu. Peeking Through the BitTorrent Seedbox Hosting Ecosystem
Traffic Measurement and Analysis (TMA), Apr 2014, London, United Kingdom. pp.115-126
hal-01279354v1  Conference papers
Alexander SchaubD. Rossi. Design and Analysis of an Improved BitMessage Anti-spam Mechanism
IEEE P2P'XIV, Sep 2015, Cambridge, United States
inria-00432318v1  Journal articles
Olivier BournezPhilippe ChassaingXavier KoeglerLucas GerinJohanne Cohen. On the convergence of population protocols when population goes to infinity
Applied Mathematics and Computation, Elsevier, 2009, Applied Mathematics and Computation, 215, pp.1340-1350
hal-00115330v1  Conference papers
Sylvain GellyYizao Wang. Exploration exploitation in Go: UCT for Monte-Carlo Go
NIPS: Neural Information Processing Systems Conference On-line trading of Exploration and Exploitation Workshop, Dec 2006, Canada
hal-01245381v2  Conference papers
Brice MinaudPatrick DerbezPierre FouquePierre Karpman. Key-Recovery Attacks on ASASA
ASIACRYPT 2015, Nov 2015, Auckland, New Zealand. pp.3 - 27, ⟨10.1007/978-3-662-48800-3_1⟩
hal-00756941v1  Journal articles
Antonio MucherinoCarlile LavorLee JonJohn Lee S.Leo Liberti et al.  Discretization Orders for Distance Geometry Problems
Optimization Letters, Springer Verlag, 2012, 6 (4), pp.783-796
hal-01114778v1  Conference papers
Yusuke KawamotoThomas Given-Wilson. Quantitative Information Flow for Scheduler-Dependent Systems
The 13th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015), Apr 2015, London, United Kingdom
hal-01332642v1  Conference papers
Wei Wang​Matthieu Barba​Philippe Rinaudo​Alain DeniseYann Ponty. Homology ­modeling of complex structural RNAs
JOBIM - Journées Ouvertes en Biologie, Informatique et Mathématiques - 2016, Jun 2016, Lyon, France