Timed Alignments. - Thomas Chatain; Neha Rino (ICPM, 2022)

Efficiently Computable Distance-Based Robustness for a Practical Fragment of STL. - Neha Rino; Mohammed Foughali; Eugene Asarin (QEST+FORMATS, 2024)

Timed alignments with mixed moves. - Neha Rino; Thomas Chatain (Data Knowl. Eng., 2024)