Concepedia

Alexey Bakhirkin

AB

Statistics

Publications

2

Citations

38

H-Index

2

Active since

2018

Affiliations

Centre National de la Recherche Scientifique(Current)

Institute of Science and Technology Austria

Université Grenoble Alpes

Alexey Bakhirkin is an author at Centre National de la Recherche Scientifique specializing in verification, automated reasoning, and engineering.

Top concepts

Publications per year

2018–2018

2

Publications

2

Efficient Parametric Identification for STL

Alexey Bakhirkin, Thomas Ferrère, Oded Maler · 2018 · 27 citations · Full text

, , +14

Keynote: The First-Order Logic of Signals

Alexey Bakhirkin, Thomas Ferrère, Thomas A. Henzinger et al. · 2018 · 11 citations · Full text

1–2 of 2