Thanh Son Nguyen

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 4

Top Topics

Pattern Matching

Top Venues

Int. J. Bus. Intell. Data Min.

Publications

Thanh Son Nguyen, Alexey Solovyev, Ganesh Gopalakrishnan
Rigorous Error Analysis for Logarithmic Number Systems. CoRR (2024)
Thanh Son Nguyen, Ben Jones, Zvonimir Rakamaric
Synthesis of Rigorous Floating-Point Predicates. SPIN (2022)
Marek S. Baranowski, Shaobo He, Mathias Lechner, Thanh Son Nguyen, Zvonimir Rakamaric
An SMT Theory of Fixed-Point Arithmetic. IJCAR (1) (2020)
Thanh Son Nguyen
Hybridising neural network and pattern matching under dynamic time warping for time series prediction. Int. J. Bus. Intell. Data Min. 17 (1) (2020)
Bert Bos, Lukasz Chmielewski, Jaap-Henk Hoepman, Thanh Son Nguyen
Remote Management and Secure Application Development for Pervasive Home Systems Using JASON. SECPerU (2007)
Thanh Son Nguyen, Erika Mata Sanchez
Un système d'enseignement à distance basé sur un réseau peer-to-peer. RIVF (2004)
Thanh Son Nguyen
MC - Marché de connaissances. RIVF (2003)