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.

Battyányi, P.: Solving the SAT problem with the string multiset rewriting calculus.
Computing. [Epub ahead of print] 1-14, 2024.

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, 2023.

Battyányi, P.: On the power of boundary rule application in membrane computing.
Nat. Comput. 22 (1), 13-25, 2022.

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.

Battyányi, P., Vaszil, G.: Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities.
J. Membr. Comput. 2 (4), 341-354, 2020.

Aman, B., Battyányi, P., Ciobanu, G., Vaszil, G.: Local time membrane systems and time Petri nets.
Theor. Comput. Sci. 805 175-192, 2020.

Battyányi, P., Karim, N.: Normalization proofs for the un-typed mu mu'-calculus.
AIMS Math. 5 (4), 3702-3713, 2020.

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

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

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.

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

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

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.

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

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.

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.

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

Battyányi, P., Vaszil, G.: Describing Membrane Computations with a Chemical Calculus.
Fundam. Inform. 134 (1-2), 39-50, 2014.

Battyányi, P.: Formal Verification of Programs.

Aszalós, L., Battyányi, P.: Prolog feladatgyűjtemény.
DE IK, Debrecen, 129 p., 2011.

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.

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].

Battyányi, P.: Jordan *-derivations with respect to the Jordan product.
Publ. Math.-Debr. 48 (1996) (3-4), 327-338, 1996.

Battyányi, P.: On the range of a Jordan *-derivation.
Comment. math. Univ. Carolinae. 37 (4), 659-665, 1996.