Abdulrazaq Abba

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 4

Top Topics

Constraint Propagation

Uncertainty Management

Tree Decomposition

Top Venues

Integr. Comput. Aided Eng.

Publications

Shareeful Islam, Abdulrazaq Abba, Umar Mukhtar Ismail, Haralambos Mouratidis, Spyridon Papastergiou
Vulnerability prediction for secure healthcare supply chain service delivery. Integr. Comput. Aided Eng. 29 (4) (2022)
Abdulrazaq Abba, Ana Cavalcanti, Jeremy Jacob
Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata. CoRR (2021)
Abdulrazaq Abba, Ana Cavalcanti, Jeremy Jacob
Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata. SBMF (2021)
Abdulrazaq Abba, Ana Cavalcanti, Jeremy Jacob
Automatic Translation of tock-CSP into Timed Automata. CoRR (2020)