Alexei L. Semenov

Publication Activity (10 Years)

Years Active: 1979-2015
Publications (10 Years): 0

Top Topics

Recent Developments

Digital Libraries

Multiresolution

Propositional Logic

Top Venues

Publications

Alexei L. Semenov, Sergey Soprunov
A combinatorial version of the Svenonius theorem on definability. Log. J. IGPL 23 (6) (2015)
Alexei L. Semenov, Sergey Soprunov, Vladimir A. Uspensky
The Lattice of Definability. Origins, Recent Developments, and Further Directions. CSR (2014)
Andrei A. Muchnik, Yuri Pritykin, Alexei L. Semenov
Sequences close to periodic CoRR (2009)
Andrej Muchnik, Alexei L. Semenov
Effective bounds for convergence, descriptive complexity, and natural examples of simple and hypersimple sets. Ann. Pure Appl. Log. 141 (3) (2006)
Andrei A. Muchnik, Alexei L. Semenov, Maxim Ushakov
Almost periodic sequences. Theor. Comput. Sci. 304 (1-3) (2003)
Andrei A. Muchnik, Alexei L. Semenov
On the Role of the Law of Large Numbers in the Theory of Randomness. Probl. Inf. Transm. 39 (1) (2003)
Andrei A. Muchnik, Alexei L. Semenov
Multi-conditional Descriptions and Codes in Kolmogorov Complexity Electron. Colloquium Comput. Complex. 7 (15) (2000)
Alexei L. Semenov
Technology in transforming education. Communications and Networking in Education (1999)
Andrei A. Muchnik, Alexei L. Semenov, Vladimir A. Uspensky
Mathematical Metaphysics of Randomness. Theor. Comput. Sci. 207 (2) (1998)
Walter Vogler, Alexei L. Semenov, Alexandre Yakovlev
Unfolding and Finite Prefix for Nets with Read Arcs. CONCUR (1998)
Alexei L. Semenov, Albert Koelmans, Lee Lloyd, Alexandre Yakovlev
Designing an asynchronous processor using Petri nets. IEEE Micro 17 (2) (1997)
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)
Alexei L. Semenov, Alexandre Yakovlev, Enric Pastor, Marco A. Peña, Jordi Cortadella
Synthesis of Speed-Independent Circuits from STG-Unfolding Segment. DAC (1997)
Alexandre Yakovlev, Albert Koelmans, Alexei L. Semenov, D. J. Kinniment
Modelling, analysis and synthesis of asynchronous control circuits using Petri nets. Integr. 21 (3) (1996)
Alexei L. Semenov, Alexandre Yakovlev
Verification of asynchronous circuits using Time Petri Net unfolding. DAC (1996)
Alexandre Yakovlev, Victor Varshavsky, Vyacheslav Marakhovsky, Alexei L. Semenov
Designing an asynchronous pipeline token ring interface. ASYNC (1995)
Alexei L. Semenov
A simple detailed proof for Goedel's incompleteness theorem. Kybernetika 24 (6) (1988)
Alexei L. Semenov
Decidability of Monadic Theories. MFCS (1984)
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)