| 2019 | SYNASC | Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization. | Gergely Kovsznai, Krisztin Gajdr, Laura Kovcs |
| 2014 | MFCS | On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic. | Gergely Kovsznai, Helmut Veith, Andreas Frhlich, Armin Biere |
| 2014 | SAT | iDQ: Instantiation-Based DQBF Solving. | Andreas Frhlich, Gergely Kovsznai, Armin Biere, Helmut Veith |
| 2013 | CADE | : A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas into. | Gergely Kovsznai, Andreas Frhlich, Armin Biere |
| 2013 | CSR | More on the Complexity of Quantifier-Free Fixed-Size Bit-Vector Logics with Binary Encoding. | Andreas Frhlich, Gergely Kovsznai, Armin Biere |
| 2012 | CADE | On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width. | Gergely Kovsznai, Andreas Frhlich, Armin Biere |
| 2011 | SACI | Developing an expert system for diet recommendation. | Gergely Kovsznai |
| 2009 | SACI | Metamodels in generation of UML using NLI-based dialog. | Lszl Kovcs, Gergely Kovsznai, Gbor Kusper |
| 2003 | DEXA | CAML - A Universal Configuration Language for Dialogue Systems. | Gergely Kovsznai, Constantine Kotropoulos, Ioannis Pitas |