Roger Paredes
Roger Paredes
Doctoral Candidate, Rice University
Verified email at - Homepage
Cited by
Cited by
Counting-Based Reliability Estimation for Power-Transmission Grids.
L Duenas-Osorio, KS Meel, R Paredes, MY Vardi
AAAI 17, 4488-4494, 2017
Principled network reliability approximation: A counting-based approach
R Paredes, L Dueñas-Osorio, KS Meel, MY Vardi
Reliability Engineering & System Safety 191, 106472, 2019
A time-dependent seismic resilience analysis approach for networked lifelines
R Paredes, L Dueñas-Osorio
Proceedings of the 12th International Conference on Applications of …, 2015
Sat-based connectivity reliability estimation for power transmission grids
L Duenas-Osorio, KS Meel, R Paredes, MY Vardi
Technical report, Rice University, 2017
Decomposition algorithms for system reliability estimation with applications to interdependent lifeline networks
R Paredes, L Dueñas‐Osorio, I Hernandez‐Fajardo
Earthquake Engineering & Structural Dynamics 47 (13), 2581-2600, 2018
A quantum algorithm to count weighted ground states of classical spin Hamiltonians
B Sundar, R Paredes, DT Damanik, L Duenas-Osorio, KRA Hazzard
arXiv preprint arXiv:1908.01745, 2019
A Weighted Model Counting Approach for Critical Infrastructure Reliability
R Paredes, L Dueñas-Osorio, KS Meel, MY Vardi
Square Grid Benchmarks for Source-Terminal Network Reliability Estimation
R Paredes, L Duenas-Osorio
The system can't perform the operation now. Try again later.
Articles 1–8