Nikola Beneš

628 total citations
20 papers, 87 citations indexed

About

Nikola Beneš is a scholar working on Computational Theory and Mathematics, Software and Artificial Intelligence. According to data from OpenAlex, Nikola Beneš has authored 20 papers receiving a total of 87 indexed citations (citations by other indexed papers that have themselves been cited), including 14 papers in Computational Theory and Mathematics, 11 papers in Software and 9 papers in Artificial Intelligence. Recurrent topics in Nikola Beneš's work include Formal Methods in Verification (13 papers), Gene Regulatory Network Analysis (5 papers) and Logic, programming, and type systems (5 papers). Nikola Beneš is often cited by papers focused on Formal Methods in Verification (13 papers), Gene Regulatory Network Analysis (5 papers) and Logic, programming, and type systems (5 papers). Nikola Beneš collaborates with scholars based in Czechia, Austria and Denmark. Nikola Beneš's co-authors include Jan Křetínský, Luboš Brim, Kim G. Larsen, Jiřı́ Srba, David Šafránek, Ivana Černá, Jǐŕı Barnat, Barbora Bühnová, Jiří Sochor and Dejan Ničković and has published in prestigious journals such as Bioinformatics, BMC Bioinformatics and Theoretical Computer Science.

In The Last Decade

Nikola Beneš

19 papers receiving 85 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Nikola Beneš Czechia	5	47	41	39	21	9	20	87
Thomas Gibson−Robinson United Kingdom	5	26 0.6×	33 0.8×	14 0.4×	7 0.3×	14 1.6×	15	65
Konstantin Korovin United Kingdom	6	65 1.4×	94 2.3×	10 0.3×	13 0.6×	16 1.8×	18	118
Soonho Kong United States	5	33 0.7×	27 0.7×	19 0.5×	9 0.4×	7 0.8×	10	60
Pierre Ganty Spain	7	89 1.9×	79 1.9×	26 0.7×	15 0.7×	35 3.9×	24	126
Jesper G. Henriksen Denmark	5	91 1.9×	90 2.2×	27 0.7×	5 0.2×	13 1.4×	8	118
Sylvain Schmitz France	7	55 1.2×	50 1.2×	11 0.3×	11 0.5×	8 0.9×	17	74
K. Narayan Kumar India	5	50 1.1×	38 0.9×	10 0.3×	11 0.5×	10 1.1×	12	64
Emmanuel Filiot Belgium	6	94 2.0×	85 2.1×	31 0.8×	9 0.4×	13 1.4×	28	120
Noomene Ben Henda Sweden	5	36 0.8×	19 0.5×	19 0.5×	4 0.2×	10 1.1×	7	46
Didier Caucal France	5	122 2.6×	91 2.2×	16 0.4×	22 1.0×	12 1.3×	11	139

Countries citing papers authored by Nikola Beneš

Since Specialization

Citations

This map shows the geographic impact of Nikola Beneš's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Nikola Beneš with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Nikola Beneš more than expected).

Fields of papers citing papers by Nikola Beneš

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Nikola Beneš. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Nikola Beneš. The network helps show where Nikola Beneš may publish in the future.

Co-authorship network of co-authors of Nikola Beneš

This figure shows the co-authorship network connecting the top 25 collaborators of Nikola Beneš. A scholar is included among the top collaborators of Nikola Beneš based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Nikola Beneš. Nikola Beneš is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Beneš, Nikola, et al.. (2023). Boolean network sketches: a unifying framework for logical model inference. Bioinformatics. 39(4). 8 indexed citations

Beneš, Nikola, et al.. (2022). Exploring attractor bifurcations in Boolean networks. BMC Bioinformatics. 23(1). 173–173. 2 indexed citations

Beneš, Nikola, et al.. (2022). AEON.py: Python library for attractor analysis in asynchronous Boolean networks. Bioinformatics. 38(21). 4978–4980. 9 indexed citations

Beneš, Nikola, et al.. (2020). Digital Bifurcation Analysis of Internet Congestion Control Protocols. International Journal of Bifurcation and Chaos. 30(13). 2030038–2030038. 1 indexed citations

Beneš, Nikola, Uli Fahrenberg, Jan Křetínský, Axel Legay, & Louis‐Marie Traonouez. (2019). Logical vs. behavioural specifications. Information and Computation. 271. 104487–104487.

Beneš, Nikola, et al.. (2019). Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT. 99–108. 1 indexed citations

Beneš, Nikola, et al.. (2019). Parallel parameter synthesis algorithm for hybrid CTL. Science of Computer Programming. 185. 102321–102321. 4 indexed citations

Beneš, Nikola, et al.. (2018). On clock-aware LTL parameter synthesis of timed automata. Journal of Logical and Algebraic Methods in Programming. 99. 114–142. 1 indexed citations

Beneš, Nikola, et al.. (2018). Fully Automated Attractor Analysis of Cyanobacteria Models. 6806. 354–359. 2 indexed citations

10.

Barnat, Jǐŕı, et al.. (2016). Analysing sanity of requirements for avionics systems. Formal Aspects of Computing. 28(1). 45–63. 13 indexed citations

11.

Beneš, Nikola, et al.. (2015). Refinement checking on parametric modal transition systems. Acta Informatica. 52(2-3). 269–297. 3 indexed citations

12.

Beneš, Nikola, et al.. (2015). Complete Composition Operators for IOCO-Testing Theory. 101–110. 5 indexed citations

13.

Beneš, Nikola, Jan Křetínský, Kim G. Larsen, & Jiřı́ Srba. (2012). EXPTIME-completeness of thorough refinement on modal transition systems. Information and Computation. 218. 54–68. 2 indexed citations

14.

Beneš, Nikola, et al.. (2012). Reliability analysis in component-based development via probabilistic model checking. 83–92. 4 indexed citations

15.

Beneš, Nikola & Jan Křetínský. (2011). Process Algebra for Modal Transition Systemses. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 16. 20–27. 2 indexed citations

16.

Beneš, Nikola, et al.. (2010). Partial order reduction for state/event LTL with application to component-interaction automata. Science of Computer Programming. 76(10). 877–890. 2 indexed citations

17.

Beneš, Nikola, Jan Křetínský, Kim G. Larsen, & Jiřı́ Srba. (2009). On determinism in modal transition systems. Theoretical Computer Science. 410(41). 4026–4043. 23 indexed citations

18.

Beneš, Nikola, et al.. (2009). Space Effective Model Checking for Component-Interaction Automata. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 13. 85. 1 indexed citations

19.

Beneš, Nikola, et al.. (2008). The CoIn Tool: Modelling and Verification of Interactions inComponent-Based Systems. 221–225. 1 indexed citations

20.

Beneš, Nikola, et al.. (2008). A Case Study in Parallel Verification of Component-Based Systems. Electronic Notes in Theoretical Computer Science. 220(2). 67–83. 3 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact