Sergei Novozhilov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2025–2025
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | On the Almost-Sure Termination of Probabilistic Counter Programs. | Sergei Novozhilov, Mingqi Yang, Mingshuai Chen, Zhiyang Li, Jianwei Yin |
| 2025 | ESOP | Efficient Synthesis of Tight Polynomial Upper-Bounds for Systems of Conditional Polynomial Recurrences. | Amir Kafshdar Goharshady, S. Hitarth, Sergei Novozhilov |
| 2025 | LAGOS | Combinatorial Parameterized Algorithms for Chemical Descriptors based on Molecular Graph Sparsity. | Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Harshit Jitendra Motwani, Sergei Novozhilov |