Várterész Magda publikációs listája

Átírás

1 Várterész Magda publikációs listája [1.] Fazekas K Anna, Fazekas Gábor, Várterész Magda: A számítógéppel támogatott oktatás egy SQC alapú minőségbiztosítási modelljéről In: Kunkli Roland, Papp Ildikó, Rutkovszky Edéné (szerk.) Informatika a felsőoktatásban Konferencia helye, ideje: Debrecen, Magyarország, Debrecen: Debreceni Egyetem Informatikai Kar, pp (ISBN: ) [2.] Koós Dániel, Várterész Magda: E-learning a számítástudomány oktatásában In: Kunkli Roland, Papp Ildikó, Rutkovszky Edéné (szerk.) Informatika a felsőoktatásban Konferencia helye, ideje: Debrecen, Magyarország, Debrecen: Debreceni Egyetem Informatikai Kar, pp (ISBN: ) [3.] Pásztor Varga K, Alagi G, Várterész M: Many-valued logics implications and semantic consequences ACTA UNIVERSITATIS SAPIENTIAE INFORMATICA 5:(2) pp (2013) [4.] Anna K Fazekas, Gábor Fazekas, Magda Várterész: An SQC based model for the quality impovement of computer aided teaching In: Zoltán Csörnyei (szerk.) MaCS 12. 9th Joint Conference on Mathematics and Computer Science: ABSTRACTS. 104 p. Konferencia helye, ideje: Siófok, Magyarország, Budapest: ELTE, p. 37. [5.] Pásztor Varga K, Várterész M: Many-valued logics -- theorem proving problems In: Horia F Pop, Antal Bege (szerk.) 8th Joint Conference on Mathematics and Computer Science: MaCS 2010: Komárno, Slovakia, July 14-17, 2010: selected papers. 416 p. Konferencia helye, ideje: Komárno, Szlovákia, Győr: Novadat, pp (ISBN: ) [6.] Kádek T, Robu J, Várterész M: Matematikai logika példatár Kolozsvár: Kolozsvári Egyetemi Kiadó, p. (ISBN: ) [7.] Pásztor Varga K, Várterész M: Many-valued logic, mappings, ICF graphs, normal forms ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 31: pp (2009) Függő idéző: 1 Összesen: 1 Norbert Kézdi, Katalin Pásztor Varga, Eena Jakó: Neighborhood principle driven ICF algorithm and graph distance calculations. ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA (ISSN: ) 36: pp (2012)

2 [8.] Fazekas G, Juhász I, Várterész M: A programtervező informatikus szak oktatásának tapasztalatai a Debreceni Egyetem Informatikai Karán Informatika a felsőoktatásban 2008: Előadás-összefoglalók és teljes előadást tartalmazó CD-melléklet. 227 p. Konferencia helye, ideje: Debrecen, Magyarország, Debrecen: Debreceni Egyetem Informatikai Kar, Paper A22. (ISBN: ) Függő idéző: 1 Összesen: 1 I Juhász, M Kósa, A Vágner: Theaching Database Systems at the Faculty of Informatics at the University of Debrecen. In: A Egri-Nagy, E Kovács, G Kovásznai, G Kusper, T Tómács (szerk.) : Proc. of the 8th International Conference on Applied Informatics. (Vol. 2) Eger: BVB Nyomda és Kiadó Kft., (ISBN ) pp [9.] K Pásztor Varga, M Várterész: A lattice theoretical tool for simplification of normal forms in m-valued logic In: G Kassay (szerk.) 7th Joint Conference on Mathematics and Computer Science: Book of Abstracts. Konferencia helye, ideje: Cluj-Napoca, Románia, Cluj-Napoca: Babes-Bolyai University, p. 70. [10.] Pásztor Varga K, Várterész M: Languages of logic and their applications COMPUTERS AND MATHEMATICS WITH APPLICATIONS 55:(8) pp (2008) Folyóirat szakterülete: Computational Theory and Mathematics helyzete: 55/197 (Q2) Folyóirat szakterülete: Computational Mathematics helyzete: 43/104 (Q2) Folyóirat szakterülete: Modeling and Simulation helyzete: 52/297 (Q1) Független idéző: 1 Összesen: 1 F Al-Saqqar, J Bentahar, K Sultan: On the soundness, completeness and applicability of the logic of knowledge and communicative commitments in muti-agent systems. EXPERT SYSTEMS WITH APPLICATIONS (ISSN: ) 43: pp (2016) [11.] Pásztor Varga K, Várterész M: A logika helye az informatikusok alap- és mesterképzésében Informatika a felsőoktatásban 2008: Előadás-összefoglalók és teljes előadást tartalmazó CD-melléklet. 227 p. Konferencia helye, ideje: Debrecen, Magyarország, Debrecen: Debreceni Egyetem Informatikai Kar, p. (ISBN: ) [12.] Pásztor Varga K, Várterész M: Computer science, logic, informatics education JOURNAL OF UNIVERSAL COMPUTER SCIENCE 12:(9) pp (2006) Folyóirat szakterülete: Computer Science (miscellaneous) helyzete: 67/200 (Q2) Folyóirat szakterülete: Theoretical Computer Science helyzete: 66/115 (Q3) [13.] Pásztor Varga K, Várterész M: Remarks to the Effectiveness of some Resolution Strategies In: Csörnyei Z (szerk.) Book of Abstracts, MaCS'06: 6th Joint Conference on Mathematics and Computer Science. Konferencia helye, ideje: Pécs, Magyarország, Pécs: p. 73.

3 [14.] Pásztor Varga, M Várterész: Languages of Logic and Applications In: Csőke L, Olajos P, Szigetváry P, Tómács T (szerk.) Proceedings of the 6th International Conference on Applied Informatics I-II. 503 p. Konferencia helye, ideje: Eger, Magyarország, Eger: Eszterházy Károly Tanárképző Főiskola (EKTF), p [15.] Pásztor Varga K, Várterész M: Számítástudomány, logika, informatikaoktatás Informatika a felsőoktatásban, 2005: Előadásösszefoglalók és teljes előadást tartalmazó CD-melléklet. 288 p. Konferencia helye, ideje: Debrecen, Magyarország, Debrecen: Debreceni Egyetem, Paper F71. (ISBN: ) [16.] Pásztor Varga K, Várterész M: Usablity of some theorem proving systems PURE MATHEMATICS AND APPLICATIONS 15:(2-3) pp (2004) Független idéző: 4 Összesen: 4 G Dévai: Programming Language Elements for Proof Construction. In: Z Csörnyei (szerk.) 6th Joint Conf. on Math. and Comp. Sci. Pécs, Magyarország: pp G Dévai, Z Csörnyei: Separation logic style reasoning in a refinement based language. In: Proc. of the 7th International Conference on Applied Informatics. (Vol. 2) Eger: BVB Nyomda és Kiadó Kft., pp G Dévai, N Pataki: Towards verified usage of the C++ Standard Template Library. In: Proc. of. the 10th Symposium on Programming Languages and Software Tools Eötvös University Press, (ISBN ) pp G Dévai, N Pataki: A TOOL FOR FORMALLY SPECIFYING THE C++ STANDARD TEMPLATE LIBRARY. ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA (ISSN: ) 31: pp (2009) [17.] Pásztor Varga K, Várterész M: Some Rewriting Systems as a Background of Proving Methods In: Proceedings of the Kalmár Workshop on Logic and Computer Science. Konferencia helye, ideje: Szeged, Magyarország, pp [18.] Pásztorné Varga K, Várterész M: A matematikai logika alkalmazásszemléletű tárgyalása Budapest: Panem Kiadó, p.(isbn: ) Független idéző: 9 Összesen: 9 Iványi Antal: Párhuzamos algoritmusok. ELTE - Eötvös Kiadó, p. (ISBN ) Mecsei Z, Vályi S: A Gentzen-style extension of natural deduction - adjusted for undergraduate informatics studies. In: Pethő A, Herdon M (szerk.) Informatika a Felsőoktatásban. Debrecen, Magyarország: Debrecen: (2005.), pp. Paper D61. ISBN: (Debreceni Egyetem Informatikai Kar) Kovásznai Gergely: HyperS Tableaux Heuristic Hyper Tableaux. ACTA CYBERNETICA- SZEGED (ISSN: X) 17: pp (2005) Nagy Benedek: Új elvű számítógépek. Debrecen: Debreceni Egyetem Informatikai Kar, Iványi Antal: Angol-magyar informatikai szótár. Tinta Könyvkiadó, Baksáné Varga Erika: Ontology-based Semantic Annotation and Knowledge Representation in a Grammar Induction System. 116 p Disszertáció /PhD Takács Márta: A lágy számítási módszerek első öt évtizede. LETUNK 42: (2) pp (2012) Edgar Serna M: La lógica en las ciencias computacionales: Logic in Computer Science. Revista Educación en Ingeniería (ISSN: ) 8: (15) pp (2013)

