Elif Deniz

According to our database, Elif Deniz authored at least 3 papers between 2022 and 2024.

Collaborative distances:

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

2024

Formal Verification of ABCD Parameters Based Models for Transmission Lines.

Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar

Proceedings of the Symbolic Computation in Software Science - 10th International Symposium, 2024

Formalizing Potential Flows Using the HOL Light Theorem Prover.

Elif Deniz, Sofiène Tahar

Proceedings of the Formal Methods and Software Engineering, 2024

2022

On the Formalization of the Heat Conduction Problem in HOL.

Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar

Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022