Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Artur Rataj
Extrapolation of an Optimal Policy Using Statistical Probabilistic Model Checking
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Genetic Programming Using Adaptable Stochastic Flow of Control
Theoretical and Applied Informatics
A GPGPU–based Simulator for Prism: Statistical Verification of Results of PMC
Scientific Issues Jan Długosz University in Częstochowa. Mathematics
Delays in IP Routers, a Markov Model
Communications in Computer and Information Science
Mathematics
Computer Science
A Translator of Java Programs to TADDs
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science