Mona Noori-Hosseini

Compositional Visible Bisimulation Abstraction Applied to Opacity Verification

Bengt Lennartson, Christoforos N. Hadjicostis, Mona Noori-Hosseini, 2018 .

Unsupervised Extraction of the Nonlinear Principal Components applied for Voice Conversion

Behrooz Makki, Mona Noori-Hosseini, Seyedali Seyedsalehi, 2008, ISNN 2008.

Visible Bisimulation Equivalence - A Unified Abstraction for Temporal Logic Verification

Bengt Lennartson, Mona Noori-Hosseini, 2018 .

Voice Conversion using Neural Networks

Behrooz Makki, Mona Noori-Hosseini, 2009 .