Message-Passing in the Extended UTxO Ledger - Polina Vinogradova; Orestis Melkonian (Financial Cryptography and Data Security. FC 2024 International Workshops - Voting, DeFI, WTSC, CoDecFin, Willemstad, Curaçao, March 4-8, 2024, Revised Selected Papers, 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; Tudor Ferariu (5th International Workshop on Formal Methods for Blockchains, FMBC 2024, April 7, 2024, Luxembourg City, Luxembourg, 2024)

Applying Continuous Formal Methods to Cardano (Experience Report) - James Chapman; Arnaud Bailly; Polina Vinogradova (Proceedings of the 2nd ACM SIGPLAN International Workshop on Functional Software Architecture, FUNARCH 2024, Milan, Italy, 6 September 2024, 2024)

Formalizing the Unexpected Hanging Paradox: A Classical Surprise - Polina Vinogradova (Logic and Argumentation - 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings, 2023)

Babel Fees via Limited Liabilities - Manuel M. T. Chakravarty; Nikos Karayannidis; Aggelos Kiayias; Michael Peyton Jones; Polina Vinogradova (Applied Cryptography and Network Security - 20th International Conference, ACNS 2022, Rome, Italy, June 20-23, 2022, Proceedings, 2022)

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

Native Custom Tokens in the Extended UTXO Model - Manuel M. T. Chakravarty; James Chapman; Kenneth MacKenzie; Orestis Melkonian; Jann Müller; Michael Peyton Jones; Polina Vinogradova; Philip Wadler (Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III, 2020)

UTXO\(_sf ma\): UTXO with Multi-asset Support - Manuel M. T. Chakravarty; James Chapman; Kenneth MacKenzie; Orestis Melkonian; Jann Müller; Michael Peyton Jones; Polina Vinogradova; Philip Wadler; Joachim Zahnentferner (Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III, 2020)

Flexible Formality Practical Experience with Agile Formal Methods - Philipp Kant; Kevin Hammond; Duncan Coutts; James Chapman; Nicholas Clarke; Jared Corduan; Neil J. Davies; Javier Díaz; Matthias Güdemann; Wolfgang Jeltsch; Marcin Szamotulski; Polina Vinogradova (Trends in Functional Programming - 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers, 2020)

Formalizing Abstract Computability: Turing Categories in Coq - Polina Vinogradova; Amy P. Felty; Philip J. Scott (12th Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2017, Brasília, Brazil, September 23-24, 2017, 2017)

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

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

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