My ORCID profile

Our recent publications are on my lab’s website.

My publications from 2006-2017 are below:

  • Inferring genetic interactions from comparative fitness data. With Kristina Crona, Devin Greene, and Niko Beerenwinkel. eLife 2017;6:e28629, DOI: 10.7554/eLife.28629, 2017

  • The combinatorics of discrete time-trees: theory and open problems. With Chris Whidden and Erick Matsen. Journal of Mathematical Biology, DOI: 10.1007/s00285-017-1167-9, 2017 (blog post by Erick) (.pdf)

  • The space of ultrametric phylogenetic trees. With Alexei Drummond. Journal of Theoretical Biology, Vol. 403, 197–208, 2016 (arXiv:1410.3544) (software)

  • Toward analysis of structural changes common for alkaline carbonates and binary compounds: prediction of high-pressure structures of Li2CO3, Na2CO3, and K2CO3. With Pavel Gavryushkin, Altyna Behtenova, Zakhar Popov, Vladimir Bakakin, Anna Likhacheva, and Konstantin Litasov. Crystal Growth & Design, 16, 10, 5612–5617, 2016 (.epdf)

  • Stability of B2-type FeS at Earth’s inner core pressures. With Pavel Gavryushkin, Zakhar Popov, Konstantin Litasov, and Anatoly Belonoshko. Geophysical Research Letters, 43, 16, 8435–8440, 2016 (.epdf)

  • How well can the exponential-growth coalescent approximate constant-rate birth-death population dynamics? With Tanja Stadler, Tim Vaughan, Stephane Guindon, Denise Kuehnert, Gabriel Leventhal, and Alexei Drummond. Proceedings of the Royal society B, 282, 1806, 2015 (.pdf)

  • Unbiased crystal structure prediction of NiSi under high pressure. With Pavel Gavryushkin, Zakhar Popov, and Konstantin Litasov. Journal of Applied Crystallography, 48, 3, 906–908, 2015 (arXiv:1503.06079)

  • Dynamic algorithms for monotonic interval scheduling problem. With Bakh Khoussainov, Misha Kokho, and Jiamou Liu. Theoretical Computer Science, Vol. 562, 227–242, 2015 (arXiv:1412.8005)

  • Decidable models of small theories. Lobachevskii Journal of Mathematics, 36, 4, 446–449, 2015 (arXiv:1504.01180)

  • Reducibilities among equivalence relations induced by recursively enumerable structures. With Bakh Khoussainov and Frank Stephan. Theoretical Computer Science, Vol. 612, 137–152, 2015 (.pdf)

  • Dynamic interval scheduling for multiple machines. With Bakh Khoussainov, Misha Kokho, and Jiamou Liu. Springer LNCS, Vol. 8889, 235–246, 2014. Extended version is published in Algorithmica in 2016. Please email me for a .pdf

  • Universality for left-computably enumerable metric spaces. With Andre Nies. Lobachevskii Journal of Mathematics, 35, 4, 292–294, 2014 (.pdf)

  • Graphs realised by r.e. equivalence relations. With Sanjay Jain, Bakh Khoussainov, and Frank Stephan. Annals of Pure and Applied Logic, 165, 7, 1263–1290, 2014 (.pdf)

  • Dynamising interval scheduling: the monotonic case. With Bakh Khoussainov, Misha Kokho, and Jiamou Liu. Springer LNCS Vol. 8288, 178–189, 2013. Please email me for a .pdf

  • On decidable and computable models of theories. With Bakh Khoussainov. Springer LNCS Vol. 7921, 200–209, 2013 (.pdf)

  • On constructive models of theories with linear Rudin-Keisler ordering. Journal of Logic and Computation, 22, 4, 793–805, 2012 (.pdf)

  • Computable models of Ehrenfeucht theories. CRM Documents, Centre de Recerca Matematica, Bellaterra (Barcelona), Vol. 11, 67–77, 2012 (.pdf)

  • A new spectrum of computable models. Bulletin of Irkutsk State University. Series: mathematics, 4, 4, 7–20, 2010 (.pdf in Russian)

  • Computable limit models. Programs, Proofs, Processes – CiE, 188–193, 2010 (.pdf)

  • Computable limit models for Ehrenfeucht theories. Bulletin of Irkutsk State University. Series: mathematics, 3, 2, 56–61, 2009

  • Computable models of Ehrenfeucht theories. Ph.D. Thesis, Novosibirsk, 2009 (.pdf in Russian)

  • Computable models of theories with linear Rudin-Keisler ordering. Bulletin of Novosibirsk State University. Series: mathematics, mechanics, informatics, 9, 2, 30–37, 2009 (.pdf in Russian)

  • Spectra of computable models for Ehrenfeucht theories. Algebra and Logic, 46, 3, 149–157, 2007 (.pdf in Russian)

  • On complexity of Ehrenfeucht theories with computable model. Logical Approaches to Computational Barriers (Second Conference on Computability in Europe), Report Series, Swansea University, 105–108, 2006

  • Complexity of Ehrenfeucht models. Algebra and Logic, 45, 5, 289–295, 2006 (.pdf in Russian)