Prof. Dr. Benedek Nagy

Publications

Books (in English)

Books (in Hungarian)

  • (bh3) Nagy Benedek: DNS számítógépek és formális modelljeik, Typotex, Budapest, 2014. (DNA computing and its formal models, in Hungarian)
  • (bh2) Herendi Tamás, Nagy Benedek: Párhuzamos algoritmusmodellek, Typotex, Budapest, 2014. (Hungarian version of (be1))
  • (bh1) Nagy Benedek: Új számítási paradigmák, Typotex, Budapest, 2013. (New Computing Paradigms, in Hungarian)

Edited Volumes (in English)

Book Chapters

  • (bc8) Benedek Nagy, Khaled Abuhmaidan: A Continuous Coordinate System for the Plane by Triangular Symmetry, in: Sorana D. Bolboacă and Lorentz Jäntschi (Eds.) Symmetry in Applied Mathematics, MDPI (2021), 53-69. (reprinted journal paper (ij122))
  • (bc7) Benedek Nagy: Linguistic power of permutation languages by regular help, in: Bio-Inspired Models for Natural and Formal Languages, Cambridge Scholars (2011), 135-152.
  • (bc6) Benedek Nagy: 5' → 3' Sensing Watson-Crick Finite Automata, Sequence and Genome Analysis II – Methods and Applications, iConcept Press (2010), 39-56.
  • (bc5) Benedek Nagy: Distances Based on Neighborhood Sequences in the Triangular Grid, Computational Mathematics: Theory, Methods and Applications, Nova Science Publishers (2011), 313-351.
  • (bc4) Benedek Nagy: Graphs of Grammars – Derivations as Parallel Processes, in: Computational Intelligence in Engineering, Studies in Computational Intelligence - SCI 313, Springer (2010), 1-13.
  • (bc3) Benedek Nagy: Derivation trees for context-sensitive grammars, in: (editors: M. Ito, Y. Kobayashi, K. Shoji) Automata, Formal Languages and Algebraic Systems, World Scientific, Singapore (2010), 179-199.
  • (bc2) Benedek Nagy: On a hierarchy of permutation languages, in: (editors: M. Ito, Y. Kobayashi, K. Shoji) Automata, Formal Languages and Algebraic Systems, World Scientific, Singapore (2010), 163-178.
  • (bc1) Benedek Nagy and Robin Strand: Neighborhood Sequences in the Diamond Grid, in: (editors: Reneta P. Barneva, Valentin E. Brimkov) Image Analysis - From Theory to Applications, Research Publishing, Singapore, Chennai (2008), 187-195.

Papers (in International Journals)


Papers (in Hungarian)


