The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Tamás Gergely: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  22. Computation of Static Execute After Relation with Applications to Software Maintenance. [Citation Graph (, )][DBLP]


Search in 0.014secs, Finished in 0.015secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002