Nyomtatási kép ARCHÍV OLDAL Az adatok hitelességéről nyilatkozott: 2020. XI. 20. Közlemények |
2020
adattárból, 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. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 2 nyelv: angol URL |
2020
adattárból, 2020. XI. 20. |
Battyányi Péter, Nour Karim: Normalization proofs for the un-typed μμ'-calculus, AIMS Mathematics 5: (4) pp. 3702-3713. dokumentum típusa: Folyóiratcikk/Szakcikk nyelv: angol URL |
2020
adattárból, 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 dokumentum típusa: Folyóiratcikk/Szakcikk nyelv: angol URL |
2019
adattárból, 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. dokumentum típusa: Könyvrészlet/Konferenciaközlemény nyelv: angol URL |
2019
adattárból, 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. dokumentum típusa: Könyvrészlet/Konferenciaközlemény nyelv: angol URL |
2018
adattárból, 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. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 1 nyelv: angol URL |
2017
adattárból, 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. dokumentum típusa: Folyóiratcikk/Szakcikk nyelv: angol URL |
2016
adattárból, 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. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 2 nyelv: angol URL |
2016
adattárból, 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. dokumentum típusa: nyelv: angol
|
2014
adattárból, 2020. XI. 20. |
Battyányi P, Vaszil G: Describing membrane computations with a chemical calculus, FUNDAMENTA INFORMATICAE 134: (1-2) pp. 39-50. dokumentum típusa: Folyóiratcikk/Szakcikk nyelv: angol URL |
| a legjelentősebbnek tartott közleményekre kapott független hivatkozások száma: | 5 |
|
|