David Hartman Charles University
Prague



 David Hartman

   Everything is both simpler
than we can imagine,
and more complicated
that we can conceive.

Johann Wolfgang von Goethe

Publications

This page contains lists of papers and theses. For references to scientific databases, please check reseach page.

Preprints

  1. Bok, J., Černý, M., Hartman, D., and Hladík, M. Convexity and positivity in partially defined cooperative games. arXiv preprint arXiv:2010.08578. [arXiv:2010.08578]
  2. Hartman, D., Hladík, M., and Říha, D. Computing the spectral decomposition of interval matrices and a study on interval matrix power. arXiv preprint arXiv:1912.05275. [arXiv:1912.05275]
  3. Aranda, A. and Hartman, D. Morphism extension classes of countable L-colored graphs. arXiv preprint arXiv:1805.01781 [arXiv:1805.01781]

Papers

  1. Hartman, D., Pokorná, A., Valtr, P. On the Connectivity and the Diameter of Betweenness-Uniform Graphs. In: Mudgal A., Subramanian C.R. (eds) Algorithms and Discrete Applied Mathematics. CALDAM 2021. Lecture Notes in Computer Science, vol 12601. Springer, Cham., 2021. [html]
  2. Hartman, D. and Hladík, M. Complexity of Computing Interval Matrix Powers for Special Classes of Matrices. Applications of Mathematics, 65(5), 645-663, 2020. [html]
  3. Hladík, M., Hartman, D., and Zamani, M. Maximization of a PSD quadratic form and factorization. Optimization Letters, 1-14, 2020. [html]
  4. Aranda, A. and Hartman, D. The independence number of HH-homogeneous graphs and a classification of MB-homogeneous graphs. European Journal of Combinatorics, 85, 103063, 2020. [html]
  5. Petkovová, L., Hartman, D., and Pavelka, T. Problems of Aggregation of Sustainable Development Indicators at the Regional Level. Sustainability, 12(17), 7156, 2020. [html]
  6. Aranda, A., Hartman, D. Homomorphism-homogeneity classes of countable L-colored graphs. Acta Mathematica Universitatis Comenianae, 88(3), 377-382, 2019. [html]
  7. Aranda, A., Hartman, D. MB-Homogeneous graphs and some new HH-homogeneous graphs. Acta Mathematica Universitatis Comenianae, 88(3), 383-387, 2019. [html]
  8. Hladik, J., Hartman, D. Maximization of a Convex Quadratic Form on a Polytope: Factorization and the Chebyshev Norm Bounds. In: Le Thi H., Le H., Pham Dinh T. (eds) Optimization of Complex Systems: Theory, Models, Algorithms and Applications. WCGO 2019. Advances in Intelligent Systems and Computing, vol 991. Springer, Cham. 2019. [html]
  9. Hartman, D., Hladik, J. Regularity radius: properties, approximation and a not a priori exponential algorithm. Electronic Journal of Linear Algebra, 33(1):122-136, 2018. [html]
  10. Hartman, D., Hlinka, J. Nonlinearity in stock networks. Chaos, 32(8):083127, 2018. [html]
  11. Hlinka, J., Hartman, D., Jajcay, N., Tomeček, D., Tintěra, J., and Paluš, M. Small-world bias of correlation networks: From brain to climate. Chaos: An Interdisciplinary Journal of Nonlinear Science, 27(3):035812, 2017. [html]
  12. Hlinka, J., Jajcay, N., Hartman, D. and Paluš, M. Smooth information flow in temperature climate network reflects mass transport. Chaos: An Interdisciplinary Journal of Nonlinear Science, 27(3):035811, 2017. [html]
  13. Cadil, J., Vltavska, K., Krejčí, I., Hartman, D., Brabec, M. Aggregate production function and income identity– empirical analysis. International Journal of Economic Sciences, 6(1):1-17, 2017. [html]
  14. Hartman, D., Petkovová, L., Hybšová, A., Čadil, J., and Nový, J. Prediction Model for Success of Students at University Level. In ECEL 2016-Proceedings of the 15th European Conference on e-Learning, pp. 256--264, 2016. [html]
  15. Feuerlicht, G. and Hartman, D. Estimating the Complexity of Software Services Using an Entropy Based Metric. Service-Oriented Computing - ICSOC 2015 Workshops. Volume 9586 of the series Lecture Notes in Computer Science, pp. 15-23, 2016. [html]
  16. Hartman, D., Hladik, M. Tight Bounds on the Radius of Nonsingularity. Scientific Computing, Computer Arithmetic, and Validated Numerics, Volume 9553 of the series Lecture Notes in Computer Science, pp 109-115, 2016. [html]
  17. J. Runge, V. Petoukhov, J. F. Donges, J. Hlinka, N. Jajcay, M. Vejmelka, D. Hartman, N. Marwan, M. Paluš and J. Kurths. Identifying causal gateways and mediators in complex spatio-temporal systems. Nature Communications 6:art.num.8502,2015.[html]
  18. G. Feuerlicht, V. Kovar, D. Hartman, M. Beranek, P. Bory. Measuring Complexity of Domain Standard Specifications Using XML Schema Entropy. In Proceedings of SOFSEM 2015: Theory and Practice of Computer Science, Volume II, pages 124-131, ISBN 978-80-87136-2-1 and CEUR Workshop Proceedings 1326, CEUR-WS.org 2014.[html]
  19. D. Hartman, J. Hubička, and J. Nešetřil. Complexities of relational structure. Mathematica Slovaca, 65(2):229-246, 2015.[html | arXiv]
  20. J. Hlinka, D. Hartman, N. Jajcay, M. Vejmelka, R. Donner, N. Marwan, J. Kurths, M. Paluš. Regional and inter-regional effects in evolving climate network. Nonlinear Processes in Geophysics, 21, 451-462, 2014.[html]
  21. M. Vejmelka, L. Pokorná, J. Hlinka, D. Hartman, N. Jajcay, and M. Paluš. Non- random correlation structures and dimensionality reduction in multivariate climate data. Climate Dynamics, in press, published online, doi: 10.1007/s00382-014-2244-z, 2014.[html]
  22. M. Střižík, Z. Zelinger, V. Nevrlý, P. Kubát, P. Berger; A. Černý, R. Janečková, E. Grigorová, I. Bestová, J. Čadil, P. Danihelka, P. Kadeřábek, M. Kozubková, S. Drábková, D. Hartman, M. Bojko, O. Zavila. CFD modelling for atmospheric pollutants/aerosols studies within the complex terrains of urban areas and industrial sites. Intational Journal of Environment and Pollution, 54(1):73-90, 2014.[html]
  23. D. Hartman, J. Hubička, and D. Mašulović. Homomorphism-homogeneous L-colored graphs. European Journal of Combinatorics, 35(0):313–323, 2014.[html | arXiv]
  24. J. Hlinka, D. Hartman, M. Vejmelka, D. Novotná, and M. Paluš. Non-linear dependence and teleconnections in climate data: sources, relevance, nonstationarity. Climate Dynamics, pages 1-14, 2013.[html | arXiv]
  25. J. Hlinka, D. Hartman, M. Vejmelka, J. Runge, N. Marwan, J. Kurths, and M. Paluš.Reliability of Inference of Directed Climate Networks Using Conditional Mutual Informa- tion. Entropy, 15(6):2023-2045, 2013.[html]
  26. D. Hartman, J. Hubička, and J. Nešetřil. Combinatorial bounds on relational complexity. In J. Nešetřil and M. Pellegrini, editors, The Seventh European Conference on Combinatorics, Graph Theory and Applications, volume 16 of CRM Series, pages 573-578. Scuola Normale Superiore, 2013.[html]
  27. J. Hlinka, D. Hartman, and M. Paluš. Small-world topology of functional connectivity in randomly connected dynamical systems. Chaos, 22(3):033107,2012.[html | arXiv]
  28. D. Hartman and D. Mašulović. Towards finite homomorphism-homogeneous relational structures. Electronic Notes in Discrete Mathemtics, 38(0):443-448, 2011.[html]
  29. D. Hartman, J. Hlinka, M. Paluš, D. Mantini, and M. Corbetta. The role of nonlinearity in computing graph-theoretical properties of resting-state functional magnetic resonance imaging brain networks. Chaos, 21(1):art.num.013119, 2011.[html]
  30. M. Paluš, D. Hartman, J. Hlinka, and M. Vejmelka. Discerning connectivity from dynamics in climate networks. Nonlinear Processes in Geophysics 18(5):751-763, 2011.[html]
  31. M. Holeňa and D. Hartman. Using surrogate modeling to improve evolutionary Optiminzation in catalysis. In proceedings of MIS 2009, Josefuv dul, CR., 2009.[html]
  32. D. Hartman and P. Herout. Construction of a hybrid traffic model based on JUTS cellular model. In Proceeding of International symposium Eurosim 2007, Ljubljana, Slovenia, pp. 1-7, 2007.[html]
  33. Hartman, D. Testing of JUTS System and Construction of Hybrid Traffic Simulation Model. In Borutzky, W., Orsoni, A., Zobel, R. (eds.), European Conference on Modelling and Simulation ECMS 2006, Modelling Methodologies and Simulation. Key Technologies in Academia and Industry, 214-219, 2006.[html]
  34. D. Hartman and P. Herout. Head Leading Algorithm and GIS Data Analysis in Simulation of Traffic in Pilsen. International Journal of Simulation Systems, Science and Technology. 6(7-8):10-17, 2005.[html]
  35. D. Hartman and P. Herout. Implementation of Head Leading Algorithm in Simulation of Traffic in Pilsen. In Proceedings of 8th International Conference ICCMS, Oxford, England, pp. 46-51, 2005.[html]
  36. P. Herout and D. Hartman. An Object-Oriented Modification of Cellular Automata Model for Urban Traffic Simulation. Almanac of technical progression of simulation society of Czech Republic, pp.28-39, editors M. Snorek and J. Stefan, 2005.[html]
  37. D. Hartman. Head Leading Algorithm for Urban Traffic Model. In Proceedings of the 16th International European Simulation Symposium and Exhibition ESS 2004, Budapest, Hungary, pp.297-302, 2004.[html]
  38. D. Hartman, P. Herout. Simulation Speed-Up Techniques. In Proceedings of the 38th International Conference Modelling and Simulation of Systems MOSIS 2004, Rožnov pod Radhoštěm, Czech Republic, pp.47-52, 2004[html].
  39. D. Hartman, J. Kačer. JUTS - J-Sim Urban Traffic Simulator. In Proceedings of the 2nd International Symposium on Principles and Practice of Programming in Java PPPJ 2003, Kilkeny Ireland, pp.113-117, 2003.[html]

Editorial works

  1. Jan Bok, David Hartman, Milan Hladík, Miroslav Rozložník (eds.) MAT TRIAD 2019: Book of Extended abstracts, Volume 676 of ITI Series, Matfyzpress, Prague, 2019. [html]
  2. David Hartman, Milan Hladík, Jaroslav Horáček, Luc Jaulin, Nacim Ramdani (eds.) SWIM 2015: 8th Small Workshop on Interval Methods. Volume 620 of ITI Series, Matfyzpress, Prague, 2015. [html]
  3. David Hartman (ed.) 2nd Workshop on Homogeneous Structures, volume 562 of ITI Series, Matfyzpress, Prague, 2012.[html]

Theses

  1. Extension properties of structures. Ph.D. thesis. Charles University Prague. 2014. [pdf]
  2. Switching scalability of hybrid model for complex traffic simulations.
    Ph.D. thesis. University of West Bohemia. 2008.
  3. The study of the bromate-sulfute-ferrocyanide reaction in two coupled flow reactor.
    MSc. thesis. Institute of Chemical Technology, Prague. 2008.
  4. Traffic simulations using bulk systems.
    MSc. thesis. University of West Bohemia. 2003.