Maxim Teslenko - Concepedia

Concepedia

Author

Maxim Teslenko

KTH Royal Institute of Technology

Also Known As

M. Teslenko, Maxim Teslenko, Teslenko, Maxim

28

Publications

27.3K

Citations

10

H-Index

34

Concepts

All Affiliations

KTH Royal Institute of Technology

MT

About

Maxim Teslenko is an author at KTH Royal Institute of Technology specializing in engineering, computer science, and formal verification.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	7	7	312
2	Computer Science	6	6	280
3	Computer Engineering	4	4	251
4	Natural Sciences	1	1	14
5	Biology	1	1	25

Maxim Teslenko

×

9

Publications

27.3K

Citations

9

H-Index

	Year	Citations
MrBayes 3.2: Efficient Bayesian Phylogenetic Inference and Model Choice Across a Large Model Space Fredrik Ronquist, Maxim Teslenko, Paul van der Mark, Systematic Biology	2012	26.9K
A SAT-Based Algorithm for Finding Attractors in Synchronous Boolean Networks Elena Dubrova, Maxim Teslenko IEEE/ACM Transactions on Computational Biology and Bioinformatics Circuit ComplexityEngineeringBoolean FunctionNetwork AnalysisComputational Complexity	2011	190
On analysis and synthesis of (<i>n, k</i>)-non-linear feedback shift registers Elena Dubrova, Maxim Teslenko, Hannu Tenhunen	2008	46
On Analysis and Synthesis of (n,k)-Non-Linear Feedback Shift Registers Elena Dubrova, Maxim Teslenko, Hannu Tenhunen 2008 Design, Automation and Test in Europe Cryptographic PrimitiveEngineeringGalois ConfigurationPseudo-random SequenceBlock Cipher	2008	32
Compositional properties of random Boolean networks Elena Dubrova, Maxim Teslenko Physical Review E Circuit ComplexityEngineeringBoolean FunctionNetwork AnalysisCell Differentiation	2005	25
Kauffman networks: analysis and applications Elena Dubrova, Maxim Teslenko, Andrés Martinelli ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005. EngineeringGeneticsNetwork PlanningInteraction NetworkNetwork Analysis	2005	25
On relation between non-disjoint decomposition and multiple-vertex dominators Elena Dubrova, Maxim Teslenko, Andrés Martinelli Circuit ComplexityEngineeringBoolean FunctionComputer-aided VerificationComputational Complexity	2004	15
Hermes: LUT FPGA technology mapping algorithm for area minimization with optimum depth Maxim Teslenko, Elena Dubrova EngineeringLut Fpga TechnologyHardware AlgorithmComputer ArchitectureHardware Security	2005	14
Finding Attractors in Synchronous Multiple-Valued Networks Using SAT-Based Bounded Model Checking Elena Dubrova, Maxim Teslenko, Ming Liu EngineeringNetwork AnalysisNetwork ModelModel CheckingGene Regulatory Network	2010	11

Page 1