Jelenlegi hely

Battyányi Péter

Név: Battyányi Péter
További profilok: MTMT
Fokozat
  • PhD, Université Savoie Mont Blanc, Chambéry, Franciaország (2007)
Szakterület: matematikus

Teljes publikációs lista

A lista áttöltése az MTMT rendszerébe
Hiányzó közlemények feltöltése
Hitelesített Publikációs Lista igénylése
OA letöltési statisztika megtekintése
Feltöltött közlemény:
25
DEA-ban:
25
OA:
8
Publikációs időszak:
1996-2024
2024
  1. Bagossy, A., Battyányi, P.: An encoding of the ?-calculus in the String MultiSet Rewriting calculus.
    Acta Inform. [Epub ahead of print] (-), 1-21, 2024.
    Folyóirat-mutatók:
    Q3 Computer Networks and Communications (2023)
    Q3 Information Systems (2023)
    Q3 Software (2023)
  2. Battyányi, P.: Solving the SAT problem with the string multiset rewriting calculus.
    Computing. [Epub ahead of print] 1-14, 2024.
    Folyóirat-mutatók:
    Q1 Computational Mathematics (2023)
    Q1 Computational Theory and Mathematics (2023)
    Q1 Computer Science Applications (2023)
    Q1 Numerical Analysis (2023)
    Q2 Software (2023)
    Q2 Theoretical Computer Science (2023)
2022
  1. Battyányi, P., Karim, N.: Normalization in the simply typed lambda mu mu' rho theta epsilon-calculus.
    Math. Struct. Comput. Sci. 32 (8), 1066-1098, 2022.
    Folyóirat-mutatók:
    Q2 Computer Science Applications
    Q2 Mathematics (miscellaneous)
  2. Battyányi, P.: On the power of boundary rule application in membrane computing.
    Nat. Comput. 22 (1), 13-25, 2022.
    Folyóirat-mutatók:
    Q3 Computer Science Applications
  3. Battyányi, P., Mihálydeák, T., Vaszil, G.: Rough-Set-Like Approximation Spaces for Formal Languages.
    J. Autom. Lang. Comb. 27 (1-3), 79-90, 2022.
    Folyóirat-mutatók:
    Q3 Computational Theory and Mathematics
    Q3 Discrete Mathematics and Combinatorics
2020
  1. Aman, B., Battyányi, P., Ciobanu, G., Vaszil, G.: Local time membrane systems and time Petri nets.
    Theor. Comput. Sci. 805 175-192, 2020.
    Folyóirat-mutatók:
    Q2 Computer Science (miscellaneous)
    Q3 Theoretical Computer Science
  2. Battyányi, P., Karim, N.: Normalization proofs for the un-typed mu mu'-calculus.
    AIMS Math. 5 (4), 3702-3713, 2020.
    Folyóirat-mutatók:
    Q3 Mathematics (miscellaneous)
2019
  1. Battyányi, P., Vaszil, G.: A Time Petri Net Description of Membrane Systems with Priorities, Dissolution, and Promoters/Inhibitors.
    In: 20th International Conference on Membrane Computing, CMC 20 / Gheorghe Paun, Editura Bibliostar, Ramnicu Valcea, 269-288, 2019. ISBN: 9786068493770
  2. Battyányi, P., Mihálydeák, T., Vaszil, G.: Generalized Membrane Systems with Dynamical Structure, Petri Nets, and Multiset Approximation Spaces.
    In: Unconventional Computation and Natural Computation. UCNC 2019. / McQuillan, I., Seki, S. (eds), Springer, Berlin, 15-29, 2019, (Lecture Notes in Computer Science, 11493) ISBN: 9783030193102
  3. Battyányi, P., Vaszil, G.: Membrane systems and multiset approximation.
    In: Eleventh Workshop on Non-Classical Models of Automata and Applications (NCMA 2019) / Freund Rudolf, Holzer Markus, M. Sempere José (szerk.), Druckerei Riegelnik 1080 Wien, Piaristengasse 19, Wien, 7-14, 2019.
  4. Battyányi, P., Vaszil, G.: Membrane Systems and Multiset Approximation: The Cases of Inner and Boundary Rule Application Membrane Systems and Multiset Approximation: The Cases of Inner and Boundary Rule Application.
    In: Rough Sets : International Joint Conference, IJCRS 2019 Debrecen, Hungary, June 17-21, 2019 Proceedings. Eds.: Tamás Mihálydeák, Fan Min, Guoyin Wang, Mohua Banerjee, Ivo Düntsch, Zbigniew Suraj, Davide Ciucci, Springer, Berlin, 239-252, 2019, (Lecture Notes in Computer Science, ISSN 1611-3349 ; 11499.) ISBN: 9783030228156
  5. Battyányi, P., Vaszil, G.: Membrane Systems with Priority, Dissolution, Promoters and Inhibitors and Time Petri Nets.
    In: Seventeenth Brainstorming Week on Membrane Computing Sevilla, February 5-8, 2019. Eds.: David Orellana-Martín, Gheorghe P¡aun, Agustín Riscos-Núnez, José A. Andreu-Guzmán, Research Group on Natural Computing, Universidad de Sevilla, Sevilla, 59-78, 2019. ISBN: 97884143474
