Kubra Aksoy

According to our database, Kubra Aksoy authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

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