VU Duomenų mokslo ir skaitmeninių technologijų instituto / Matematikos ir informatikos instituto autoriaus (-ių) '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]):
Publications of 'Haroldas Giedra', VU Institute of Data Science and Digital Technologies / Institute of Mathematics and Informatics (based on 1. Lithuanian Academic Library Network (LABT) database of Vilnius University Library [since 2011 until now] and 2. LABT database of Wroblewski Library of the Lithuanian Academy of Sciences [until 2010]):
Eil. Nr. Publikacija
1Alonderis, 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, vol. 64, iss. 8, p. 1663-1684. DOI: 10.1007/s10817-020-09544-1.
2Alonderis, 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.
3Giedra, 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.
4Giedra, Haroldas; Sakalauskaitė, Jūratė; Alonderis, Romas. Decidability of logic of correlated knowledge // Informatica / Matematikos ir informatikos institutas. Vilnius : Lietuvos mokslų akademijos leidykla. ISSN 0868-4952. 2014, vol. 25, no. 4, p. 541-550. DOI: 10.15388/Informatica.2014.28.
5Giedra, Haroldas; Sakalauskaitė, Jūratė. Sequent calculus with algorithmic properties for logic of correlated knowledge // How the world computes : CiE 2012 : Turing centenary conference : abstracts, University of Cambridge, 18-23 June, 2012. Cambridge : University of Cambridge. 2012, p. 60. Prieiga per internetą: <http://www.mathcomp.leeds.ac.uk/turing2012/WScie12/Images/abstracts-booklet.pdf>.
6Giedra, Haroldas; Sakalauskaitė, Jūratė. Sequent calculus for logic of correlated knowledge = Sekvencinis skaičiavimas koreliatyvių žinių logikai // Lietuvos matematikos rinkinys. LMD darbai. Vilnius : Matematikos ir informatikos institutas. ISSN 0132-2818. 2011, t. 52, p. 243-248. DOI: 10.15388/LMR.2011.ml04.
7Giedra, Haroldas. Cut free sequent calculus for logic S5_n(ED) // Lietuvos matematikos rinkinys. Lietuvos matematikų draugijos darbai. ISSN 0132-2818. 2010, T. 51, p. 336-341. DOI: 10.15388/LMR.2010.61.