| 2007 |
|---|
| 22 | EE | Árpád Beszédes,
Tamás Gergely,
Szabolcs Farago,
Tibor Gyimóthy,
Ferenc Fischer:
The Dynamic Function Coupling Metric and Its Use in Software Evolution.
CSMR 2007: 103-112 |
| 21 | EE | Attila Szegedi,
Tamás Gergely,
Árpád Beszédes,
Tibor Gyimóthy,
Gabriella Toth:
Verifying the Concept of Union Slices on Java Programs.
CSMR 2007: 233-242 |
| 20 | EE | Árpád Beszédes,
Tamás Gergely,
Judit Jász,
Gabriella Toth,
Tibor Gyimóthy,
Václav Rajlich:
Computation of Static Execute After Relation with Applications to Software Maintenance.
ICSM 2007: 295-304 |
| 2006 |
|---|
| 19 | EE | Árpád Beszédes,
Tamás Gergely,
Tibor Gyimóthy:
Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms.
SCAM 2006: 21-30 |
| 2002 |
|---|
| 18 | EE | Csaba Faragó,
Tamás Gergely:
Handling Pointers and Unstructured Statements in the Forward Computed Dynamic Slice Algorithm.
Acta Cybern. 15(4): 489-508 (2002) |
| 2001 |
|---|
| 17 | | Árpád Beszédes,
Tamás Gergely,
Zsolt Mihály Szabó,
János Csirik,
Tibor Gyimóthy:
Dynamic Slicing Method for Maintenance of Large C Programs.
CSMR 2001: 105-113 |
| 1989 |
|---|
| 16 | | Tamás Gergely,
Zoltan Szabo:
Quasi-Equations for Logic Programming.
SCAI 1989: 889-899 |
| 1987 |
|---|
| 15 | | Tamás Gergely,
Zoltan Szabo:
Inductive Inference on the Base of Fixed Point Theory.
IJCAI 1987: 932-938 |
| 1986 |
|---|
| 14 | | Zoltan Szabo,
Tamás Gergely:
Fixed Point Equations as Hypotheses in Inductive Reasoning.
AII 1986: 42-54 |
| 1985 |
|---|
| 13 | | Tamás Gergely,
Konstantin Vershinin:
Natural mathematical texts vs. programs.
Mathematical Methods of Specification and Synthesis of Software Systems 1985: 83-100 |
| 1984 |
|---|
| 12 | | Tamás Gergely,
Miklós Szöts:
Cuttable Formulas for Logic Programming.
SLP 1984: 299-310 |
| 1983 |
|---|
| 11 | | Tamás Gergely,
Konstantin Vershinin:
Negative Hyper-Resolution for Proving Statements Containing Transitive Relations.
IJCAI 1983: 877-881 |
| 1982 |
|---|
| 10 | | Ivan Futó,
Tamás Gergely:
A Logical Approach to Simulation (TS-PROLOG).
International Working Conference on Model Realism 1982: 25-46 |
| 9 | | Tamás Gergely:
Algebraic representation of language hierarchies.
Acta Cybern. 5: 307-323 (1982) |
| 8 | | Tamás Gergely,
László Úry:
A Theory of Interactive Programming.
Acta Inf. 17: 1-20 (1982) |
| 1980 |
|---|
| 7 | EE | Hajnal Andréka,
Tamás Gergely,
István Németi:
Model Theoretic Semantics For Many-Purpose Languages And Language Hierarchies.
COLING 1980: 213-219 |
| 6 | | Tamás Gergely,
László Úry:
Program Behaviour Specification through Explicit Time Consideration.
IFIP Congress 1980: 107-111 |
| 5 | | Tamás Gergely,
László Úry:
Nondeterministic programming within the frame of first order classical logic, Part 1.
Acta Cybern. 4: 333-354 (1980) |
| 4 | | Tamás Gergely,
László Úry:
Nondeterministic programming within the frame of first order classical logic, Part 2.
Acta Cybern. 4: 355-375 (1980) |
| 3 | | Tamás Gergely,
Miklós Szöts:
On the incompleteness of proving partial correctness.
Acta Cybern. 4: 45-57 (1980) |
| 1976 |
|---|
| 2 | | Tamás Gergely,
István Németi:
Logical foundations for a general theory of systems.
Acta Cybern. 2: 261-276 (1976) |
| 1975 |
|---|
| 1 | | Hajnal Andréka,
Tamás Gergely,
István Németi:
On the Role of Mathematical Language Concept in the Theory of Intelligent Systems.
IJCAI 1975: 9-14 |
