Concepedia

A. L. Semenov

AL

23

Publications

730

Citations

14

H-Index

1977

Active since

Affiliations

Newcastle University(Current)

Lomonosov Moscow State University

Russian Academy of Sciences

Moscow State University

University of Newcastle Australia

A. L. Semenov is an author at Newcastle University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceComputer EngineeringAsynchronous CircuitsAutomated ReasoningComputer ArchitectureFormal VerificationVerificationHardware Security

Publications per year

1977–2025

23

Publications

23

Can an individual sequence of zeros and ones be random?

V. A. Uspenskiĭ, A. L. Semenov, Alexander Shen · Russian Mathematical Surveys · 1990 · 112 citations

Large Deviations, Engineering, Discrete Probability +19

Mathematical metaphysics of randomness

Andrei A. Muchnik, A. L. Semenov, Vladimir Uspensky · Theoretical Computer Science · 1998 · 94 citations

Engineering, Random Walks, Discrete Probability +5

Presburgerness of predicates regular in two number systems

A. L. Semenov · Siberian Mathematical Journal · 1977 · 67 citations

Engineering, Automated Reasoning, Formal Methods +4

LOGICAL THEORIES OF ONE-PLACE FUNCTIONS ON THE SET OF NATURAL NUMBERS

A. L. Semenov · Mathematics of the USSR-Izvestiya · 1984 · 63 citations

Computational Logic, Decision Procedure, Engineering +12

Almost periodic sequences

An. A. Muchnik, A. L. Semenov, Maxim Ushakov · Theoretical Computer Science · 2003 · 51 citations

Sequence Design, Periodic Travelling Wave, Periodic Sequences +1

Rows per page

1–5 of 23