Proceedings (of International Conferences)

  • (ic86) Madeeha Fatima, Benedek Nagy: On the Combination of Finite State Transducers and Finite Automata with Translucent Letter, IS2019-MATCOS 2019: Proceedings of the 22nd International Multiconference INFORMATION SOCIETY, Volume I: Middle-European Conference on Applied Theoretical Computer Science, Koper, Slovenia (2019), 27-30.
  • (ic85) Aydin Avkan, Benedek Nagy, Müge Saadetoglu: On the Angles of Change of the Neighborhood Motion Maps on the Triangular Grid, ISPA 2019: 11th International Symposium on Image and Signal Processing and Analysis, Dubrovnik, Croatia, 76-81. (IEEE)
  • (ic84) Benedek Nagy, Zita Kovács: On simple 5'→3' sensing Watson-Crick finite-state transducers, NCMA 2019: Eleventh Workshop on Non-Classical Models of Automata and Applications, Valencia, Spain, 155-170.
  • (ic83) Radim Kocman, Benedek Nagy, Zbynek Krivka, Alexander Meduna: A jumping 5' → 3' Watson-Crick finite automata model, NCMA 2018: Tenth Workshop on Non-Classical Models of Automata and Applications, Kosice, Slovakia, 117-132.
  • (ic82) Khaled Abuhmaidan, Benedek Nagy: Non-bijective translations on the triangular plane, 2018 IEEE 16th World Symposium on Applied Machine Intelligence and Informatics (SAMI 2018), Kosice, Slovakia, 2018, 183-188.
  • (ic81) Laith Alzboon, Bashar Khassawneh, Benedek Nagy: On the Number of Weighted Shortest Paths in the Square Grid, 21st IEEE International Conference on Intelligent Engineering Systems (INES), Larnaca, Cyprus, 2017, 83-90.
  • (ic80) Benedek Nagy, Shaghayegh Parchami, Hamid Mir-Mohammad-Sadeghi: A New Sensing 5'->3' Watson-Crick Automata Concept, AFL 2017: Proceedings 15th International Conference on Automata and Formal Languages, EPTCS 252 (2017), 195-204.
  • (ic79) Dávid Angyal, Benedek Nagy: An extension of the LR parsing algorithm for two-head pushdown automata, NCMA 2017: Ninth Workshop on Non-Classical Models of Automata and Applications, Prague, 71-86.
  • (ic78) Lidija Comic, Paola Magillo, Benedek Nagy: On Hamiltonian Cycles in the Body-Centered Cubic Grid, META: The Second Conference on Mathematics in Engineering: Theory and Applications, Novi Sad, (2017), 5 pages
  • (ic77) Dávid Angyal, Benedek Nagy: On Linear Grammars with Exact Control, MATCOS-2016: Middle-European Conference on Applied Theoretical Computer Science (held in conjunction with the 19th Multi-Conference on Information Society, Ljubljana), Koper, Slovenia, October 2016, 95-98.
  • (ic76) Raed Basbous, Tibor Tajti, Benedek Nagy: Fast Evaluations in Product Logic: Various Pruning Techniques, IEEE WCCI 2016 - IEEE World Congress on Computational Intelligence, FUZZ-IEEE 2016 - the 2016 IEEE International Conference on Fuzzy Systems, Vancouver, Canada, 140-147.
  • (ic75) Lidija Comic, Benedek Nagy: Coordinate systems on 2D and 3D grids, META 2016: The First Conference on Mathematics in Engineering: Theory and Applications, Novi Sad, Serbia, (2016), 127-133.
  • (ic74) Tibor Tajti, Benedek Nagy: Motion sensor data correction using multiple sensors and multiple measurements, SAMI 2016: IEEE 14th International Symposium on Applied Machine Intelligence and Informatics, January 21-23, 2016, Herl'any, Slovakia, 287-291.
  • (ic73) Raed Basbous, Benedek Nagy, Tibor Tajti: Short Circuit Evaluations in Gödel Type Logic, V. Ravi et al. (eds.), Proceedings of the Fifth International Conference on Fuzzy and Neuro Computing (FANCCO - 2015, India), Advances in Intelligent Systems and Computing - AISC 415 (2015), 119-138. (Springer)
  • (ic72) Gergely T. Bálint, Benedek Nagy: Finiteness of Chain-code Picture Languages on the Triangular Grid, ISPA 2015: 9th International Symposium on Image and Signal Processing and Analysis, Zagreb, Croatia, 310-315. (IEEE)
  • (ic71) Lidija Comic, Benedek Nagy: A Combinatorial 3-Coordinate System for the Face Centered Cubic Grid, ISPA 2015: 9th International Symposium on Image and Signal Processing and Analysis, Zagreb, Croatia, 298-303. (IEEE)
  • (ic70) Benedek Nagy: A Family Of Two-Head Pushdown Automata, NCMA 2015: 7th Workshop on Non Classical Models of Automata and Applications, Porto, Portugal, 177-191.
  • (ic69) Dávid Angyal and Benedek Nagy: On Language Families Generated By Controlled Grammars, NCMA 2015: 7th Workshop on Non Classical Models of Automata and Applications, Porto, Portugal, 59-72.
  • (ic68) Elisa Valentina Moisi, Benedek Nagy, Tibor Lukic, Vladimir-Ioan Cretu: Comparing Memetic and Simulated Annealing Approaches for Discrete Tomography on the Triangular Grid, SACI 2015: 10th Jubilee IEEE International Symposium on Applied Computational Intelligence and Informatics, Timiþoara, Romania, 523-528.
  • (ic67) Raed Basbous, Benedek Nagy: Generalized Game Trees and their Evaluation, CogInfoCom 2014: 5th IEEE International Conference on Cognitive Infocommunications, Vietri sul Mare, Italy, 55-60.
  • (ic66) Benedek Nagy, Elisa Valentina Moisi: Binary tomography on the triangular grid with 3 alternative directions - a genetic approach, ICPR 2014: 22nd International Conference on Pattern Recognition, Stockholm, Sweden, 1079-1084 (IEEE Computer Society).
  • (ic65) Beáta Bojda, Katalin Bubnó, Benedek Nagy, Viktor Takács: Visualization and efficiency in teaching mathematics, (in: de la Puerta, J.G., et al. (eds.): International Joint Conference SOCO'14-CISIS'14-ICEUTE'14), Advances in Intelligent Systems and Computing - AISC 299 (Springer, 2014), 555-564.
  • (ic64) László Hegedüs, Benedek Nagy: Representations of Circular Words. AFL 2014: Automata and Formal Languages, Szeged, Hungary, EPTCS 151 (2014), 261-270.
  • (ic63) Benedek Nagy, Péter Battyányi, Norbert Bátfai, Zoltán Gál, Tamás Herendi, György Kovács: New textbooks on parallel architectures, algorithms and programming, ICAI 2014: Proceedings of the 9th International Conference on Applied Informatics, Eger, Hungary, January 29–February 1, 2014. Vol. 1. pp. 239–249.
  • (ic62) Benedek Nagy, S. Roland Major: Connection between interval-valued computing and cellular automata, CINTI 2013: 14th IEEE International Symposium on Computational Intelligence and Informatics, Budapest, Hungary (2013), 225-230.
  • (ic61) Benedek Nagy, Elisa V. Moisi, Vladimir I. Cretu: Discrete Tomography on the Triangular Grid based on Ryser's Results, 8th International Symposium on Image and Signal Processing and Analysis (ISPA 2013), Trieste, Italy, 794-799.
  • (ic60) László Hegedüs, Benedek Nagy: Periodicity of circular words, WORDS 2013, Turku, Finland, TUCS Lecture Notes No. 20 (09.2013), 45-56.
  • (ic59) Elisa Moisi, Benedek Nagy, Vladimir Cretu: Maximum flow minimum cost algorithm for reconstruction of images represented on the triangular grid, IEEE 8th International Symposium on Applied Computational Intelligence and Informatics (SACI 2013), Timisoara, Romania, 35-40.
  • (ic58) Benedek Nagy, László Kovács: Linguistic Applications of Finite Automata with Translucent Letters, ICAART 2013: 5th International Conference on Agents and Artificial Intelligence, Barcelona (2013), vol. 1, 461-469.
  • (ic57) with V. Halász, L. Hegedüs, I. Hornyák: Solving application oriented graph theoretical problems with DNA computing, (J. C. Bansal et al., eds.), Proceedings of Seventh International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA 2012), Advances in Intelligent Systems and Computing (AISC, Springer) 201, 75-85.
  • (ic56) with S. Vályi: Computing discrete logarithm by interval-valued paradigm, (Benedikt Loewe, Glynn Winskel, eds.), Proceedings 8th Workshop on Developments in Computational Models - DCM 2012, Cambridge, England, Electronic Proceedings in Theoretical Computer Science - EPTCS 143 (2014), 76-86.
  • (ic55) with E. V. Moisi, V. I. Cretu: Reconstruction of Binary Images Represented on Equilateral Triangular Grid Using Evolutionary Algorithms, Advances in Intelligent Systems and Computing - AISC 195 (Springer): Soft Computing Applications (2012), 561-571.
  • (ic54) Benedek Nagy: On efficient algorithms for SAT, 13th International Conference on Membrane Computing - CMC13, Budapest, E. Csuhaj-Varjú, M. Gheorghe, Gy. Vaszil (eds.) (2012) 323-339.
  • (ic53) with B. Bojda; G. Máji and G. Mezőfi: Interactive and intelligent business support, IEEE 16th International Conference on Intelligent Engineering Systems - INES 2012, Lisbon, Portugal, 323-328.
  • (ic52) with L. Zámbó: Optimization of the Painting Problem by a Genetic Approach using Interval-values, CINTI 2011, 12th IEEE International Symposium on Computational Intelligence and Informatics, 127-132.
  • (ic51) with F. Otto and M. Vollweiler: Pushdown Automata with Translucent Pushdown Symbols, Theorietag 2011: 21. Theorietag: Automaten und Formale Sprachen (2011), 89-92.
  • (ic50) with R. Strand: A weighted neighbourhood sequence distance function with three local steps, 7th International Symposium on Image and Signal Processing and Analysis (ISPA 2011), Dubrovnik, Croatia, 564-568.
  • (ic49) with E. Moisi: Discrete Tomography on the Triangular Grid: a Memetic Approach, 7th International Symposium on Image and Signal Processing and Analysis (ISPA 2011), Dubrovnik, Croatia, 579-584.
  • (ic48) with F. Otto and M. Vollweiler: Pushdown Automata with Translucent Pushdown Symbols, 3rd International Workshop Non-Classical Models of Automata and Applications (NCMA), Milan, Italy, Österreichischen Computer Gesellschaft, book@ocg.at, 193-208.
  • (ic47) with F. Otto: Deterministic pushdown-CD-systems of stateless deterministic R(1)-automata, AFL 2011, 328-342.
  • (ic46) with F. Otto: Finite-State Acceptors with Translucent Letters, ICAART 2011 - 3rd International Conference on Agents and Artificial Intelligence, BILC 2011 - 1st International Workshop on AI Methods for Interdisciplinary Research in Language and Biology, 3-13.
  • (ic45) Benedek Nagy: Pumping lemmas for special linear languages, ICAI 2010, Eger, Hungary, vol. II. 73-81.
  • (ic44) Benedek Nagy: On Union-complexity of Regular Languages, CINTI 2010, 11th IEEE International Symposium on Computational Intelligence and Informatics, 177-182.
  • (ic43) with O. Egecioglu and L. Hegedüs: Stateless Multicounter 5'→3' Watson-Crick Automata, BIC-TA 2010, Fifth IEEE International Conference on Bio-Inspired Computing: Theories and Applications, Liverpool, UK, (Volume II), 1599-1606.
  • (ic42) with R. Strand: Digital Distance Functions on a Honeycomb Point Lattice, WADGMM 2010 - Workshop on Applications of Discrete Geometry and Mathematical Morphology (a workshop of the 20th International Conference on Pattern Recognition (ICPR2010)), Istanbul, Turkey, 17-21.
  • (ic41) with P. Battyányi: DNA-Prolog, CiE 2010: 6th Conference on Computability in Europe: Programs, Proofs, Processes, Ponta Delgada, Azores, Portugal, (Abstract and Handout Booklet), 281-290.
  • (ic40) Effective Computing by Interval-values, INES 2010, 14th IEEE International Conference on Intelligent Engineering Systems 2010, Las Palmas of Gran Canaria, Spain, 91-96.
  • (ic39) Benedek Nagy: Graphs of generative grammars (2009), 10th International Symposium of Hungarian Researchers on Computational Intelligence and Informatics, Budapest, Hungary, 339-350.
  • (ic38) Benedek Nagy: Isometric transformations of the dual of the hexagonal lattice, ISPA 2009, Salzburg, Austria, 432-437.
  • (ic37) with. P. Leupold, 5'→3' Watson-Crick automata with several runs, Workshop on Non-Classical Models of Automata and Applications (NCMA), (satellite event of the International Symposium on Fundamentals of Computation Theory - FCT), Wroclaw, Poland, (2009) 167-180.
  • (ic36) Benedek Nagy: On a hierarchy of 5'→3' sensing WK finite automata languages, CiE 2009, Computability in Europe 2009: Mathematical Theory and Computational Practice, Abstract Booklet, University of Heidelberg, Germany, 266-275.
  • (ic35) with P. Varga, A New Normal Form for Context-Sensitive Grammars, SOFSEM 2009: (35th Conference on Current Trends in) Theory and Practice of Computer Science, Spindleruv Mlyn, Czech Repulic, Volume II, 60-71.
  • (ic34) with Á. Tajti, Solving Tripartite Matching by Interval-valued Computation in Polynomial Time (2008), CiE 2008, Fourth Conference on Computability in Europe: Logic and Theory of Algorithms (Local Proceedings), Athens, Greece, 435-444.
  • (ic33) Benedek Nagy: Languages Generated by Context-Free and Type AB → BA Rules (2007), CINTI 2007, 8th International Symposium of Hungarian Researchers on Computational Intelligence and Informatics, Budapest, Hungary, 563-572.
  • (ic32) Benedek Nagy: Theory of Neighborhood Sequences on Hexagonal Grids (2007), ISPA 2007, 5th International Symposium on Image and Signal Processing and Analysis, Istanbul, Turkey, 391-396.
  • (ic31) Benedek Nagy: Optimal Neighborhood Sequences on the Hexagonal Grid (2007), ISPA 2007, 5th International Symposium on Image and Signal Processing and Analysis, Istanbul, Turkey, 310-315.
  • (ic30) with Sándor Vályi, Visual reasoning by generalized interval-values and interval temporal logic (2007), VLL 2007, Workshop on Visual Languages and Logic, - VL/HCC 07, IEEE Symposium on Visual Languages and Human Centric Computing, (CEUR Workshop Proceedings Vol-274), Coeur d'Aléne, Idaho, USA, 13-26.
  • (ic29) with Adrian-Horia Dediu, Self-assembling tilings of Boolean tree-like circuits modelled by contextual hypergraph grammars (2007), NSIP2007, IEEE International Workshop on Nonlinear Signal and Image Processing, Bucharest, Romania, 150-153.
  • (ic28) with Sándor Vályi, Interval-valued computing as a visual reasoning system (2007), DMS2007, The Thirteenth International Conference on Distributed Multimedia Systems - VLC'2007, International Workshop on Visual Languages and Computing, San Francisco, CA, USA, 247-250.
  • (ic27) with Adrian-Horia Dediu, Computing Trees with Contextual Hypergraph Grammars (2007), ForLing2007-FCT2007, International Workshop on NON-CLASSICAL FORMAL LANGUAGES IN LINGUISTICS, Budapest, Hungary, 39-53.
  • (ic26) Benedek Nagy: On 5'→3' sensing Watson-Crick finite automata (2007), DNA13, The 13th International Meeting on DNA Computing, Memphis, Tennessee, USA, 327-336.
  • (ic25) with Remco Loos, Parallelism in DNA and Membrane Computing (2007), CiE2007, Computability in Europe 2007: Computation and Logic in the Real World, Siena, Italy, 283-287.
  • (ic24) with Sándor Vályi, Interval-valued computations without the product operator (2007), ICAI 2007, 7th International Conference on Applied Informatics, Eger, Hungary, volume I. 83-90.
  • (ic23) with Ágota Orosz, Simple digital objects on Z2 (2007), ICAI 2007, 7th International Conference on Applied Informatics, Eger, Hungary, volume I. 139-146.
  • (ic22) Benedek Nagy: On the Notion of Parallelism in Artificial and Computational Intelligence (2006), Proceedings of the 7th International Symposium of Hungarian Researchers on Computational Intelligence, Budapest, Hungary, 533-541.
  • (ic21) Benedek Nagy: Left-most derivation and shadow-pushdown automata for context-sensitive languages (2006), Proceedings of the 10th WSEAS International Conference on Computers, Athens, Greece, 962-967.
  • (ic20) with M. Kósa and J. Pánovics, Megoldáskereső algoritmusok hatékonyságának vizsgálata az állapottér-reprezentáció függvényében (Performance Analysis of Search Algorithm Depending on the State Space Representation) (2006), SzámOkt 2006 Számítástechnika az oktatásban XVI. nemzetközi konferencia, 16th International Conference in Computer Science and Education, Sovata, Romania, 76-81.
  • (ic19) with Sándor Vályi, Solving a PSPACE-complete problem by a linear interval-valued computation, CiE 2006, Computability in Europe 2006: Logical Approaches to Computational Barriers, University of Wales Swansea, UK, 216-225.
  • (ic18) A general fuzzy logic using intervals (2005), 6th International Symposium of Hungarian Researchers on Computational Intelligence, Budapest, Hungary, 613-624.
  • (ic17) Benedek Nagy: Transformations of the triangular grid (2005), GRAFGEO, Third Hungarian Conference on Computer Graphics and Geometry, Budapest, Hungary, 155-162.
  • (ic16) Benedek Nagy: Metric and non-metric distances on Zn by generalized neighbourhood sequences (2005), ISPA 2005, 4th International Symposium on Image and Signal Processing and Analysis, Zagreb, Croatia, 215-220.
  • (ic15) Benedek Nagy: Many-valued Logics and the Logic of the C Programming Language (2005), ITI 2005, 27th International Conference on Information Technology Interfaces, Cavtat/Dubrovnik, Croatia, 657-662.
  • (ic14) with Beáta Bojda, György Barna Iszály and Zsuzsa Kőműves, On Development Skills by Computer Games Based on a Pilot Study (2005), ITI 2005, 27th International Conference on Information Technology Interfaces, Cavtat/Dubrovnik, Croatia, 355-360.
  • (ic13) Benedek Nagy: An interval-valued computing device (2005), CiE 2005, "Computability in Europe": New Computational Paradigms, Amsterdam, Netherlands, 166-177.
  • (ic12) Benedek Nagy: A Normal Form for Regular Expressions (2004), DLT'04, Eighth International Conference on Developments in Language Theory, Auckland, New Zealand, (CDMTCS-252) 10 pages.
  • (ic11) Benedek Nagy: Non-metrical distances on the hexagonal plane (2004), PRIA-7-2004, 7th International Conference on Pattern Recognition and Image Analysis: New Information Technologies, St. Petersburg, Russian Federation, 335-338.
  • (ic10) Benedek Nagy: A symmetric coordinate frame for hexagonal networks (2004), IS-TCS'04, Theoretical Computer Science - Information Society, Ljubljana, Slovenia, 193-196.
  • (ic9) Benedek Nagy: Derivations in Chomsky-type grammars in mirror of parallelism (2004), IS-TCS'04, Theoretical Computer Science - Information Society, Ljubljana, Slovenia, 181-184.
  • (ic8) with Gergely Lakatos, Games with few players (2004), ICAI'2004, 6th International Conference on Applied Informatics, Eger, Hungary, II-187-196.
  • (ic7) with András Hajdu and Zoltán Zörgő, Indexing and segmenting colour images using neighbourhood sequences (2003), ICIP'03, IEEE International Conference on Image Processing, Barcelona, Spain, I-957-960.
  • (ic6) Benedek Nagy: A Family of Triangular Grids in Digital Geometry (2003), ISPA'03, 3rd International Symposium on Image and Signal Processing and Analysis, Rome, Italy, 101-106.
  • (ic5) with Beáta Bojda, Items of technological planning and education in Hungary (2003), ITI 2003, 25th International Conference on Information Technology Interfaces, Cavtat, Croatia, 335-340.
  • (ic4) Benedek Nagy: Boolean programming, truth-teller-liar puzzles and related graphs (2003), ITI 2003, 25th International Conference on Information Technology Interfaces, Cavtat, Croatia, 663-668.
  • (ic3) Benedek Nagy: Finding Shortest Path with Neighborhood Sequences in Triangular Grids (2001), ITI-ISPA 2001, 2nd IEEE R8-EURASIP International Symposium on Image and Signal Processing and Analysis, Pula, Croatia, 55-60.
  • (ic2) Benedek Nagy: Distance functions based on generalized neighbourhood sequences in finite and infinite dimensional space (2001), ICAI'01, 5th International Conference on Applied Informatics, Eger, Hungary, 183-190.
  • (ic1) with Márk Kósa, Logical puzzles (truth-tellers and liars)(2001), ICAI'01, 5th International Conference on Applied Informatics, Eger, Hungary, 105-112.


