( en | de | ru )

 

Disambiguation of "Vinogradova, Polina"

Author of the publication

copydeleteadd this publication to your clipboard
UTXOsf ma: UTXO with Multi-asset Support.

, , , , , , , , and . ISoLA (3), volume 12478 of Lecture Notes in Computer Science, page 112-130. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Polina Serkova

Polina Gavrilenko

Irina Vinogradova

Polina Sapouna

Polina Tusheva

 

Other publications of authors with the same name

Asymptotic estimates of a projection-difference method for an operator-differential equation., and . J. Num. Math., 21 (3): 181-200 (2013)Babel Fees via Limited Liabilities., , , , and . CoRR, (2021)Formalizing the Unexpected Hanging Paradox: A Classical Surprise.. CLAR, volume 14156 of Lecture Notes in Computer Science, page 44-58. Springer, (2023)UTXOsf ma: UTXO with Multi-asset Support., , , , , , , , and . ISoLA (3), volume 12478 of Lecture Notes in Computer Science, page 112-130. Springer, (2020)Convergence estimates of a projection-difference method for an operator-differential equation.. J. Comput. Appl. Math., 231 (1): 1-10 (2009)Babel Fees via Limited Liabilities., , , , and . ACNS, volume 13269 of Lecture Notes in Computer Science, page 707-726. Springer, (2022)Flexible Formality Practical Experience with Agile Formal Methods., , , , , , , , , and 2 other author(s). TFP, volume 12222 of Lecture Notes in Computer Science, page 94-120. Springer, (2020)A study of Galerkin method for the heat convection equations., and . Appl. Math. Comput., 218 (2): 520-531 (2011)Native Custom Tokens in the Extended UTXO Model., , , , , , , and . ISoLA (3), volume 12478 of Lecture Notes in Computer Science, page 89-111. Springer, (2020)Formalizing Abstract Computability: Turing Categories in Coq., , and . LSFA, volume 338 of Electronic Notes in Theoretical Computer Science, page 203-218. Elsevier, (2017)