Tatiana Belova

18 papers A* 4A 2B 1C 1Journal 10
YearRankTypeTitle / Venue / Authors
2026 A* conf
Structural Approach to Guiding a Present-Biased Agent.
AAAI
Tatiana Belova, Yuriy Dementiev, Artur Ignatiev, Danil Sagunov
2026 J jnl
Structural Approach to Guiding a Present-Biased Agent.
CoRR
Tatiana Belova, Yuriy Dementiev, Artur Ignatiev, Danil Sagunov
2025 A* conf
Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis.
AAAI
Daniil Averkov, Tatiana Belova, Gregory Emdin, Mikhail Goncharov, Viktoriia Krivogornitsyna, Alexander S. Kulikov, Fedor Kurmazov, Daniil Levtsov, Georgie Levtsov, Vsevolod Vaskin, Aleksey Vorobiev
2025 J jnl
Gene regulatory network integration with multi-omics data enhances survival predictions in cancer.
Briefings Bioinform.
Romana T. Pop, Ping-Han Hsieh, Tatiana Belova, Anthony Mathelier, Marieke L. Kuijjer
2025 J jnl
Polynomial Formulations as a Barrier for Reduction-Based Hardness Proofs.
ACM Trans. Algorithms
Tatiana Belova, Alexander Golovnev, Alexander S. Kulikov, Ivan Mihajlin, Denil Sharipov
2024 J jnl
CAVACHON: a hierarchical variational autoencoder to integrate multi-modal single-cell data.
CoRR
Ping-Han Hsieh, Ru-Xiu Hsiao, Katalin Ferenc, Anthony Mathelier, Rebekka Burkholz, Chien-Yu Chen, Geir Kjetil Sandve, Tatiana Belova, Marieke L. Kuijjer
2024 J jnl
Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis.
CoRR
Daniil Averkov, Tatiana Belova, Gregory Emdin, Mikhail Goncharov, Viktoriia Krivogornitsyna, Alexander S. Kulikov, Fedor Kurmazov, Daniil Levtsov, Georgie Levtsov, Vsevolod Vaskin, Aleksey Vorobiev
2024 A* conf
Computations with polynomial evaluation oracle: ruling out superlinear SETH-based lower bounds.
SODA
Tatiana Belova, Alexander S. Kulikov, Ivan Mihajlin, Olga Ratseeva, Grigory Reznikov, Denil Sharipov
2024 A conf
How to Guide a Present-Biased Agent Through Prescribed Tasks?
ECAI
Tatiana Belova, Yuriy Dementiev, Fedor V. Fomin, Petr A. Golovach, Artur Ignatiev
2024 J jnl
How to guide a present-biased agent through prescribed tasks?
CoRR
Tatiana Belova, Yuriy Dementiev, Fedor V. Fomin, Petr A. Golovach, Artur Ignatiev
2024 A conf
Improved Space Bounds for Subset Sum.
ESA
Tatiana Belova, Nikolai Chukhin, Alexander S. Kulikov, Ivan Mihajlin
2024 J jnl
Improved Space Bounds for Subset Sum.
CoRR
Tatiana Belova, Nikolai Chukhin, Alexander S. Kulikov, Ivan Mihajlin
2023 J jnl
Computations with polynomial evaluation oracle: ruling out superlinear SETH-based lower bounds.
CoRR
Tatiana Belova, Alexander S. Kulikov, Ivan Mihajlin, Olga Ratseeva, Grigory Reznikov, Denil Sharipov
2023 A* conf
Polynomial formulations as a barrier for reduction-based hardness proofs.
SODA
Tatiana Belova, Alexander Golovnev, Alexander S. Kulikov, Ivan Mihajlin, Denil Sharipov
2022 B conf
Hardness of Approximation for H-Free Edge Modification Problems: Towards a Dichotomy.
ISAAC
Tatiana Belova, Ivan Bliznets
2021 J jnl
AquaScouts: ePROs Implemented as a Serious Game for Children With Cancer to Support Palliative Care.
Frontiers Digit. Health
Stefan Hoffmann, Robert Schraut, Thomas Kröll, Wiebke Scholz, Tatiana Belova, Johann Erhardt, Daniel Gollmer, Christian Mauck, Giorgos Zacharioudakis, Marcel Meyerheim, Panos Bonotis, Christine Kakalou, Maria Chatzimina, Christina Karamanidou, Annette Sander, Jana Didi, Norbert Graf, Pantelis Natsiavas
2020 J jnl
Algorithms for (n, 3)-MAXSAT and parameterization above the all-true assignment.
Theor. Comput. Sci.
Tatiana Belova, Ivan Bliznets
2018 C conf
Upper and Lower Bounds for Different Parameterizations of (n, 3)-MAXSAT.
COCOA
Tatiana Belova, Ivan Bliznets