Van-Giang Trinh
Lifeware team, Inria Saclay
Bâtiment Alan Turing, Campus de l'École Polytechnique
1 rue Honoré d'Estienne d'Orves 91120 Palaiseau, France

 

Talks & Seminars

  • Graphical conditions for the existence, unicity and number of regular models
    LIRICA seminar, 25 November 2024
    St Charles, Marseille
  • Trap spaces of multi-valued networks: definition, computation, and applications
    MABioS seminar, 30 September 2024
    Luminy, Marseille
  • Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding
    Seminar on Mathematical Foundations for Computer Science, 20 August 2024
    Hanoi, Vietnam
  • Scalable enumeration of trap spaces in Boolean networks via answer set programming
    UET seminar, 19 August 2024
    Hanoi, Vietnam
  • Scalable enumeration of trap spaces in Boolean networks via answer set programming
    CSE-HCMUT seminar, 12 August 2024
    Ho Chi Minh City, Vietnam
  • Trap spaces of multi-valued networks: definition, computation, and applications
    Journées annuelles 2024 du GT Bioss, 27 May 2024
    LIP6, Paris
  • Scalable enumeration of trap spaces in Boolean networks via answer set programming
    LIRICA seminar, 25 March 2024
    St Charles, Marseille
  • Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding
    Lifeware seminar, 30 November 2023
    INRIA, Saclay
  • Efficient enumeration of fixed points in complex Boolean networks using answer set programming
    IRISA seminar, 30 November 2023
    IRISA, Rennes
  • Efficient enumeration of fixed points in complex Boolean networks using answer set programming
    LIRICA seminar, 20 November 2023
    St Charles, Marseille
  • Efficient enumeration of fixed points in complex Boolean networks using answer set programming
    Demi Journées du Pôle Calcul on Artificial Intelligence, 15 June 2023
    Luminy, Marseille
  • Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding
    CANA seminar, 30 May 2023
    Luminy, Marseille
  • An approach based on ASP and Petri nets for the calculation of attractors in Boolean networks
    Journées BioLogique BIOSS/CAVIAR, 25 May 2023
    LIP6, Paris
  • Efficient enumeration of minimal trap spaces in large-scale Boolean networks of gene networks
    Journées Scientifiques du LIS, 23 May 2023
    Carry le Rouet
  • Minimal trap spaces of Boolean models are maximal siphons of their Petri net encoding
    LIRICA seminar, 17 October 2022
    St Charles, Marseille
  • An FVS-based approach to attractor detection in asynchronous Boolean networks
    LIRICA seminar, 28 June 2021
    Virtual