Openproof - A Flexible Framework for Heterogeneous Reasoning. - Dave Barker-Plummer; John Etchemendy; Albert Liu; Michael D. Murray; Nik Swoboda (Diagrams, 2008)

A variation-tolerant scheduler for better than worst-case behavioral synthesis. - Jason Cong; Albert Liu; Bin Liu 006 (CODES+ISSS, 2009)

The Weiner lecture archives: an ontology-driven interface for viewing synchronized lectures and notes. - Daniel D. Garcia; Gene Zhang; Sean Carr; Sameer Iyengar; Hava Edelstein; Albert Liu (SIGCSE, 2010)

Chemotactic behavior and dynamics of bacteria propelled microbeads. - Dongwook Kim; Albert Liu; Metin Sitti (IROS, 2011)

Solving the Klein-Gordon equation using fourier spectral methods: a benchmark test for computer performance. - Samar Aseeri; Oleg Batrasev; Matteo Icardi; Brian Leu; Albert Liu; Ning Li; Benson K. Muite; Eike Müller; Brock Palen; Michael Quell; Harald Servat; Parth Sheth; et al. (SpringSim (HPS), 2015)

Using Ensemble Classifiers to Detect Incipient Anomalies. - Baihong Jin; Yingshui Tan; Albert Liu; Xiangyu Yue 001; Yuxin Chen 001; Alberto L. Sangiovanni-Vincentelli (CoRR, 2020)

Private Federated Statistics in an Interactive Setting. - Audra McMillan; Omid Javidbakht; Kunal Talwar; Elliot Briggs; Mike Chatzidakis; Junye Chen; John C. Duchi; Vitaly Feldman; Yusuf Goren; Michael Hesse; Vojta Jina; Anil Katti; et al. (CoRR, 2022)

Samplable Anonymous Aggregation for Private Federated Data Analysis. - Kunal Talwar; Shan Wang; Audra McMillan; Vojta Jina; Vitaly Feldman; Bailey Basile; Áine Cahill; Yi Sheng Chan; Mike Chatzidakis; Junye Chen; Oliver R. A. Chick; Mona Chitnis; et al. (CoRR, 2023)

Samplable Anonymous Aggregation for Private Federated Data Analysis. - Kunal Talwar; Shan Wang; Audra McMillan; Vitaly Feldman; Pansy Bansal; Bailey Basile; Áine Cahill; Yi Sheng Chan; Mike Chatzidakis; Junye Chen; Oliver R. A. Chick; Mona Chitnis; et al. (CCS, 2024)

Repurposing the scientific literature with vision-language models. - Anton Alyakin; Jaden Stryker; Daniel Alexander Alber; Karl L. Sangwon; Brandon Duderstadt; Akshay Save; David Kurland; Spencer Frome; Shrutika Singh; Jeff Zhang 004; Eunice Yang; Ki Yun Park; et al. (CoRR, 2025)