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
In: Application and Theory of Petri Nets and Concurrency Lecture Notes in Computer Science (9698) Springer International Publishing, Cham (Svájc), pp. 123-132.
In: Dependable computing - EDCC-3. Third European conference. Fast Abstracts. Prague, 1999..
In: SAFEPROCESS 2009. 7th IFAC international symposium on fault detection, supervision and safety of technical processes. Barcelona, 2009..
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: 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..