ℹ️
🇬🇧
Search
Search for people relevant for "model checking"
model checking
Person
Class
Person
Publication
Programmes
doc. RNDr. Václav Kučera Ph.D.
Academic staff at Faculty of Mathematics and Physics
1 study programme
7 classes
107 publications
Study programme
programme
Computational Mathematics
🇨🇿 NMgr. |
Faculty of Mathematics and Physics
Classes
class
Mathematical methods in Practice
NMMA366 |
Faculty of Mathematics and Physics
class
Fractals and Chaotic Dynamics
NMNV361 |
Faculty of Mathematics and Physics
class
Solution of Nonlinear Algebraic Equations
NMNV501 |
Faculty of Mathematics and Physics
class
Numerical Optimization Methods 1
NMNV503 |
Faculty of Mathematics and Physics
class
Numerical Solution of Evolutionary Equations
NMNV536 |
Faculty of Mathematics and Physics
class
Numerical Solution of ODE
NMNV539 |
Faculty of Mathematics and Physics
class
Approximation of functions 2
NMNV568 |
Faculty of Mathematics and Physics
Publications
publication
Godunov-like numerical fluxes for conservation laws on networks
2023 |
Faculty of Mathematics and Physics
publication
L^2 stability of macroscopic traffic flow models on networks using numerical fluxes at junctions
+1
2023 |
Faculty of Mathematics and Physics
publication
L2 stability for Godunov-like numerical fluxes
2023 |
Faculty of Mathematics and Physics
publication
Godunov-Like Numerical Fluxes for Conservation Laws on Networks
2023 |
Faculty of Mathematics and Physics
publication
Numerical optimization of parameters in systems of differential equations
2023 |
Faculty of Mathematics and Physics
publication
Godunov-like numerical fluxes for conservation laws on networks and L2 stability
2022 |
Faculty of Mathematics and Physics
publication
Numerical solution of traffic flow model on networks
2022 |
Faculty of Mathematics and Physics
publication
Discontinuous Galerkin Method for Macroscopic Traffic Flow Models on Networks
2022 |
Faculty of Mathematics and Physics
publication
Asymptotic properties of a class of linearly implicit schemes for weakly compressible Euler equations
2022 |
Faculty of Mathematics and Physics
publication
On degenerating finite element tetrahedral partitions
2022 |
Faculty of Mathematics and Physics
Load more publications (97)
Loading network view...