Faculte des sciences economiques, sociales et de gestion

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

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)