Proving the correctness of the algorithm for building a crystallographic space group.
- Published in:
- Journal of Applied Crystallography, 2022, v. 55, n. 3, p. 515, doi. 10.1107/S1600576722003107
- By:
- Publication type:
- Article
Works by Petrauskas, Karolis
Results: 11
1
2
Sudėtinės geometrinės struktūros biojutiklių kompiuterinis modeliavimas.
- Published in:
- Information Sciences / Informacijos Mokslai, 2011, v. 56, p. 156, doi. 10.15388/Im.2011.0.3141
- By:
- Publication type:
- Article
3
Kompiuterinis biojutiklių su perforuota ir selektyvia membrana modeliavimas vienmačiu keturių sluoksnių modeliu.
- Published in:
- Information Sciences / Informacijos Mokslai, 2009, v. 50, p. 328, doi. 10.15388/Im.2009.0.3217
- By:
- Publication type:
- Article
4
Biojutiklių, modeliuojamų dvimatėje erdvėje, kompiuterinių modelių automatizuotas sudarymas.
- Published in:
- Information Sciences / Informacijos Mokslai, 2007, v. 42/43, p. 108
- By:
- Publication type:
- Article
5
Extracting TLA<sup>+</sup> Specifications Out of a Program for a BEAM Virtual Machine.
- Published in:
- Vilnius University Open Series, 2024, p. 98, doi. 10.15388/LMITT.2024.14
- By:
- Publication type:
- Article
6
Formalizing IOTA Extended UTXO in Isabelle.
- Published in:
- Vilnius University Open Series, 2024, p. 25, doi. 10.15388/LMITT.2024.3
- By:
- Publication type:
- Article
7
Computational Modeling of Mediator Oxidation by Oxygen in an Amperometric Glucose Biosensor.
- Published in:
- Sensors (14248220), 2014, v. 14, n. 2, p. 2578, doi. 10.3390/s140202578
- By:
- Publication type:
- Article
8
Modelling Carbon Nanotubes-Based Mediatorless Biosensor.
- Published in:
- Sensors (14248220), 2012, v. 12, n. 7, p. 9146, doi. 10.3390/s120709146
- By:
- Publication type:
- Article
9
Improvement of elastomer swelling measurement for sulfur cross-link density determination.
- Published in:
- Chemija, 2017, v. 28, n. 4, p. 193
- By:
- Publication type:
- Article
10
Modelling carbon nanotube based biosensor.
- Published in:
- Journal of Mathematical Chemistry, 2011, v. 49, n. 5, p. 995, doi. 10.1007/s10910-010-9791-2
- By:
- Publication type:
- Article
11
Computational modelling of three-layered biosensor based on chemically modified electrode.
- Published in:
- Computational & Applied Mathematics, 2016, v. 35, n. 2, p. 405, doi. 10.1007/s40314-014-0197-9
- By:
- Publication type:
- Article