Normalization Properties of Symmetric Logical Calculi P Battyanyi Université de Savoie, Chambéry, France, 2007 | 9 | 2007 |

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 |

On the range of a Jordan*-derivation P Battyányi Commentationes Mathematicae Universitatis Carolinae 37 (4), 659-665, 1996 | 5 | 1996 |

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 |

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 | 3 | 2020 |

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 |

Normalization proofs for the un-typed µµ-calculus P Battyányi, K Nour, F Chambéry Special Issue: LICMA 19, 3702-3713, 2020 | 2 | 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 |

An estimation for the lengths of reduction sequences of the -calculus P Battyányi, K Nour arXiv preprint arXiv:1703.05930, 2017 | 1 | 2017 |

Chemical Term Reduction with Active P Systems P Battyányi, G Vaszil Membrane Computing: 17th International Conference, CMC 2016, Milan, Italy …, 2017 | 1 | 2017 |

Jordan*-derivations with respect to the Jordan product P BATTYÁNYI Publ. Math. Debrecen 48, 327-338, 1996 | 1 | 1996 |

Normalization in the simply typed-calculus P Battyányi, K Nour Mathematical Structures in Computer Science, 1-33, 2023 | | 2023 |

On the power of boundary rule application in membrane computing P Battyányi Natural Computing, 1-13, 2022 | | 2022 |

Rough-set-like approximation spaces for formal languages P Battyányi, T Mihálydeák, G Vaszil Journal of Automata, Languages and Combinatorics, to appear, 2022 | | 2022 |

Membrane Systems with Priority, Dissolution, Promoters and Inhibitors and Time Petri Nets P Battyányi, G Vaszil Seventeenth Brainstorming Week on Membrane Computing, 59, 2019 | | 2019 |

Membrane systems and multiset approximation P Battyányi, G Vaszil | | 2019 |

A Time Petri Net Description of Membrane Systems with Priorities, Dissolution, and Promoters/Inhibitors P Battyányi, G Vaszil | | 2019 |

An estimation for the lengths of reduction sequences of the -calculus K Nour, P Battyányi Logical Methods in Computer Science 14, 2018 | | 2018 |

Strong normalization of lambda-Sym-Prop-and lambda-bar-mu-mu-tilde-star-calculi K Nour, P Battyanyi Logical Methods in Computer Science 13, 2017 | | 2017 |