Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Documentation
Episciences.org
Sciencesconf.org
Support
Connexion
Connexion
Créer un compte
Mot de passe oublié ?
Login oublié ?
fr
en
Accueil
Déposer
Consulter
par date de publication/rédaction
par domaine
par type de publication
par collection
arXiv
Consultation les derniers dépôts
Recherche
Services
HalTools : créer sa page web
Haltools : export RAWEB
Bib2Hal : import par lot à partir d'un fichier BibTeX
Consulter les structures de recherche connues de HAL
Documentation
Aide en ligne de HAL V3
Dernières évolutions de HAL V3
Documentation API HAL
Ajouter des vignettes
Aide en ligne Haltools
Aide en ligne de Bib2hal
OpenAccess@Inria
Supports
Recherche
Filtres
Structure : Identifiant HAL de la structure ×
Auteur : IdHal (chaîne de caractères) ×
Tous ×
48 résultats
enregistrer la recherche
Type de document
Article dans une revue
(23)
Communication dans un congrès
(19)
Rapport
(3)
Poster
(2)
Direction d'ouvrage, Proceedings
(1)
Auteur
Alain Denise
(48)
Dominique Barth
(8)
Yann Ponty
(7)
Sarah Cohen-Boulakia
(5)
Marie-Claude Gaudel
(5)
Bryan Brancotte
(4)
Claire Herrbach
(4)
Cédric Saule
(4)
Johan Oudinet
(4)
Michel Termier
(4)
Olivier Lespinet
(4)
Paul Zimmermann
(4)
Alexis Lamiable
(3)
Bo Yang
(3)
Christine Drevet
(3)
Cécile Pereira
(3)
Franck Quessette
(3)
Mireille Regnier
(3)
Philippe Rinaudo
(3)
Romain Rivière
(3)
Sandrine Vial
(3)
Sylvain Peyronnet
(3)
Sylvie Hamel
(3)
Yi Zhang
(3)
Yu Zhou
(3)
Guillaume Blin
(3)
Johanne Cohen
(3)
Antoine De Monte
(2)
Bastien Rance
(2)
Cedric Chauve
(2)
Claude Thermes
(2)
Daniel Gautheret
(2)
Dominique Gouyou-Beauchamps
(2)
Eric Westhof
(2)
Helene Touzet
(2)
Jean-Marc Steyaert
(2)
Marie-France Sagot
(2)
Mireille Bousquet-Mélou
(2)
Mireille Régnier
(2)
Philippe Flajolet
(2)
Richard Lassaigne
(2)
Sandrine-Dominique Gouraud
(2)
Serge Dulucq
(2)
Xiang-Dong Fu
(2)
Yves D'Aubenton-Carafa
(2)
Aïda Ouangraoua
(2)
Cyril Banderier
(2)
Danièle Gardy
(2)
Isabelle Dutour
(2)
Julien Allali
(2)
Pascal Ferraro
(2)
C. Saule
(1)
Changwei Shao
(1)
Christine Froidevaux
(1)
Claire Wallon
(1)
Dong-Er Zhang
(1)
Fabrice Jossinet
(1)
Fabrice Leclerc
(1)
Geng Chen
(1)
Hairi Li
(1)
Hui Sun
(1)
Hélène Touzet
(1)
Jie Huang
(1)
Jie Zhou
(1)
Jinsong Qiu
(1)
Julie Bernauer
(1)
Jérôme Waldispühl
(1)
Li Jiang
(1)
Liza Al-Shikhley
(1)
Lou Feng
(1)
Mahassine Djelloul
(1)
Mathias Vandenbogaert
(1)
Matthieu Barba
(1)
Mélanie Boudard
(1)
Peng Tang
(1)
Peter Clote
(1)
Philippe Rinaudo
(1)
Philippe Silar
(1)
Richard Lasseigne
(1)
Tao Sun
(1)
Tongbin Wu
(1)
Vincent Le Gallic
(1)
Wei Liu
(1)
Wei Wang
(1)
Zexi Hu
(1)
Fabrice Leclerc
(1)
Jérôme Azé
(1)
Kévin Darty
(1)
Stéphane Vialette
(1)
Discipline
Informatique [cs]
(39)
Sciences du Vivant [q-bio]
(20)
Mathématiques [math]
(3)
Structure
Laboratoire de Recherche en Informatique
(43)
Inria Saclay - Ile de France
(32)
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
(32)
Institut de génétique et microbiologie [Orsay]
(28)
Parallélisme, Réseaux, Systèmes, Modélisation
(9)
Laboratoire Bordelais de Recherche en Informatique
(8)
Institut de Biologie Intégrative de la Cellule
(5)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(5)
Laboratoire d'Informatique Fondamentale de Lille
(5)
INRIA Lorraine
(4)
Inria Paris-Rocquencourt
(4)
State Key Laboratory of Virology
(4)
Department of Cellular and Molecular Medicine
(3)
Département d'Informatique et de Recherche Opérationnelle [Montreal]
(3)
Inria Lille - Nord Europe
(3)
Équipe de Logique Mathématique
(3)
ABLife Inc
(2)
Architecture et réactivité de l'ARN
(2)
Centre de Recherche des Cordeliers
(2)
Inria Grenoble - Rhône-Alpes
(2)
Inria Sophia Antipolis - Méditerranée
(2)
Institut de Biologie Computationnelle
(2)
Laboratoire d'Informatique Gaspard-Monge
(2)
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
(2)
Laboratoire de Biométrie et Biologie Evolutive
(2)
Maturation des ARN et enzymologie moléculaire
(2)
Pacific Institute for the Mathematical Sciences
(2)
AP-HP
(1)
Centre de génétique moléculaire
(1)
Department of Biology
(1)
Department of Mathematics [Burnaby]
(1)
Génomique des microorganismes
(1)
Inria Nancy - Grand Est
(1)
Laboratoire d'Informatique de Paris-Nord
(1)
McGill Centre for Bioinformatics
(1)
Moores Cancer Center
(1)
SFU Discrete Mathematics Group
(1)
Technologies avancées pour le génôme et la clinique
(1)
Collection
INRIA
(48)
CNRS
(45)
UMR8623
(43)
CENTRALESUPELEC
(39)
INRIA_TEST
(39)
UNIV-PSUD
(39)
INRIA2
(36)
I2BC
(33)
INRIA-SACLAY
(32)
LIX
(32)
PARISTECH
(32)
X
(32)
X-DEP
(32)
X-DEP-INFO
(32)
X-LIX
(32)
UVSQ
(10)
PRISM
(9)
CENTRALESUPELEC-SACLAY
(8)
ENSEIRB
(8)
LABRI
(8)
LRI-BIOINFO
(8)
TESTBORDEAUX
(8)
UNIV-BORDEAUX
(8)
UNIV-PARIS-SACLAY
(8)
UNIV-PSUD-SACLAY
(8)
UNIV-LORRAINE
(7)
INRIA-SACLAY-2015
(6)
LABRI-MABIOVIS
(6)
TESTANNE
(6)
USPC
(6)
X-SACLAY
(6)
CEA
(5)
CEA-UPSAY
(5)
CEA-UPSAY-SACLAY
(5)
DSV
(5)
INRIA-LORRAINE
(5)
INRIA-NANCY-GRAND-EST
(5)
LORIA
(5)
LORIA2
(5)
UNIV-LILLE3
(5)
UNIV-PARIS7
(5)
ELM
(3)
INPL
(3)
INRIA-LILLE
(3)
INRIA-RRRT
(3)
INSMI
(3)
LARA
(3)
TDS-MACS
(3)
UPMC
(3)
BIOENVIS
(2)
CGE
(2)
CIRAD
(2)
CORDELIERS
(2)
CV_LIGM
(2)
CV_UNIV-MLV
(2)
DMTCS
(2)
ENPC
(2)
ENPC-LIGM
(2)
EPHE
(2)
IBC
(2)
INRA
(2)
INRIA-RHA
(2)
INRIA-SOPHIA
(2)
INRIA34
(2)
INRIASO
(2)
INSERM
(2)
LIFL
(2)
LIGM
(2)
LIGM_ALGO
(2)
LIGM_MOA
(2)
LIRMM
(2)
MIPS
(2)
PSL
(2)
TESTBORDEAUX2
(2)
UNIV-MLV
(2)
UNIV-PARIS5
(2)
UNIV-STRASBG
(2)
UPEC-UPEM
(2)
UPMC_POLE_4
(2)
ZENITH
(2)
AGREENIUM
(1)
APHP
(1)
BAMBOO
(1)
CRISTAL
(1)
CRISTAL-BONSAI
(1)
EPISCIENCES
(1)
INRIA-ROCQ
(1)
LIPN
(1)
LIX-BIOINFO
(1)
LORIA-FM
(1)
LRI-GALAC
(1)
TAGC
(1)
UGA
(1)
UNIV-AMU
(1)
UNIV-PARIS13
(1)
UVSQ-SACLAY
(1)
Langue
anglais
(45)
français
(3)
Type de dépôt
Document
(24)
Notice
(24)
Année
2016
(1)
2015
(6)
2014
(5)
2013
(4)
2012
(5)
2011
(4)
2010
(7)
2009
(1)
2008
(2)
2007
(1)
2006
(3)
2004
(2)
2002
(1)
2001
(1)
1999
(2)
1998
(2)
1997
(1)
Rechercher
Recherche avancée…
Recherche simple…
Champ de recherche par défaut (multicritères)
Champ de recherche par défaut (multicritères)
Champ de recherche par défaut (multicritères) + texte intégral des PDF
Titres
Sous-titre
Titre de l'ouvrage
Résumé
Texte intégral indexé des documents PDF
Mots-clés
Tous les identifiants du document
Identifiant HAL du dépôt
Langue du document (texte)
Pays (Texte)
Ville
Auteur (multicritères)
Auteur : Nom complet
Auteur : Nom de famille
Auteur : Prénom
Auteur : Complément de nom, deuxième prénom
Auteur : Organisme payeur
Auteur : IdHal (chaîne de caractères)
Auteur : Fonction
Auteur : idHal numérique
Auteur : Identifiant
Auteur : Identifiant de l'organisme payeur
Auteur : Identifiant de la structure
Directeur de thèse
Éditeur
Éditeur scientifique
Éditeur de la série
Revues (multicritères)
Revue : Éditeur
Revue : Titre abrégé
Revue : Titre
Revue : Identifiant interne
Revue : Date de début de publication
Revue : ISSN électronique
Revue : ISSN
Revue : Éditeur
Revue : Couleur dans SHERPA/RoMEO
Revue : État dans le référentiel
Colloque (multicritères)
Colloque : Titre
Colloque : Organisateur
Colloque : date de début (Année)
Colloque : date de fin (Année)
Projets ANR (multicritères)
Projet ANR : Acronyme
Projet ANR : Acronyme de l'appel à projet
Projet ANR : Nom de l'appel à projet
Projet ANR : Référence
Projet ANR : Nom
Projet ANR : Identifiant interne
Projet ANR : État dans le référentiel
Projets européens (multicritères)
Projet européen : Acronyme
Projet européen : Identifiant de l'appel à projet
Projet européen : Référence
Projet européen : Nom
Projet européen : Date de fin
Projet européen : Financement
Projet européen : Date de début
Projet européen : État dans le référentiel
Projet européen : Identifiant interne
Structure (multicritères)
Structure : Acronyme
Structure : Nom
Structure : Code
Structure : Pays
Structure : Type
Structure : État dans le référentiel
Structure : Identifiant HAL de la structure
Date de publication : année
Date de mise en ligne : année
Date d'écriture : année
Date de modification du dépôt : année
Date de dépôt : année
Date de publication électronique : année
Collection HAL (multicritères)
Collection HAL : catégorie
Collection HAL : Code
Collection HAL : Nom
Collection HAL : Identifiant interne
Identifiant interne du contributeur/déposant
Nom complet du contributeur/déposant
Domaines
Domaine primaire
Domaine racine
Sous-domaine niveau 1
Sous-domaine niveau 2
Sous-domaine niveau 3
Statut du document
Version du document
Type de dépôt
Type de document
ISBN
Numéro - référence
Identifiant DOI
Classification
Audience
Vulgarisation
Comité de lecture - texte (oui ou non)
Actes de colloque
Référence interne
Financement
Collaborations
Enregistrement réussi
Mes recherches enregistrées / mes alertes
Une erreur est survenue lors de l'enregistrement
1
2
Tri
Pertinence
Auteur A→Z
Auteur Z→A
Titre A→Z
Titre Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Nombre
30 résultats par page
50 résultats par page
100 résultats par page
Outils
Pour les 48 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
inria-00073447
v1
Rapport
Alain Denise
,
Paul Zimmermann
.
Uniform Random Generation of Decomposable Structures Using Floating-Point Arithmetic
[Research Report] RR-3242, INRIA. 1997
hal-00823279
v2
Communication dans un congrès
Yu Zhou
,
Yann Ponty
,
Stéphane Vialette
,
Jérôme Waldispühl
,
Yi 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. 2013
hal-00644834
v1
Communication dans un congrès
Johan Oudinet
,
Alain Denise
,
Marie-Claude Gaudel
,
Richard Lassaigne
,
Sylvain Peyronnet
.
Uniform Monte-Carlo Model Checking
FASE 2011
, 2011, Saarbrücken, Germany. 2011
hal-01264187
v1
Direction d'ouvrage, Proceedings
Alain Denise
,
Olivier Lespinet
,
Mireille Régnier
.
Proceedings of the SeqBio 2015 workshop: String algorithms for bioinformatics
Alain Denise; Olivier Lespinet; Mireille Régnier. Nov 2015, Orsay, France. 2015
hal-01152098
v1
Communication dans un congrès
Bryan Brancotte
,
Bo Yang
,
Guillaume Blin
,
Sarah Cohen-Boulakia
,
Alain Denise
et al.
Rank aggregation with ties: Experiments and Analysis
The 41st International Conference on Very Large Data Bases
, Aug 2015, Kohala Coast, Hawaï, United States. 8 (11)
hal-00842021
v1
Communication dans un congrès
Cécile Pereira
,
Jérôme Azé
,
Alain Denise
,
Christine Drevet
,
Christine Froidevaux
et al.
Comparative analysis of phylogenetic profiles for the enzymatic characterization of fungal group
JOBIM 2013
, 2013, Toulouse, France. à paraître, 2013
hal-00375710
v1
Communication dans un congrès
Julien Allali
,
Yves D'Aubenton-Carafa
,
Cedric Chauve
,
Alain Denise
,
Christine Drevet
et al.
Benchmarking RNA secondary structure comparison algorithms
JOBIM'08
, 2008, Lille, France. pp.67-68, 2008
hal-00759573
v1
Article dans une revue
Alain Denise
,
Philippe Rinaudo
.
Optimisation problems for pairwise RNA sequence and structure comparison: a brief survey
Transactions on Computational Collective Intelligence
, 2014, 13, pp.70-82.
<10.1007/978-3-642-54455-2_3>
inria-00560621
v1
Article dans une revue
Alain Denise
,
Marie-Claude Gaudel
,
Sandrine-Dominique Gouraud
,
Richard Lassaigne
,
Johan Oudinet
et al.
Coverage-biased random exploration of large models and application to testing
Software Tools for Technology Transfer (STTT)
, Springer, 2012, 14 (1), pp.73-93
inria-00099891
v1
Communication dans un congrès
Dominique Barth
,
Johanne Cohen
,
Alain Denise
,
Romain Rivière
.
Shuffling biological sequencess with motifs constraints
Algorithms and Computational Methods for Biochemical and Evolutionary Networks - CompBioNets'2004
, Dec 2004, Recife, Brazil. 18 p, 2004
hal-00306639
v1
Article dans une revue
Alain Denise
,
Isabelle Dutour
,
Paul Zimmermann
.
CS: a MuPAD package for counting and randomly generating combinatorial structures
MathPAD
, Paderborn University, 1998, 8, pp.23-30
hal-01098231
v1
Poster
Cécile Pereira
,
Alain Denise
,
Olivier Lespinet
.
A new method for improving the prediction and the functional annotation of ortholog groups
Proc. ECCB'14, the 13th European Conference on Computational Biology
, 2014, Strasbourg, France. Proc. ECCB'14, the 13th European Conference on Computational Biology, 2014
hal-00483581
v1
Article dans une revue
Alain Denise
,
Yann Ponty
,
Michel 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>
inria-00541269
v1
Article dans une revue
Claire Herrbach
,
Alain Denise
,
Serge Dulucq
.
Average complexity of the Jiang-Wang-Zhang pairwise tree alignment algorithm and of a RNA secondary structure alignment algorithm
Theoretical Computer Science
, Elsevier, 2010, 411, pp.2423-2432
inria-00098797
v1
Article dans une revue
Alain Denise
,
Paul Zimmermann
.
Uniform Random Generation of Decomposable Structures Using Floating-Point Arithmetic
Theoretical Computer Science
, Elsevier, 1999, 218 (2), pp.233-248
hal-00716558
v1
Article dans une revue
Johan Oudinet
,
Alain Denise
,
Marie-Claude Gaudel
.
A new dichotomic algorithm for the uniform random generation of words in regular languages (journal version)
Theoretical Computer Science
, Elsevier, 2013, 502, pp.165-176
inria-00073011
v1
Rapport
Cyril Banderier
,
Mireille Bousquet-Mélou
,
Alain Denise
,
Philippe Flajolet
,
Danièle Gardy
et al.
On Generating Functions of Generating Trees
[Research Report] RR-3661, INRIA. 1999
inria-00072496
v1
Rapport
Alain Denise
,
Mireille Regnier
,
Mathias Vandenbogaert
.
Assessing Statistical Significance of Overrepresented Oligonucleotides
[Research Report] RR-4132, INRIA. 2001
inria-00594890
v1
Communication dans un congrès
Peter Clote
,
Lou Feng
,
Alain Denise
.
A new approach to suboptimal pairwise sequence alignment
CompBio 2011: IASTED International Conference on Computational Bioscience
, 2011, Cambridge, United Kingdom. 2011
inria-00543315
v1
Communication dans un congrès
Cédric Saule
,
Claire Wallon
,
Alain Denise
.
Uniform and non-uniform random generation of RNA secondary structures with pseudoknots
GASCOM
, Sep 2010, Montreal, Canada. 2010
inria-00542683
v1
Communication dans un congrès
Johan Oudinet
,
Alain Denise
,
Marie-Claude Gaudel
.
A new dichotomic algorithm for the uniform random generation of words in regular languages
GASCom 2010
, 2010, Montreal, Canada. 2010
hal-01266096
v1
Communication dans un congrès
Vincent Le Gallic
,
Alain Denise
,
Yann Ponty
.
Résultats algorithmiques pour le design d’ARN avec contraintes de séquence
SeqBio 2015
, Nov 2015, Orsay, France. Proceedings of the SeqBio 2015 workshop: String algorithms for bioinformatics, pp.26-31, 2015
hal-00080471
v1
Communication dans un congrès
Alain Denise
,
Marie-Claude Gaudel
,
Sandrine-Dominique Gouraud
,
Richard Lasseigne
,
Sylvain Peyronnet
.
Uniform Random Sampling of Traces in Very Large Models
Johannes Mayer, Robert Merkel.
First International Workshop on Random Testing
, 2006, Portland, Maine, United States. ACM, pp.10-19, 2006
hal-01332642
v1
Communication dans un congrès
Wei Wang
,
Matthieu Barba
,
Philippe Rinaudo
,
Alain Denise
,
Yann Ponty
.
Homology modeling of complex structural RNAs
JOBIM - Journées Ouvertes en Biologie, Informatique et Mathématiques - 2016
, Jun 2016, Lyon, France. 2016
hal-00534366
v1
Article dans une revue
Wei Liu
,
Yu Zhou
,
Zexi Hu
,
Tao Sun
,
Alain Denise
et al.
Regulation of splicing enhancer activities by RNA secondary structures
FEBS Letters
, Wiley, 2010, 584 (21), pp.4401-7.
<10.1016/j.febslet.2010.09.039>
inria-00584690
v1
Communication dans un congrès
Sarah Cohen-Boulakia
,
Alain Denise
,
Sylvie Hamel
.
Using medians to generate consensus rankings for biological data
SSDBM 2011: Scientific and Statistical Database Management Conference
, 2011, Portland, United States. 2011
hal-01091053
v1
Communication dans un congrès
Bryan Brancotte
,
Bastien Rance
,
Alain Denise
,
Sarah Cohen-Boulakia
.
ConQuR-Bio: Consensus Ranking with Query Reformulation for Biological Data
10th International Conference, Data Integration in the Life Sciences
, Jul 2014, Lisbon, Portugal. pp.128 - 142, 2014,
<10.1007/978-3-319-08590-6_13>
hal-00756345
v1
Communication dans un congrès
Fabrice Jossinet
,
Alexis Lamiable
,
Philippe Rinaudo
,
Liza Al-Shikhley
,
Franck 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, 2012
hal-00708580
v2
Communication dans un congrès
Philippe Rinaudo
,
Yann Ponty
,
Dominique Barth
,
Alain Denise
.
Tree decomposition and parameterized algorithms for RNA structure-sequence alignment including tertiary interactions and pseudoknots
Ben Raphael and Jijun Tang.
WABI - 12th Workshop on Algorithms in Bioinformatics - 2012
, Sep 2012, Ljubljana, Slovenia. 2012, tba
inria-00107518
v1
Communication dans un congrès
Alain Denise
,
Isabelle Dutour
,
Paul Zimmermann
.
CS: a MuPAD Package for Counting and Randomly Generating Combinatorial Structures
The Fields Institute.
10-th conference Formal Power Series and Algebraic Combinatorics
, 1998, Toronto, pp.195-204, 1998
1
2
Tri
Pertinence
Auteur A→Z
Auteur Z→A
Titre A→Z
Titre Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Nombre
30 résultats par page
50 résultats par page
100 résultats par page
Outils
Pour les 48 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
Enregistrer
Annuler
Libellé
Des champs obligatoires n'ont pas été remplis.