Ondrej Huvar

Orcid: 0009-0000-0327-8823

According to our database¹, Ondrej Huvar authored at least 5 papers between 2022 and 2026.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology.

[BibT_eX]

[DOI]

Ondrej Huvar

Martin Jonás

Samuel Pastva

CoRR, April, 2026

2024

BNClassifier: Classifying Boolean Models by Dynamic Properties.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2024

Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2024

2023

Boolean network sketches: a unifying framework for logical model inference.

[BibT_eX]

[DOI]

Bioinform., April, 2023

2022

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

[BibT_eX]

[DOI]

Bioinform., October, 2022

Ondrej Huvar

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...