4 Misetáné Burján A: The appearance of the characteristic features of the mathematical thinking in the thinking of a chess player. TEACHING MATHEMATICS AND COMPUTER SCIENCE (ISSN: ) 12: (2) pp (2014) [19.] Pásztor Varga K, Várterész M: Comparison and usability of two rewriting systems for theorem proving PURE MATHEMATICS AND APPLICATIONS 13:(1-2) pp (2002) Független idéző: 2 Összesen: 2 Bognár Katalin: Klasszifikáció az eset alapú következtetőrendszerekben. ALKALMAZOTT MATEMATIKAI LAPOK (ISSN: ) 21: pp (2004) Tamás Kádek: PRESS-READY DEDUCTION TREES IN CLASSICAL LOGIC USING POINT- PLUS-EXPRESSIONS. ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA (ISSN: ) 37: pp (2012) [20.] Pásztorné Varga K, Várterész M, Bognár K: Az alkalmazás-orientált logika oktatásának problémái ma a tudományegyetemeken In: Arató Péter, Herdon Miklós (szerk.) Informatika a felsőoktatásban 2002: Konferencia kiadvány: Előadás-összefoglalók és teljes előadást tartalmazó CD-melléklet. 262 p. Konferencia helye, ideje: Debrecen, Magyarország, Debrecen: Debreceni Egyetem, Paper E04. (ISBN: ) [21.] Várterész Magda, Nagy Benedek, Kósa Márk, Pánovics János: A Mesterséges intelligencia tárgy bevezető kurzusának gyakorlatai a Debreceni Egyetemen In: Arató Péter, Herdon Miklós (szerk.) Informatika a felsőoktatásban 2002: Konferencia kiadvány: Előadás-összefoglalók és teljes előadást tartalmazó CD-melléklet. 262 p. Konferencia helye, ideje: Debrecen, Magyarország, Debrecen: Debreceni Egyetem, pp (ISBN: ) [22.] Pásztor Varga K, Várterész M: A generalized approach to the theorem proving methods In: Kovács Emőd, Winkler Zoltán (szerk.) Proceedings of the 5th international conference on applied informatics: Education and other fields of applied informatics, computer graphics, computer statistics and modeling. 250 p. Konferencia helye, ideje: Eger, Magyarország, Eger: Molnár és Társa 2001 Kft., pp Független idéző: 2 Összesen: 2 Kovásznai Gergely: Linear Clause Generation by Tableaux and DAGs. TEACHING MATHEMATICS AND COMPUTER SCIENCE (ISSN: ) 5: (1) pp (2007) Kádek Tamás: PRESS-READY DEDUCTION TREES IN CLASSICAL LOGIC USING POINT- PLUS-EXPRESSIONS. ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA (ISSN: ) 37: pp (2012) [23.] Várterész M: Accelerated convergence in Newton-like methods JOURNAL OF MATHEMATICAL SCIENCES (NEW YORK) 103:(4) pp (2001) Folyóirat szakterülete: Mathematics (miscellaneous) helyzete: 140/195 (Q3) Folyóirat szakterülete: Applied Mathematics helyzete: 182/241 (Q4) Folyóirat szakterülete: Statistics and Probability helyzete: 94/103 (Q4)

5 [24.] Várterész M: Iterációs eljárások nem-lineáris egyenletek megoldására 59 p Disszertáció /PhD Független idéző: 1 Összesen: 1 J Abaffy, A Galántai: An always convergent algorithm for global minimization of univariate Lipschitz functions. ACTA POLYTECHNICA HUNGARICA (ISSN: ) 10: (7) pp (2013) [25.] Várterész M: Theorem proving methods in educational practice In: Kovács E (szerk.) Education and other fields of applied informatics, computer graphics, computer statistics and modeling: Proceedings of the 3rd International Conference on Applied Informatics. 312 p. Konferencia helye, ideje: Eger; Noszvaj, Magyarország, Eger: Nyomda Kft., pp [26.] Várterész M: Accelerated convergence in Krawczyk's method BULLETINS FOR APPLIED MATHEMATICS LXXVIII: pp (1996) [27.] Várterész M: Érintő-konvexfüggvényekkel generált egyenletmegoldó iterációk ALKALMAZOTT MATEMATIKAI LAPOK 18: pp (1994) [28.] Várterész M: A mesterséges intelligencia oktatása a KLTE-n In: Herdon Miklós, Pethő Attila (szerk.) Informatika a felsőoktatásban: országos konferencia: Debrecen, szeptember p. Konferencia helye, ideje: Debrecen, Magyarország, Debrecen: Debreceni Universitas Kht, pp kötet [29.] Várterész M: On an always convergent iteration method for the solution of nonlinear equations PUBLICATIONES MATHEMATICAE DEBRECEN 40:(1-2) pp (1992) [30.] Várterész M: Equation solving iterations based on tangential convex functions PUBLICATIONES MATHEMATICAE DEBRECEN 39:(3-4) pp (1991) [31.] Várterész M: Mindig konvergens egyenletmegoldó iterációk Disszertáció /Egyetemi doktor [32.] Várterész M: On always convergent iteration methods of tangential convex functions for solving nonlinear equations PUBLICATIONES MATHEMATICAE DEBRECEN 32: pp (1985)