Chubarov Dmitri Leonidovich

Publications in Math-Net.Ru

1. Development of the supercomputing and distributed computing infrastructure in the Siberian Branch of the Russian Academy of Sciences
   
   Informatsionnye Tekhnologii i Vychslitel'nye Sistemy, 2011, no. 3,  9–19
2. Local entailment test in the reachability problem for well structured transition systems
   
   Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 6:3 (2006),  88–97