Marina Zaharieva Stojanovski

Parallelization of Dynamic Programming in Nussinov RNA Folding Algorithm on the CUDA GPU

Marina Zaharieva Stojanovski, Dejan Gjorgjevikj, Gjorgji Madjarov, 2011, ICT Innovations.

Closer to reliable software: verifying functional behaviour of concurrent programs

Marina Zaharieva Stojanovski, 2015 .