Polina Vinogradova

According to our database, Polina Vinogradova authored at least 9 papers between 2009 and 2023.

Collaborative distances:

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

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