Alexei L. Semenov

According to our database, Alexei L. Semenov authored at least 19 papers between 1979 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

A combinatorial version of the Svenonius theorem on definability.

Alexei L. Semenov, Sergey Soprunov

Log. J. IGPL, 2015

2014

The Lattice of Definability. Origins, Recent Developments, and Further Directions.

Alexei L. Semenov, Sergey Soprunov, Vladimir A. Uspensky

Proceedings of the Computer Science - Theory and Applications, 2014

2009

Sequences close to periodic

Andrei A. Muchnik, Yuri Pritykin, Alexei L. Semenov

CoRR, 2009

2006

Effective bounds for convergence, descriptive complexity, and natural examples of simple and hypersimple sets.

Andrej Muchnik, Alexei L. Semenov

Ann. Pure Appl. Log., 2006

2003

Almost periodic sequences.

Andrei A. Muchnik, Alexei L. Semenov, Maxim Ushakov

Theor. Comput. Sci., 2003

On the Role of the Law of Large Numbers in the Theory of Randomness.

Andrei A. Muchnik, Alexei L. Semenov

Probl. Inf. Transm., 2003

2000

Multi-conditional Descriptions and Codes in Kolmogorov Complexity

Andrei A. Muchnik, Alexei L. Semenov

Electron. Colloquium Comput. Complex., 2000

1999

Technology in transforming education.

Alexei L. Semenov

Proceedings of the Communications and Networking in Education: Learning in a Networked Society, 1999

1998

Mathematical Metaphysics of Randomness.

Andrei A. Muchnik, Alexei L. Semenov, Vladimir A. Uspensky

Theor. Comput. Sci., 1998

Unfolding and Finite Prefix for Nets with Read Arcs.

Walter Vogler, Alexei L. Semenov, Alexandre Yakovlev

Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997

Designing an asynchronous processor using Petri nets.

Alexei L. Semenov, Albert Koelmans, Lee Lloyd, Alexandre Yakovlev

IEEE Micro, 1997

Synthesis of Speed-Independent Circuits from STG-Unfolding Segment.

Alexei L. Semenov, Alexandre Yakovlev, Enric Pastor, Marco A. Peña, Jordi Cortadella

Proceedings of the 34st Conference on Design Automation, 1997

Partial order based approach to synthesis of speed-independent circuits.

Alexei L. Semenov, Alexandre Yakovlev, Enric Pastor, Marco A. Peña, Jordi Cortadella, Luciano Lavagno

Proceedings of the 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97), 1997

1996

Modelling, analysis and synthesis of asynchronous control circuits using Petri nets.

Alexandre Yakovlev, Albert Koelmans, Alexei L. Semenov, D. J. Kinniment

Integr., 1996

Verification of asynchronous circuits using Time Petri Net unfolding.

Alexei L. Semenov, Alexandre Yakovlev

Proceedings of the 33st Conference on Design Automation, 1996

1995

Designing an asynchronous pipeline token ring interface.

Alexandre Yakovlev, Victor Varshavsky, Vyacheslav Marakhovsky, Alexei L. Semenov

Proceedings of the Second Working Conference on Asynchronous Design Methodologies, 1995

1988

A simple detailed proof for Goedel's incompleteness theorem.

Alexei L. Semenov

Kybernetika, 1988

1984

Decidability of Monadic Theories.

Alexei L. Semenov

Proceedings of the Mathematical Foundations of Computer Science 1984, 1984

1979

What are the gains of the theory of algorithms: Basis developments connected with the concept of algorithm and with its application in mathematics.

Vladimir A. Uspensky, Alexei L. Semenov

Proceedings of the Algorithms in Modern Mathematics and Computer Science, 1979