Skip to content

HuuNghia Nguyen

  • PhD. Candidate
  • Université de Paris 11 - Université Paris-Sud - Laboratoire de Recherche en Informatique
  • 7PublicationsNumber of items in HuuNghia's My Publications folder on Mendeley.

Publications (5)

  • A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies

    • Nguyen H
    • Poizat P
    • Zaïdi F
    N/AReaders
    N/ACitations
  • A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies (long version)

    • Nguyen H
    • Poizat P
    • Zaïdi F
    N/AReaders
    N/ACitations
  • A Tool for Checking CSP\|\|B Specifications

    • Nguyen H
    • Jacquot J
    N/AReaders
    N/ACitations
  • Mémoire de fin d'études

    • Études M
    • Jacquot J
    • Souquières J
    N/AReaders
    N/ACitations
  • Définition de patrons de propriétés et traduction en automates observateurs

    • Nguyen H
    N/AReaders
    N/ACitations

Professional experience

PhD. Candidate

Université de Paris 11 - Université Paris-Sud - Laboratoire de Recherche en Informatique

January 2010 - Present