Login / Signup
Aniqa Rehman
ORCID
Publication Activity (10 Years)
Years Active: 2019-2024
Publications (10 Years): 5
Top Topics
Waste Management
Security Patterns
Visual Basic Database Programming
Predicate Calculus
Top Venues
FIT
Sci. Comput. Program.
COORDINATION
Int. J. Commun. Syst.
</>
Publications
</>
Nicola Del Giudice
,
Lorenzo Matteucci
,
Michela Quadrini
,
Aniqa Rehman
,
Michele Loreti
Sibilla: A tool for reasoning about collective systems.
Sci. Comput. Program.
235 (2024)
Nicola Del Giudice
,
Lorenzo Matteucci
,
Michela Quadrini
,
Aniqa Rehman
,
Michele Loreti
Sibilla: A Tool for Reasoning about Collective Systems.
COORDINATION
(2022)
Michele Loreti
,
Aniqa Rehman
A Logical Framework for Reasoning About Local and Global Properties of Collective Systems.
QEST
(2022)
Khalid Mahmood
,
Aniqa Rehman
,
Pradeep Chaudhary
,
Xiong Li
,
Fan Wu
,
Saru Kumari
Revised anonymous authentication protocol for adaptive client-server infrastructure.
Int. J. Commun. Syst.
33 (4) (2020)
Saba Latif
,
Aniqa Rehman
,
Nazir Ahmad Zafar
Blockchain and IoT Based Formal Model of Smart Waste Management System Using TLA+.
FIT
(2019)