Photo de Sophie Fortz

Sophie Fortz

  • Source : Scopus
  • Calculé d’après le nombre de publications stockées dans Pure et de citations dans Scopus
20202020

Résultat de recherche par an

Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Empreinte digitale

Passez en revue plus en détail les thèmes de recherche où Sophie Fortz est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.
  • 6 Profils similaires

Réseau

Collaboration externe récente au niveau des pays. Analysez le détail en cliquant sur les points.
  • 1 Article dans les actes d'une conférence/un colloque

  • An SMT-Based Concolic Testing Tool for Logic Programs

    Fortz, S., Mesnard, F., Payet, E., Perrouin, G., Vanhoof, W. & Vidal, G., 2020, Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Proceedings. Nakano, K. & Sagonas, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 215-219 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 12073 LNCS).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    2 Téléchargements (Pure)
  • 1 Participation à un atelier/workshop, un séminaire, un cours
Votre message a bien été envoyé.
Votre message n’a pas été envoyé en raison d’une erreur.
Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.