VU Duomenų mokslo ir skaitmeninių technologijų instituto / Matematikos ir informatikos instituto autoriaus (-ių) 'Aida Pliuškevičienė' 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 'Aida Pliuškevičienė', 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-check specification for a sequent calculus of temporal logic // Studia logica. Dordrecht : Springer. ISSN 0039-3215. eISSN 1572-8730. 2022, vol. 110, p. 1507-1536. DOI: 10.1007/s11225-022-10010-9.
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, vol. 64, iss. 8, p. 1663-1684. DOI: 10.1007/s10817-020-09544-1.
3Alonderis, Romas; Pliuškevičius, Regimantas Ričardas; Pliuškevičienė, Aida. Finite sequent calculi for PLTL = Baigtiniai sekvenciniai skaičiavimai tiesinio laiko teiginių logikai // Lietuvos matematikos rinkinys. LMD darbai. Ser. A. Vilnius : Matematikos ir informatikos institutas. ISSN 0132-2818. 2015, T. 56, p. 1-6. DOI: 10.15388/LMR.A.2015.01.
4Pliuškevičienė, Aida. Effective properties of some first order intuitionistic modal logics // Lecture notes in computer science. ISSN 0302-9743. 2000, Vol. 1761, p. 236-250. DOI: 10.1007/3-540-46508-1_16.
5Pliuškevičienė, Aida. Cut-free indexed calculi for modal logics containing the Barcan axiom // Advances in modal logic. Vol. 1. Stanford, CA : CSLI Publications, 1998. ISBN 1575861038. p. 157-172.
6Pliuškevičienė, Aida. Specialization of derivations in Hoare-like logic with recursive procedures // SEKE'94 : the 6th international conference on software engineering and knowledge engineering : June 21-23, 1994, Jurmala, Latvia. Skokie (IL) : Knowledge Systems Institute, 1994. ISBN 0964169908. p. 124-130.
7Pliuškevičienė, Aida. Gentzen-type calculi for modal logic S4 with Barcan formula // Lecture notes in computer science. ISSN 0302-9743. 1992, Vol. 592, p. 381-390. DOI: 10.1007/3-540-55460-2_28.
8Pliuškevičienė, Aida. Sequential calculus for proving the properties of regular programs // Lecture notes in computer science. ISSN 0302-9743. 1992, Vol. 620, p. 370-381. DOI: 10.1007/BFb0023890.
9Pliuškevičienė, Aida; Pliuškevičius, Regimantas; Walicki, M.; Meldal, S. On specialization of derivations in axiomatic equality theories // Lecture notes in computer science. ISSN 0302-9743. 1994, Vol. 813, p. 291-303. DOI: 10.1007/3-540-58140-5_28.
10Pliuškevičius, Regimantas; Pliuškevičienė, Aida. A new method to obtain termination in backward proof search for modal logic S4 // Journal of logic and computation. ISSN 0955-792X. 2010, Vol. 20, iss. 1, p. 381-387. DOI: 10.1093/logcom/exp051.
11Pliuškevičienė, Aida. Elimination of loop-check for logic of idealized knowledge // Lietuvos matematikos rinkinys. Lietuvos matematikų draugijos darbai. ISSN 0132-2818. 2009, T. 50, p. 258-263. Prieiga per internetą: <ftp://ftp.science.mii.lt/pub/Publications/50_TOMAS(2009)/MAT_LOGIKA/Pliusk1.pdf>.
12Pliuškevičius, Regimantas; Pliuškevičienė, Aida. A method of marks and indices for linear modal logic // Lietuvos matematikos rinkinys. Lietuvos matematikų draugijos darbai. ISSN 0132-2818. 2009, T. 50, p. 269-274. Prieiga per internetą: <ftp://ftp.science.mii.lt/pub/Publications/50_TOMAS(2009)/MAT_LOGIKA/Pliuspl.pdf>.
13Pliuškevičius, Regimantas; Pliuškevičienė, Aida. A new method to obtain termination in backward proof search for modal logic S4 // Journal of logic and computation. ISSN 0955-792X. 2010, Vol. 20, iss. 1, p. 353-379. DOI: 10.1093/logcom/exn071.
14Pliuškevičienė, Aida. Loop-check elimination for non-transitive distributed knowledge logic = Ciklų tikrinimo eliminavimas paskirstyto žinojimo netranzityviai logikai // Lietuvos matematikos rinkinys. Vilnius : Vilniaus universiteto leidykla. ISSN 0132-2818. eISSN 2335-898X. 2008, t. 48/49, p. 278-282. DOI: 10.15388/LMR.2008.18110.
15Pliuškevičius, Regimantas; Pliuškevičienė, Aida. Termination of derivations in a fragment of transitive distributed knowledge logic // Informatica. ISSN 0868-4952. 2008, Vol. 19, no. 4, p. 597-616.
16Pliuškevičienė, Aida. Specialization of derivations in modal logic S5 = Įrodymų specializacija modalumo logikai S5 // Lietuvos matematikos rinkinys. ISSN 0132-2818. 2006, T. 46, spec, Nr, p. 242-246. DOI: 10.15388/LMR.2006.30718.
17Pliuškevičius, Regimantas; Pliuškevičienė, Aida. Decision procedure for a fragment of FTL with equality // Tableaux 2003 : position papers and tutorials : Rome, Italy - September 2003 : Technical report RT-DIA-80-2003 / Dipartimento di Informatica e Automazione Università degli Studi di Roma Tre. Roma : Aracne editrice, 2003. ISBN 8879995480. p. 55-67.
18Pliuškevičius, Regimantas; Pliuškevičienė, Aida. Decision procedure for a fragment of temporal logic of belief and actions with quantified agent and action variables // Annals of mathematics, computing & teleinformatics. ISSN 1109-9305. 2004, Vol. 1, no. 2, p. 51-72.
19Pliuškevičius, Regimantas; Pliuškevičienė, Aida. Decision procedure for a fragment of mutual belief logic with quantified agent variables // Lecture notes in artificial intelligence. ISSN 0302-9743. 2006, Vol. 3900, p. 112-128. DOI: 10.1007/11750734_7.
20Pliuškevičius, Regimantas; Pliuškevičienė, Aida. Decision procedure for a fragment of mutual belief logic with quantified agent variables // CLIMA - VI : Pre-proceedings of the 6th international workshop on computational logic in multi-agent systems : City university, London, 27-29 June 2005. London. 2005, p. 57-72.
21Pliuškevičienė, Aida. Decision procedure for an extended miniscoped fragment of FTL with equality = Išsprendžiamoji procedūra išplėstam minisferiniam FTL su lygybe fragmentui // Lietuvos matematikos rinkinys. ISSN 0132-2818. 2003, T. 43, spec, nr, p. 438-443. DOI: 10.15388/LMR.2003.32472.
22Pliuškevičius, Regimantas; Pliuškevičienė, Aida. Decision procedure for temporal logic of belief and actions = Išsprendžiamoji procedūra tikėjimo ir veiksmų laiko logikai // Informatica. ISSN 0868-4952. 2004, Vol. 15, no. 3, p. 379-398.
23Pliuškevičienė, Aida. Decision procedure for a combination of logics K D4 and PDL = Išsprendžiamoji procedūra K D4 ir PDL logikų apjungimui // Lietuvos matematikos rinkinys. ISSN 0132-2818. 2004, T. 44, spec, Nr, p. 525-529. DOI: 10.15388/LMR.2004.32074.
24Pliuškevičienė, Aida. Decision procedure for a fragment of dynamic logic = Išsprendžiamoji procedūra dinaminės logikos fragmentui // Lietuvos matematikos rinkinys. Vilnius. ISSN 0132-2818. eISSN 2335-898X. 2001, t. 41, spec. nr. p. 413-420. DOI: 10.15388/LMR.2001.34623.
25Pliuškevičienė, Aida. Decision procedure for a fragment of quantified branching temporal logic = Išsprendžiamoji procedūra kvantorinės skaidaus laiko logikos fragmentui // Lietuvos matematikos rinkinys, T.42, spec. nr.: Lietuvos matematikų draugijos XLIII konferencijos mokslo darbai. Vilnius, 2002. ISBN 9986680212. ISSN 0132-2818. eISSN 2335-898X. 2002, t. 42, spec. nr. p. 476-480. DOI: 10.15388/LMR.2002.32980.