1. Automated proof search system for logic of correlated knowledge
  2. Kanoninių ir mirtroninių miRNR funkcinis tyrimas krūtinės kylančiosios aortos aneurizmos audiniuose ir virškinimo sistemos navikuose
  3. Ruthenium(II) MOCVD precursors for phosphorus‐doped ruthenium layer formation