21 |
R codes and figures for Distinctive Metaphors for HAPPINESS near-synonyms in Indonesian: A quantitative corpus-based approach ...
|
|
|
|
BASE
|
|
Show details
|
|
23 |
Lightweight Multilingual Software Analysis
|
|
|
|
In: Faculty Publications (2018)
|
|
BASE
|
|
Show details
|
|
24 |
Lightweight Call-Graph Construction for Multilingual Software Analysis
|
|
|
|
In: Faculty Publications (2018)
|
|
BASE
|
|
Show details
|
|
25 |
Lightweight Multilingual Software Analysis
|
|
|
|
In: Faculty Publications (2018)
|
|
BASE
|
|
Show details
|
|
26 |
Semantic-Directed Clumping of Disjunctive Abstract States *
|
|
|
|
In: POPL 2017 - 44th ACM SIGPLAN Symposium on Principles of Programming Languages ; https://hal.inria.fr/hal-01648679 ; POPL 2017 - 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan 2017, Paris, France. pp.32-45, ⟨10.1145/3009837.3009881⟩ (2017)
|
|
BASE
|
|
Show details
|
|
27 |
Practical Subtyping for System F with Sized (Co-)Induction
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01289760 ; 2017 (2017)
|
|
BASE
|
|
Show details
|
|
28 |
Projet ModRef : Migration de Données vers des Triplestores CIDOC-CRM
|
|
|
|
In: 35e édition du Congrès National Inforsid ; https://hal.archives-ouvertes.fr/hal-01579337 ; 35e édition du Congrès National Inforsid, May 2017, Toulouse, France ; http://inforsid.fr/Toulouse2017/dates-appels/ (2017)
|
|
BASE
|
|
Show details
|
|
29 |
ModRef Project: from Creation to Exploitation of CIDOC-CRM Triplestores ; Projet ModRef :de la Création à l'Exploitation de Triplestores CIDOC-CRM
|
|
|
|
In: The Fifth International Conference on Building and Exploring Web Based Environments (WEB 2017) ; https://hal.archives-ouvertes.fr/hal-01578878 ; The Fifth International Conference on Building and Exploring Web Based Environments (WEB 2017) , May 2017, Barcelona, Spain ; http://www.iaria.org/conferences2017/WEB17.html (2017)
|
|
BASE
|
|
Show details
|
|
30 |
ModRef Project: Data Migration into CIDOC-CRM Triplestores and Factorisation
|
|
|
|
In: ISSN: 1942-2652 ; International Journal On Advances in Internet Technology ; https://hal.archives-ouvertes.fr/hal-01653015 ; International Journal On Advances in Internet Technology, IARIA, 2017, 3-4 (2017)
|
|
BASE
|
|
Show details
|
|
32 |
Préservation de la cohérence des transformations topologiques et géométriques
|
|
|
|
In: 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016) ; https://hal.archives-ouvertes.fr/hal-01817884 ; 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), Jun 2016, Besançon, France (2016)
|
|
BASE
|
|
Show details
|
|
33 |
HotPotatoes for Advanced users - Thinking outside the box ...
|
|
|
|
BASE
|
|
Show details
|
|
34 |
HotPotatoes for Advanced users - Thinking outside the box ...
|
|
|
|
BASE
|
|
Show details
|
|
35 |
HotPotatoes for Advanced users - Thinking outside the box ...
|
|
|
|
BASE
|
|
Show details
|
|
37 |
On Automated Lemma Generation for Separation Logic with Inductive Definitions
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01175732 ; 2015 (2015)
|
|
BASE
|
|
Show details
|
|
38 |
PyMedTermino: an open-source generic API for advanced terminology services.
|
|
|
|
In: ISSN: 0926-9630 ; EISSN: 1879-8365 ; Studies in Health Technology and Informatics ; https://hal.archives-ouvertes.fr/hal-03650024 ; Studies in Health Technology and Informatics, IOS Press, 2015, 210, pp.924-8 (2015)
|
|
BASE
|
|
Show details
|
|
39 |
Modélisation et Exploitation de Profils : Accès Sémantique à des Ressources ; ÅÓÐÐ××ØØÓÒ Ø ÜÔÐÓÓØØØØÓÒ ÈÖÓÓÐ× × ËËÑÑÒØØÕÙÙ × ÊÊ××ÓÙÖ × È× ÐÐÒÒ ÄÄÙÖÖ Ì ÒÒÒÓÑ
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01802093 ; Editions Universitaires Européennes, 2015, 978-3-8416-7617-7 ; https://www.editions-ue.com/ (2015)
|
|
BASE
|
|
Show details
|
|
|
|