Concepedia

S. I. Egorov

SI

3

Publications

69

Citations

3

H-Index

2004

Active since

Affiliations

South-West State University(Current)

S. I. Egorov is an author at South-West State University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceVerificationCoding TheoryFormal MethodsProgram AnalysisSoftware TestingSignal ProcessingSoftware AnalysisIterative Decoding

Publications per year

2004–2005

3

Publications

3

A Simple and Practical Dictionary-based Approach for Identification of Proteins in Medline Abstracts

S. I. Egorov, Anton Yuryev, Nikolai Daraselia · Journal of the American Medical Informatics Association · 2004 · 33 citations · Full text

Efficient LTL compilation for SAT-based model checking

Roy Armoni, S. I. Egorov, Ranan Fraer et al. · International Conference on Computer Aided Design · 2005 · 22 citations

Ltl Safety Properties, Engineering, Verification +17

A Modified Blahut Algorithm for Decoding Reed–Solomon Codes Beyond Half the Minimum Distance

S. I. Egorov, Garik Markarian, Keith Pickavance · IEEE Transactions on Communications · 2004 · 14 citations

Engineering, Modified Blahut Algorithm, String-searching Algorithm +12

Rows per page

1–3 of 3