| 1 | Birštunas, Adomas; Reivytytė, Elena. Logical derivation search with assumption traceability = Loginio išvedimo paieška su prielaidų atsekamumu // Lietuvos matematikos rinkinys. Ser. A. Vilnius : Vilniaus universiteto leidykla. ISSN 0132-2818. eISSN 2335-898X. 2021, t. 62, p. 16-22. DOI: 10.15388/LMR.2021.25215. |
| 2 | Besson, Jeremy Daniel; Birštunas, Adomas; Mitašiūnas, Antanas; Stočkus, Arūnas. Signa (TM) - towards electronic document cross-border interoperability // Applied computer systems / Riga Technical University. Warsaw : Walter de Gruyter Poland. ISSN 2255-8683. eISSN 2255-8691. 2015, vol. 17, iss. 1, p. 46-52. DOI: 10.1515/acss-2015-0007. |
| 3 | Ragaišis, Saulius; Birštunas, Adomas; Mitašiūnas, Antanas; Stočkus, Arūnas. Electronic Archive Information System // Databases and information systems : 10th international Baltic conference; local proceedings, July 8-11, 2012, Lithuania / edited by Albertas Čaplinskas, Gintautas Dzemyda, Audronė Lupeikienė, Olegas Vasilecas. Vilnius : Žara, 2012. ISBN 9789986342748. p. 107-114. Prieiga per internetą: <http://ceur-ws.org/Vol-924/paper11.pdf> [žiūrėta 2012-11-19]. |
| 4 | Birštunas, Adomas. Restrictions for loop-check in sequent calculus for temporal logic with until operator = Apribojimai ciklų radimui sekvenciniame laiko logikos skaičiavime su until operatoriumi // Lietuvos matematikos rinkinys. Vilnius : Vilniaus universiteto leidykla. ISSN 0132-2818. eISSN 2335-898X. 2009, t. 50, p. 247-252. DOI: 10.15388/LMR.2009.44. |
| 5 | Birštunas, Adomas. Restrictions for loop-check in sequent calculus for temporal logic = Apribojimai ciklų radimui sekvenciniame laiko logikos skaičiavime // Lietuvos matematikos rinkinys. Vilnius : Vilniaus universiteto leidykla. ISSN 0132-2818. eISSN 2335-898X. 2008, t. 48-49, p. 269-274. DOI: 10.15388/LMR.2008.18108. |
| 6 | Birštunas, Adomas. PSPACE complexity of modal logic K D45(n) // Lithuanian mathematical journal. ISSN 0363-1672. 2008, vol. 48, no. 2, p. 174-187. DOI: 10.1007/s10986-008-9006-8. |
| 7 | Birštunas, Adomas. Efficient loop-check for multimodal K D45n logic = Efektyvus ciklų radimas multimodalinei K D45n logikai // Lietuvos matematikos rinkinys. ISSN 0132-2818. 2007, t. 47, spec. nr, p. 351-355. Prieiga per internetą: <ftp://ftp.science.mii.lt/pub/publications/47_TOMAS(2007)/mat_logika/Birstu.pdf> [žiūrėta 2010-03-15]. |
| 8 | Birštunas, Adomas. Sequent calculus usage for BDI agent implementation // Lietuvos matematikos rinkinys. ISSN 0132-2818. 2006, t. 46, spec. Nr, p. 232-237. DOI: 10.15388/LMR.2006.30715. |
| 9 | Birštunas, Adomas. Efficient loop-check for KD 45 logic = Efektyvus ciklų radimas KD 45 logikai // Lietuvos matematikos rinkinys. Vilnius : Matematikos ir informatikos institutas. ISSN 0132-2818. 2006, t. 46, Nr. 1, p. 55-66. |
| 10 | Birštunas, Adomas. Efficient decision procedure for Belief modality = Efektyvi sprendimo procedūra modaliniam operatoriui Belief // Lietuvos matematikos rinkinys. ISSN 0132-2818. 2005, t. 45, spec. nr, p. 321-325. DOI: 10.15388/LMR.2005.26673. |