On the Expressiveness of Metric Temporal Logic over Bounded Timed Words. - Hsi-Ming Ho (RP, 2014)

Online Monitoring of Metric Temporal Logic. - Hsi-Ming Ho; Joël Ouaknine; James Worrell 001 (RV, 2014)

The CR-UAV Problem is PSPACE-Complete. - Hsi-Ming Ho; Joël Ouaknine (CoRR, 2014)

The Cyclic-Routing UAV Problem is PSPACE-Complete. - Hsi-Ming Ho; Joël Ouaknine (FoSSaCS, 2015)

Topics in monitoring and planning for embedded real-time systems. - Hsi-Ming Ho (2015)

Real-Time Synthesis is Hard! - Thomas Brihaye; Morgane Estiévenart; Gilles Geeraerts; Hsi-Ming Ho; Benjamin Monmege; Nathalie Sznajder (FORMATS, 2016)

MightyL: A Compositional Translation from MITL to Timed Automata. - Thomas Brihaye; Gilles Geeraerts; Hsi-Ming Ho; Benjamin Monmege (CAV (1), 2017)

Timed-Automata-Based Verification of MITL over Signals. - Thomas Brihaye; Gilles Geeraerts; Hsi-Ming Ho; Benjamin Monmege (TIME, 2017)

Efficient Algorithms and Tools for MITL Model-Checking and Synthesis. - Thomas Brihaye; Gilles Geeraerts; Hsi-Ming Ho; Arthur Milchior; Benjamin Monmege (ICECCS, 2018)

Revisiting timed logics with automata modalities. - Hsi-Ming Ho (HSCC, 2019)

On Verifying Timed Hyperproperties. - Hsi-Ming Ho; Ruoyu Zhou; Timothy M. Jones 001 (TIME, 2019)

Cyclic-routing of Unmanned Aerial Vehicles. - Nir Drucker; Hsi-Ming Ho; Joël Ouaknine; Michal Penn; Ofer Strichman (J. Comput. Syst. Sci., 2019)

On the Expressiveness and Monitoring of Metric Temporal Logic. - Hsi-Ming Ho; Joël Ouaknine; James Worrell 001 (Log. Methods Comput. Sci., 2019)

Cinnamon: A Domain-Specific Language for Binary Profiling and Monitoring. - Mahwish Arif; Ruoyu Zhou; Hsi-Ming Ho; Timothy M. Jones 001 (CGO, 2021)

Timed hyperproperties. - Hsi-Ming Ho; Ruoyu Zhou; Timothy M. Jones 001 (Inf. Comput., 2021)

More Than 0s and 1s: Metric Quantifiers and Counting over Timed Words. - Hsi-Ming Ho; Khushraj Madnani (TIME, 2023)

When Do You Start Counting? Revisiting Counting and Pnueli Modalities in Timed Logics. - Hsi-Ming Ho; Khushraj Madnani (DCM, 2023)

Expressive Equivalence Between Decidable Freeze and Metric Timed Temporal Logics. - Hsi-Ming Ho; Shankara Narayanan Krishna; Khushraj Madnani; Rupak Majumdar; Paritosh K. Pandya (CONCUR, 2025)

Metric quantifiers and counting in timed logics and automata. - Hsi-Ming Ho; Khushraj Madnani (Inf. Comput., 2025)