0641339 - MÚ 2026 RIV DE eng J - Článek v odborném periodiku
Jakl, Tomáš - Marsden, D. - Shah, N.
A categorical account of composition methods in logic.
Logical Methods in Computer Science. Roč. 21, č. 4 (2025), č. článku 10. ISSN 1860-5974. E-ISSN 1860-5974
Grant CEP: GA ČR(CZ) GX20-31529X
Institucionální podpora: RVO:67985840
Klíčová slova: category theory * finite model theory * Feferman-Vaught-Mostowski theorems * composition methods
Obor OECD: Pure mathematics
Impakt faktor: 1, rok: 2024 ; AIS: 0.361, rok: 2024
Způsob publikování: Open access
https://doi.org/10.46298/lmcs-21(4:10)2025
Trvalý odkaz: https://hdl.handle.net/11104/0371520

0619396 - MÚ 2026 RIV GB eng J - Článek v odborném periodiku
Jeřábek, Emil
A simplified lower bound for implicational logic.
Bulletin of Symbolic Logic. Roč. 31, č. 1 (2025), s. 53-87. ISSN 1079-8986. E-ISSN 1943-5894
Grant CEP: GA ČR(CZ) GA23-04825S
Institucionální podpora: RVO:67985840
Klíčová slova: proof complexity * intuitionistic logic * natural deduction * Kleene slash
Obor OECD: Pure mathematics
Impakt faktor: 1.1, rok: 2024 ; AIS: 0.933, rok: 2024
Způsob publikování: Open access
https://doi.org/10.1017/bsl.2025.6
Jeřábek, Emil
Trvalý odkaz: https://hdl.handle.net/11104/0366131

0617512 - MÚ 2026 RIV DE eng J - Článek v odborném periodiku
Kąkol, J. - Kurka, Ondřej
A new characterization of compact scattered spaces X in terms of spaces Cp(X).
Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Roč. 119, č. 2 (2025), č. článku 43. ISSN 1578-7303. E-ISSN 1579-1505
Grant CEP: GA ČR(CZ) GF22-07833K
Institucionální podpora: RVO:67985840
Klíčová slova: scattered * Cp-spaces * Banach space * Grothendieck space
Obor OECD: Pure mathematics
Impakt faktor: 1.6, rok: 2024 ; AIS: 0.625, rok: 2024
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s13398-025-01700-9
Kąkol, J.
Trvalý odkaz: https://hdl.handle.net/11104/0364403

0644187 - MÚ 2027 RIV GB eng J - Článek v odborném periodiku
Kalousek, Martin - Nečasová, Šárka - Schlömerkemper, A.
Extensibility of a system of transport equations in the case of an impermeable boundary.
La Matematica. Roč. 5, č. 1 (2026), č. článku 1. E-ISSN 2730-9657
AV ČR(CZ) AP2101
Akademická prémie - Praemium Academiae
Institucionální podpora: RVO:67985840
Klíčová slova: transport equation * weak solution * extensibility
Obor OECD: Pure mathematics
Způsob publikování: Open access
https://doi.org/10.1007/s44007-025-00190-w
Nečasová, Šárka
Trvalý odkaz: https://hdl.handle.net/11104/0373990

0636115 - MÚ 2026 RIV US eng J - Článek v odborném periodiku
Kania, Tomasz - Kostana, Ziemowit
Discrete subgroups of normed spaces are free.
Bulletin of the London Mathematical Society. Roč. 57, č. 6 (2025), s. 1650-1655. ISSN 0024-6093. E-ISSN 1469-2120
Grant CEP: GA ČR(CZ) GX20-31529X
Institucionální podpora: RVO:67985840
Klíčová slova: Abelian groups * rings
Obor OECD: Pure mathematics
Impakt faktor: 0.9, rok: 2024 ; AIS: 1.064, rok: 2024
Způsob publikování: Open access
https://doi.org/10.1112/blms.70051
Kania, Tomasz
Trvalý odkaz: https://hdl.handle.net/11104/0367112

