Lossy Channel Games under Incomplete Information

by Rayna Dimitrova, Bernd Finkbeiner
Published 2013-03-01

Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs

by Rayna Dimitrova, Rupak Majumdar
Published 2015-09-01

Causality Analysis for Concurrent Reactive Systems (Extended Abstract)

by Rayna Dimitrova, Rupak Majumdar, Vinayak S. Prabhu
Published 2019-01-01

DISTRIBUTION NON-UNIFORMITY OF THE ACCUMULATED PLASTIC STRAIN AT 3D SIMULATION OF SINGLE AND MULTI-ANGLED ECAE PROCESSES USING A MOVABLE RAM-DIE

by Valentin KAMBUROV, Antonio NIKOLOV, Rayna DIMITROVA, Vladimir SEMENOV, Bogdan GILEV
Published 2019-06-01

ALUMINIUM METAL MATRIX COMPOSITE SINTERING WITH ELECTROLESS METALLIZED COMPONENTS

by Valentin KAMBUROV, Rayna DIMITROVA, Antonio NIKOLOV, Mara KANDEVA, Anton MIHAYLOV
Published 2019-06-01

SURFACE TOPOGRAPHY AND ROUGHNESS PARAMETERS OF ELECTROSPARK COATINGS ON TITANIUM AND NICKEL ALLOYS

by Georgi Kostadinov, Pancho Danailov, Rayna Dimitrova, Mara Kandeva, Todor Penyashki, Valentin Kamburov, Antonio Nikolov, Blagoj Elenov
Published 2021-09-01