Normalization Properties of Symmetric Logical Calculi P Battyanyi Université de Savoie, Chambéry, France, 2007 | 7 | 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 | 6 | 2020 |

Describing membrane computations with a chemical calculus P Battyányi, G Vaszil Fundamenta Informaticae 134 (1-2), 39-50, 2014 | 4 | 2014 |

Generalized membrane systems with dynamical structure, Petri nets, and multiset approximation spaces P Battyányi, T Mihálydeák, G Vaszil International Conference on Unconventional Computation and Natural …, 2019 | 3 | 2019 |

Simulating P systems with membrane dissolution in a chemical calculus B Aman, P Battyányi, G Ciobanu, G Vaszil Natural Computing 15 (4), 521-532, 2016 | 3 | 2016 |

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

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 International Conference on Membrane Computing, 136-150, 2016 | 1 | 2016 |

Jordan∗-derivations with respect to the Jordan product P Battyanyi Publ. Math. Debrecen 48, 327-338, 1996 | 1 | 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 (4), 341-354, 2020 | | 2020 |

Normalization proofs for the un-typed μμ-calculus [J] P Battyányi, K Nour AIMS Mathematics 5 (4), 3702-3713, 2020 | | 2020 |

Membrane Systems and Multiset Approximation: The Cases of Inner and Boundary Rule Application P Battyányi, G Vaszil International Joint Conference on Rough Sets, 239-252, 2019 | | 2019 |

Membrane Systems with Priority, Dissolution, Promoters and Inhibitors and Time Petri Nets P Battyányi, G Vaszil BWMC 2019: Seventeenth Brainstorming Week on Membrane Computing (2019), p 59-78, 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 P Battyanyi, K Nour arXiv preprint arXiv:1706.07246, 2017 | | 2017 |

STRONG NORMALIZATION OF lambda (Sym)(Prop)-AND (lambda) over-bar mu (mu) over-tilde*-CALCULI P Battyanyi, K Nour LOGICAL METHODS IN COMPUTER SCIENCE 13 (3), 2017 | | 2017 |

P systems with costs and their relation to priced time automata and priced time Petri nets B Aman, P Battyányi, G Ciobanu, G Vaszil | | 2017 |

Membrane systems and time Petri nets B Aman, P Battyányi, G Ciobanu, G Vaszil BWMC 2017: 15th Brainstorming Week on Membrane Computing (2017), p 71-94, 2017 | | 2017 |