0617567 - MÚ 2026 RIV DE eng J - Článek v odborném periodiku
Kolář, I. - Málek, Tomáš
Propagators in AdS for higher-derivative and nonlocal gravity: Heat kernel approach.
European Physical Journal C. Roč. 85, č. 2 (2025), č. článku 171. ISSN 1434-6044. E-ISSN 1434-6052
Grant CEP: GA ČR(CZ) GA25-15544S
Institucionální podpora: RVO:67985840
Klíčová slova: Anti-de Sitter space * general relativity
Obor OECD: Pure mathematics
Impakt faktor: 4.8, rok: 2024 ; AIS: 1.044, rok: 2024
Způsob publikování: Open access
https://doi.org/10.1140/epjc/s10052-025-13769-y
Málek, Tomáš
Trvalý odkaz: https://hdl.handle.net/11104/0364465

0639031 - MÚ 2026 RIV DE eng J - Článek v odborném periodiku
Korotov, S. - Křížek, Michal
On min/max angle conditions for simplices in arbitrary space dimension.
Journal for Geometry and Graphics. Roč. 29, č. 1 (2025), s. 101-106. ISSN 1433-8157. E-ISSN 1433-8157
Grant CEP: GA ČR(CZ) GA24-10586S
Institucionální podpora: RVO:67985840
Klíčová slova: simplex * dihedral angle * finite element method * angle conditions
Obor OECD: Pure mathematics
Impakt faktor: 0.3, rok: 2024 ; AIS: 0.104, rok: 2024
Způsob publikování: Omezený přístup
https://www.heldermann.de/JGG/JGG29/JGG291/jgg29011.htm
Trvalý odkaz: https://hdl.handle.net/11104/0369545

0639977 - MÚ 2026 RIV CH eng J - Článek v odborném periodiku
Kovtunenko, V. A. - Atlasiuk, Olena
Poroelastic medium with non-penetrating crack driven by hydraulic fracture: FEM approximation using HHT-α and semi-smooth Newton methods.
Algorithms. Roč. 18, č. 9 (2025), č. článku 579. ISSN 1999-4893. E-ISSN 1999-4893
Grant CEP: GA MŠMT(CZ) 8X23001
Institucionální podpora: RVO:67985840
Klíčová slova: biot poroelasticity model * crack non-penetration * dynamic variational inequality * hydrofracking
Obor OECD: Pure mathematics
Impakt faktor: 2.1, rok: 2024 ; AIS: 0.392, rok: 2024
Způsob publikování: Open access
https://doi.org/10.3390/a18090579
Trvalý odkaz: https://hdl.handle.net/11104/0370421

0618196 - MÚ 2026 RIV CH eng B - Monografie kniha jako celek
Kreml, Ondřej - Mácha, Václav - Nečasová, Šárka - Piasecki, T. - Wróblewska-Kamińska, A.
Mathematical Theory of Compressible Fluids on Moving Domains.
1. - Cham: Birkhäuser, 2025. 260 s. Lecture Notes in Mathematical Fluid Mechanics. ISBN 978-3-031-83323-6. ISSN 2297-0320
Grant CEP: GA ČR(CZ) GA19-04243S; GA ČR(CZ) GA22-01591S
AV ČR(CZ) AP2101
Akademická prémie - Praemium Academiae
Institucionální podpora: RVO:67985840
Klíčová slova: fluid mechanics * mathematical modeling * compressible Navier-Stokes
Obor OECD: Pure mathematics
https://doi.org/10.1007/978-3-031-83324-3
Trvalý odkaz: https://hdl.handle.net/11104/0365006

0643399 - MÚ 2026 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Kreml, Ondřej
On wild solutions to the compressible Euler system.
Stochastics in Fluids: The 2023 Prague-Sum Workshop Lectures. Cham: Birkhäuser, 2025 - (Bodnár, T.; Galdi, G.; Nečasová, Š.), s. 1-33. Lecture Notes in Mathematical Fluid Mechanics. ISBN 978-3-032-02298-1. ISSN 2510-1374.
[Stochastics in Fluids. Prague (CZ), 21.08.2023-25.08.2023]
AV ČR(CZ) AP2101
Akademická prémie - Praemium Academiae
Institucionální podpora: RVO:67985840
Klíčová slova: Compressible Euler system * convex integration method * Riemann problem
Obor OECD: Pure mathematics
https://doi.org/10.1007/978-3-032-02299-8_1
Kreml, Ondřej
Trvalý odkaz: https://hdl.handle.net/11104/0373287

