Sergei Novozhilov

According to our database, Sergei Novozhilov authored at least 9 papers between 2023 and 2025.

Collaborative distances:

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

2025

Pastry (AE for paper: On the Almost-Sure Termination of Probabilistic Counter Programs).

Sergei Novozhilov, Mingqi Yang, Mingshuai Chen, Zhiyang Li, Jianwei Yin

Dataset, May, 2025

Pastry (AE for paper: On the Almost-Sure Termination of Probabilistic Counter Programs).

Sergei Novozhilov, Mingqi Yang, Mingshuai Chen, Zhiyang Li, Jianwei Yin

Dataset, May, 2025

Pastry (AE for paper: On the Almost-Sure Termination of Probabilistic Counter Programs).

Sergei Novozhilov, Mingqi Yang, Mingshuai Chen, Zhiyang Li, Jianwei Yin

Dataset, May, 2025

Pastry (AE for paper: On the Almost-Sure Termination of Probabilistic Counter Programs).

Sergei Novozhilov, Mingqi Yang, Mingshuai Chen, Zhiyang Li, Jianwei Yin

Dataset, April, 2025

Pastry (AE for paper: On the Almost-Sure Termination of Probabilistic Counter Programs).

Sergei Novozhilov, Mingqi Yang, Mingshuai Chen, Zhiyang Li, Jianwei Yin

Dataset, April, 2025

Efficient Synthesis of Tight Polynomial Upper-Bounds for Systems of Conditional Polynomial Recurrences.

Amir Kafshdar Goharshady, S. Hitarth, Sergei Novozhilov

Proceedings of the Programming Languages and Systems, 2025

On the Almost-Sure Termination of Probabilistic Counter Programs.

Sergei Novozhilov, Mingqi Yang, Mingshuai Chen, Zhiyang Li, Jianwei Yin

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

Pixiu: Optimal Block Production Revenues on Cardano.

Togzhan Barakbayeva, Soroush Farokhnia, Amir Kafshdar Goharshady, Markus Gufler, Sergei Novozhilov

Proceedings of the IEEE International Conference on Blockchain, 2024

2023

Parameterized Algorithms for Topological Indices in Chemistry.

Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Harshit J. Motwani, Sergei Novozhilov

CoRR, 2023