( en | de | ru )

 

Disambiguation of "Kusper, Gábor"

Author of the publication

copydeleteadd this publication to your clipboard
Fault Tolerance for Cluster Computing Based on Functional Tasks.

, , and . Euro-Par, volume 2150 of Lecture Notes in Computer Science, page 712-716. Springer, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Tibor Gábori

Gábor Hegyi

Gábor Köller

Gábor Kiss

Gábor Vészi

 

Other publications of authors with the same name

Experiments with Automated Reasoning in the Class., , , , and . CICM, volume 13467 of Lecture Notes in Computer Science, page 287-304. Springer, (2022)Cognitive Code Quality Improvement with Pattern Recognition and Recommendation by Examples., , , , , and . CogInfoCom, page 359-364. IEEE, (2020)Finding Models for Blocked 3-SAT Problems in Linear Time by Systematical Refinement of a Sub-model.. KI, volume 4314 of Lecture Notes in Computer Science, page 128-142. Springer, (2006)Adaption of NNS classification to domain of category values., and . SISY, page 299-303. IEEE, (2013)Solving the resolution-free SAT problem by submodel propagation in linear time.. Ann. Math. Artif. Intell., 43 (1): 129-136 (2005)Integrating Temporal Assertions into a Parallel Debugger., , , and . Euro-Par, volume 2400 of Lecture Notes in Computer Science, page 113-120. Springer, (2002)How to generate weakly nondecisive SAT instances., , and . SISY, page 265-269. IEEE, (2013)Metamodels in generation of UML using NLI-based dialog., , and . SACI, page 29-34. IEEE, (2009)The BWConverter Toolchain: An Incomplete Way to Convert SAT Problems into Directed Graphs., , and . ICAI, volume 2650 of CEUR Workshop Proceedings, page 24-29. CEUR-WS.org, (2020)Classification of SAT Problem Instances by Machine Learning Methods., , and . ICAI, volume 2650 of CEUR Workshop Proceedings, page 94-104. CEUR-WS.org, (2020)