![]() | ![]() |
| 2009 | ||
|---|---|---|
| 6 | László Kovács, Gergely Kovásznai, Gábor Kusper: Metamodels in generation of UML using NLI-based dialog. SACI 2009: 29-34 | |
| 2008 | ||
| 5 | Tudor Jebelean, Gábor Kusper: Multi-Domain Logic and its Applications to SAT. SYNASC 2008: 3-8 | |
| 2006 | ||
| 4 | Gábor Kusper: Finding Models for Blocked 3-SAT Problems in Linear Time by Systematical Refinement of a Sub-model. KI 2006: 128-142 | |
| 2005 | ||
| 3 | Gábor Kusper: Solving the resolution-free SAT problem by submodel propagation in linear time. Ann. Math. Artif. Intell. 43(1): 129-136 (2005) | |
| 2002 | ||
| 2 | József Kovács, Gábor Kusper, Róbert Lovas, Wolfgang Schreiner: Integrating Temporal Assertions into a Parallel Debugger. Euro-Par 2002: 113-120 | |
| 2001 | ||
| 1 | Wolfgang Schreiner, Gábor Kusper, Karoly Bosa: Fault Tolerance for Cluster Computing Based on Functional Tasks. Euro-Par 2001: 712-716 | |
| 1 | Karoly Bosa | [1] |
| 2 | Tudor Jebelean | [5] |
| 3 | József Kovács | [2] |
| 4 | László Kovács | [6] |
| 5 | Gergely Kovásznai | [6] |
| 6 | Róbert Lovas | [2] |
| 7 | Wolfgang Schreiner | [1] [2] |
Colors in the list of coauthors
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page