Jan Beran

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 3

Top Topics

Preliminary Version

Top Venues

Formal Aspects Comput.

J. Multivar. Anal.

Publications

Frantisek Vidensky, Frantisek Zboril, Jan Beran, Radek Kocí, Frantisek Vítezslav Zboril
Comparing Variable Handling Strategies in BDI Agents: Experimental Study. ICAART (1) (2024)
Jiri Barnat, Petr Bauch, Nikola Benes, Lubos Brim, Jan Beran, Tomas Kratochvila
Analysing sanity of requirements for avionics systems. Formal Aspects Comput. 28 (1) (2016)
Jan Beran, Haiyan Liu
Estimation of eigenvalues, eigenvectors and scores in FDA models with dependent errors. J. Multivar. Anal. 147 (2016)
Jiri Barnat, Petr Bauch, Nikola Benes, Lubos Brim, Jan Beran, Tomas Kratochvila
Analysing Sanity of Requirements for Avionics Systems (Preliminary Version). CoRR (2015)
Jiri Barnat, Lubos Brim, Jan Beran, Tomas Kratochvila, Italo R. Oliveira
Executing Model Checking Counterexamples in Simulink. TASE (2012)
Jan Beran, Yevgen Shumeyko
Bootstrap testing for discontinuities under long-range dependence. J. Multivar. Anal. 105 (1) (2012)
Jiri Barnat, Jan Beran, Lubos Brim, Tomas Kratochvila, Petr Rockai
Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs. FMICS (2012)
Jan Beran, Dieter Schell
On robust tail index estimation. Comput. Stat. Data Anal. 56 (11) (2012)
Jan Beran, Arno Weiershäuser
On spline regression under Gaussian subordination with long memory. J. Multivar. Anal. 102 (2) (2011)
Jan Beran, Martin Schützner, Sucharita Ghosh
From short to long memory: Aggregation and estimation. Comput. Stat. Data Anal. 54 (11) (2010)
Jan Beran, Sucharita Ghosh, Dieter Schell
On least squares estimation for long-memory lattice processes. J. Multivar. Anal. 100 (10) (2009)
Jan Beran, Frantisek Zezulka, Petr Fiedler
Findings on QoS metrics of L3 network devices intended for future factory automation. PDeS (2009)
Frantisek Zezulka, Jan Beran
Virtual automation networks: A solution for heterogeneous automation networks in manufacturing. PDeS (2009)
Jaroslav Kadlec, Jan Beran, Radimir Vrba
Precise Measurement of Wireless Network Roaming Functionality and Network Component Parameters Applied for Automation Systems. ICONS (2008)
Jan Beran
Classification and Data Mining in Musicology. GfKl (2004)
Jan Beran, Robert Sherman, Murad S. Taqqu, Walter Willinger
Long-range dependence in variable-bit-rate video traffic. IEEE Trans. Commun. 43 (2/3/4) (1995)