| Computing enclosures of overdetermined interval linear systems J Horáček, M Hladík Reliable Computing 19, 142-155, 2013 | 23 | 2013 |
| Interval linear algebra and computational complexity J Horáček, M Hladík, M Černý International Conference on Matrix Analysis and its Applications, 37-66, 2015 | 18 | 2015 |
| Novel approach to computerized breath detection in lung function diagnostics J Horáček, V Koucký, M Hladík Computers in Biology and Medicine 101, 1-6, 2018 | 17 | 2018 |
| Determinants of Interval Matrices J Horáček, M Hladík, J Matějka Electronic Journal of Linear Algebra 33, 99-112, 2018 | 13 | 2018 |
| Interval linear programming techniques in constraint programming and global optimization M Hladík, J Horáček Constraint programming and decision making, 47-59, 2014 | 12 | 2014 |
| Subsquares approach–a simple scheme for solving overdetermined interval linear systems J Horáček, M Hladík International Conference on Parallel Processing and Applied Mathematics, 613-622, 2013 | 11 | 2013 |
| Přeurčené soustavy intervalových lineárních rovnic J Horáček Univerzita Karlova, Matematicko-fyzikální fakulta, 2011 | 5 | 2011 |
| New pruning tests for the branch-and-prune framework for interval parametric linear systems M Rada, E Garajova, J Horáček, M Hladik Soft Computing 27 (18), 12897-12912, 2023 | 4 | 2023 |
| Contribution of interval linear algebra to the ongoing discussions on multiple breath washout test J Horáček, V Koucký, M Hladík arXiv preprint arXiv:1902.09026, 2019 | 4 | 2019 |
| Children lung function diagnostics-New methods for handling of clinical data J Horácek, V Koucky, M Hladík Proceedings of the 9th EAI International Conference on Bio-inspired …, 2016 | 3 | 2016 |
| A shaving method for interval linear systems of equations M Hladík, J Horáček International Conference on Parallel Processing and Applied Mathematics, 573-581, 2013 | 3 | 2013 |
| Modeling dynamics of opinion formation in small groups: a framework capturing individual opinion adjustments J Horáček Central European Journal of Operations Research, 1-28, 2025 | 1 | 2025 |
| Detecting Unsolvability of Interval Linear Systems J Horáček, J Horáček, M Hladík TNC'18. Trusted Numerical Computations 8 (Kalpa Publications in Computing …, 2018 | 1* | 2018 |
| Agentově orientované modelování revolučních procesů. J Horáček, K Černý Sociologia 56 (3), 2024 | | 2024 |
| Dispersion of personal spaces J Horáček, M Rada International Conference on the Dynamics of Information Systems, 159-169, 2023 | | 2023 |
| Teorie her jako teorie konfliktu a kooperace J Horáček Univerzita Karlova, Fakulta humanitních studií, 2019 | | 2019 |
| Interval linear and nonlinear systems J Horáček Univerzita Karlova, Matematicko-fyzikální fakulta, 2019 | | 2019 |
| Simulace tvaru buňek pomocí modelu cytoskeletu J Horáček Univerzita Karlova, Matematicko-fyzikální fakulta, 2009 | | 2009 |
