Kovásznai Gergely; Nsaif Mohammed: Integer programming based optimization of power consumption for data Center Networks. In: Acta cybernetica, (26) 3. pp. 563-579. (2024)
Kovásznai Gergely: HyperS tableaux - heuristic hyper tableaux. In: Acta cybernetica, (17) 2. pp. 325-338. (2005)
Kovásznai Gergely: Unification for effective and finite semantic tableaux in first-order logic : the SOFIA prover : [abstract].
Kovásznai Gergely: Universal configuration language and core-architecture for dialogue systems.
Kovásznai Gergely: Univerzális konfigurációs nyelv és mag-architektúra párbeszédes rendszerekhez.
Kovásznai Gergely; Veréb Krisztián: Mathematical morphology in image processing by SLD resolution : [abstract].