- Daugiamačių modelių struktūros priklausomybė nuo apibrėžimo srities
- Informatika bendrojo lavinimo mokykloje: pokyčiai ir problemos
- Loginis išvedimas ir teisinių žinių bazių integravimas: pagrindiniai algoritmai
- Matematikos ir informatikos studijų VPU rezultatų analizė
- On intuitionistic branching tense logic with weak induction
- Robust estimation by means of a bank of the Kalman filters
- Tableaus for finitely-valued modal propositional logics
- Viscosity solutions to the Dirichlet problem of Bellman equation
- Šaknų sąlyga antrojo laipsnio kompleksiniam polinomui ir trisluoksnių skirtumų schemų spektrinė analizė