Sergey Egorov

	2005
3		Roy Armoni, Sergey Egorov, Ranan Fraer, Dmitry Korchemny, Moshe Y. Vardi: Efficient LTL compilation for SAT-based model checking. ICCAD 2005: 877-884
	2004
2		Sergey Egorov, Garik Markarian, Keith Pickavance: A modified Blahut algorithm for decoding Reed-Solomon codes beyond half the minimum distance. IEEE Transactions on Communications 52(12): 2052-2056 (2004)
	1999
1		Lubomir Birov, Arkady Prokofiev, Yuri Bartenev, Anatoly Vargin, Avijit Purkayastha, Yoginder S. Dandass, Vladimir Erzunov, Elena Shanikova, Anthony Skjellum, Purushotham Bangalore, Eugeny Shuvalov, Vitaly Ovechkin, Nataly Frolova, Sergey Orlov, Sergey Egorov: The Parallel Mathematical Libraries Project (PMLP): Overview, Design Innovations, and Preliminary Results. PaCT 1999: 186-193

Coauthor Index

1	Roy Armoni	[3]
2	Purushotham Bangalore	[1]
3	Yuri Bartenev	[1]
4	Lubomir Birov	[1]
5	Yoginder S. Dandass	[1]
6	Vladimir Erzunov	[1]
7	Ranan Fraer	[3]
8	Nataly Frolova	[1]
9	Dmitry Korchemny	[3]
10	Garik Markarian	[2]
11	Sergey Orlov	[1]
12	Vitaly Ovechkin	[1]
13	Keith Pickavance	[2]
14	Arkady Prokofiev	[1]
15	Avijit Purkayastha	[1]
16	Elena Shanikova	[1]
17	Eugeny Shuvalov	[1]
18	Anthony Skjellum	[1]
19	Moshe Y. Vardi	[3]
20	Anatoly Vargin	[1]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page