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
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.
In: Probabilistic safety assessment and management. Proceedings of thje PSAM7 - ESREL'04 Conference, Berlin. Vol. 5.
ACTA CYBERNETICA-SZEGED, 22 (3)., pp. 573-589. ISSN 0324-721X