Alexei L. Semenov

2009
15	EE	Andrei A. Muchnik, Yu. L. Pritykin, Alexei L. Semenov: Sequences close to periodic CoRR abs/0903.5316: (2009)
2008
14		Edward A. Hirsch, Alexander A. Razborov, Alexei L. Semenov, Anatol Slissenko: Computer Science - Theory and Applications, Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings Springer 2008
2006
13	EE	Andrej Muchnik, Alexei L. Semenov: Effective bounds for convergence, descriptive complexity, and natural examples of simple and hypersimple sets. Ann. Pure Appl. Logic 141(3): 437-441 (2006)
2003
12	EE	Andrei A. Muchnik, Alexei L. Semenov, Maxim Ushakov: Almost periodic sequences. Theor. Comput. Sci. 1-3(304): 1-33 (2003)
2000
11	EE	Andrei A. Muchnik, Alexei L. Semenov: Multi-conditional Descriptions and Codes in Kolmogorov Complexity Electronic Colloquium on Computational Complexity (ECCC) 7(15): (2000)
1999
10		Alexei L. Semenov: Technology in transforming education. Communications and Networking in Education 1999: 25-38
1998
9	EE	Walter Vogler, Alexei L. Semenov, Alexandre Yakovlev: Unfolding and Finite Prefix for Nets with Read Arcs. CONCUR 1998: 501-516
8	EE	Andrei A. Muchnik, Alexei L. Semenov, Vladimir A. Uspensky: Mathematical Metaphysics of Randomness. Theor. Comput. Sci. 207(2): 263-317 (1998)
1997
7	EE	Alexei L. Semenov, Alexandre Yakovlev, Enric Pastor, Marco A. Peña, Jordi Cortadella, Luciano Lavagno: Partial order based approach to synthesis of speed-independent circuits. ASYNC 1997: 254-
6	EE	Alexei L. Semenov, Alexandre Yakovlev, Enric Pastor, Marco A. Peña, Jordi Cortadella: Synthesis of Speed-Independent Circuits from STG-Unfolding Segment. DAC 1997: 16-21
1996
5	EE	Alexei L. Semenov, Alexandre Yakovlev: Verification of asynchronous circuits using Time Petri Net unfolding. DAC 1996: 59-62
4	EE	Alexandre Yakovlev, Albert Koelmans, Alexei L. Semenov, D. J. Kinniment: Modelling, analysis and synthesis of asynchronous control circuits using Petri nets. Integration 21(3): 143-170 (1996)
1995
3	EE	Alexandre Yakovlev, Victor Varshavsky, Vyacheslav Marakhovsky, Alexei L. Semenov: Designing an asynchronous pipeline token ring interface. ASYNC 1995: 32-
1984
2		Alexei L. Semenov: Decidability of Monadic Theories. MFCS 1984: 162-175
1979
1		Vladimir A. Uspensky, Alexei L. Semenov: What are the gains of the theory of algorithms: Basis developments connected with the concept of algorithm and with its application in mathematics. Algorithms in Modern Mathematics and Computer Science 1979: 100-234

Coauthor Index

1	Jordi Cortadella	[6] [7]
2	Edward A. Hirsch	[14]
3	David Kinniment (D. J. Kinniment)	[4]
4	Albert Koelmans	[4]
5	Luciano Lavagno	[7]
6	Vyacheslav Marakhovsky	[3]
7	Andrej Muchnik (Andrei A. Muchnik)	[8] [11] [12] [13] [15]
8	Enric Pastor	[6] [7]
9	Marco A. Peña	[6] [7]
10	Yu. L. Pritykin	[15]
11	Alexander A. Razborov	[14]
12	Anatol Slissenko	[14]
13	Maxim Ushakov	[12]
14	Vladimir A. Uspensky	[1] [8]
15	Victor Varshavsky	[3]
16	Walter Vogler	[9]
17	Alexandre Yakovlev	[3] [4] [5] [6] [7] [9]

Colors in the list of coauthors