publications

2022

  1. In Preparation
    Neural Network Verification as Piecewise Linear Optimization: A Formulation for Stair-Case Functions
    Anh-Nguyen, Tu, and Huchette, Joey
    2022
    PDF
  2. IEEE CDC
    On Distributed Exact Sparse Linear Regression over Networks
    Anh-Nguyen, Tu, and Uribe, Cesar A.
    In 61st IEEE Conference on Decision and Control 2022
    PDF
  3. MIPSW
    Neural Networks Verification as Piecewise Linear Optimization
    Anh-Nguyen, Tu, and Huchette, Joey
    In Mixed Integer Programming Workshop 2022
    PDF

2021

    2019

    1. TR
      Community Detection in Link Stream
      Anh-Nguyen, Tu, Viard, Tiphaine, and Maehara, Takanori
      In Technical Report 2019

    2018

    1. ICCGTA
      Minimum Dominating set problems in (fork, P5)-free and (claw, P5)-free graphs
      Anh-Nguyen, Tu, and Le, Ngoc C.
      In International Conference on Combinatorics, Graph Theory, and Applications 2018
      PDF