Concepedia

Štěpán Křehlík

ŠK

5

Publications

67

Citations

5

H-Index

2016

Active since

Affiliations

Brno University of Technology(Current)

Masaryk University

Štěpán Křehlík is an author at Brno University of Technology specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceEducationManagementData ScienceLinear GroupsData ManagementData EngineeringData Integration

Publications per year

2016–2019

5

Publications

5

Cyclicity in EL–Hypergroups

Michal Novák, Štěpán Křehlík, Irina Cristea · Symmetry · 2018 · 16 citations · Full text

Topological Semigroups, Geometric Group Theory, Abstract Algebra +11

EL-hyperstructures revisited

Michal Novák, Štěpán Křehlík · Soft Computing · 2017 · 15 citations

Cartesian composition and the problem of generalizing the MAC condition to quasi-multiautomata

Jan Chvalina, Štěpán Křehlík, Michal Novák · Analele Universităţii "Ovidius" Constanţa. Seria Matematică · 2016 · 15 citations · Full text

Mathematical Programming, Topological Semigroups, Engineering +13

n-ary Cartesian composition of automata

Michal Novák, Štěpán Křehlík, David Staněk · Soft Computing · 2019 · 11 citations

Engineering, N-ary Cartesian Composition, Automated Reasoning +5

Elements of Hyperstructure Theory in UWSN Design and Data Aggregation

Michal Novák, Štěpán Křehlík, Kyriakos Ovaliadis · Symmetry · 2019 · 10 citations · Full text

Mathematical Structure, Engineering, Data Aggregation +20

Rows per page

1–5 of 5