Gábor Kusper

21 papers C 1Misc 8Journal 3Unranked 9
YearRankTypeTitle / Venue / Authors
2024 — conf
A Case Study in Building 2D Maps with Robots.
ICINCO (2)
Theodor-Radu Grumeza, Thomas-Andrei Lazar, Isabela Dramnesc, Gábor Kusper, Konstantinos Papadopoulos, Nikolaos Fachantidis, Ioannis Lefkos
2024 — conf
A European Project on AI-based Robotics.
TALE
Isabela Dramnesc, Erika Ábrahám, Tudor Jebelean, Nikolaos Fachantidis, Gábor Kusper, Sorin Stratulat
2022 C conf
Experiments with Automated Reasoning in the Class.
CICM
Isabela Dramnesc, Erika Ábrahám, Tudor Jebelean, Gábor Kusper, Sorin Stratulat
2020 — conf
Classification of SAT Problem Instances by Machine Learning Methods.
ICAI
Márk Danisovszky, Zijian Gyozo Yang, Gábor Kusper
2020 — conf
Cognitive Code Quality Improvement with Pattern Recognition and Recommendation by Examples.
CogInfoCom
Márk Danisovszky, Attila Adamkó, Imre Baják, Krisztian Kusper, Szabolcs Marien, Gábor Kusper
2020 J jnl
Convert a Strongly Connected Directed Graph to a Black-and-White 3-SAT Problem by the Balatonboglár Model.
Algorithms
Gábor Kusper, Csaba Biró
2020 Misc conf
Generating Minimal Unsatisfiable SAT Instances from Strong Digraphs.
SYNASC
Gábor Kusper, Tamás Balla, Csaba Biró, Tibor Tajti, Zijian Gyozo Yang, Imre Baják
2020 Misc conf
Investigation of the Efficiency of Conversion of Directed Graphs to 3-SAT Problems.
SACI
Gábor Kusper, Csaba Biró, Tamás Balla
2020 — conf
The BWConverter Toolchain: An Incomplete Way to Convert SAT Problems into Directed Graphs.
ICAI
Tamás Balla, Csaba Biró, Gábor Kusper
2019 — conf
Western Canon of Software Engineering: The Abstract Principles.
CogInfoCom
Márk Danisovszky, Tibor Nagy, Kristóf Répás, Gábor Kusper
2016 J jnl
A novel data storage logic in the cloud.
F1000Research
Bence Mátyás, Máté Szarka, Gábor Járvás, Gábor Kusper, István Argay
2015 — conf
Integration opportunities of the 'CommonSense for Scholars' system at the University of Debrecen.
CogInfoCom
Gábor Kusper, Nikolett Fanni Menyhart, Gabor Percze, Havasi Gabor
2015 Misc conf
Solving SAT by an Iterative Version of the Inclusion-Exclusion Principle.
SYNASC
Gábor Kusper, Csaba Biró
2013 Misc conf
Adaption of NNS classification to domain of category values.
SISY
László Kovács, Gábor Kusper
2013 Misc conf
How to generate weakly nondecisive SAT instances.
SISY
Csaba Biró, Gábor Kusper, Tibor Tajti
2009 Misc conf
Metamodels in generation of UML using NLI-based dialog.
SACI
László Kovács, Gergely Kovásznai, Gábor Kusper
2008 Misc conf
Multi-Domain Logic and its Applications to SAT.
SYNASC
Tudor Jebelean, Gábor Kusper
2006 Misc conf
Finding Models for Blocked 3-SAT Problems in Linear Time by Systematical Refinement of a Sub-model.
KI
Gábor Kusper
2005 J jnl
Solving the resolution-free SAT problem by submodel propagation in linear time.
Ann. Math. Artif. Intell.
Gábor Kusper
2002 — conf
Integrating Temporal Assertions into a Parallel Debugger.
Euro-Par
József Kovács, Gábor Kusper, Róbert Lovas, Wolfgang Schreiner
2001 — conf
Fault Tolerance for Cluster Computing Based on Functional Tasks.
Euro-Par
Wolfgang Schreiner, Gábor Kusper, Károly Bósa