| 2024 | ICINCO | A Case Study in Building 2D Maps with Robots. | Theodor-Radu Grumeza, Thomas-Andrei Lazar, Isabela Dramnesc, Gbor Kusper, Konstantinos Papadopoulos, Nikolaos Fachantidis, Ioannis Lefkos |
| 2020 | SACI | Investigation of the Efficiency of Conversion of Directed Graphs to 3-SAT Problems. | Gbor Kusper, Csaba Bir, Tams Balla |
| 2020 | SYNASC | Generating Minimal Unsatisfiable SAT Instances from Strong Digraphs. | Gbor Kusper, Tams Balla, Csaba Bir, Tibor Tajti, Zijian Gyozo Yang, Imre Bajk |
| 2015 | SYNASC | Solving SAT by an Iterative Version of the Inclusion-Exclusion Principle. | Gbor Kusper, Csaba Bir |
| 2013 | SISY | How to generate weakly nondecisive SAT instances. | Csaba Bir, Gbor Kusper, Tibor Tajti |
| 2013 | SISY | Adaption of NNS classification to domain of category values. | Lszl Kovcs, Gbor Kusper |
| 2009 | SACI | Metamodels in generation of UML using NLI-based dialog. | Lszl Kovcs, Gergely Kovsznai, Gbor Kusper |
| 2008 | SYNASC | Multi-Domain Logic and its Applications to SAT. | Tudor Jebelean, Gbor Kusper |
| 2006 | KI | Finding Models for Blocked 3-SAT Problems in Linear Time by Systematical Refinement of a Sub-model. | Gbor Kusper |
| 2002 | EuroPar | Integrating Temporal Assertions into a Parallel Debugger. | Jzsef Kovcs, Gbor Kusper, Rbert Lovas, Wolfgang Schreiner |
| 2001 | EuroPar | Fault Tolerance for Cluster Computing Based on Functional Tasks. | Wolfgang Schreiner, Gbor Kusper, Kroly Bsa |