Battyányi Péter

1.

Battyányi, P., Karim, N.: Normalization Properties of [lambda][mü]-calculus using Realizability Semantics.
JAL-FLAP. 13 (3), 381-428, 2026.

DEA

Journal metrics:

Q3 Applied Mathematics (2025)

Q3 Logic (2025)

2.

Battyányi, P.: On rule synchronization in membrane computing.
J. Membr. Comput. [Epub ahead of print], 1-18, 2026.

doi DEA WoS

Journal metrics:

Q3 Applied Mathematics (2025)

Q3 Computational Theory and Mathematics (2025)

3.

Battyányi, P.: Normalization in the [lambda][mü][mü prime]-calculus.
In: 14th International Conference Logic and Applications, LAP 2025, September 24-28, 2025 Dubrovnik, Croatia Book of Abstracts. Eds.: Zvonimir Šikić; Andre Scedrov; Silvia Ghilezan; Zoran Ognjanović; Thomas Studer, Inter University Center Dubrovnik, Dubrovnik, Horvátország, 10-12, 2025.

DEA

4.

Bagossy, A., Battyányi, P.: An encoding of the [lambda]-calculus in the String MultiSet Rewriting calculus.
Acta Inform. 61 (2), 161-181, 2024.

doi DEA WoS Scopus

Journal metrics:

Q3 Computer Networks and Communications

Q3 Information Systems

Q3 Software

5.

Battyányi, P.: Solving the SAT problem with the string multiset rewriting calculus.
Computing. 106, 1321-1334, 2024.

doi DEA WoS Scopus

Journal metrics:

Q2 Theoretical Computer Science

Q1 Computational Mathematics

Q1 Computational Theory and Mathematics

Q2 Computer Science Applications

Q1 Numerical Analysis

Q2 Software

6.

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.

doi DEA WoS Scopus

Journal metrics:

Q2 Computer Science Applications

Q2 Mathematics (miscellaneous)

7.

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

doi DEA WoS Scopus

Journal metrics:

Q3 Computer Science Applications

8.

Battyányi, P., Mihálydeák, T. S., Vaszil, G.: Rough-Set-Like Approximation Spaces for Formal Languages.
J. Autom. Lang. Comb. 27 (1-3), 79-90, 2022.

doi DEA Scopus

Journal metrics:

Q3 Computational Theory and Mathematics

Q3 Discrete Mathematics and Combinatorics

9.

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.

doi DEA Scopus

10.

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

doi DEA WoS Scopus

Journal metrics:

Q2 Computer Science (miscellaneous)

Q3 Theoretical Computer Science

11.

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

doi DEA WoS Scopus

Journal metrics:

Q3 Mathematics (miscellaneous)

12.

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

DEA

13.

Battyányi, P., Mihálydeák, T. S., 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

DEA WoS Scopus

14.

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.

DEA

15.

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

doi DEA Scopus

16.

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

DEA

17.

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, (article identifier: 17), 2018.

doi DEA WoS Scopus

Journal metrics:

Q1 Computer Science (miscellaneous)

Q2 Theoretical Computer Science

18.

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

doi DEA Scopus

19.

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, (article identifier: 34), 2017.

doi DEA WoS Scopus

Journal metrics:

Q2 Computer Science (miscellaneous)

Q3 Theoretical Computer Science

20.

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.

doi DEA WoS Scopus

Journal metrics:

Q3 Computer Science Applications

21.

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

doi DEA

22.

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

doi DEA WoS Scopus

Journal metrics:

Q3 Algebra and Number Theory

Q3 Computational Theory and Mathematics

Q2 Information Systems

Q3 Theoretical Computer Science

23.

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

DEA

24.

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

DEA

25.

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.

DEA

Battyányi Péter

Publication list