Print preview VALIDITY EXPIRED personal data approved: 2020. XI. 20. Publications |
2020
from data base, 2020. XI. 20. |
B Aman, P Battyányi, G Ciobanu, Gy Vaszil: Local time membrane systems and time Petri nets, THEORETICAL COMPUTER SCIENCE 805: pp. 175-192. type of document: Journal paper/Article number of independent citations: 2 language: English URL |
2020
from data base, 2020. XI. 20. |
Battyányi Péter, Nour Karim: Normalization proofs for the un-typed μμ'-calculus, AIMS Mathematics 5: (4) pp. 3702-3713. type of document: Journal paper/Article language: English URL |
2020
from data base, 2020. XI. 20. |
Battyányi Péter, Vaszil György: Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities, Journal of Membrane Computing 2: s41965-020-00062-y#article-info type of document: Journal paper/Article language: English URL |
2019
from data base, 2020. XI. 20. |
Battyányi P., Vaszil G.: Membrane Systems and Multiset Approximation: The Cases of Inner and Boundary Rule Application, In: Mihálydeák, Tamás; Min, Fan; Wang, Guoyin; Banerjee, Mohua; Düntsch, Ivo; Suraj, Zbigniew; Ciucci, Davide (szerk.) Rough Sets, Springer International Publishing (2019) pp. 239-252. type of document: Part of book/Proceedings Paper language: English URL |
2019
from data base, 2020. XI. 20. |
Battyányi P., Mihálydeák T., Vaszil G.: Generalized Membrane Systems with Dynamical Structure, Petri Nets, and Multiset Approximation Spaces, In: McQuillan, Ian; Seki, Shinnosuke (szerk.) Unconventional Computation and Natural Computation, Springer International Publishing (2019) pp. 15-29. type of document: Part of book/Proceedings Paper language: English URL |
2018
from data base, 2020. XI. 20. |
Battyányi Péter, Nour Karim: An estimation for the lengths of reduction sequences of the lambda-mu-rho-theta-calculus, LOGICAL METHODS IN COMPUTER SCIENCE 14: (2) pp. 1-35. type of document: Journal paper/Article number of independent citations: 1 language: English URL |
2017
from data base, 2020. XI. 20. |
Péter Battyányi, Karim Nour: Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi, LOGICAL METHODS IN COMPUTER SCIENCE 13: (3) pp. 1-22. type of document: Journal paper/Article language: English URL |
2016
from data base, 2020. XI. 20. |
B. Aman, P. Battyányi, G. Ciobanu, Gy. Vaszil: Simulating P systems with membrane dissolution in a chemical calculus, NATURAL COMPUTING 15: (4) pp. 521-532. type of document: Journal paper/Article number of independent citations: 2 language: English URL |
2016
from data base, 2020. XI. 20. |
P Battyányi, Vaszil null: Chemical Term Reduction with Active P Systems, In: A., Leporati; C., Zandron (szerk.) Proceedings of the 17th International Conference on Membrane Computing (CMC17), (2016) pp. 277-281. type of document: language: English
|
2014
from data base, 2020. XI. 20. |
Battyányi P, Vaszil G: Describing membrane computations with a chemical calculus, FUNDAMENTA INFORMATICAE 134: (1-2) pp. 39-50. type of document: Journal paper/Article language: English URL |
| Number of independent citations to these publications: | 5 |
|
|