ℹ️
🇬🇧
Search
Search for people relevant for "Model Checking"
Model Checking
Person
Class
Person
Publication
Programmes
RNDr. Mgr. Filip Seitl Ph.D.
External academic staff at Faculty of Mathematics and Physics
10 publications
Publications
publication
Fitting the grain orientation distribution of a polycrystalline material conditioned on a Laguerre tessellation
2023 |
Faculty of Mathematics and Physics
publication
Fitting three-dimensional Laguerre tessellations by hierarchical marked point process models
2022 |
Faculty of Mathematics and Physics
publication
Exploration of Gibbs-Laguerre tessellations for three-dimensional stochastic modeling
2021 |
Faculty of Mathematics and Physics
publication
Dependent radius marks of Laguerre tessellations: a case study
2021 |
Faculty of Mathematics and Physics
publication
ANALYSIS OF THE POLYCRYSTALLINE MICROSTRUCTURE OF AlMgSc ALLOY OBSERVED BY 3D EBSD
2020 |
Faculty of Mathematics and Physics
publication
Comparison of segmentation of 2D and 3D EBSD measurements in polycrystalline materials
2020 |
Faculty of Mathematics and Physics
publication
EXISTENCE AND SIMULATION OF GIBBS-DELAUNAY-LAGUERRE TESSELLATIONS
2020 |
Faculty of Mathematics and Physics
publication
Microstructure changes in HPT-processed copper occurring at room temperature
2019 |
Faculty of Mathematics and Physics
publication
Modeling and statistics of random tessellations with applications to the study of microstructure of polycrystallic materials
+1
Publication without faculty affiliation
Loading network view...