Login / Signup
Zara Ahmed
Publication Activity (10 Years)
Years Active: 2017-2022
Publications (10 Years): 2
Top Topics
Pspace Complete
Linear Time Temporal Logic
Smart Cities
Trust Management
Top Venues
VMCAI
IEEE Internet Things J.
</>
Publications
</>
Khalid Haseeb
,
Tanzila Saba
,
Amjad Rehman
,
Zara Ahmed
,
Houbing Herbert Song
,
Huihui Helen Wang
Trust Management With Fault-Tolerant Supervised Routing for Smart Cities Using Internet of Things.
IEEE Internet Things J.
9 (22) (2022)
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
Bringing LTL Model Checking to Biologists.
VMCAI
(2017)