Bardh Hoxha

813 total citations
38 papers, 253 citations indexed

About

Bardh Hoxha is a scholar working on Computational Theory and Mathematics, Software and Artificial Intelligence. According to data from OpenAlex, Bardh Hoxha has authored 38 papers receiving a total of 253 indexed citations (citations by other indexed papers that have themselves been cited), including 23 papers in Computational Theory and Mathematics, 15 papers in Software and 14 papers in Artificial Intelligence. Recurrent topics in Bardh Hoxha's work include Formal Methods in Verification (23 papers), Software Testing and Debugging Techniques (11 papers) and Software Reliability and Analysis Research (6 papers). Bardh Hoxha is often cited by papers focused on Formal Methods in Verification (23 papers), Software Testing and Debugging Techniques (11 papers) and Software Reliability and Analysis Research (6 papers). Bardh Hoxha collaborates with scholars based in United States, Switzerland and China. Bardh Hoxha's co-authors include Georgios Fainekos, Houssam Abbas, Danil Prokhorov, Tomoya Yamaguchi, Shakiba Yaghoubi, Jyotirmoy V. Deshmukh, Nikolaos Mavridis, Mitchell Black, Dimitra Panagou and James Kapinski and has published in prestigious journals such as The International Journal of Robotics Research, ACM Transactions on Embedded Computing Systems and IFAC-PapersOnLine.

In The Last Decade

Bardh Hoxha

32 papers receiving 251 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Bardh Hoxha United States	11	121	95	81	66	38	38	253
Shakiba Yaghoubi United States	11	114 0.9×	72 0.8×	93 1.1×	55 0.8×	43 1.1×	21	238
Sergiy Bogomolov Germany	11	119 1.0×	68 0.7×	138 1.7×	45 0.7×	30 0.8×	32	287
Lee Pike United States	11	105 0.9×	70 0.7×	117 1.4×	24 0.4×	84 2.2×	32	267
Parasara Sridhar Duggirala United States	9	157 1.3×	71 0.7×	58 0.7×	88 1.3×	69 1.8×	36	258
Jörg Bräuer Germany	9	138 1.1×	116 1.2×	65 0.8×	41 0.6×	58 1.5×	33	274
Borzoo Bonakdarpour United States	11	175 1.4×	94 1.0×	161 2.0×	29 0.4×	85 2.2×	57	352
Pierre Bieber France	11	78 0.6×	93 1.0×	135 1.7×	31 0.5×	33 0.9×	28	312
Eun-Young Kang Denmark	9	84 0.7×	61 0.6×	34 0.4×	20 0.3×	55 1.4×	54	256
Yaniv Saʼar Israel	8	245 2.0×	154 1.6×	141 1.7×	24 0.4×	47 1.2×	12	368
Georg Weißenbacher Austria	9	236 2.0×	218 2.3×	202 2.5×	17 0.3×	93 2.4×	32	460

Countries citing papers authored by Bardh Hoxha

Since Specialization

Citations

This map shows the geographic impact of Bardh Hoxha'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 Bardh Hoxha with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Bardh Hoxha more than expected).

Fields of papers citing papers by Bardh Hoxha

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Bardh Hoxha. 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 Bardh Hoxha. The network helps show where Bardh Hoxha may publish in the future.

Co-authorship network of co-authors of Bardh Hoxha

This figure shows the co-authorship network connecting the top 25 collaborators of Bardh Hoxha. A scholar is included among the top collaborators of Bardh Hoxha 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 Bardh Hoxha. Bardh Hoxha 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

Fainekos, Georgios, et al.. (2025). Neural Configuration Distance Function for Continuum Robot Control. 358–364.

Wang, Xinyi, et al.. (2025). Safe Navigation in Uncertain Crowded Environments Using Risk Adaptive CVaR Barrier Functions. 7669–7676.

Zhang, Junhui, Bardh Hoxha, Georgios Fainekos, & Dimitra Panagou. (2025). Conformal Prediction in the Loop: Risk-Aware Control Barrier Functions for Stochastic Systems With Data-Driven State Estimators. IEEE Control Systems Letters. 9. 282–287. 1 indexed citations

Fainekos, Georgios, et al.. (2024). Optimal Planning for Timed Partial Order Specifications. 17093–17099.

Black, Mitchell, et al.. (2024). CBFkit: A Control Barrier Function Toolbox for Robotics Applications. 12428–12434.

Black, Mitchell, Georgios Fainekos, Bardh Hoxha, & Dimitra Panagou. (2024). Risk-Aware Fixed-Time Stabilization of Stochastic Systems Under Measurement Uncertainty. 3276–3283. 3 indexed citations

Hoxha, Bardh, et al.. (2024). Robust Conformal Prediction for STL Runtime Verification under Distribution Shift. 169–179. 4 indexed citations

Hoxha, Bardh, et al.. (2024). Scaling Learning-based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout. ACM Transactions on Cyber-Physical Systems. 8(4). 1–28. 1 indexed citations

Black, Mitchell, Georgios Fainekos, Bardh Hoxha, Danil Prokhorov, & Dimitra Panagou. (2023). Safety Under Uncertainty: Tight Bounds with Risk-Aware Control Barrier Functions. 12686–12692. 12 indexed citations

10.

Yamaguchi, Tomoya, Bardh Hoxha, & Dejan Ničković. (2023). RTAMT – Runtime Robustness Monitors with Application to CPS and Robotics. International Journal on Software Tools for Technology Transfer. 26(1). 79–99. 4 indexed citations

11.

Fainekos, Georgios, Bardh Hoxha, Morteza Lahijanian, et al.. (2023). Timed Partial Order Inference Algorithm. Proceedings of the International Conference on Automated Planning and Scheduling. 33(1). 639–647. 2 indexed citations

12.

Hoxha, Bardh, et al.. (2023). A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems. 98–109. 3 indexed citations

13.

Yaghoubi, Shakiba, et al.. (2021). Risk-bounded Control using Stochastic Barrier Functions. 1131–1136. 3 indexed citations

14.

Yaghoubi, Shakiba, et al.. (2021). Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions. 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). 5794–5800. 16 indexed citations

15.

Yaghoubi, Shakiba, et al.. (2020). Risk-Bounded Control Using Stochastic Barrier Functions. IEEE Control Systems Letters. 5(5). 1831–1836. 13 indexed citations

16.

Hoxha, Bardh & Georgios Fainekos. (2016). Planning in Dynamic Environments Through Temporal Logic Monitoring. National Conference on Artificial Intelligence. 601–607. 6 indexed citations

17.

Hoxha, Bardh, et al.. (2016). MITL Specification Debugging for Monitoring of Cyber-Physical Systems. Electronic Proceedings in Theoretical Computer Science. 232. 13–16. 1 indexed citations

18.

Hoxha, Bardh, et al.. (2015). Metric interval temporal logic specification elicitation and debugging. 70–79. 18 indexed citations

19.

Hoxha, Bardh, Nikolaos Mavridis, & Georgios Fainekos. (2015). VISPEC: A graphical tool for elicitation of MTL requirements. arXiv (Cornell University). 3486–3492. 15 indexed citations

20.

Abbas, Houssam, et al.. (2014). WiP abstract: Conformance testing as falsification for cyber-physical systems. 16 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