Proceedings (of Hungarian Conferences)

Other International Conference Presentations with Abstracts (1-2 pages)

  • (ia25) Benedek Nagy: On the NP-completeness of the Word Problem for Permutation Grammars, International Workshop in honor of Masami Ito's 77th birthday and Pál Dömösi's 75th birthday: DLT's Satellite Workshop in Kyoto, Japan, September 2018.
  • (ia24) Benedek Nagy: On 5'-3' Watson-Crick finite and pushdown automata, Szeged Workshop on Discrete Structures, SWORDS 2017, Szeged, Hungary, 2017.
  • (ia23) Benedek Nagy: Fractal automata, SWORDS: Szeged WORkshop on Discrete Structures, Szeged, Hungary, 2014.
  • (ia22) Benedek Nagy, Zita Kovács: On Special 5' → 3' Sensing Watson-Crick Finite-State Transducers, CiE 2014: Computability in Europe: Language, Life, Limits, Budapest, Hungary, 2014.
  • (ia21) Kinga Fogarasi, Benedek Nagy: A nondeterministic parser for Perm2 grammars, 10th Joint Conference on Mathematics and Computer Science, Cluj-Napoca, Romania, 2014.
  • (ia20) with S. Vályi: The characterization of NP within interval-valued computing, First International Conference on Logic and Relativity: honoring István Németi's 70th birthday, Budapest, Hungary, 2012.
  • (ia19) László Hegedüs, Benedek Nagy: Periodicity of Circular Words, (CS)2 - The Eighth Conference of PhD Students in Computer Science, Szeged, Hungary (2012), p. 22.
  • (ia18) with V. Halász, L. Hegedüs and I. Hornyák: Solving application oriented graph theoretical problems with DNA computing, TURING CENTENARY CONFERENCE Computability in Europe, CiE 2012 - How the World Computes, Cambridge, UK, 2012.
  • (ia17) with T. Kádek: Generalized logic and set theory, MaCS'12: 9th Joint Conference on Mathematics and Computer Science, Siófok, Hungary, page 71.
  • (ia16) Finite and Pushdown Automata with Tranclucent Letters, Mini-workshop on discrete models and methods 2011, Szeged, Hungary.
  • (ia15) with S. Vályi: Polynomial solution to Discrete Logarithm Problem in Interval-valued computing, CECC 2011 - 11th Central European Conference on Cryptography, Debrecen, Hungary
  • (ia14) with S. Vályi: Prime factorization by interval-valued computing, NTA 2010 - Number Theory and its Applications - An International Conference Dedicated to Kálmán Győry, Attila Pethő, János Pintz, András Sárközy, October, 2010, Debrecen, Hungary
  • (ia13) with G. Horváth: Pumping lemmas for linear and nonlinear context-free languages, 8th MaCS, 8th Joint Conference on Mathematics and Computer Science, Komárno, Slovakia
  • (ia12) Benedek Nagy: Pumping lemmas for k-rated linear languages, ALRT - PALI 65, International Conference on Automata, Languages and Related Topics, Debrecen, Hungary
  • (ia11) Benedek Nagy: On hierarchy of permutation languages, AFLAS 2008, International Workshop on Automata, Formal Languages and Algebraic Systems, Kyoto Seminar House, Kyoto, Japan
  • (ia10) Benedek Nagy: Derivation trees for context-sensitive grammars, AFLAS 2008, International Workshop on Automata, Formal Languages and Algebraic Systems, Kyoto Seminar House, Kyoto, Japan
  • (ia9) with B. Bojda and Gy. B. Iszály: Computer games and development skills at young men and women in Hungary, The 3rd Christina Conference on Women's Studies - The 4th European Gender & ICT Symposium, March 2007, Helsinki, Finnland, pp. 32-33.
  • (ia8) Benedek Nagy: Graph of grammars, 6th MaCS, 6th Joint Conference on Mathematics and Computer Science, July 2006, Pécs, Hungary
  • (ia7) with M. Kósa and J. Pánovics: Performance Analysis of Search Algorithm Depending on the State Space Representation, 6th MaCS, 6th Joint Conference on Mathematics and Computer Science, July 2006, Pécs, Hungary
  • (ia6) with M. Kudlek: On Distances of Languages, 6th MaCS, 6th Joint Conference on Mathematics and Computer Science, July 2006, Pécs, Hungary
  • (ia5) with J. Farkas and Sz. Baják: Notes on approximating the Euclidean circle in square grids, 6th MaCS, 6th Joint Conference on Mathematics and Computer Science, July 2006, Pécs, Hungary
  • (ia4) with Tibor Csáki: A decomposition of finite indexed languages for multiplicative Kleene algebras (2005), International Conference on Algebra: A Conference in Honor of Adalbert Bovdi's 70th Birthday, Debrecen, Hungary
  • (ia3) with Szilárd Fazekas: Primitive words and permutations (2004), CSCS, Conference of PhD Students in Computer Science, Szeged, Hungary
  • (ia2) Benedek Nagy: Duality of SW- and WS-type logical puzzles and their solution using graphs (2004), 5th MaCS, 5th Joint Conference on Mathematics and Computer Science, Debrecen, Hungary
  • (ia1) Benedek Nagy: Metrics based on neighbourhood sequences in triangular grids (2001), Fourth Joint Conference on Mathematics and Computer Science, Felix-Oradea, Romania


