| Local time membrane systems and time Petri nets B Aman, P Battyányi, G Ciobanu, G Vaszil Theoretical Computer Science 805, 175-192, 2020 | 7 | 2020 |
| Normalization Properties of Symmetric Logical Calculi P Battyanyi Université de Savoie, Chambéry, France, 2007 | 7 | 2007 |
| On the range of a Jordan*-derivation P Battyányi Commentationes Mathematicae Universitatis Carolinae 37 (4), 659-665, 1996 | 6 | 1996 |
| Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities P Battyányi, G Vaszil Journal of Membrane Computing 2, 341-354, 2020 | 4 | 2020 |
| Generalized membrane systems with dynamical structure, Petri nets, and multiset approximation spaces P Battyányi, T Mihálydeák, G Vaszil Unconventional Computation and Natural Computation: 18th International …, 2019 | 4 | 2019 |
| Describing membrane computations with a chemical calculus P Battyányi, G Vaszil Fundamenta Informaticae 134 (1-2), 39-50, 2014 | 4 | 2014 |
| Simulating P systems with membrane dissolution in a chemical calculus B Aman, P Battyányi, G Ciobanu, G Vaszil Natural Computing 15, 521-532, 2016 | 3 | 2016 |
| Rough-Set-Like Approximation Spaces for Formal Languages. P Battyányi, T Mihálydeák, G Vaszil J. Autom. Lang. Comb. 27 (1-3), 79-90, 2022 | 2 | 2022 |
| An estimation for the lengths of reduction sequences of the -calculus P Battyányi, K Nour Logical Methods in Computer Science 14, 2018 | 2 | 2018 |
| An encoding of the -calculus in the String MultiSet Rewriting calculus A Bagossy, P Battyányi Acta Informatica 61 (2), 161-181, 2024 | 1 | 2024 |
| Normalization in the simply typed-calculus P Battyányi, K Nour Mathematical Structures in Computer Science 32 (8), 1066-1098, 2022 | 1 | 2022 |
| Normalization proofs for the un-typed mu mu'-calculus P Battyányi, N Karim | 1 | 2020 |
| Membrane systems and multiset approximation: the cases of inner and boundary rule application P Battyányi, G Vaszil Rough Sets: International Joint Conference, IJCRS 2019, Debrecen, Hungary …, 2019 | 1 | 2019 |
| Strong normalization of lambda-Sym-Prop-and lambda-bar-mu-mu-tilde-star-calculi P Battyanyi, K Nour Logical Methods in Computer Science 13, 2017 | 1 | 2017 |
| Chemical Term Reduction with Active P Systems P Battyányi, G Vaszil International Conference on Membrane Computing, 136-150, 2016 | 1 | 2016 |
| On some nonstandard extensions of Heyting Arithmetic P Battyányi Proceedings of the 6th International Conference on Applied Informatics Eger …, 2004 | 1 | 2004 |
| Jordan*-derivations with respect to the Jordan product P BATTYÁNYI Publ. Math. Debrecen 48, 327-338, 1996 | 1 | 1996 |
| Solving the SAT problem with the string multiset rewriting calculus P Battyányi Computing, 1-14, 2024 | | 2024 |
| Normalization properties of -calculus using realizability semantics P Battyanyi, K Nour arXiv preprint arXiv:2311.04370, 2023 | | 2023 |
| On Some Properties of Nonstandard Heyting Arithmetic P Battyányi Logic and Applications LAP 2023, 9, 2023 | | 2023 |
