Jan Beran

Orcid: 0000-0003-4737-191X

According to our database1, Jan Beran authored at least 19 papers between 1995 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Comparing Variable Handling Strategies in BDI Agents: Experimental Study.
Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

2022
General deSouches Commands Multi-agent Army for Performing in Agents Assemble III Scenario: FIT-BUT at MAPC 2022.
Proceedings of the Multi-Agent Programming Contest 2022, 2022

2018
Mathematical Theory in Music Practice.
Proceedings of the Oxford Handbook of Algorithmic Music., 2018

2016
Estimation of eigenvalues, eigenvectors and scores in FDA models with dependent errors.
J. Multivar. Anal., 2016

Analysing sanity of requirements for avionics systems.
Formal Aspects Comput., 2016

2015
Analysing Sanity of Requirements for Avionics Systems (Preliminary Version).
CoRR, 2015

2012
Bootstrap testing for discontinuities under long-range dependence.
J. Multivar. Anal., 2012

On robust tail index estimation.
Comput. Stat. Data Anal., 2012

Executing Model Checking Counterexamples in Simulink.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs.
Proceedings of the Formal Methods for Industrial Critical Systems, 2012

2011
Moment Generating Function.
Proceedings of the International Encyclopedia of Statistical Science, 2011

On spline regression under Gaussian subordination with long memory.
J. Multivar. Anal., 2011

2010
From short to long memory: Aggregation and estimation.
Comput. Stat. Data Anal., 2010

2009
On least squares estimation for long-memory lattice processes.
J. Multivar. Anal., 2009

Virtual automation networks: A solution for heterogeneous automation networks in manufacturing.
Proceedings of the 9th IFAC Workshop on Programmable Devices and Embedded Systems, 2009

Findings on QoS metrics of L3 network devices intended for future factory automation.
Proceedings of the 9th IFAC Workshop on Programmable Devices and Embedded Systems, 2009

2008
Precise Measurement of Wireless Network Roaming Functionality and Network Component Parameters Applied for Automation Systems.
Proceedings of the Third International Conference on Systems, 2008

2004
Classification and Data Mining in Musicology.
Proceedings of the Classification, 2004

1995
Long-range dependence in variable-bit-rate video traffic.
IEEE Trans. Commun., 1995


  Loading...