• Filters
• Document type  ×
• All  ×

41 results  save search

 Search

 Advanced Search…  Simple search…

 

Default search field (multi-criteria) 

• Default search field (multi-criteria)
• Default search field (multi-criteria) + PDF full text
• Titles
• Subtitle
• Work title
• hal_serie_t
• Abstract
• Full text of PDF document
• Keywords
• All document identifiers
• HAL submission identifier
• Language of document (text)
• Country (Text)
• City
• hal_inPress_bool
• Author (multi-criteria)
• Author: Full name
• Author: Last name
• Author: First name
• Author: middle name
• Author: funding institution
• Author: IdHal (string)
• Author: function
• Author: idHal (integer)
• Author: Identifier
• Author: funding institution identifier
• Author: Structure identifier
• Thesis director
• Publisher
• Scientific editor
• Series editor
• 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
• ANR project: Call Acronym
• ANR project: Project call name
• ANR project: 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
• 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
• Publication date: year
• Release date: year
• 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

 

	1 2	Sort  Relevance  Author A→Z  Author Z→A  Title A→Z  Title Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Number 30 results per page 50 results per page 100 results per page × Merci d'indiquer la raison de votre demande Annuler Envoyer la demande  Tools  o  Export XML-TEI BibTeX EndNote CSV PDF RTF  Advanced export...  Syndicated feeds RSS ATOM
	hal-02155786v1  Software Pierre Pradic. A sound and complete axiomatization of the equational theory of Mealy machines. 2019, ⟨swh:1:dir:d26d7ad1514340934a5b546032e21ad2fcc87441⟩
	hal-02099620v1  Software The Cado-Nfs Development Team. CADO-NFS, An Implementation of the Number Field Sieve Algorithm 2019
	hal-01863457v1  Software Bruno Blanchet, Xavier Leroy, Damien Doligez, François Rouaix, Jérôme Vouillon et al.  CamlDim 1998, ⟨swh:1:dir:f82b87d50c6b60741d85de0a83ec0982112bdee0⟩
	hal-02092571v1  Software Boyan Kolev, Oleksandra Levchenko, Carlyna Bondiombouy, Patrick Valduriez. CloudMdsQL 2016
	hal-01831369v2  Software Thibaut Girka, Yann Régis-Gianas. Correlating Oracles 2018, ⟨swh:1:rev:cccf789c12617208fe188ad3dbc2746d4c884ab7⟩
	hal-01831364v1  Software Thibaut Girka. correlating_program 2018, ⟨swh:1:rev:c8fca417ee9eefe25683042192da67470147be07⟩
	hal-02014516v1  Software Romain Azaïs, Sandie Ferrigno, Marie-José Martinez. cvmgof: Cramer-von Mises goodness-of-fit tests 2018
	hal-02094966v1  Software Daniel de Oliveira, Vítor Silva, Patrick Valduriez, Marta Mattoso. DfAnalyzer 2018
	hal-02159005v2  Software Lionel Eyraud-Dubois, Louis-Claude Canon. Experimental code and data for the paper "Scheduling on Two Types of Resources: a Survey 2019, ⟨swh:1:dir:fe5a230ec88d49ecd9790d2199f23b5c5b72abbe⟩
	hal-01767263v1  Software Yves Bertot. Formal study in Coq of pi computations using arithmetic-geometric means 2018, ⟨swh:1:rev:b1e197c030e66d588987087a193fc3a88d8bd5ed⟩
	hal-02093002v1  Software Miguel Liroz-Gistau, Reza Akbarinia, Patrick Valduriez. FP-Hadoop 2019
	hal-01827043v1  Software Angelos Mantzaflaris. Geometry plus Simulation Modules (G+Smo) 2018
	hal-02130729v1  Software The Givaro Group. Givaro 2019, ⟨swh:1:dir:df65912bd1e5ea4b96b935de95f6638eb6d9472d⟩
	hal-02095640v1  Software Oleksandra Levchenko, Djamel-Edine Yagoubi, Reza Akbarinia, Florent Masseglia, Boyan Kolev et al.  Imitates 2019
	hal-02091524v1  Software Benoît Sijobert, Ronan Le Guillou, Christine Azevedo Coste. IMUSEF 2019
	hal-02130801v1  Software The Linbox Group. LinBox 2019, ⟨swh:1:dir:393b611a1424f032e83569bf6762502371cfcf65⟩
	hal-02098365v1  Software Florent Masseglia, Julien Diener. LogMagnet 2019
	hal-01727745v1  Software Sascha Hunold, Raphaël Bleuse, Grégory Mounié. moldableILP 2017, ⟨swh:1:rev:a27a59f6b14c9fb13a6f998d8316628dafc1f60c⟩
	hal-01897572v1  Software Yann Regis-Gianas, Nicolas Jeannerod, Ralf Treinen. Morbig 2018, ⟨swh:1:dir:eb7770ebd7341d08d8dc17f5257ed17852a015a8⟩
	hal-02099602v1  Software Fabian Robert-Stöter, Antoine Liutkus. museval 2018
	hal-02137040v1  Software Alexandre Mouton, Caterina Calgaro, Emmanuel Creusé. NS2DDV - Navier-Stokes 2D à Densité Variable 2019, ⟨swh:1:dir:a126af9f1534e0b9f3431531a5f4751ad9b7b2fe⟩
	hal-01867778v1  Software Xavier Leroy, Damien Doligez, Jérôme Vouillon, Alain Deutsch, Bruno Blanchet. OCamlStack 1.05.1 2001, ⟨swh:1:dir:53c27f53e2115f847f855b9a400169d218363185⟩
	hal-02100181v1  Software Christophe Pradal, Christian Fournier, Frédéric Boudon, Patrick Valduriez, Esther Pacitti et al.  OpenAlea 2019
	hal-02096020v1  Software Antoine Affouard, Jean-Christophe Lombardo, Hervé Goëau, Pierre Bonnet, Alexis Joly. Pl@ntNet 2019
	hal-02071874v1  Software Romain Veltz. PseudoArcLengthContinuation.jl 2019, ⟨swh:1:dir:9f85c8f51850028a9fbc03463c74de29a2d24c6c⟩
	hal-02091230v1  Software Daniel Simon, Samy Lafnoune. RT$\_$Stim : Real-Time simulation for functional electrical Stimulation 2019
	hal-02092998v1  Software Hermano Lustosa, Fabio Porto, Patrick Valduriez. SAVIME (Simulation And Visualization IN-Memory) 2017
	hal-02101352v1  Software Dimitri Dupuis, Didier Parigot, Patrick Valduriez. SciFloware 2017
	hal-02090402v1  Software François Delebecque, Claude Gomez, Maurice Goursat, Ramine Nikoukhah, Serge Steer et al.  Scilab 1.1 1994, ⟨swh:1:dir:1ba0b67b5d0c8f10961d878d91ae9d6e499d746a⟩
	hal-02091542v1  Software Roger Pissard-Gibollet, Benoît Sijobert, Christine Azevedo Coste. sensbiotk 2015
	1 2	Sort  Relevance  Author A→Z  Author Z→A  Title A→Z  Title Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Number 30 results per page 50 results per page 100 results per page  Tools  o  Export XML-TEI BibTeX EndNote CSV PDF RTF  Advanced export...  Syndicated feeds RSS ATOM