Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions. - Dante Zanarini; Carlos Luna 001; Luis Sierra (SBMF, 2012)

Detecting Manifest Huntington's Disease Using Vocal Data. - Vinod Subramanian; Namhee Kwon; Raymond Brueckner; Nate Blaylock; Henry O'Connell; Luis Sierra; Clementina Ullman; Karen Hildebrand; Simon E. Laganiere (INTERSPEECH, 2023)