Concepedia

Nikola Beneš

NB

7

Publications

157

Citations

7

H-Index

2009

Active since

Affiliations

Masaryk University(Current)

Institute of Science and Technology Austria

Nikola Beneš is an author at Masaryk University specializing in formal specification, systems engineering, and entropy.

ORCID

Top concepts

Publications per year

2009–2023

7

Publications

7

On determinism in modal transition systems

Nikola Beneš, Jan Křetínský, Kim G. Larsen et al. · Theoretical Computer Science · 2009 · 43 citations

, , +2

AEON.py: Python library for attractor analysis in asynchronous Boolean networks

Nikola Beneš, Luboš Brim, Ondřej Huvar et al. · Bioinformatics · 2022 · 27 citations

Analysing sanity of requirements for avionics systems

Petr Bauch, Nikola Beneš, Luboš Brim et al. · Formal Aspects of Computing · 2016 · 24 citations · Full text

Boolean network sketches: a unifying framework for logical model inference

Nikola Beneš, Luboš Brim, Ondřej Huvar et al. · Bioinformatics · 2023 · 21 citations · Full text

Complete Composition Operators for IOCO-Testing Theory

Nikola Beneš, Przemysław Daca, Thomas A. Henzinger et al. · 2015 · 18 citations

, , +20

Rows per page

1–5 of 7