Zohair Raza Hassan

18 papers A 1B 2Journal 13Unranked 2
YearRankTypeTitle / Venue / Authors
2026 — conf
A Taste of Formal Methods for Computer Science Students using Jupyter Notebooks.
SIGCSE (2)
Zack Fitzsimmons, Zohair Raza Hassan, Edith Hemaspaandra, Carlos R. Rivero
2026 J jnl
The complexity of (Pk,Pℓ)-arrowing.
J. Comput. Syst. Sci.
Zohair Raza Hassan, Edith Hemaspaandra, Stanislaw P. Radziszowski
2025 A conf
On the Parallelizability of Approval-Based Committee Rules.
ECAI
Zack Fitzsimmons, Zohair Raza Hassan, Edith Hemaspaandra
2025 J jnl
On the Parallelizability of Approval-Based Committee Rules.
CoRR
Zack Fitzsimmons, Zohair Raza Hassan, Edith Hemaspaandra
2024 J jnl
The Complexity of (P3, H)-Arrowing and Beyond.
CoRR
Zohair Raza Hassan
2024 B conf
The Complexity of (P₃, H)-Arrowing and Beyond.
MFCS
Zohair Raza Hassan
2023 J jnl
Computing Graph Descriptors on Edge Streams.
ACM Trans. Knowl. Discov. Data
Zohair Raza Hassan, Sarwan Ali, Imdadullah Khan, Mudassir Shabbir, Waseem Abbas
2023 J jnl
On Some Generalized Vertex Folkman Numbers.
Graphs Comb.
Zohair Raza Hassan, Yu Jiang, David E. Narváez, Stanislaw P. Radziszowski, Xiaodong Xu
2023 J jnl
On augmenting topological graph representations for attributed graphs.
Appl. Soft Comput.
Anwar Said, Mudassir Shabbir, Saeed-Ul Hassan, Zohair Raza Hassan, Ammar Ahmed, Xenofon D. Koutsoukos
2023 B conf
The Complexity of (P
FCT
Zohair Raza Hassan, Edith Hemaspaandra, Stanislaw P. Radziszowski
2023 J jnl
The Complexity of (P
CoRR
Zohair Raza Hassan, Edith Hemaspaandra, Stanislaw P. Radziszowski
2022 J jnl
Data driven smart policing: A novel road distance-based
Comput. Hum. Behav.
Abinta Mehmood Mir, Ali Hassan, Asma Khalid, Zohair Raza Hassan, Faisal Kamiran, Agha Ali Raza, Saeed-Ul Hassan, Mudassir Shabbir
2021 J jnl
Computing Graph Descriptors on Edge Streams.
CoRR
Zohair Raza Hassan, Imdadullah Khan, Mudassir Shabbir, Waseem Abbas
2021 J jnl
Seymour's Second Neighborhood Conjecture for 6-antitransitive digraphs.
Discret. Appl. Math.
Zohair Raza Hassan, Imran F. Khan, Mehvish I. Poshni, Mudassir Shabbir
2020 J jnl
A Simpler NP-Hardness Proof for Familial Graph Compression.
CoRR
Ammar Ahmed, Zohair Raza Hassan, Mudassir Shabbir
2020 — conf
Estimating Descriptors for Large Graphs.
PAKDD (1)
Zohair Raza Hassan, Mudassir Shabbir, Imdadullah Khan, Waseem Abbas
2020 J jnl
Estimating Descriptors for Large Graphs.
CoRR
Zohair Raza Hassan, Mudassir Shabbir, Imdadullah Khan, Waseem Abbas
2020 J jnl
Interpretable multi-scale graph descriptors via structural compression.
Inf. Sci.
Ammar Ahmed, Zohair Raza Hassan, Mudassir Shabbir