Péter Battyányi

14 papers Journal 11Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
An encoding of the λ-calculus in the String MultiSet Rewriting calculus.
Acta Informatica
Attila Bagossy, Péter Battyányi
2024 J jnl
Solving the SAT problem with the string multiset rewriting calculus.
Computing
Péter Battyányi
2023 J jnl
On the power of boundary rule application in membrane computing.
Nat. Comput.
Péter Battyányi
2022 J jnl
Normalization in the simply typed λμμ'ρθε-calculus.
Math. Struct. Comput. Sci.
Péter Battyányi, Karim Nour
2022 J jnl
Rough-Set-Like Approximation Spaces for Formal Languages.
J. Autom. Lang. Comb.
Péter Battyányi, Tamás Mihálydeák, György Vaszil
2020 J jnl
Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities.
J. Membr. Comput.
Péter Battyányi, György Vaszil
2020 J jnl
Local time membrane systems and time Petri nets.
Theor. Comput. Sci.
Bogdan Aman, Péter Battyányi, Gabriel Ciobanu, György Vaszil
2019 — conf
Generalized Membrane Systems with Dynamical Structure, Petri Nets, and Multiset Approximation Spaces.
UCNC
Péter Battyányi, Tamás Mihálydeák, György Vaszil
2019 — conf
Membrane Systems and Multiset Approximation: The Cases of Inner and Boundary Rule Application.
IJCRS
Péter Battyányi, György Vaszil
2018 J jnl
An estimation for the lengths of reduction sequences of the λμρθ-calculus.
Log. Methods Comput. Sci.
Péter Battyányi, Karim Nour
2017 J jnl
Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi.
Log. Methods Comput. Sci.
Péter Battyányi, Karim Nour
2016 — conf
Chemical Term Reduction with Active P Systems.
Int. Conf. on Membrane Computing
Péter Battyányi, György Vaszil
2016 J jnl
Simulating P systems with membrane dissolution in a chemical calculus.
Nat. Comput.
Bogdan Aman, Péter Battyányi, Gabriel Ciobanu, György Vaszil
2014 J jnl
Describing Membrane Computations with a Chemical Calculus.
Fundam. Informaticae
Péter Battyányi, György Vaszil