Abstracts in Hungarian Conferences (1-2 pages)

  • (ha4) with Beáta Bojda and György Barna Iszály: A "technokrata" játékos neme, játéka és identitása (2007), A női/férfi identitás és tapasztalat, konferencia, Szeged
  • (ha3) with Márk Kósa: Igazmondó-hazug fejtörők gráfelméleti megközelítésben (2001), XXV. MOK, Conference on Operation Research in Hungary, Debrecen
  • (ha2) Általános szomszédsági sorozatokon alapuló távolságmérés véges és végtelen dimenziós digitális térben (2000), PhD conference in Mathematics, Budapest
  • (ha1) Intervallum-logika (1997), OTDK (Scientific Student Conference), Eger

Other Presentations in International Conferences

  • (p1) Benedek Nagy: A Combinatorial 4-Coordinate System for the Face Centered Cubic Grid, Symposium Geometry Processing 2015, Graz, Austria (poster, co-author: Lidija Comic).

Other Presentations in Hungarian

  • (h19) Automaták és Párhuzamosság (2013), A JÖVÕ INTERNETÉNEK ELMÉLETI ALAPJAI KONFERENCIA, Mátrafüred
  • (hl8) with Sándor Vályi: Intervallum-értékű számítások és bonyolult számítási problémák megoldása (2011), Erősen párhuzamos algoritmusok prímfaktorizációra és a diszkrét logaritmus kiszámítására workshop, Debrecen
  • (hl7) with Ervin Melkó: Véletlen-stratégiai játékok kiértékelése (2006), Intelligens Rendszerek Fiatal Kutatók Szimpóziuma 2006, Budapest
  • (hl6) Some new results about the Chomsky-type formal languages (2005), 4th Informatics Day "Béla Gyires", Debrecen
  • (hl5) Experience on education and research at Indiana University (2003), Miniconference of Department of Computer Science, Debrecen
  • (hl4) On neighbourhood sequences and logical puzzle graphs (2002), Miniconference dedicated to Attila Pethő, Debrecen
  • (hl3) Távolságmérés a digitális geometriában, PhD poster conference (2000), Budapest
  • (hl2) Időjátékok (Timegames) (1996) OTDK (Scientific Student Conference), Debrecen
  • (hl1) Rényi entrópiák és reális gázok (Rényi entropies and real gases) (1994) OTDK (Scientific Student Conference), Debrecen

