| MrBayes 3.2: efficient Bayesian phylogenetic inference and model choice across a large model space F Ronquist, M Teslenko, P Van Der Mark, DL Ayres, A Darling, S Höhna, ... Systematic biology 61 (3), 539-542, 2012 | 25060 | 2012 |
| Draft MrBayes version 3.2 manual: tutorials and model summaries F Ronquist, J Huelsenbeck, M Teslenko Distributed with the software from http://brahms. biology. rochester. edu …, 2011 | 359 | 2011 |
| H€ ohna S, Larget B, Liu L, Suchard MA, Huelsenbeck JP. 2012. MrBayes 3.2: efficient Bayesian phylogenetic inference and model choice across a large model space F Ronquist, M Teslenko, P Van der Mark, DL Ayres, A Darling Syst Biol 61 (3), 539-542, 2012 | 249 | 2012 |
| A SAT-based algorithm for finding attractors in synchronous Boolean networks E Dubrova, M Teslenko IEEE/ACM transactions on computational biology and bioinformatics 8 (5 …, 2011 | 239 | 2011 |
| van der, Ayres DL, Darling A, Höhna S, Larget B, Liu L, Suchard MA, Huelsenbeck JP (2012) MrBayes 3.2: efficient Bayesian phylogenetic inference and model choice across a large … F Ronquist, M Teslenko, P Mark Systematic Biology 61 (3), 539-542, 0 | 112 | |
| On analysis and synthesis of (n, k)-non-linear feedback shift registers E Dubrova, M Teslenko, H Tenhunen Proceedings of the conference on Design, automation and test in Europe, 1286 …, 2008 | 74 | 2008 |
| 3.2: Efficient Bayesian phylogenetic inference and model choice across a large model space., 2012, 61 F Ronquist, M Teslenko, P Van Der Mark, DL Ayres, A Darling, S Höhna, ... DOI: https://doi. org/10.1093/sysbio/sys029, 539-542, 0 | 73 | |
| Kauffman networks: Analysis and applications E Dubrova, M Teslenko, A Martinelli ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005 …, 2005 | 59 | 2005 |
| Compositional properties of random Boolean networks E Dubrova, M Teslenko Physical Review E—Statistical, Nonlinear, and Soft Matter Physics 71 (5 …, 2005 | 27 | 2005 |
| Hermes: LUT FPGA technology mapping algorithm for area minimization with optimum depth M Teslenko, E Dubrova IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004 …, 2004 | 26 | 2004 |
| Computing a perfect input assignment for probabilistic verification M Teslenko, E Dubrova, H Tenhunen VLSI Circuits and Systems II 5837, 929-936, 2005 | 20 | 2005 |
| MrBayes version 3.2 manual F Ronquist, JP Huelsenbeck, M Teslenko, C Zhang, JAA Nylander | 16 | 2005 |
| On relation between non-disjoint decomposition and multiple-vertex dominators E Dubrova, M Teslenko, A Martinelli 2004 IEEE International Symposium on Circuits and Systems (IEEE Cat. No …, 2004 | 16 | 2004 |
| Finding attractors in synchronous multiple-valued networks using SAT-based bounded model checking E Dubrova, M Teslenko, L Ming 2010 40th IEEE International Symposium on Multiple-Valued Logic, 144-149, 2010 | 14 | 2010 |
| An efficient algorithm for finding double-vertex dominators in circuit graphs M Teslenko, E Dubrova Design, Automation and Test in Europe, 406-411, 2005 | 14 | 2005 |
| A SAT-Based Algorithm for Finding Short Cycles in Shift Register Based Stream Ciphers. E Dubrova, M Teslenko IACR Cryptol. ePrint Arch. 2016, 1068, 2016 | 13 | 2016 |
| A computational scheme based on random Boolean networks E Dubrova, M Teslenko, H Tenhunen Transactions on Computational Systems Biology X, 41-58, 2008 | 11 | 2008 |
| Remote control of pivotable stereoscopic camera M Teslenko US Patent 10,306,211, 2019 | 7 | 2019 |
| Method, registration device and vehicle control node for guidance of a transport vehicle M Teslenko, A Karapantelakis, G Stikkel, AV FELJAN US Patent App. 15/739,068, 2018 | 7 | 2018 |
| A sat-based algorithm for computing attractors in synchronous boolean networks E Dubrova, M Teslenko arXiv preprint arXiv:0901.4448, 2009 | 7 | 2009 |
