Luis Sierra

According to our database, Luis Sierra authored at least 2 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

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

Proceedings of the 24th Annual Conference of the International Speech Communication Association, 2023

2012

Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions.

Dante Zanarini, Carlos Luna, Luis Sierra

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012