Theses, Technical Reports

  • (tr16) On Globally Deterministic CD-Systems of Stateless R-Automata with Window Size One, Kasseler Informatikschriften 2011, 1, Kassel University, Germany (co-author: F. Otto)
  • (tr15) CD-Systems of Stateless Deterministic R(1)-Automata Governed by an External Pushdown Store, Kasseler Informatikschriften 2010, 4, Kassel University, Germany (co-author: F. Otto)
  • (tr14) On CD-systems of stateless deterministic R-automata with window size one, Kasseler Informatikschriften 2010, 2, Kassel University, Germany (co-author: F. Otto)
  • (tr13) Iteration-free Normal Form for Context-Sensitive Grammars, Tech. Rep., Dept. Math. and Fac. Inf., Univ. Debrecen, 2007/8. (co-author: Péter Varga)
  • (t12) Fejtörők, gráfok és formális nyelvek (Puzzles, graphs and formal languages), habilitation thesis, University of Debrecen, 2006.
  • (tr11) with Robin Strand, Some properties for distances based on neighbourhood sequences in the face-centered cubic grid and the body-centered cubic grid. Technical report, Centre for Image Analysis, Uppsala University, Sweden (2005) Internal report 39.
  • (t10) Neighbourhood sequences in different grids, PhD thesis, University of Debrecen, 2003.
  • (tr9) Optimal Boole-programming with graphs, Tech. Rep., Inst. Math. Inf., Univ. Debrecen, 2002/18.
  • (tr8) Generalized triangular grids in digital geometry, Tech. Rep., Inst. Math. Inf., Univ. Debrecen, 2002/19.
  • (tr7) Interval-valued logic as generalization of many valued logics, Tech. Rep., Inst. Math. Inf., Univ. Debrecen, 2002/20.
  • (tr6) Neighbourhood sequences in triangular grids, Tech. Rep., Inst. Math. Inf., Univ. Debrecen, 2001/16.
  • (tr5) Igazmondó-hazug fejtörők és gráfjaik (Logical puzzles and their graphs), Tech. Rep., Inst. Math. Inf., Univ. Debrecen, 2001/17.
  • (t4) Szövegszerkesztési példatár (Teaching of Word-processing) (1999), thesis
  • (t3) Intervallum-logika (Interval-logic) (1998), thesis
  • (t2) Időjátékok (Games depend on time) (1997), thesis
  • (t1) Bolyongás rácson vizsgálata Rényi entrópiákkal (On Fractal properties of Random Walk in Grids) (1996), thesis

Lecture Notes, University Textbooks


Last update 10.10.2023, Benedek Nagy

Prof. Dr. Benedek Nagy