CAML - A Universal Configuration Language for Dialogue Systems. - Gergely Kovásznai; Constantine Kotropoulos; Ioannis Pitas (DEXA, 2003)

HyperS Tableaux - Heuristic Hyper Tableaux. - Gergely Kovásznai (Acta Cybern., 2006)

Metamodels in generation of UML using NLI-based dialog. - László Kovács; Gergely Kovásznai; Gábor Kusper (SACI, 2009)

Developing an expert system for diet recommendation. - Gergely Kovásznai (SACI, 2011)

On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width. - Gergely Kovásznai; Andreas Fröhlich; Armin Biere (SMT@IJCAR, 2012)

: A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas into. - Gergely Kovásznai; Andreas Fröhlich; Armin Biere (CADE, 2013)

More on the Complexity of Quantifier-Free Fixed-Size Bit-Vector Logics with Binary Encoding. - Andreas Fröhlich; Gergely Kovásznai; Armin Biere (CSR, 2013)

On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic. - Gergely Kovásznai; Helmut Veith; Andreas Fröhlich; Armin Biere (MFCS (2), 2014)

iDQ: Instantiation-Based DQBF Solving. - Andreas Fröhlich; Gergely Kovásznai; Armin Biere; Helmut Veith (POS@SAT, 2014)

Complexity of Fixed-Size Bit-Vector Logics. - Gergely Kovásznai; Andreas Fröhlich; Armin Biere (Theory Comput. Syst., 2016)

Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers. - Gergely Kovásznai; Csaba Biró; Balazs Erdelyi (SMT, 2017)

Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization. - Gergely Kovásznai; Krisztián Gajdár; Laura Kovács (SYNASC, 2019)

Integer Programming Based Optimization of Power Consumption for Data Center Networks. - Gergely Kovásznai; Mohammed Ridha Nsaif (Acta Cybern., 2023)

SM-FPLF: Link-State Prediction for Software-Defined DCN Power Optimization. - Mohammed Ridha Nsaif; Gergely Kovásznai; Ali Malik; Ruairí de Fréin (IEEE Access, 2024)