Software eszközök programozási nyelvek és rendszerek definiálására
A lövészosztag szinkronizálási probléma
Decidability questions for term rewriting systems and tree transducers
Reláció-mintaalgebrák függvényteljessége
Extrémális és intermediális statisztikák lineáris kombinációinak határeloszlásai Egyetemi doktori fokozatának PhD fokozattá történő átminősítésére benyújtott tézis /
Attributum nyelvtanok és alkalmazásaik a szoftvertechnológia és a mesterséges intelligencia területén Egyetemi doktori fokozatának PhD fokozattá történő átminősítésére benyújtott tézis /
Egy ALGOL 60 fordítóprogram
Vizsgálatok az általánosított szekvenciális gépek köréből
Filmek képtelítettségének automatizált meghatározása
Latency Analysis of Blockchain-Based SSI Applications
Multiprogramozás modellezése MINSZK-22 számítógépen
Tezauruszok alkalmazása számítógépes információs rendszerekben
Önreprodukáló automaták
Topology-Preserving Equivalent Parallel and Sequential 4-Subiteration 2D Thinning Algorithms
Towards Modelling IoT Workflows
Task allocation possibilities in simulated Fog environments
Multi-Cloud Management Strategies for Simulating IoT Applications
Constructing membership function systems using the middle hedge operator
Makroutasítások alkalmazása magasabb szintű nyelv kiterjesztésére
A FORTRAN-PZ programozási nyelv