Rostislav Rusev

According to our database, Rostislav Rusev authored at least 4 papers between 2007 and 2021.

Collaborative distances:

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

2021

Study of Nanowire Characteristics of a Junctionless Transistor Depending on the Gate Length.

Rostislav Rusev, George Vasilev Angelov, Ivelina Nikolaeva Ruskova, Elitsa Gieva, Dimitar Nikolov, Mariya Liubomirova Spasova, Marin Hristov, Rossen Radonov

Proceedings of the 2021 28th International Conference on Mixed Design of Integrated Circuits and System, 2021

2019

Energy Harvesting System Model Based on Reverse Electrowetting.

Dimitar Nikolov, Rostislav Rusev, George Vasilev Angelov, Mariya Liubomirova Spasova

Proceedings of the 26th International Conference on Mixed Design of Integrated Circuits and Systems, 2019

2007

System Description: SpassVersion 3.0.

Christoph Weidenbach, Renate A. Schmidt, Thomas Hillenbrand, Rostislav Rusev, Dalibor Topic

Proceedings of the Automated Deduction, 2007

Formal Device and Programming Model for a Serial Interface.

Eyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev

Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007