Kubra Aksoy

According to our database, Kubra Aksoy authored at least 4 papers between 2024 and 2026.

Collaborative distances:

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

2026

On the Formalization of Network Topology Matrices in HOL.

Kubra Aksoy, Adnan Rashid, Osman Hasan, Sofiène Tahar

CoRR, March, 2026

2025

On the Formalization of Pseudoinverse of the Laplacian Matrix in HOL.

Kubra Aksoy, Adnan Rashid, Sofiène Tahar

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2025

Formal Analysis of Electrical Circuit Network Topologies Using Theorem Proving.

Kubra Aksoy, Adnan Rashid, Osman Hasan, Sofiène Tahar

Proceedings of the IEEE International systems Conference, 2025

2024

Formal Kinematic Analysis of Epicyclic Bevel Gear Trains.

Kubra Aksoy, Adnan Rashid, Sofiène Tahar

Proceedings of the Formal Methods and Software Engineering, 2024