Describing Membrane Computations with a Chemical Calculus. - Péter Battyányi; György Vaszil (Fundam. Informaticae, 2014)

Chemical Term Reduction with Active P Systems. - Péter Battyányi; György Vaszil (Int. Conf. on Membrane Computing, 2016)

Simulating P systems with membrane dissolution in a chemical calculus. - Bogdan Aman; Péter Battyányi; Gabriel Ciobanu; György Vaszil (Nat. Comput., 2016)

Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi. - Péter Battyányi; Karim Nour (Log. Methods Comput. Sci., 2017)

An estimation for the lengths of reduction sequences of the λμρθ-calculus. - Péter Battyányi; Karim Nour (Log. Methods Comput. Sci., 2018)

Membrane Systems and Multiset Approximation: The Cases of Inner and Boundary Rule Application. - Péter Battyányi; György Vaszil (IJCRS, 2019)

Generalized Membrane Systems with Dynamical Structure, Petri Nets, and Multiset Approximation Spaces. - Péter Battyányi; Tamás Mihálydeák; György Vaszil (UCNC, 2019)

Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities. - Péter Battyányi; György Vaszil (J. Membr. Comput., 2020)

Local time membrane systems and time Petri nets. - Bogdan Aman; Péter Battyányi; Gabriel Ciobanu; György Vaszil (Theor. Comput. Sci., 2020)

Rough-Set-Like Approximation Spaces for Formal Languages. - Péter Battyányi; Tamás Mihálydeák; György Vaszil (J. Autom. Lang. Comb., 2022)

Normalization in the simply typed λμμ'ρθε-calculus. - Péter Battyányi; Karim Nour (Math. Struct. Comput. Sci., 2022)

On the power of boundary rule application in membrane computing. - Péter Battyányi (Nat. Comput., 2023)

Solving the SAT problem with the string multiset rewriting calculus. - Péter Battyányi (Computing, 2024)

An encoding of the λ-calculus in the String MultiSet Rewriting calculus. - Attila Bagossy; Péter Battyányi (Acta Informatica, 2024)