Aktiivsuskoefitsiendi tuletisedViiroja, AndresXXIII Eesti keemiapäevad : teaduskonverentsi ettekannete referaadid1997 / lk. 156

Alternatiivsete graafide mudel loogikalülituste funktsioonide kirjeldamiseks ja analüüsiksAnton, E.; Ubar, Raimund-JohannesXXIX vabariiklik üliõpilaste teaduslik- tehniline konverents 30. märtsist - 1. aprillini 1977 : ettekannete teesid1977 / lk. 42-43 https://www.ester.ee/record=b2449987*est

Derivatives of the activity coefficientViiroja, Andres23rd Estonian Chemistry Days : abstracts of scientific conference1997 / p. 164

On the quantitative description of solvent effectsPalm, N.; Palm, V.23rd Estonian Chemistry Days : abstracts of scientific conference1997 / p. 105

A 6D space framework for the description of distributed systemsPettai, ElmoEstonian journal of engineering2012 / p. 140-171 : ill

Solvendiefektide kvantitatiivsest kirjeldusestPalm, N.; Palm, V.XXIII Eesti keemiapäevad : teaduskonverentsi ettekannete referaadid1997 / lk. 96

Synthesis of implementations for divide-and-conquer specificationsBortin, MaksymFormal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, proceedings2022 / p. 73-88 https://doi.org/10.1007/978-3-031-22476-8_5 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

The state-space description of two-rate nonlinear multivariable discrete systemsAstrov, Igor; Rüstern, EnnuProceedings of the Estonian Academy of Sciences. Physics. Mathematics1997 / 3, p. 187-196

Truth valued computing processes and process calculus: a formalism for describing programming logicKracht, WilhelmTallinna Tehnikaülikooli Toimetised1990 / lk. 55-94: ill