1 |
Demo Paper: Coqlex, an approach to generate verified lexers
|
|
|
|
In: ML 2021-ACM SIGPLAN Workshop on ML ; https://hal.inria.fr/hal-03470713 ; ML 2021-ACM SIGPLAN Workshop on ML, Aug 2021, Online event, United States ; https://icfp21.sigplan.org/home/mlfamilyworkshop-2021 (2021)
|
|
BASE
|
|
Show details
|
|
2 |
Language and semantics of expressions for Grafcet model synthesis in a MDE environment ; Langage et sémantique des expressions pour la synthèse de modèle Grafcet dans un environnement IDM
|
|
|
|
In: ISSN: 1638-5713 ; Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées ; Conférence de Recherche en Informatique (CRI 2019) ; https://hal.archives-ouvertes.fr/hal-02619121 ; Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2021, Volume 33 - 2020 - Numéro spécial CRI 2019, 33 - 2020, ⟨10.46298/arima.6452⟩ ; René Ndoundam, Eric Badouel, Maurice Tchuenté, Paulin Melatagia (2021)
|
|
BASE
|
|
Show details
|
|
3 |
Verification of Program Transformations with Inductive Refinement Types
|
|
|
|
In: ISSN: 1049-331X ; ACM Transactions on Software Engineering and Methodology ; https://hal.inria.fr/hal-03518825 ; ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩ (2021)
|
|
BASE
|
|
Show details
|
|
4 |
Language and semantics of expressions for Grafcet model synthesis in a MDE environment ; Langage et sémantique des expressions pour la synthèse de modèle Grafcet dans un environnement IDM
|
|
|
|
In: ISSN: 1638-5713 ; Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées ; https://hal.archives-ouvertes.fr/hal-02558838 ; Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2021, Volume 33 - 2020 - Numéro spécial CRI 2019, Volume 33 - 2020 - Special issue CRI 2019 (33), ⟨10.46298/arima.6452⟩ ; René Ndoundam, Eric Badouel, Maurice Tchuenté, Paulin Melatagia (2021)
|
|
BASE
|
|
Show details
|
|
5 |
Supplementary material to the paper The VoicePrivacy 2020 Challenge: Results and findings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03335126 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
6 |
Supplementary material to the paper The VoicePrivacy 2020 Challenge: Results and findings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03335126 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
7 |
The VoicePrivacy 2020 Challenge: Results and findings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03332224 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
8 |
Supplementary material to the paper The VoicePrivacy 2020 Challenge: Results and findings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03335126 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
9 |
The VoicePrivacy 2020 Challenge: Results and findings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03332224 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
10 |
Enhancing Speech Privacy with Slicing
|
|
|
|
In: https://hal.inria.fr/hal-03369137 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
11 |
Supplementary material to the paper The VoicePrivacy 2020 Challenge: Results and findings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03335126 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
12 |
Supplementary material to the paper The VoicePrivacy 2020 Challenge: Results and findings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03335126 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
13 |
The VoicePrivacy 2020 Challenge: Results and findings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03332224 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
14 |
Synchronous Product of Time Petri Nets and its Applications to Fault-Diagnosis ; Produit Synchrone de Réseaux de Petri temporel et ses Applications au Diagnostic de Fautes
|
|
|
|
In: https://hal.laas.fr/tel-03528121 ; Embedded Systems. INSA de Toulouse, 2021. English. ⟨NNT : 2021ISAT0025⟩ (2021)
|
|
BASE
|
|
Show details
|
|
15 |
Synchronous Product of Time Petri Netsand its Applications to Fault-Diagnosis ; Produit synchrone des réseaux de Petri temporelset ses applications au diagnostic de défauts
|
|
|
|
In: https://hal.laas.fr/tel-03528121 ; Embedded Systems. INSA, 2021. English (2021)
|
|
BASE
|
|
Show details
|
|
16 |
ПРОВОКАЦИЯ ПРЕСТУПЛЕНИЙ В СФЕРЕ НЕЗАКОННОГО ОБОРОТА НАРКОТИЧЕСКИХ СРЕДСТВ ... : PROVOCATION OF CRIMES IN THE SPHERE OF ILLICIT DRUG TRAFFICKING ...
|
|
|
|
BASE
|
|
Show details
|
|
17 |
An investigation into variability conditions in the SRE 2004 and 2008 Corpora ...
|
|
|
|
BASE
|
|
Show details
|
|
20 |
The hunt for the Age of Acquisition effect: It’s in the links! ...
|
|
|
|
BASE
|
|
Show details
|
|
|
|