| Risk assessment of novel coronavirus COVID-19 outbreaks outside China P Boldog, T Tekeli, Z Vizi, A Dénes, FA Bartha, G Röst Journal of clinical medicine 9 (2), 571, 2020 | 387 | 2020 |
| Early phase of the COVID-19 outbreak in Hungary and post-lockdown scenarios G Röst, FA Bartha, N Bogya, P Boldog, A Dénes, T Ferenci, KJ Horváth, ... Viruses 12 (7), 708, 2020 | 67 | 2020 |
| Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point M Konečný, W Taha, FA Bartha, J Duracz, A Duracz, AD Ames Nonlinear Analysis: Hybrid Systems 20, 1-20, 2016 | 43* | 2016 |
| Acumen: An Open-source Testbed for Cyber-Physical Systems Research FAB W Taha, A Duracz, Y Zeng, K Atkinson CYCLONE, 2015 | 38* | 2015 |
| Local stability implies global stability for the 2-dimensional Ricker map FA Bartha, Á Garab, T Krisztin Journal of Difference Equations and Applications 19 (12), 2043-2078, 2013 | 32 | 2013 |
| Advanced hazard analysis and risk assessment in the ISO 26262 functional safety standard using rigorous simulation A Duracz, A Aljarbouh, FA Bartha, J Masood, R Philippsen, H Eriksson, ... Cyber Physical Systems. Model-Based Design: 9th International Workshop …, 2020 | 21 | 2020 |
| Proteus: Language and runtime support for self-adaptive software development S Barati, FA Bartha, S Biswas, R Cartwright, A Duracz, D Fussell, ... IEEE Software 36 (2), 73-82, 2019 | 19 | 2019 |
| Using rigorous simulation to support ISO 26262 hazard analysis and risk assessment A Duracz, H Eriksson, FA Bartha, F Xu, Y Zeng, W Taha 2015 IEEE 17th International Conference on High Performance Computing and …, 2015 | 15 | 2015 |
| Accurate rigorous simulation should be possible for good designs A Duracz, FA Bartha, W Taha 2016 International Workshop on Symbolic and Numerical Methods for …, 2016 | 10 | 2016 |
| Necessary and sufficient condition for the global stability of a delayed discrete-time neuron model FÁ Bartha, Á Garab Journal of Computational Dynamics 1 (2), 213-232, 2014 | 10 | 2014 |
| Flipping a first course on cyber-physical systems: An experience report W Taha, LG Hedstrom, F Xu, A Duracz, FA Bartha, Y Zeng, J David, ... Proceedings of the 2016 Workshop on Embedded and Cyber-Physical Systems …, 2016 | 9 | 2016 |
| Central Diagonal Sections of the n-Cube FÁ Bartha, F Fodor, B González Merino International Mathematics Research Notices 2021 (4), 2861-2881, 2021 | 5 | 2021 |
| FIXED POINTS OF A DESTABILIZED KURAMOTO-SIVASHINSKY EQUATION FA BARTHA, W TUCKER Applied Mathematics and Computation 266, 339-349, 2014 | 5 | 2014 |
| Computing of B-series by automatic differentiation F Bartha, HZ Munthe-Kaas Discrete and continuous dynamical systems 34 (3), 903-914, 2014 | 4 | 2014 |
| Pauli potential from Heilmann-Lieb electron density obtained by summing hydrogenic closed-shell densities over the entire bound-state spectrum F Bogár, F Bartha, FA Bartha, NH March Physical Review A 83 (1), 014502, 2011 | 4 | 2011 |
| Computer-aided proofs and algorithms in analysis FA Bartha The University of Bergen, 2013 | 3 | 2013 |
| Compile-time extensions to hybrid odes Y Zeng, F Bartha, W Taha arXiv preprint arXiv:1704.03105, 2017 | 2 | 2017 |
| Language support for adaptation: Intent-driven programming in FAST YH Yang, A Duracz, FA Bartha, R Sai, A Pervaiz, S Barati, D Nguyen, ... arXiv preprint arXiv:1907.08695, 2019 | 1 | 2019 |
| Global stability in a system using echo for position control FA Bartha, T Krisztin Electronic Journal of Qualitative Theory of Differential Equations 2018 (40 …, 2018 | 1 | 2018 |
| Differenciálegyenletek kvalitatív elmélete alkalmazásokkal= Qualitative theory of differential equations with applications T Krisztin, F Bartha, M Bartha, A Dénes, Á Garab, L Hatvani, ... OTKA Kutatási Jelentések| OTKA Research Reports, 2013 | | 2013 |
Adam DuraczSystecon ABVerified email at duracz.net
