You are here

Battyányi Péter

Name: Battyányi Péter
Other profiles: MTMT
Degree
  • PhD, Université Savoie Mont Blanc, Chambéry, Franciaország (2007)

Publication list

Uploaded publications:
25
Publications in DEA:
25
OA:
8
Date range:
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.
    Journal metrics:
    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.
    Journal metrics:
    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.
    Journal metrics:
    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.
    Journal metrics:
    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.
    Journal metrics:
    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.
    Journal metrics:
    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.
    Journal metrics:
    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.
    Journal metrics:
    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.
    Journal metrics:
    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.
    Journal metrics:
    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.
    Journal metrics:
    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.
updated: 2024-10-06, 02:00

SCImago quartiles of
scientific journal articles

Number of scientific articles: 14
Q1 2 (14.3%)
Q2 4 (28.6%)
Q3 5 (35.7%)
N/A 3 (21.4%)
-
OK

SCImago subject areas and categories

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)

Genre chart

Year chart

Language chart