`Travelled to:`

2 × USA

`Collaborated with:`

D.Chu J.Jaffar T.Pham A.Truong W.Chin

`Talks about:`

string (2) recurs (2) defin (2) bag (2) constraint (1) structur (1) quantifi (1) progress (1) fixpoint (1) program (1)

## Person: Minh-Thai Trinh

### DBLP: Trinh:Minh=Thai

### Contributed to:

### Wrote 4 papers:

- PLDI-2015-ChuJT #automation #imperative #induction #proving #source code
- Automatic induction proofs of data-structures in imperative programs (DHC, JJ, MTT), pp. 457–466.
- CAV-2011-PhamTTC #constraints #fixpoint #named #quantifier
- FixBag: A Fixpoint Calculator for Quantified Bag Constraints (THP, MTT, AHT, WNC), pp. 656–662.
- CAV-2016-TrinhCJ #reasoning #recursion #string
- Progressive Reasoning over Recursively-Defined Strings (MTT, DHC, JJ), pp. 218–240.
- CAV-2017-TrinhCJ #recursion #string
- Model Counting for Recursively-Defined Strings (MTT, DHC, JJ), pp. 399–418.