Alexei L. Semenov

21 papers A* 2B 2Misc 2Journal 11Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Smart Learning in the 21st Century: Advancing Constructionism Across Three Digital Epochs.
CoRR
Ilya Levin, Alexei L. Semenov, Mikael Gorsky
2015 J jnl
A combinatorial version of the Svenonius theorem on definability.
Log. J. IGPL
Alexei L. Semenov, Sergey Soprunov
2014 Misc conf
The Lattice of Definability. Origins, Recent Developments, and Further Directions.
CSR
Alexei L. Semenov, Sergey Soprunov, Vladimir A. Uspensky
2009 J jnl
Sequences close to periodic
CoRR
Andrei A. Muchnik, Yuri Pritykin, Alexei L. Semenov
2008 Misc ed.
Computer Science - Theory and Applications, Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings
CSR
Edward A. Hirsch, Alexander A. Razborov, Alexei L. Semenov, Anatol Slissenko
2006 J jnl
Effective bounds for convergence, descriptive complexity, and natural examples of simple and hypersimple sets.
Ann. Pure Appl. Log.
Andrej Muchnik, Alexei L. Semenov
2003 J jnl
Almost periodic sequences.
Theor. Comput. Sci.
Andrei A. Muchnik, Alexei L. Semenov, Maxim Ushakov
2003 J jnl
On the Role of the Law of Large Numbers in the Theory of Randomness.
Probl. Inf. Transm.
Andrei A. Muchnik, Alexei L. Semenov
2000 J jnl
Multi-conditional Descriptions and Codes in Kolmogorov Complexity
Electron. Colloquium Comput. Complex.
Andrei A. Muchnik, Alexei L. Semenov
1999 — conf
Technology in transforming education.
Communications and Networking in Education
Alexei L. Semenov
1998 J jnl
Mathematical Metaphysics of Randomness.
Theor. Comput. Sci.
Andrei A. Muchnik, Alexei L. Semenov, Vladimir A. Uspensky
1998 B conf
Unfolding and Finite Prefix for Nets with Read Arcs.
CONCUR
Walter Vogler, Alexei L. Semenov, Alexandre Yakovlev
1997 J jnl
Designing an asynchronous processor using Petri nets.
IEEE Micro
Alexei L. Semenov, Albert Koelmans, Lee Lloyd, Alexandre Yakovlev
1997 — conf
Partial order based approach to synthesis of speed-independent circuits.
ASYNC
Alexei L. Semenov, Alexandre Yakovlev, Enric Pastor, Marco A. Peña, Jordi Cortadella, Luciano Lavagno
1997 A* conf
Synthesis of Speed-Independent Circuits from STG-Unfolding Segment.
DAC
Alexei L. Semenov, Alexandre Yakovlev, Enric Pastor, Marco A. Peña, Jordi Cortadella
1996 J jnl
Modelling, analysis and synthesis of asynchronous control circuits using Petri nets.
Integr.
Alexandre Yakovlev, Albert Koelmans, Alexei L. Semenov, D. J. Kinniment
1996 A* conf
Verification of asynchronous circuits using Time Petri Net unfolding.
DAC
Alexei L. Semenov, Alexandre Yakovlev
1995 — conf
Designing an asynchronous pipeline token ring interface.
ASYNC
Alexandre Yakovlev, Victor Varshavsky, Vyacheslav Marakhovsky, Alexei L. Semenov
1988 J jnl
A simple detailed proof for Goedel's incompleteness theorem.
Kybernetika
Alexei L. Semenov
1984 B conf
Decidability of Monadic Theories.
MFCS
Alexei L. Semenov
1979 — conf
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
Vladimir A. Uspensky, Alexei L. Semenov