Khadija Tariq

According to our database, Khadija Tariq authored at least 2 papers in 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Portus: Linking Alloy with SMT-based Finite Model Finding.

Ryan Dancy, Nancy A. Day, Owen Zila, Khadija Tariq, Joseph Poremba

CoRR, 2024

NTK-3D chaotic map and a non-associative LA-field sequences for image encryption.

Nazli Sanam, Tanveer ul Haq, Khadija Tariq

Comput. Electr. Eng., 2024