Directions
Study of algorithms and AI.
Integration of computing and physical processes in manufacturing and logistics.
Researching and applying mathematical techniques to optimise and learn from data.
The National Laboratories coordinated by HUN-REN SZTAKI aim to strengthen domestic R&D and boost the competitiveness of the economy with innovative, world-class solutions.
The goal of this Platform is to support Internet-based economy and innovation by stepping into a new era of technology. Read more
Scientific cloud services for research projects. Read more
Scientific Data Repository for the Hungarian Research Community. Read more
PERIODICA POLYTECHNICA TRANSPORTATION ENGINEERING, 52 (4)., pp. 402-411. ISSN 0303-7800
Urban Rail Transit, 8, pp. 217-245. ISSN 2199-6679
Boston, Kluwer, pp. 195-202.
Proceedings of the Estonian Academy of Sciences, 62 (1)., pp. 59-70.
LECTURE NOTES IN COMPUTER SCIENCE, 3463, pp. 391-402.
FORMAL ASPECTS OF COMPUTING, 28 (3)., pp. 345-379. ISSN 0934-5043
In: Dependable computing - EDCC-3. Third European conference. Fast Abstracts. Prague, 1999..
In: FMICS 2008. 13th international workshop on formal methods for industrial critical systems. L'Aquila, 2008..
In: 4th IFAC symposium on fault detection supervision and safety for technical processes. SAFEPROCESS 2000. Preprints. Budapest, 2000. Vol. 2..
In: Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13, 2013-08-26 - 2013-08-27, Szeged, Magyarország.