VU Matematikos ir informatikos instituto autoriaus 'Haroldas Giedra' publikacijų sąrašas
pagal Lietuvos akademinių bibliotekų tinklo (LABT) publikacijų bazes VUB [nuo 2011 m. iki dabar] ir LMAVB [iki 2010 m. imtinai]:

Eil. Nr. Publikacija
1Giedra, Haroldas; Alonderis, Romas. Automated proof search system for logic of correlated knowledge // American journal of mathematical and computer modelling : Science publishing group. ISSN 2578-8272. eISSN 2578-8280. 2020, vol. 5, no. 2, p. 29-42. DOI: 10.11648/j.ajmcm.20200502.11.
2Alonderis, Romas; Pliuškevičius, Regimantas Ričardas; Pliuškevičienė, Aida; Giedra, Haroldas. Loop-type sequent calculi for temporal logic // Journal of automated reasoning. Dordrecht : Springer. ISSN 0168-7433. eISSN 1573-0670. 2020, first published online, p. [1-22]. DOI: 10.1007/s10817-020-09544-1.
3Alonderis, Romas; Giedra, Haroldas. A proof-search system for the logic of likelihood // Logic journal of the IGPL. Oxford : Oxford University Press. ISSN 1367-0751. 2020, vol. 28, no. 3, p. 261-280. DOI: 10.1093/jigpal/jzz022.
4Alonderis, Romas; Giedra, Haroldas. A derivation-loop method for temporal logic = Įrodymo ciklų metodas laiko logikai // Lietuvos matematikos rinkinys. Ser. A. Vilnius : Vilniaus universiteto leidykla. ISSN 0132-2818. eISSN 2335-898X. 2019, t. 60, p. 1-6. DOI: 10.15388/LMR.A.2019.14953.
5Giedra, Haroldas; Alonderis, Romas. Applications of logic of correlated knowledge to quantum mechanics = Koreliatyvių žinių logikos taikymas kvantinėje mechanikoje // Lietuvos matematikos rinkinys. Ser. A. Vilnius : Matematikos ir informatikos institutas. ISSN 0132-2818. eISSN 2335-898X. 2018, t. 59, p. 1-6. DOI: 10.15388/LMR.A.2018.01.