Suivre
Maxim Teslenko
Maxim Teslenko
Adresse e-mail validée de ericsson.com
Titre
Citée par
Citée par
Année
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
242922012
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
3492011
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
2502012
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
2332011
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
742008
Kauffman networks: Analysis and applications
E Dubrova, M Teslenko, A Martinelli
ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005 …, 2005
602005
Compositional properties of random Boolean networks
E Dubrova, M Teslenko
Physical Review E 71 (5), 056116, 2005
262005
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
262004
Computing a perfect input assignment for probabilistic verification
M Teslenko, E Dubrova, H Tenhunen
VLSI Circuits and Systems II 5837, 929-936, 2005
202005
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
162004
MrBayes version 3.2 manual
F Ronquist, JP Huelsenbeck, M Teslenko, C Zhang, JAA Nylander
152005
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
142010
An efficient algorithm for finding double-vertex dominators in circuit graphs
M Teslenko, E Dubrova
Design, Automation and Test in Europe, 406-411, 2005
142005
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
132016
A computational scheme based on random Boolean networks
E Dubrova, M Teslenko, H Tenhunen
Transactions on Computational Systems Biology X, 41-58, 2008
112008
Remote control of pivotable stereoscopic camera
M Teslenko
US Patent 10,306,211, 2019
72019
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
72018
A sat-based algorithm for computing attractors in synchronous boolean networks
E Dubrova, M Teslenko
arXiv preprint arXiv:0901.4448, 2009
72009
Beamforming in a wireless communication system
M Teslenko, H Liang, S Tombaz, K Vandikas
US Patent 10,547,365, 2020
52020
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20