Aniqa Rehman
Orcid: 0000-0002-6028-9016
According to our database1,
Aniqa Rehman
authored at least 4 papers
between 2019 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
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
Proceedings of the Coordination Models and Languages, 2022
2020
Int. J. Commun. Syst., 2020
2019
Proceedings of the International Conference on Frontiers of Information Technology, 2019