Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Bożena Woźna-Szcześniak

Extrapolation of an Optimal Policy Using Statistical Probabilistic Model Checking

Fundamenta Informaticae

Information Systems

Computational Theory

Theoretical Computer Science

English

A GPGPU–based Simulator for Prism: Statistical Verification of Results of PMC

Scientific Issues Jan Długosz University in Częstochowa. Mathematics

English

Modeling and Checking Robustness of Communicating Autonomous Vehicles

Advances in Intelligent Systems and Computing

Systems Engineering

Computer Science

English

Related publications

On an Analogue of Titchmarsh’s Divisor Problem for Holomorphic Cusp Forms

Journal of the American Mathematical Society

Applied Mathematics

English

Uniqueness of Enhancement for Triangulated Categories

Journal of the American Mathematical Society

Applied Mathematics

English

The Archimedean Theory of the Exterior Square $L$-Functions Over $\Mathbb{Q}$

Journal of the American Mathematical Society

Applied Mathematics

English

Intersecting Families of Permutations

Journal of the American Mathematical Society

Applied Mathematics

English

Proof of Aldous’ Spectral Gap Conjecture

Journal of the American Mathematical Society

Applied Mathematics

English

W$^{*}$–superrigidity for Bernoulli Actions of Property (T) Groups

Journal of the American Mathematical Society

Applied Mathematics

English

Appendix and Erratum to “Massey Products for Elliptic Curves of Rank 1”

Journal of the American Mathematical Society

Applied Mathematics

English

The Complex Monge-Ampère Equation on Compact Hermitian Manifolds

Journal of the American Mathematical Society

Applied Mathematics

English

Commutators on $L_p$, $1{\leq }P <\infty $

Journal of the American Mathematical Society

Applied Mathematics

English

The Vlasov-Poisson-Landau System in a Periodic Box

Journal of the American Mathematical Society

Applied Mathematics

English