Polina Vinogradova

According to our database, Polina Vinogradova authored at least 12 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, 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

Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024

Message-Passing in the Extended UTxO Ledger.

Polina Vinogradova, Orestis Melkonian

Proceedings of the Financial Cryptography and Data Security. FC 2024 International Workshops, 2024

2023

Formalizing the Unexpected Hanging Paradox: A Classical Surprise.

Polina Vinogradova

Proceedings of the Logic and Argumentation - 5th International Conference, 2023

2022

Babel Fees via Limited Liabilities.

Manuel M. T. Chakravarty, Nikos Karayannidis, Aggelos Kiayias, Michael Peyton Jones, Polina Vinogradova

Proceedings of the Applied Cryptography and Network Security, 2022

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

Proceedings of the Trends in Functional Programming - 21st International Symposium, 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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

2017

Formalizing Abstract Computability: Turing Categories in Coq.

Polina Vinogradova, Amy P. Felty, Philip J. Scott

Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017

2013

Asymptotic estimates of a projection-difference method for an operator-differential equation.

Polina Vinogradova, Anatoli Zarubin

J. Num. Math., 2013

2011

A study of Galerkin method for the heat convection equations.

Polina Vinogradova, Anatoli Zarubin

Appl. Math. Comput., 2011

2009

Convergence estimates of a projection-difference method for an operator-differential equation.

Polina Vinogradova

J. Comput. Appl. Math., 2009