Article JOINT APPLICATION OF CONTRACTS AND VERIFICATION FOR AUTOMATA-BASED PROGRAMS QUALITY ENHANCEMENT March 2011
Article NEW LYAPUNOV-KRASOVSKIY FUNCTIONAL FOR EXPONENTIAL STABILITY PROOF OF NONLINEAR SYSTEM WITH DELAY March 2011
Article NON-INVASIVE MEASURING METHODS OF BILIRUBIN, HAEMOGLOBIN AND GLUCOSE. HAEMOBILIGLUCOMETER DEVICE March 2011
Article CREATION METHODS ANALYSIS OF MOVING OBJECTS TRAJECTORY ON THE BASIS OF VIDEO DATA SEGMENTATION March 2011
Article Stages of proposed genetic algorithm for solution of problem connected with allocation of frequencies to communications electronics March 2011