Hardware/Software Implementation of FPGA-Targeted Matrix-Oriented SAT Solvers. - Valery Sklyarov; Iouliia Skliarova; Bruno Figueiredo Pimentel; Joel Arrais (FPL, 2004)

FPGA-based implementation and comparison of recursive and iterative algorithms. - Valery Sklyarov; Iouliia Skliarova; Bruno Figueiredo Pimentel (FPL, 2005)

A prototyping system for mobile devices. - Valery Sklyarov; Iouliia Skliarova; Manuel Almeida; Bruno Figueiredo Pimentel (IWCMC, 2007)

Multimedia Tools and Architectures for Hardware/Software Co-Simulation of Reconfigurable Systems. - Valery Sklyarov; Iouliia Skliarova; Bruno Figueiredo Pimentel; Manuel Almeida (VLSI Design, 2008)