Experiences in engineering active replication into a traditional three-tiered client-server system. - Gabriel L. Zenarosa; Soumya Simanta (SERENE, 2008)

Software Mythbusters Explore Formal Methods. - Ciera Jaspan; Michael Keeling; Larry Maccherone; Gabriel L. Zenarosa; Mary Shaw (IEEE Softw., 2009)

Towards automated oracles for GUI input validation. - Gabriel L. Zenarosa; Regis J. Leonard (AST, 2011)

A biologically based discrete-event simulation model of liver transplantation in the United States for pediatric and adult patients. - Aditya K. Iyer; Andrew J. Schaefer; Cindy L. Bryce; Gabriel L. Zenarosa; Chung-Chou Ho Chang; Mark S. Roberts (WSC, 2011)

Gray's Time-Varying Coefficients Model for Posttransplant Survival of Pediatric Liver Transplant Recipients with a Diagnosis of Cancer. - Yi Ren 004; Chung-Chou Ho Chang; Gabriel L. Zenarosa; Heather E. Tomko; Drew Michael S. Donnell; Hyung-Joo Kang; Mark S. Roberts; Cindy L. Bryce (Comput. Math. Methods Medicine, 2013)

Cascade of Edge Activation in Networks. - Gabriel L. Zenarosa; Alexander Veremyev; Eduardo L. Pasiliao (CSoNet, 2019)

On exact solution approaches for bilevel quadratic 0-1 knapsack problem. - Gabriel L. Zenarosa; Oleg A. Prokopyev; Eduardo L. Pasiliao (Ann. Oper. Res., 2021)