Publications
This section contains publications published by ISI over the past several decades.
2025
MoVER: Modeling User Heterogeneity with Enriched Trajectory Representations for Human Mobility Prediction
Yijun Lin, Fandel Lin, Jina Kim, Yao-Yi Chiang
Proceedings of the 33rd ACM International Conference on Advances in …, 2025
Sensitivity of the Last Millennium Reanalysis to Enhanced Proxy Networks
Tanaya Gondhalekar, Julien Emile-Geay, Deborah Khider, Albus Shang, Nicholas McKay, David Edge, Gregory J Hakim, Zilu Meng
AGU25, 2025
Authors Should Annotate
Marcus Ma, Cole Johnson, Nolan Bridges, Jackson Trager, Georgios Chochlakis, Shrikanth Narayanan
arXiv preprint arXiv:2512.12976, 2025
Exploiting Polygon Metadata to Colorize Draft Maps
Fandel Lin, Craig A Knoblock, Binh Vu, Basel Shbita, Yao-Yi Chiang
Proceedings of the 33rd ACM International Conference on Advances in …, 2025
Exploiting Polygon Metadata to Recolor Historical Maps
Fandel Lin, Craig A Knoblock, Binh Vu, Yao-Yi Chiang
Proceedings of the 33rd ACM International Conference on Advances in …, 2025
Achievements and Future Directions: IEEE Computer Society 2025 Reflection
Hironori Washizaki, Nils Aschenbruck, Andrew Seely, Cyril Onwubiko, Terry Benzel, Charles Hansen, Edward Au
Computer 58 (12), 4-10, 2025
IHMValidation: Assessment of Integrative Structure Models Deposited to the Protein Data Bank
Arthur O Zalevsky, Brinda Vallat, Benjamin M Webb, Hongsuda Tangmunarunkit, Monica R Sekharan, Aref Shafaeibejestan, Sai Ganesan, Jared Sagendorf, Cy M Jeffries, Jill Trewhella, Andrea Graziadei, Juan Antonio Vizcaíno, Alexander Leitner, Juri Rappsilber, Ezra Peisach, Justin W Flatt, Jasmine Y Young, Kartik Majila, Shruthi Viswanath, Carl Kesselman, Jeffrey C Hoch, Genji Kurisu, Kyle L Morris, Sameer Velankar, Helen M Berman, Stephen K Burley, Andrej Sali
Journal of Molecular Biology, 169598, 2025
PaleoBooks: A Community Gallery for Transparent and Reusable Paleoclimate Workflows
Jordan Landers, Julien Emile-Geay, Deborah Khider, Alexander James, Tanaya Gondhalekar, Nicholas McKay, Stephen Cropper
AGU25, 2025
A causal examination of the solar influence on Holocene climate
Jordan P Landers, Julien Emile-Geay, Alexander K James, Stephan B Munch, Deborah Khider, Edouard Bard
Authorea Preprints, 2025
Smoothing Rough Edges of IPv6 in VPNs
Yejin Cho, John Heidemann
arXiv preprint arXiv:2512.19698, 2025
RFC 9905: Deprecating the Use of SHA-1 in DNSSEC Signature Algorithms
W Hardaker, W Kumari
RFC Editor, 2025
Exponential divided differences via Chebyshev polynomials
Itay Hen
arXiv preprint arXiv:2512.23061, 2025
Efficiency in privacy-preserving computation via domain knowledge
Weizhao Jin
University of Southern California, 2025
Speech acoustics to rt-MRI articulatory dynamics inversion with video diffusion model
Xuan Shi, Tiantian Feng, Jay Park, Christina Hagedorn, Louis Goldstein, Shrikanth Narayanan
Computer Speech & Language, 101928, 2025
Block Transactional Memory: A Complexity Study
Parwat Singh Anjana, Srivatsan Ravi
International Symposium on Stabilizing, Safety, and Security of Distributed …, 2025
ZENITH: Towards A Formally Verified Highly-Available Control Plane
Pooria Namyar, Arvin Ghavidel, Mingyang Zhang, Harsha V Madhyastha, Srivatsan Ravi, Chao Wang, Ramesh Govindan
Proceedings of the ACM SIGCOMM 2025 Conference, 409-433, 2025
Guiding Likely Invariant Synthesis on Distributed Systems with Large Language Models
Yuan Xia, Aabha Shailesh Pingle, Deepayan Sur, Srivatsan Ravi, Mukund Raghothaman, Jyotirmoy V Deshmukh
CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2025, 226, 2025
Efficient Parallel Execution of Blockchain Transactions Leveraging Conflict Specifications
Parwat Singh Anjana, Matin Amini, Rohit Kapoor, Rahul Parmar, Raghavendra Ramesh, Srivatsan Ravi, Joshua Tobkin
7th Conference on Advances in Financial Technologies (AFT 2025), 29: 1-29: 26, 2025
Programming Scalable Elastic Services with AEON
Patrick Eugster, Srivatsan Ravi, Bo Sang
ACM Transactions on Computer Systems, 2025