Evgeny Karibaev

According to our database, Evgeny Karibaev authored at least 2 papers in 2008.

Collaborative distances:

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

2008

A New Verification Technique for Custom-Designed Components at the Arithmetic Bit Level.

Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev

Proceedings of the Languages for Embedded Systems and their Applications, 2008

Modeling of Custom-Designed Arithmetic Components for ABL Normalization.

Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev

Proceedings of the Forum on specification and Design Languages, 2008