0605642 - MÚ 2026 RIV CH eng J - Článek v odborném periodiku
Krutov, Andrey - Pandžić, P.
Cubic Dirac operator for Uq(sl2).
Advances in Applied Clifford Algebras. Roč. 35, č. 1 (2025), č. článku 12. ISSN 0188-7009. E-ISSN 1661-4909
Grant CEP: GA ČR(CZ) GJ20-17488Y
Institucionální podpora: RVO:67985840
Klíčová slova: quantum group * Dirac operator * Dirac cohomology * Clifford algebra
Obor OECD: Pure mathematics
Impakt faktor: 1.2, rok: 2024 ; AIS: 0.354, rok: 2024
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s00006-025-01372-z
Krutov, Andrey
Trvalý odkaz: https://hdl.handle.net/11104/0363292

0605636 - MÚ 2026 RIV BG eng J - Článek v odborném periodiku
Křížek, Michal
On a spacetime-lens principle which suggests a positive curvature of the universe.
Bulgarian astronomical journal. Roč. 42, č. 1 (2025), s. 78-98. ISSN 1313-2709. E-ISSN 1314-5592
Grant CEP: GA ČR(CZ) GA24-10586S
Institucionální podpora: RVO:67985840
Klíčová slova: luminosity distance * comoving distance * supermassive black hole * cosmic microwave background * maximally symmetric manifold
Obor OECD: Pure mathematics
Impakt faktor: 0.5, rok: 2024 ; AIS: 0.092, rok: 2024
Způsob publikování: Open access
https://astro.bas.bg/AIJ/issues/n42/MKrizek.pdf
Křížek, Michal
Trvalý odkaz: https://hdl.handle.net/11104/0363284

0643389 - MÚ 2026 RIV CZ eng K - Konferenční příspěvek (tuzemská konf.)
Křížek, Michal
Professor Miloš Zlámal - his life and work.
Vzpomínkové odpoledne a seminář Metoda konečných prvků dnes ke 100. výročí narození profesora Miloše Zlámala. Brno: Vysoké učení technické v Brně, Fakulta strojního inženýrství, 2025 - (Franců, J.), s. 57-68. ISBN 978-80-214-6392-9.
[Vzpomínkové odpoledne a seminář Metoda konečných prvků dnes ke 100. výročí narození profesora Miloše Zlámala. Brno (CZ), 15.01.2025-15.01.2025]
Grant CEP: GA ČR(CZ) GA24-10586S
Institucionální podpora: RVO:67985840
Klíčová slova: minimum angle condition * curved elements * mortar elements
Obor OECD: Pure mathematics
https://hdl.handle.net/11012/255715
Křížek, Michal
Trvalý odkaz: https://hdl.handle.net/11104/0373276

0603075 - MÚ 2026 RIV CH eng J - Článek v odborném periodiku
Kubiś, Wieslaw - Miculescu, R. - Mihail, A. - Nowak, M.
On the connectivity of graph Lipscomb's spaces.
Journal of Fixed Point Theory and Applications. Roč. 27, č. 1 (2025), č. článku 1. ISSN 1661-7738. E-ISSN 1661-7746
Institucionální podpora: RVO:67985840
Klíčová slova: Graph Lipscomb’s space * possibly infinite iterated function system * connectedness * inverse limit
Obor OECD: Pure mathematics
Impakt faktor: 1.1, rok: 2024 ; AIS: 0.661, rok: 2024
Způsob publikování: Open access
https://doi.org/10.1007/s11784-024-01150-7
Kubiś, Wieslaw
Trvalý odkaz: https://hdl.handle.net/11104/0360352

0637592 - MÚ 2027 RIV GB eng J - Článek v odborném periodiku
Kučera, Milan - Klika, V. - Fencl, M. - Eisner, J.
A new concept of instability and spatial patterns.
Nonlinear Analysis: Real World Applications. Roč. 87, February (2026), č. článku 104445. ISSN 1468-1218. E-ISSN 1878-5719
Institucionální podpora: RVO:67985840
Klíčová slova: almost non-evolving solutions * Gierer-Meinhardt system * non-standard instability
Obor OECD: Pure mathematics
Impakt faktor: 1.8, rok: 2024 ; AIS: 0.86, rok: 2024
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.nonrwa.2025.104445
Eisner, J.
Trvalý odkaz: https://hdl.handle.net/11104/0368418

