1 |
Research Software Management Plan template, V3.2 ; Modèle de Plan de Gestion de Logiciel de la Recherche, V3.2
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01802565 ; 2018 (2018)
|
|
BASE
|
|
Show details
|
|
2 |
Elpi: an extension language for Coq (Metaprogramming Coq in the Elpi λProlog dialect)
|
|
|
|
In: https://hal.inria.fr/hal-01637063 ; 2018 (2018)
|
|
BASE
|
|
Show details
|
|
3 |
Collectors
|
|
|
|
In: Programming Experience 2018 (PX'18) ; https://hal.univ-brest.fr/hal-01829183 ; Programming Experience 2018 (PX'18), Apr 2018, Nice, France. pp.9, ⟨10.1145/3191697.3214335⟩ (2018)
|
|
BASE
|
|
Show details
|
|
4 |
An empirical study on object-oriented software dependencies: logical, structural and semantic
|
|
|
|
BASE
|
|
Show details
|
|
5 |
NEW shared & interconnected ASL resources: SignStream® 3 Software; DAI 2 for web access to linguistically annotated video corpora; and a sign bank
|
|
|
|
BASE
|
|
Show details
|
|
6 |
Audio-visual synchronization in reading while listening to texts: Effects on visual behavior and verbal learning
|
|
|
|
In: ISSN: 0885-2308 ; EISSN: 1095-8363 ; Computer Speech and Language ; https://hal.archives-ouvertes.fr/hal-01575227 ; Computer Speech and Language, Elsevier, 2018, 47 (january), pp.79-92. ⟨10.1016/j.csl.2017.07.003⟩ (2018)
|
|
BASE
|
|
Show details
|
|
7 |
Domain Model for Cyber-Physical Systems
|
|
|
|
In: 3rd International Conference on Advanced Aspects of Software Engineering (ICAASE 2018) ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-03127972 ; 3rd International Conference on Advanced Aspects of Software Engineering (ICAASE 2018), Dec 2018, Constantine, Algeria. pp.34-41 (2018)
|
|
BASE
|
|
Show details
|
|
8 |
Incorporating Chinese radicals into neural machine translation: deeper than character level
|
|
|
|
In: Han, Lifeng orcid:0000-0002-3221-2185 and Kuang, Shaohui (2018) Incorporating Chinese radicals into neural machine translation: deeper than character level. In: 30th European Summer School in Logic, Language and Information (ESSLLI 2018), 6-17 Aug 2018, Sofia, Bulgaria. (2018)
|
|
BASE
|
|
Show details
|
|
9 |
Incorporating Chinese radicals into neural machine translation: deeper Than character level
|
|
|
|
In: Han, Lifeng and Kuang, Shaohui (2018) Incorporating Chinese radicals into neural machine translation: deeper Than character level. In: 30th European Summer School in Logic, Language and Information (ESSLLI 2018), 6-17 Aug 2018, Sofia, Bulgaria. (2018)
|
|
BASE
|
|
Show details
|
|
10 |
Apply Chinese radicals Into neural machine translation/ deeper than character level
|
|
|
|
In: Han, Lifeng orcid:0000-0002-3221-2185 (2018) Apply Chinese radicals Into neural machine translation/ deeper than character level. In: LPRC 2018: Limerick Postgraduate Research Conference, 24 May 2018, Limerick, Ireland. (2018)
|
|
BASE
|
|
Show details
|
|
11 |
Concern-Oriented Language Development (COLD): Fostering Reuse in Language Engineering
|
|
|
|
In: ISSN: 1477-8424 ; Computer Languages, Systems and Structures ; https://hal.archives-ouvertes.fr/hal-01803008 ; Computer Languages, Systems and Structures, Elsevier, 2018, 54, pp.139-155. ⟨10.1016/j.cl.2018.05.004⟩ (2018)
|
|
BASE
|
|
Show details
|
|
12 |
Specification-Based Protocol Obfuscation
|
|
|
|
In: DSN 2018 - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks ; https://hal.inria.fr/hal-01848573 ; DSN 2018 - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2018, Luxembourg City, Luxembourg. pp.1-12, ⟨10.1109/DSN.2018.00056⟩ (2018)
|
|
BASE
|
|
Show details
|
|
13 |
Adlet: A Java-based Architecture Description Language
|
|
|
|
In: https://hal.inria.fr/hal-01964792 ; [Research Report] RR-9242, Inria Lille - Nord Europe. 2018 (2018)
|
|
BASE
|
|
Show details
|
|
14 |
Verification of High-Level Transformations with Inductive Refinement Types
|
|
|
|
In: GPCE 2018 - 17th International Conference on Generative Programming: Concepts & Experience ; https://hal.inria.fr/hal-01898058 ; GPCE 2018 - 17th International Conference on Generative Programming: Concepts & Experience, Nov 2018, Boston, United States. pp.147-160, ⟨10.1145/3278122.3278125⟩ (2018)
|
|
BASE
|
|
Show details
|
|
15 |
Distributing Relational Model Transformation on MapReduce
|
|
|
|
In: ISSN: 0164-1212 ; Journal of Systems and Software ; https://hal.archives-ouvertes.fr/hal-01863885 ; Journal of Systems and Software, Elsevier, 2018, 142, pp.1-20. ⟨10.1016/j.jss.2018.04.014⟩ (2018)
|
|
BASE
|
|
Show details
|
|
16 |
Shape-Diverse DSLs: Languages without Borders (Vision Paper)
|
|
|
|
In: SLE 2018 Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering ; SLE 2018 - 11th ACM SGIPLAN International Conference on Software Language Engineering ; https://hal.archives-ouvertes.fr/hal-01889155 ; SLE 2018 - 11th ACM SGIPLAN International Conference on Software Language Engineering, Nov 2018, Boston, United States. pp.215-219, ⟨10.1145/3276604.3276623⟩ (2018)
|
|
BASE
|
|
Show details
|
|
17 |
Counterexample Simplification for Liveness Property Violation
|
|
|
|
In: SEFM 2018 - 16th International Conference on Software Engineering and Formal Methods ; https://hal.inria.fr/hal-01818790 ; SEFM 2018 - 16th International Conference on Software Engineering and Formal Methods, Jun 2018, Toulouse, France. pp.173-188, ⟨10.1007/978-3-319-92970-5_11⟩ (2018)
|
|
BASE
|
|
Show details
|
|
18 |
Integrating automatic transcription into the language documentation workflow: Experiments with Na data and the Persephone toolkit
|
|
|
|
In: ISSN: 1934-5275 ; EISSN: 1934-5275 ; Language Documentation & Conservation ; https://halshs.archives-ouvertes.fr/halshs-01841979 ; Language Documentation & Conservation, University of Hawaiʻi Press 2018, 12, pp.393-429 ; hdl.handle.net/10125/24793 (2018)
|
|
BASE
|
|
Show details
|
|
19 |
Students Making Sense of Multi-level Data
|
|
|
|
In: Haldar, Lina Chopra; Wong, Nicole; Heller, Joan I.; & Konold, Cliff. (2018). Students Making Sense of Multi-level Data. Technology Innovations in Statistics Education, 11(1). Retrieved from: http://www.escholarship.org/uc/item/7x28z96b (2018)
|
|
BASE
|
|
Show details
|
|
20 |
Branched-Chain Amino Acid Database Integrated in MEDIPAD Software as a Tool for Nutritional Investigation of Mediterranean Populations
|
|
|
|
In: ISSN: 2072-6643 ; Nutrients ; https://hal-riip.archives-ouvertes.fr/pasteur-01989178 ; Nutrients, MDPI, 2018, 10 (10), pp.1392. ⟨10.3390/nu10101392⟩ (2018)
|
|
BASE
|
|
Show details
|
|
|
|