Search
Access content directly
Footer
Documentation
EN
French (FR)
English (EN)
Sign in
Collection
X-LIX
Search
Loading...
Advanced Search
Information de documents
Titles
Titles
Subtitle
Work title
hal_serie_t
Default search field (multi-criteria) + PDF full text
Abstract
Full text of PDF document
Keywords
Document type
Document subtype
All document identifiers
HAL submission identifier
Language of document (text)
Country (Text)
City
hal_inPress_bool
Add
Author
Author (multi-criteria)
Author (multi-criteria)
Author: Full name
Author: Last name
Author: First name
Author: middle name
Author: funding institution
Author: IdHal (string)
Author: function
Author: personID (integer)
Author: funding institution identifier
Author: Structure identifier
Thesis director
Publisher
Scientific editor
Series editor
Add
Structure
Structure (multi-criteria)
Structure (multi-criteria)
Structure: Acronym
Structure: Name
Structure: Code
Structure: Country
Structure: Type
Structure: Referential status
Structure: Internal structure identifier
Structure/research team: Country
Structure/department: Country
Structure/laboratory: Country
Structure/group of departments: State
Structure/institution: Country
Structure/group of institutions: Country
Add
Autres
Default search field (multi-criteria)
Default search field (multi-criteria)
Journals (multi-criteria)
Journal: Publisher
Journal: Abbreviated title
Journal: Title
Journal: Internal identifier
Journal: beginning publication date
Journal: online ISSN
Journal: ISSN
Journal: Publisher
Journal: SHERPA/RoMEO color
Journal: referential status
Conference (multi-criteria)
Conference: Title
Conference: Organiser
Conference: beginning date (Year)
Conference: end date (Year)
Invited communication (yes/no)
ANR project (multi-criteria)
ANR project: Acronym
hal_anrProjectAcronymProgram_t
ANR project: Code decision (reference)
ANR project: Name
ANR project: Internal identifier
ANR project: Referential Status
European project (multi-criteria)
European project: Acronym
European project: Call identifier
European project: Reference
European project: Name
European project: end date
European project: Funding
European project: beginning date
European project: Referential status
European project: Internal identifier
Publication date: year
Release date: year
hal_publicationDateY_i
Writing date: year
Date modified: year
Submission Date: year
Online Publication date: year
HAL Collection (multi-criteria)
HAL Collection: category
HAL Collection: Code
HAL Collection: Name
HAL Collection: Internal identifier
Contributor/author Internal identifier
Contributor/author Full name
Domains
Primary domain
Root domain
Sub-domain level 1
Sub-domain level 2
Sub-domain level 3
Status of document
Document version
Submission type
Document type
ISBN
Number - reference
Identifier: DOI
Classification
Audience
Vulgarization
Peer reviewing - text (yes or no)
Conference proceedings
Internal reference
Funding
Collaborations
Add
Lancer la recherche
Search using SolR syntax
Search using SolR syntax
Run the search
Vers la recherche avancée
Upload
Laboratoire d'informatique de l'X
Home
Browse
Document list
List by subject
List by authors
×
×
×
Loading...
×
Last submissions
Fariza Tahi, Engelen Stefan, Mireille Régnier. P-DCfold or how to predict all kinds of pseudoknots in RNA secondary structures.
International Journal on Bioinformatics Engineering (IJBE)
, 2005, 14 (05), pp.703-716.
⟨10.1142/S021821300500234X⟩
.
⟨hal-00343084⟩
Bruno Sterner. Towards Optimally Small Smoothness Bounds for Cryptographic-Sized Smooth Twins and their Isogeny-based Applications.
Selected Areas in Cryptography SAC 2024
, Aug 2024, Montreal (Canada), Canada.
⟨hal-04254512v2⟩
Matteo Bonini, Martino Borello, Eimear Byrne. The geometry of covering codes in the sum-rank metric. 2024.
⟨hal-04897367⟩
Nadja Willenborg, Martino Borello, Anna-Lena Horlemann, Habibul Islam. Dihedral Quantum Codes. 2025.
⟨hal-04897228⟩
Valentina Astore, Martino Borello, Marco Calderini, Flavio Salizzoni. A geometric invariant of linear rank-metric codes. 2025.
⟨hal-04897043⟩
Martino Borello, Wolfgang Schmid, Martin Scotti. The geometry of intersecting codes and applications to additive combinatorics and factorization theory.
Journal of Combinatorial Theory, Series A
, In press.
⟨hal-04896981⟩
Clément Ducros. Multiparty Computation from the Hardness of Coding Theory. Computer Science [cs]. Université Paris Cité, 2024. English.
⟨NNT : ⟩
.
⟨tel-04889558⟩
Beniamino Accattoli, Jui-Hsuan Wu. Positive Focusing is Directly Useful.
MFPS 2024 - 40th Conference on Mathematical Foundations of Programming Semantics
, Jun 2024, Oxford, United Kingdom.
⟨10.46298/entics.14758⟩
.
⟨hal-04886376⟩
Beniamino Accattoli, Adrienne Lancelot. Light Genericity.
FoSSaCS 2024 - 27th International Conference on Foundations of Software Science and Computation Structures
, Apr 2024, Luxembourg City, Luxembourg. pp.24-46,
⟨10.1007/978-3-031-57231-9_2⟩
.
⟨hal-04886354⟩
Hubert Comon, Simon Perdrix, Pierre Aboulker, Pablo Arrighi, Sandrine Blazy, et al.. Section 06 Sciences de l’information : fondements de l’informatique, calculs, algorithmes, représentations, exploitations. CNRS. 2021.
⟨hal-04884956⟩
Clément Allain, Frédéric Bour, Basile Clément, François Pottier, Gabriel Scherer. Tail Modulo Cons, OCaml, and Relational Separation Logic.
Proceedings of the ACM on Programming Languages
, 2025, 9 (POPL), pp.2337-2363.
⟨10.1145/3704915⟩
.
⟨hal-04884634⟩
Alexander Churkin, Yann Ponty, Danny Barash. IndelsRNAmute: predicting deleterious multiple point substitutions and indels mutations.
BMC Bioinformatics
, 2022, 23 (S8), pp.424.
⟨10.1186/s12859-022-04943-0⟩
.
⟨hal-03815555⟩
Cedric Chauve, Yann Ponty, João Paulo Pereira Zanetti. Evolution of genes neighborhood within reconciled phylogenies: an ensemble approach.
BMC Bioinformatics
, 2015, 16 (Suppl 19), pp.S6.
⟨10.1186/1471-2105-16-S19-S6⟩
.
⟨hal-01245495⟩
Vincent Jacob. High-Dimensional Time Series Anomaly Detection over Heterogeneous Domains. Machine Learning [stat.ML]. Institut Polytechnique de Paris, 2024. English.
⟨NNT : 2024IPPAX068⟩
.
⟨tel-04876865⟩
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański. Languages of Higher-Dimensional Automata.
Mathematical Structures in Computer Science
, 2021, 31 (5), pp.575-613.
⟨10.1017/S0960129521000293⟩
.
⟨hal-04540027⟩
William Aboucaya, Oana Balalau, Rafael Angarita, Valérie Issarny. Finding Conflicts of Opinion in Citizen Participation Platforms.
2024 IEEE International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT)
, Dec 2024, Bangkok, Thailand. pp.8.
⟨hal-04870985⟩
Oana Balalau, Francesco Bonchi, T-H. Hubert Chan, Francesco Gullo, Mauro Sozio, et al.. Finding Subgraphs with Maximum Total Density and Limited Overlap in Weighted Hypergraphs.
ACM Transactions on Knowledge Discovery from Data (TKDD)
, 2024, 18 (4), pp.1-21.
⟨10.1145/3639410⟩
.
⟨hal-04870686⟩
Emmanuel Haucourt. Non-Hausdorff parallelized manifolds over geometric models of conservative programs. 2025.
⟨hal-04143115v3⟩
Heitor Murilo Gomes, Maciej Grzenda, Rodrigo Fernandes De Mello, Jesse Read, Minh-Huong Le Nguyen, et al.. A Survey on Semi-supervised Learning for Delayed Partially Labelled Data Streams.
ACM Computing Surveys
, 2022, 55 (4), pp.75.
⟨10.1145/3523055⟩
.
⟨hal-04468366⟩
Reynald Lercier, Christophe Ritzenthaler, Florent Rovetta, Jeroen Sijsling, Benjamin Smith. Distributions of traces of Frobenius for smooth plane curves over finite fields.
Experimental Mathematics
, 2019, 28 (1), pp.39-48.
⟨10.1080/10586458.2017.1328321⟩
.
⟨hal-01217995⟩
Number of fulltext
2 976
Number of reference
1 092
Submissions evolution
Submissions distribution by document type