Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Tamás Gergely
2010 – today
- 2012
[c21]- [c20]Árpád Beszédes, Tamás Gergely, Lajos Schrettner, Judit Jász, Laszlo Lango, Tibor Gyimóthy: Code coverage-based regression test selection and prioritization in WebKit. ICSM 2012: 46-55
- [c19]Lajos Schrettner, Judit Jász, Tamás Gergely, Árpád Beszédes, Tibor Gyimóthy: Impact Analysis in the Presence of Dependence Clusters Using Static Execute after in WebKit. SCAM 2012: 24-33
- 2011
- [c18]Jesper Thestrup, Tamás Gergely, Peter Beck: Exploring New Care Models in Diabetes Management and Therapy with a Wireless Mobile eHealth Platform. MobiHealth 2011: 203-210
- 2010
- [b1]Oleg Anshakov, Tamás Gergely: Cognitive Reasoning - A Formal Approach. Cognitive Technologies, Springer 2010, ISBN 978-3-540-43058-2, pp. I-X, 1-437
- [c17]Csaba Nagy, Janos Pantos, Tamás Gergely, Árpád Beszédes: Towards a Safe Method for Computing Dependencies in Database-Intensive Systems. CSMR 2010: 166-175
- [c16]Tamás Gergely, Árpád Beszédes, Tibor Gyimóthy, Milan Imre Gyalai: Effect of test completeness and redundancy measurement on post release failures - An industrial experience report. ICSM 2010: 1-10
2000 – 2009
- 2007
- [c15]Á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
- [c14]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
- [c13]Á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
- [c12]Árpád Beszédes, Tamás Gergely, Tibor Gyimóthy: Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms. SCAM 2006: 21-30
- 2002
- [j7]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
- [c11]Á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
1980 – 1989
- 1989
- [c10]
- 1987
- [c9]Tamás Gergely, Zoltan Szabo: Inductive Inference on the Base of Fixed Point Theory. IJCAI 1987: 932-938
- 1986
- [c8]Zoltan Szabo, Tamás Gergely: Fixed Point Equations as Hypotheses in Inductive Reasoning. AII 1986: 42-54
- 1985
- [c7]Tamás Gergely, Konstantin Vershinin: Natural mathematical texts vs. programs. Mathematical Methods of Specification and Synthesis of Software Systems 1985: 83-100
- 1984
- [c6]
- 1983
- [c5]Tamás Gergely, Konstantin Vershinin: Negative Hyper-Resolution for Proving Statements Containing Transitive Relations. IJCAI 1983: 877-881
- 1982
- [j6]
- [c4]Ivan Futó, Tamás Gergely: A Logical Approach to Simulation (TS-PROLOG). International Working Conference on Model Realism 1982: 25-46
- 1981
- [j5]
- 1980
- [j4]Tamás Gergely, László Úry: Nondeterministic programming within the frame of first order classical logic, Part 1. Acta Cybern. 4(4): 333-354 (1980)
- [j3]Tamás Gergely, László Úry: Nondeterministic programming within the frame of first order classical logic, Part 2. Acta Cybern. 4(4): 355-375 (1980)
- [c3]Hajnal Andréka, Tamás Gergely, István Németi: Model Theoretic Semantics For Many-Purpose Languages And Language Hierarchies. COLING 1980: 213-219
- [c2]Tamás Gergely, László Úry: Program Behaviour Specification through Explicit Time Consideration. IFIP Congress 1980: 107-111
1970 – 1979
- 1978
- [j2]Tamás Gergely, Miklós Szöts: On the incompleteness of proving partial correctness. Acta Cybern. 4(1): 45-57 (1978)
- 1975
- [j1]Tamás Gergely, István Németi: Logical foundations for a general theory of systems. Acta Cybern. 2(3): 261-276 (1975)
- [c1]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
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:23 CEST by the dblp team