Concepedia

Nikolay Bazhenov

NB

Statistics

Publications

16

Citations

272

H-Index

12

Active since

2013

Affiliations

Sobolev Institute of Mathematics(Current)

Novosibirsk State University

Kazan Federal University

Massey University

Victoria University of Wellington

Nikolay Bazhenov is an author at Sobolev Institute of Mathematics specializing in formal methods, automated reasoning, and engineering.

Top concepts

Formal MethodsAutomated ReasoningEngineeringComputer ScienceComputational ComplexitySyntaxLinguisticsFormal VerificationRepresentation TheoryBias

Publications per year

2013–2023

16

Publications

16

FOUNDATIONS OF ONLINE STRUCTURE THEORY

Nikolay Bazhenov, Rod Downey, I. Sh. Kalimullin et al. · Bulletin of Symbolic Logic · 2019 · 51 citations

Syntax, Network Science, Online Problem +5

AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES

Nikolay Bazhenov, Matthew Harrison‐Trainor, I. Sh. Kalimullin et al. · Journal of Symbolic Logic · 2019 · 28 citations · Full text

Engineering, Algebraic Structure, Automatic Structure +17

Autostability Spectra for Boolean Algebras

Nikolay Bazhenov · Algebra and Logic · 2015 · 20 citations

Algebraic Logic, Engineering, Boolean Function +4

Degrees of Autostability Relative to Strong Constructivizations for Boolean Algebras

Nikolay Bazhenov · Algebra and Logic · 2016 · 16 citations

Algebraic Logic, Abstract Algebra, Boolean Function +3

Autostability spectra for decidable structures

Nikolay Bazhenov · Mathematical Structures in Computer Science · 2016 · 16 citations

Strong Constructivizations, Engineering, Computational Model Theory +11

1–5 of 16