0641329 - MÚ 2027 RIV NL eng J - Článek v odborném periodiku
Lambie-Hanson, Christopher - Stejskalová, Šárka
Kurepa trees, continuous images, and perfect set properties.
Annals of Pure and Applied Logic. Roč. 177, č. 3 (2026), č. článku 103663. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA ČR(CZ) GA23-04683S
Institucionální podpora: RVO:67985840
Klíčová slova: continuous images * full trees * higher Baire space * Kurepa trees
Obor OECD: Pure mathematics
Impakt faktor: 0.6, rok: 2024 ; AIS: 0.656, rok: 2024
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.apal.2025.103663
Stejskalová, Šárka
Trvalý odkaz: https://hdl.handle.net/11104/0371512

0643405 - MÚ 2026 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Lancmanová, A. - Drobny, A. - Friedmann, E. - Bodnár, Tomáš
Comparative study of 2D-2D FEM-FSI and 2D-1D reduced FD models for respiratory flow simulation.
Stochastics in Fluids: The 2023 Prague-Sum Workshop Lectures. Cham: Birkhäuser, 2025 - (Bodnár, T.; Galdi, G.; Nečasová, Š.), s. 35-92. Lecture Notes in Mathematical Fluid Mechanics. ISBN 978-3-032-02298-1. ISSN 2510-1374.
[Stochastics in Fluids. Prague (CZ), 21.08.2023-25.08.2023]
AV ČR(CZ) AP2101
Akademická prémie - Praemium Academiae
Institucionální podpora: RVO:67985840
Klíčová slova: respiratory flow simulation * fluid-structure interaction * finite-element method
Obor OECD: Pure mathematics
https://doi.org/10.1007/978-3-032-02299-8_2
Bodnár, Tomáš
Trvalý odkaz: https://hdl.handle.net/11104/0373292

0635704 - MÚ 2026 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Lancmanová, Anna - Bodnár, Tomáš - Friedmann, E.
Influence of momentum flux correction coefficient in 2D-1D coupling.
Numerical Mathematics and Advanced Applications ENUMATH 2023. Volume 2. Cham: Springer, 2025 - (Sequeira, A.; Silvestre, A.; Valtchev, S.; Janela, J.), s. 104-114. Lecture Notes in Computational Science and Engineering, 154. ISBN 978-3-031-86168-0. ISSN 1439-7358. E-ISSN 2197-7100.
[ENUMATH: European Conference on Numerical Mathematics and Advanced Applications 2023. Lisbon (PT), 04.09.2023-08.09.2023]
AV ČR(CZ) AP2101
Akademická prémie - Praemium Academiae
Institucionální podpora: RVO:67985840
Klíčová slova: 1D simulation * air flow * incompressible viscous fluids
Obor OECD: Pure mathematics
https://doi.org/10.1007/978-3-031-86169-7_11
Lancmanová, Anna
Trvalý odkaz: https://hdl.handle.net/11104/0366736

0637597 - MÚ 2026 RIV GB eng J - Článek v odborném periodiku
Le, Hong-Van
Probabilistic morphisms and Bayesian supervised learning.
Sbornik Mathematics. Roč. 216, č. 5 (2025), s. 723-741. ISSN 1064-5616. E-ISSN 1468-4802
Institucionální podpora: RVO:67985840
Klíčová slova: Markov kernel * Bayesian inversion * category of probabilistic morphisms * Bayesian supervised learning model
Obor OECD: Pure mathematics
Impakt faktor: 0.8, rok: 2024 ; AIS: 0.497, rok: 2024
Způsob publikování: Omezený přístup
https://doi.org/10.4213/sm10191e
Le, Hong-Van
Trvalý odkaz: https://hdl.handle.net/11104/0368422

0643652 - MÚ 2026 RIV BG eng J - Článek v odborném periodiku
Levin, D. - Zuevsky, Alexander
Invariant classes of framed meromorphic functions on foliations.
Bulgarian Journal Physics. Roč. 52, S1 (2025), s. 181-186. ISSN 1310-0157
Institucionální podpora: RVO:67985840
Klíčová slova: cohomology classes * foliations * framed spaces
Obor OECD: Pure mathematics
Způsob publikování: Open access
https://doi.org/10.55318/bgjp.2025.52.s1.181
Trvalý odkaz: https://hdl.handle.net/11104/0373556