2018
  1. Battyányi, P., Karim, N.: An estimation for the lengths of reduction sequences of the lambda mu rho theta-calculus.
    Log. Methods Comput. Sci. 14 (2), 1-35, 2018.
    Folyóirat-mutatók:
    Q1 Computer Science (miscellaneous)
    Q2 Theoretical Computer Science
2017
  1. Battyányi, P., Vaszil, G.: Chemical Term Reduction with Active P Systems.
    In: Membrane Computing. CMC 2016. / A. Leporati, G. Rozenberg, A. Salomaa, C. Zandron, Springer, Cham., Berlin, 136-150, 2017, (Lecture Notes in Computer ScienceISSN ; 10105) ISBN: 9783319540719
  2. Battyányi, P., Karim, N.: Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi.
    Log. Methods Comput. Sci. 13 (3), 1-22, 2017.
    Folyóirat-mutatók:
    Q2 Computer Science (miscellaneous)
    Q3 Theoretical Computer Science
2016
  1. Aman, B., Battyányi, P., Ciobanu, G., Vaszil, G.: Simulating P systems with membrane dissolution in a chemical calculus.
    Nat. Comput. 15 (4), 521-532, 2016.
    Folyóirat-mutatók:
    Q3 Computer Science Applications
2015
  1. Nagy, B., Battyányi, P., Bátfai, N., Herendi, T., Kovács, G., Gál, Z.: New textbooks on parallel architectures, algorithms and programming.
    In: Proceedings of the 9th International Conference on Applied Informatics January 29 - Februar 1, 2014. Eger, Hungary Volume I. [elektronikus dokumentum]. Ed.: by Kovács Emőd, Kusper Gábor, Kunkli Roland, Tómács Tibor, Eszterházy Károly Főiskola, Eger, 239-249, 2015. ISBN: 9786155297182
2014
  1. Battyányi, P., Vaszil, G.: Describing Membrane Computations with a Chemical Calculus.
    Fundam. Inform. 134 (1-2), 39-50, 2014.
    Folyóirat-mutatók:
    Q3 Algebra and Number Theory
    Q3 Computational Theory and Mathematics
    Q2 Information Systems
    Q3 Theoretical Computer Science
2011
  1. Aszalós, L., Battyányi, P.: Prolog feladatgyűjtemény.
    DE IK, Debrecen, 129 p., 2011.
2010
  1. Nagy, B., Battyányi, P.: DNA-Prolog.
    In: Programs, proofs, processes : 6th conference on computability in Europe, CIE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010. proceedings / [edited by] Fernando Ferreira, Benedikt Loewe, Elvira Mayordomo, Springer, New York, 281-290, 2010.
2005
  1. Battyányi, P.: On some nonstandard extensions of Heyting Arithmetic.
    In: Proceedings of the 6th International Conference on Applied Informatics. Ed.: by Lajos Csőke, [EKF], [Eger], 33-38, [2005].
1996
  1. Battyányi, P.: Jordan *-derivations with respect to the Jordan product.
    Publ. Math.-Debr. 48 (1996) (3-4), 327-338, 1996.
  2. Battyányi, P.: On the range of a Jordan *-derivation.
    Comment. math. Univ. Carolinae. 37 (4), 659-665, 1996.
frissítve: 2024-07-18, 01:14

Tudományos folyóiratcikkek
SCImago besorolása

Tudományos folyóiratcikkek száma: 14
Q1 2 (14.3%)
Q2 4 (28.6%)
Q3 5 (35.7%)
n.a. 3 (21.4%)
-
OK

SCImago kategóriák

Computer Science (10)
Computer Science Applications (4)
Computational Theory and Mathematics (3)
Computer Science (miscellaneous) (3)
Information Systems (2)
Software (2)
Computer Networks and Communications (1)
Mathematics (8)
Theoretical Computer Science (5)
Mathematics (miscellaneous) (2)
Algebra and Number Theory (1)
Computational Mathematics (1)
Discrete Mathematics and Combinatorics (1)
Numerical Analysis (1)

Közlemények megoszlása
műfaj szerint

Közlemények megoszlása
évszám szerint

Közlemények megoszlása
nyelv szerint

Egyéb társszerzők