Zara Ahmed

According to our database, Zara Ahmed authored at least 3 papers between 2017 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Leveraging clinical decision support system tools for childhood overweight/obesity management.

Joseph R. Wardell, Nora Shaska, Zara Ahmed, Brigid Gregg, Kanakadurga Singer, Jung Eun Lee, Emily Hirschfeld, Ashley Garrity, Susan Woolford, Karen E. Peterson, Jennifer L. Bragg-Gresham, Kelly Orringer, Lauren Oshman, Jonathan Gabison, Layla Mohammed, Esther Yoon, Jacob Bilhartz, Bonnie Burns, Joyce M. Lee

BMC Medical Informatics Decis. Mak., December, 2026

2022

Trust Management With Fault-Tolerant Supervised Routing for Smart Cities Using Internet of Things.

Khalid Haseeb, Tanzila Saba, Amjad Rehman, Zara Ahmed, Houbing Herbert Song, Huihui Helen Wang

IEEE Internet Things J., 2022

2017

Bringing LTL Model Checking to Biologists.

Zara Ahmed, David Benqué, Sergey Berezin, Anna Caroline E. Dahl, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Jay Nanavati, Nir Piterman, Maik Riechert, Nikita Skoblov

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017