VU Matematikos ir informatikos fakulteto autoriaus 'Karolis Petrauskas' publikacijų sąrašas
pagal Lietuvos akademinių bibliotekų tinklo (LABT) publikacijų bazę VUB:

Eil. Nr. Publikacija
1Bražėnas, Deividas; Petrauskas, Karolis. TLA+ specifikacijų išskyrimas iš Elixir programos // Proceedings of the Conference "Lithuanian MSc Research in Informatics and ICT". Vilnius : Vilniaus universiteto leidykla. 2023, p. 5-14. (Vilnius University Open Series, eISSN 2669-0535). DOI: 10.15388/LMITT.2023.1.
2Petrauskas, Karolis; Merkys, Andrius; Vaitkus, Antanas; Laibinis, Linas; Gražulis, Saulius. Proving the correctness of the algorithm for building a crystallographic space group // Journal of applied crystallography. Chester : International Union of Crystallography. ISSN 0021-8898. eISSN 1600-5767. 2022, vol. 55, no. 3, p. 515-525. DOI: 10.1107/S1600576722003107.
3Kontrimas, Mantas; Petrauskas, Karolis. „Redis Cluster“ podėlio sistemos tyrimas, taikant formalius metodus // Konferencijos "Lietuvos magistrantų informatikos ir IT tyrimai darbai", 2021 m. gegužės 14 d. Vilnius : Vilniaus universiteto leidykla, 2021. eISBN 9786090706237. p. 34-43. (Vilnius University Open Series, eISSN 2669-0535). DOI: 10.15388/LMITT.2021.4.
4Baronas, Romas; Kulys, Juozas; Litvinas, Linas; Petkevičius, Linas; Petrauskas, Karolis; Žilinskas, Antanas. Computational modeling, multi-objective optimization and decision visualization of microbioreactor system // 11th international workshop on data analysis methods for software systems, Druskininkai, Lithuania, November 28-30, 2019 / Lithuanian Computer Society, Vilnius University Institute of Data Science and Digital Technologies, Lithuanian Academy of Sciences. Vilnius : Vilnius University Press, 2019. ISBN 9786090703243. eISBN 9786090703250. p. 9. Prieiga per internetą: <https://www.mii.lt/datamss/files/DAMSS_2019.pdf> [žiūrėta 2019-12-09].
5Petrauskas, Karolis; Baronas, Romas. Effectiveness of the asynchronous client-side coordination of cluster service sessions // Databases and information systems X : 13th international Baltic conference on databases and information systems, DB&IS 2018, held in Trakai, Lithuania, in July 2018 / editors: Audrone Lupeikiene, Olegas Vasilecas, Gintautas Dzemyda. Cham : IOS Press, 2019. ISBN 9781614999409. eISBN 9781614999416. p. 95-108. (Frontiers in artificial intelligence and applications, ISSN 0922-6389, eISSN 1879-8314 ; vol. 315). DOI: 10.3233/978-1-61499-941-6-95.
6Baronas, Romas; Kulys, Juozas; Petkevičius, Linas; Petrauskas, Karolis. Computational modeling of bioreactors based on spherical catalyst particles // DAMSS 2018 : 10th international workshop on "Data analysis methods for software systems", Druskininkai, Lithuania, November 29 - December 1, 2018 : [abstract book]. Vilnius : Vilniaus universitetas, 2018. ISBN 9786090700433. p. 10. Prieiga per internetą: <https://www.mii.lt/datamss/files/DAMSS_2018_1.pdf> [žiūrėta 2018-12-04].
7Petrauskas, Karolis; Baronas, Romas. Asynchronous client-side coordination of cluster service sessions // Databases and information systems : 13th international Baltic conference, DB&IS 2018, Trakai, Lithuania, July 1–4, 2018 : proceedings / edited by Audrone Lupeikiene, Olegas Vasilecas, Gintautas Dzemyda. Cham : Springer, 2018. ISBN 9783319975702. eISBN 9783319975719. p. 121-133. (Communications in Computer and Information Science, ISSN 1865-0929, eISSN 1865-0937 ; vol. 838). DOI: 10.1007/978-3-319-97571-9_11.
8Ašeris, Vytautas; Baronas, Romas; Petrauskas, Karolis. Computational modelling of three-layered biosensor based on chemically modified electrode // Computational and applied mathematics. Heidelberg : Springer Heidelberg. ISSN 0101-8205. eISSN 1807-0302. 2016, Vol. 35, Iss. 2, p. 405-421. DOI: 10.1007/s40314-014-0197-9.
9Barkauskas, Jurgis; Gaidukevič, Justina; Razumienė, Julija; Šakinytė, Ieva; Baronas, Romas; Petrauskas, Karolis. Electrocatalytic activity of graphene/(SCN)n composites for oxygen reduction reaction // Carbon' 16 : World Conference on Carbon : program, Pennsylvania, July 10-15 : State College. 2016, p. 1-6.
10Gaidukevič, Justina; Barkauskas, Jurgis; Razumienė, Julija; Šakinytė, Ieva; Baronas, Romas; Petrauskas, Karolis. Graphene/(SCN)n composites as efficient electrocatalysts for the oxygen reduction reaction // 3rd European conference on smart inorganic polymers, September 12-14, 2016, Porto, Portugal : book of abstracts. Porto : University of Porto, 2016. ISBN 9789899900714. p. 61.
11Razumienė, Julija; Šakinytė, Ieva; Gurevičienė, Vidutė; Petrauskas, Karolis. Amperometric Urea Sensor. Enzyme Immobilization into Adjustable Membrane and Mathematical Characterization of the Biosensor // Biodevices 2015 : 8th international conference on biomedical electronics and devices, Lisabon, Portugal, 12-15 January, 2015 : proceedings. Lisabon : 2015 SCITEPRESS-science and technology publications, 2015. ISBN 9789897580710. p. 144-149.
12Šimelevičius, Dainius; Petrauskas, Karolis; Baronas, Romas; Razumienė, Julija. Computational modeling of mediator oxidation by oxygen in an amperometric glucose biosensor // Sensors. Basel : MDPI AG. ISSN 1424-8220. 2014, Vol. 14, iss. 2, p. 2578-2594. DOI: 10.3390/s140202578.
13Šimelevičius, Dainius; Petrauskas, Karolis. Application of the Butler-Volmer equation in mathematical modelling of amperometric biosensor // SIMUL 2014 : the 6-th international conference on advances in system simulation, October 12-16, 2014, Nice, France. IARIA, 2014. ISBN 9781612083711. p. 162-167.
14Razumienė, Julija; Gurevičienė, Vidutė; Šakinytė, Ieva; Barkauskas, Jurgis; Petrauskas, Karolis; Baronas, Romas. Modified SWCNTs for reagentless glucose biosensor: electrochemical and mathematical characterization // Electroanalysis. Weinheim : Wiley-VCH Verlag GMBH. ISSN 1040-0397. 2013, Vol. 25, iss. 1, p. 166-173. DOI: 10.1002/elan.201200383.
15Baronas, Romas; Kulys, Juozas; Petrauskas, Karolis; Razumienė, Julija. Modelling carbon nanotubes-based mediatorless biosensor // Sensors. Basel : MDPI AG. ISSN 1424-8220. 2012, Vol. 12, iss. 7, p. 9146-9160. DOI: 10.3390/s120709146.
16Petrauskas, Karolis; Baronas, Romas. One-dimensional modelling of a carbon nanotube-based biosensor // ECMS 2012 : 26th European Conference on Modelling and Simulation, May 29 - June 1, 2012, Koblenz, Germany : proceedings / edited by: Klaus G. Troitzsch, Michael Möhring, Ulf Lotzmann. Koblenz : Universität Koblenz, 2012. ISBN 9780956494443. p. 121-127.
17Baronas, Romas; Kulys, Juozas; Petrauskas, Karolis; Razumienė, Julija. Modelling carbon nanotube based biosensor // Journal of mathematical chemistry. Dordrecht : Springer Netherlands. ISSN 0259-9791. 2011, vol. 49, no. 5, p. 995-1010. DOI: 10.1007/s10910-010-9791-2.
18Baronas, Romas; Petrauskas, Karolis. Sudėtinės geometrinės struktūros biojutiklių kompiuterinis modeliavimas = Computer-aided modeling of biosensors with a complex geometrical structure // Informacijos mokslai / Vilniaus universitetas. Vilnius : Vilniaus universiteto leidykla. ISSN 1392-0561. 2011, t. 56, p. 156-162. DOI: 10.15388/Im.2011.0.3141.
19Petrauskas, Karolis; Baronas, Romas. Computational modelling of biosensors with an outer perforated membrane // Nonlinear analysis: modelling and control. Vilnius : Vilniaus universiteto leidykla. ISSN 1392-5113. eISSN 2335-8963. 2009, vol. 14, no. 1, p. 85-102. DOI: 10.15388/NA.2009.14.1.14532.
20Petrauskas, Karolis. Kompiuterinis biojutiklių su perforuota ir selektyvia membrana modeliavimas vienmačiu keturių sluoksnių modeliu = Computer-aided modeling of a biosensor with selective and perforated membranes using a four-layered one-dimensional model // Informacijos mokslai. Vilnius : Vilniaus universiteto leidykla. ISSN 1392-0561. eISSN 1392-1487. 2009, t. 50, p. 328-333. DOI: 10.15388/Im.2009.0.3217.
21Petrauskas, Karolis. Computational modelling of biosensors covered with a perforated membrane // 13th international conference on Mathematical modelling and analysis and 3rd international conference on Approximation methods and orthogonal expansions: program and abstracts, June 4-7, 2008, Estonia. Tartu : Estonian Mathematical Society, 2008. ISBN 9789985964415. p. 73.
22Petrauskas, Karolis; Baronas, Romas. Biojutiklių su perforuota membrana vienmačio modelio adekvatumo tyrimas = The adequateness analysis of a one-dimensional model of biosensors with perforated membrane // Informacinės technologijos 2007 : konferencijos pranešimų medžiaga. Kaunas : Technologija. ISSN 1822-6337. 2007, p. 422-426.
23Petrauskas, Karolis; Baronas, Romas. Biojutiklių, modeliuojamų dvimatėje erdvėje, kompiuterinių modelių automatizuotas sudarymas = Computer aided model composition for biosensors modelled in two-dimensional space // Informacijos mokslai. Vilnius : Vilniaus universiteto leidykla. ISSN 1392-0561. eISSN 1392-1487. 2007, t. 42-43, p. 108-113. DOI: 10.15388/Im.2008.0.3434.
24Petrauskas, Karolis; Baronas, Romas. Duomenų saugyklų indeksavimo efektyvumo tyrimas = An investigation of the effectiveness of indexing for data warehouses // Informacijos mokslai. ISSN 1392-0561. 2005, t. 34, p. 172-175.