Aniqa Rehman

Orcid: 0000-0002-6028-9016

According to our database1, Aniqa Rehman authored at least 4 papers between 2019 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
A Logical Framework for Reasoning About Local and Global Properties of Collective Systems.
Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

Sibilla: A Tool for Reasoning about Collective Systems.
Proceedings of the Coordination Models and Languages, 2022

2020
Revised anonymous authentication protocol for adaptive client-server infrastructure.
Int. J. Commun. Syst., 2020

2019
Blockchain and IoT Based Formal Model of Smart Waste Management System Using TLA+.
Proceedings of the International Conference on Frontiers of Information Technology, 2019


  Loading...