• Filters
• Author: IdHal (string)  ×
• All  ×

8 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

 

		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-01432034v1  Conference papers Nicolas Jeannerod. Le coquillage dans le CoLiS-mateur JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France
	hal-02321691v1  Reports Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu, Ralf Treinen. Specification of UNIX Utilities [Technical Report] ANR. 2019
	hal-02321743v1  Reports Benedikt Becker, Nicolas Jeannerod, Claude Marché, Ralf Treinen. Revision 2 of CoLiS language: formal syntax, semantics, concrete and symbolic interpreters [Technical Report] ANR. 2019
	hal-01513750v1  Preprints, Working Papers, ... Nicolas Jeannerod, Yann Régis-Gianas, Ralf Treinen. Having Fun With 31.521 Shell Scripts 2017
	hal-01534747v1  Conference papers Nicolas Jeannerod, Claude Marché, Ralf Treinen. A Formally Verified Interpreter for a Shell-like Programming Language VSTTE 2017 - 9th Working Conference on Verified Software: Theories, Tools, and Experiments, Jul 2017, Heidelberg, Germany
	hal-01890044v1  Conference papers Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen. Morbig: A Static Parser for POSIX Shell SLE 2018 - ACM SIGPLAN International Conference on Software Language Engineering, Nov 2018, Boston, United States. ⟨10.1145/3276604.3276615⟩
	hal-01897572v1  Software Yann Regis-Gianas, Nicolas Jeannerod, Ralf Treinen. Morbig 2018, ⟨swh:1:dir:eb7770ebd7341d08d8dc17f5257ed17852a015a8⟩
	hal-02355602v1  Preprints, Working Papers, ... Benedikt Becker, Nicolas Jeannerod, Claude Marché, Yann Regis-Gianas, Sighireanu Mihaela et al.  Analysing installation scenarios of Debian packages 2019
		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