Passer à la navigation principale
Passer à la recherche
Passer au contenu principal
Portail de la recherche de l'Université de Namur Accueil
English
Français
Accueil
Profils
Unités de recherche
Projets
Résultat de recherche
Thèses de l'étudiant
Équipement
Ensembles de données
Prix
Activités
Presse/médias
Recherche par expertise, nom ou affiliation
Faculte des sciences economiques, sociales et de gestion
Site Web
http://directory.unamur.be/entities/eco?_LOCALE_=fr
adresse postale
5000
Belgique
Aperçu
Empreinte digitale
Réseau
Profils
(351)
Projets
(925)
Résultat de recherche
(7441)
Activités
(3718)
Prix
(56)
Presse/médias
(280)
Ensembles de données
(22)
Thèses de l'étudiant
(2363)
Résultat de recherche
Résultat de recherche par an
1970
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2023
31241
Citations
87
h-Index
2753
Article
1349
Chapitre
764
Article dans les actes d'une conférence/un colloque
476
Livre
2099
Afficher plus d’informations
472
Autre contribution
464
Rapport commissionné
317
Article de travail
285
Syllabus
152
Chapitre (revu par des pairs)
65
Autre rapport
40
Mémoire de master
38
Produits numériques ou (audio)visuels
32
Revue de documentation
26
Résumé
26
Poster
26
Critique de livre/film/article
19
Editorial
18
Site/Publication web
15
Numéro spécial
14
Logiciel
13
Thèse de doctorat
12
Avant-propos/Préface/post-scriptum
12
Article à la une
11
Article de recherche
10
Article de revue
9
Revue
6
Entrée pour encyclopédie / dictionnaire
5
Autre
5
Commentaire/débat
2
Résumé d'une communication scientifique
2
Brevet
1
Contribution à un catalogue
1
???researchoutput.researchoutputtypes.contributiontojournal.conferencearticle???
1
Préprint
Résultat de recherche par an
Résultat de recherche par an
1 résultats
Année de publication, titre
(par ordre décroissant)
Année de publication, titre
(par ordre croissant)
Titre
Type
Filtrer
Préprint
Résultats de recherche
2018
ML + FV = $\heartsuit$? A Survey on the Application of Machine Learning to Formal Verification
Amrani, M.
,
Lúcio, L.
&
Bibal, A.
,
10 juin 2018
.
Résultats de recherche
:
Papier de travail
›
Préprint
File
46
Téléchargements (Pure)