Convergence estimates of a projection-difference method for an operator-differential equation. - Polina Vinogradova (J. Comput. Appl. Math., 2009)

A study of Galerkin method for the heat convection equations. - Polina Vinogradova; Anatoli Zarubin (Appl. Math. Comput., 2011)

Asymptotic estimates of a projection-difference method for an operator-differential equation. - Polina Vinogradova; Anatoli Zarubin (J. Num. Math., 2013)

Formalizing Abstract Computability: Turing Categories in Coq. - Polina Vinogradova; Amy P. Felty; Philip J. Scott (LSFA, 2017)

Native Custom Tokens in the Extended UTXO Model. - Manuel M. T. Chakravarty; James Chapman 001; Kenneth MacKenzie; Orestis Melkonian; Jann Müller; Michael Peyton Jones; Polina Vinogradova; Philip Wadler (ISoLA (3), 2020)

UTXOsf ma: UTXO with Multi-asset Support. - Manuel M. T. Chakravarty; James Chapman 001; Kenneth MacKenzie; Orestis Melkonian; Jann Müller; Michael Peyton Jones; Polina Vinogradova; Philip Wadler; Joachim Zahnentferner (ISoLA (3), 2020)

Flexible Formality Practical Experience with Agile Formal Methods. - Philipp Kant; Kevin Hammond; Duncan Coutts; James Chapman 001; Nicholas Clarke; Jared Corduan; Neil J. Davies; Javier Díaz; Matthias Güdemann; Wolfgang Jeltsch; Marcin Szamotulski; Polina Vinogradova (TFP, 2020)

Babel Fees via Limited Liabilities. - Manuel M. T. Chakravarty; Nikos Karayannidis; Aggelos Kiayias; Michael Peyton Jones; Polina Vinogradova (ACNS, 2022)

Formalizing the Unexpected Hanging Paradox: A Classical Surprise. - Polina Vinogradova (CLAR, 2023)

Message-Passing in the Extended UTxO Ledger. - Polina Vinogradova; Orestis Melkonian (FC Workshops, 2024)

Structured Contracts in the EUTxO Ledger Model. - Polina Vinogradova; Orestis Melkonian; Philip Wadler; Manuel M. T. Chakravarty; Jacco Krijnen; Michael Peyton Jones; James Chapman 001; Tudor Ferariu (FMBC@CAV, 2024)

Applying Continuous Formal Methods to Cardano (Experience Report). - James Chapman 001; Arnaud Bailly; Polina Vinogradova (FUNARCH, 2024)

Properties of UTxO Ledgers and Programs Implemented on Them. - Polina Vinogradova; Alexey Sorokin (LSFA, 2024)