Publications

Coercion-Resistant Registration for E-Voting with Verifiability and Usability in VSYS Permalink

Louis-Henri Merino, Simone Colombo, Rene Reyes, Alaleh Azhir, Shailesh Mishra, Pasindu Tennage, Mohammad Amin Raeisi, Haoqian Zhang, Jeff Allen, Bernhard Tellenbach, Vero Estrada-Galiñanes, and Bryan Ford

SOSP (to appear), 2025

Worst-Case and Average-Case Hardness of Hypercycle and Database Problems Permalink

Cheng-Hao Fu, Andrea Lincoln, Rene Reyes

ICALP, 2025

Evaluating efficacy of indoor non-pharmaceutical interventions against COVID-19 outbreaks with a coupled spatial-SIR agent-based simulation framework Permalink

Chathika Gunaratne, Rene Reyes, Erik Hemberg and Una-May O'Reilly

scientific reports, 2022

Flight Level Assignment Using Graph Coloring Permalink

Jose Manuel Gimenez-Guzman, Alejandra Martínez-Moraian, Rene Reyes, David Orden, Ivan Marsa-Maestre

applied sciences, 2020

Rene D. Reyes

Publications

Coercion-Resistant Registration for E-Voting with Verifiability and Usability in VSYS Permalink

Worst-Case and Average-Case Hardness of Hypercycle and Database Problems Permalink

Evaluating efficacy of indoor non-pharmaceutical interventions against COVID-19 outbreaks with a coupled spatial-SIR agent-based simulation framework Permalink

Flight Level Assignment Using Graph Coloring Permalink