On constructive models of theories with linear Rudin-Keisler ordering. - Alexander Gavryushkin (J. Log. Comput., 2012)

On Decidable and Computable Models of Theories. - Alexander Gavruskin; Bakhadyr Khoussainov (CiE, 2013)

Dynamising Interval Scheduling: The Monotonic Case. - Alexander Gavruskin; Bakhadyr Khoussainov; Mikhail Kokho; Jiamou Liu (IWOCA, 2013)

Dynamic Interval Scheduling for Multiple Machines. - Alexander Gavruskin; Bakhadyr Khoussainov; Mikhail Kokho; Jiamou Liu (ISAAC, 2014)

Graphs realised by r.e. equivalence relations. - Alexander Gavruskin; Sanjay Jain 001; Bakhadyr Khoussainov; Frank Stephan 001 (Ann. Pure Appl. Log., 2014)

Dynamic Algorithms for Interval Scheduling on a Single Machine. - Alex Gavryushkin; Bakhadyr Khoussainov; Mikhail Kokho; Jiamou Liu (CoRR, 2014)

Dynamic algorithms for monotonic interval scheduling problem. - Alexander Gavruskin; Bakhadyr Khoussainov; Mikhail Kokho; Jiamou Liu (Theor. Comput. Sci., 2015)

Dynamic Algorithms for Multimachine Interval Scheduling Through Analysis of Idle Intervals. - Alex Gavryushkin; Bakhadyr Khoussainov; Mikhail Kokho; Jiamou Liu (Algorithmica, 2016)

Reducibilities among equivalence relations induced by recursively enumerable structures. - Alex Gavryushkin; Bakhadyr Khoussainov; Frank Stephan 001 (Theor. Comput. Sci., 2016)

Tiling algebra for constraint-based layout editing. - Clemens Zeidler; Gerald Weber; Alex Gavryushkin; Christof Lutteroth (J. Log. Algebraic Methods Program., 2017)

Computing nearest neighbour interchange distances between ranked phylogenetic trees. - Lena Collienne; Alex Gavryushkin (CoRR, 2020)

The Geometry of the space of Discrete Coalescent Trees. - Lena Collienne; Kieran Elmes; Mareike Fischer 001; David Bryant; Alex Gavryushkin (CoRR, 2021)

A fast lasso-based method for inferring higher-order interactions. - Kieran Elmes; Astra Heywood; Zhiyi Huang 001; Alex Gavryushkin (PLoS Comput. Biol., 2022)

Testing for Phylogenetic Signal in Single-Cell RNA-Seq Data. - Jirí C. Moravec; Robert Lanfear; David L. Spector; Sarah D. Diermeier; Alex Gavryushkin (J. Comput. Biol., 2023)

An Automated Convergence Diagnostic for Phylogenetic MCMC Analyses. - Lars Berling; Remco R. Bouckaert; Alex Gavryushkin (IEEE ACM Trans. Comput. Biol. Bioinform., 2024)

Filtering for Highly Variable Genes and High-Quality Spots Improves Phylogenetic Analysis of Cancer Spatial Transcriptomics Visium Data. - Alexandra Gavryushkina; Holly R. Pinkney; Sarah D. Diermeier; Alex Gavryushkin (J. Comput. Biol., 2025)

Accurate Bayesian phylogenetic point estimation using a tree distribution parameterized by clade probabilities. - Lars Berling; Jonathan Klawitter; Remco R. Bouckaert; Dong Xie; Alex Gavryushkin; Alexei J. Drummond (PLoS Comput. Biol., 2025)