0643409 - MÚ 2026 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Ludvík, P. - Mácha, Václav
Non-Newtonian compressible fluids with stochastic right-hand side.
Stochastics in Fluids: The 2023 Prague-Sum Workshop Lectures. Cham: Birkhäuser, 2025 - (Bodnár, T.; Galdi, G.; Nečasová, Š.), s. 93-122. Lecture Notes in Mathematical Fluid Mechanics. ISBN 978-3-032-02298-1. ISSN 2510-1374.
[Stochastics in Fluids. Prague (CZ), 21.08.2023-25.08.2023]
AV ČR(CZ) AP2101
Akademická prémie - Praemium Academiae
Institucionální podpora: RVO:67985840
Klíčová slova: non-Newtonian compressible fluids * Navier-Stokes system
Obor OECD: Pure mathematics
https://doi.org/10.1007/978-3-032-02299-8_3
Mácha, Václav
Trvalý odkaz: https://hdl.handle.net/11104/0373295

0641925 - MÚ 2026 RIV US eng J - Článek v odborném periodiku
Markl, Martin
Transfers of A∞- and other homotopy structures as Grothendieck bifibrations.
Proceedings of the American Mathematical Society. Roč. 153, č. 12 (2025), s. 5103-5117. ISSN 0002-9939. E-ISSN 1088-6826
AV ČR(CZ) AP1801
Akademická prémie - Praemium Academiae
Institucionální podpora: RVO:67985840
Klíčová slova: A∞-algebra * P∞-algebra * transfer * isotopy
Obor OECD: Pure mathematics
Impakt faktor: 0.8, rok: 2024 ; AIS: 0.738, rok: 2024
Způsob publikování: Omezený přístup
https://doi.org/10.1090/proc/17361
Markl, Martin
Trvalý odkaz: https://hdl.handle.net/11104/0371911

0637581 - MÚ 2026 RIV DE eng J - Článek v odborném periodiku
Meliani, Mostafa - Said-Houari, B.
Well-posedness and global extensibility criteria for time-fractionally damped Jordan-Moore-Gibson-Thompson equation.
Nodea-Nonlinear Differential Equations and Applications. Roč. 32, č. 5 (2025), č. článku 82. ISSN 1021-9722. E-ISSN 1420-9004
Institucionální podpora: RVO:67985840
Klíčová slova: blow-up criterion * conditional existence * Moore-Gibson-Thompson equation * wave equations
Obor OECD: Pure mathematics
Impakt faktor: 1.2, rok: 2024 ; AIS: 0.893, rok: 2024
Způsob publikování: Open access
https://doi.org/10.1007/s00030-025-01084-0
Meliani, Mostafa
Trvalý odkaz: https://hdl.handle.net/11104/0368408

0643650 - MÚ 2027 RIV DE eng J - Článek v odborném periodiku
Meurant, G. - Papež, Jan - Tichý, P.
Block conjugate gradient methods with error norm estimates for least squares problems.
Bit. Roč. 66, č. 1 (2026), č. článku 2. ISSN 0006-3835. E-ISSN 1572-9125
Grant CEP: GA ČR(CZ) GA23-06159S
Institucionální podpora: RVO:67985840
Klíčová slova: block CGLS * error norm estimates * least squares * multiple right-hand sides
Obor OECD: Pure mathematics
Impakt faktor: 1.7, rok: 2024 ; AIS: 0.983, rok: 2024
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s10543-025-01096-3
Meurant, G.
Trvalý odkaz: https://hdl.handle.net/11104/0373554

0603997 - MÚ 2026 RIV GB eng J - Článek v odborném periodiku
Miao, S. - Lai, A. - Komenda, Jan
Always guarding you: Strong initial-and-final-state opacity of discrete-event systems.
Automatica. Roč. 173, March (2025), č. článku 112085. ISSN 0005-1098. E-ISSN 1873-2836
Institucionální podpora: RVO:67985840
Klíčová slova: concurrent composition * discrete-event system * nondeterministic finite-state automaton * strong initial-and-final-state opacity
Obor OECD: Automation and control systems
Impakt faktor: 5.9, rok: 2024 ; AIS: 2.422, rok: 2024
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.automatica.2024.112085
Lai, A.
Trvalý odkaz: https://hdl.handle.net/11104/0361315