EN HU

Battyányi Péter

Publication list

2024
1.
Bagossy, A., Battyányi, P.: An encoding of the [lambda]-calculus in the String MultiSet Rewriting calculus.
Acta Inform. 61 (2), 161-181, 2024.
Journal metrics:
Q3 Computer Networks and Communications
Q3 Information Systems
Q3 Software
2.
Battyányi, P.: Solving the SAT problem with the string multiset rewriting calculus.
Computing. 106, 1321-1334, 2024.
Journal metrics:
Q1 Computational Mathematics
Q1 Computational Theory and Mathematics
Q2 Computer Science Applications
Q1 Numerical Analysis
Q2 Software
Q2 Theoretical Computer Science
2022
3.
Battyányi, P., Karim, N.: Normalization in the simply typed lambda mu mu' rho theta epsilon-calculus.
Math. Struct. Comput. Sci. 32 (8), 1066-1098, 2022.
Journal metrics:
Q2 Computer Science Applications
Q2 Mathematics (miscellaneous)
4.
Battyányi, P.: On the power of boundary rule application in membrane computing.
Nat. Comput. 22 (1), 13-25, 2022.
Journal metrics:
Q3 Computer Science Applications
5.
Battyányi, P., Mihálydeák, T. S., Vaszil, G.: Rough-Set-Like Approximation Spaces for Formal Languages.
J. Autom. Lang. Comb. 27 (1-3), 79-90, 2022.
Journal metrics:
Q3 Computational Theory and Mathematics
Q3 Discrete Mathematics and Combinatorics
2020
6.
Battyányi, P., Vaszil, G.: Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities.
J. Membr. Comput. 2 (4), 341-354, 2020.
7.
Aman, B., Battyányi, P., Ciobanu, G., Vaszil, G.: Local time membrane systems and time Petri nets.
Theor. Comput. Sci. 805, 175-192, 2020.
Journal metrics:
Q2 Computer Science (miscellaneous)
Q3 Theoretical Computer Science
8.
Battyányi, P., Karim, N.: Normalization proofs for the un-typed mu mu'-calculus.
AIMS Math. 5 (4), 3702-3713, 2020.
Journal metrics:
Q3 Mathematics (miscellaneous)
2019
9.
Battyányi, P., Vaszil, G.: A Time Petri Net Description of Membrane Systems with Priorities, Dissolution, and Promoters/Inhibitors.
In: 20th International Conference on Membrane Computing, CMC 20 / Gheorghe Paun, Editura Bibliostar, Ramnicu Valcea, 269-288, 2019. ISBN: 9786068493770
10.
Battyányi, P., Mihálydeák, T. S., Vaszil, G.: Generalized Membrane Systems with Dynamical Structure, Petri Nets, and Multiset Approximation Spaces.
In: Unconventional Computation and Natural Computation. UCNC 2019. / McQuillan, I., Seki, S. (eds), Springer, Berlin, 15-29, 2019, (Lecture Notes in Computer Science, 11493) ISBN: 9783030193102
11.
Battyányi, P., Vaszil, G.: Membrane systems and multiset approximation.
In: Eleventh Workshop on Non-Classical Models of Automata and Applications (NCMA 2019) / Freund Rudolf, Holzer Markus, M. Sempere José (szerk.), Druckerei Riegelnik 1080 Wien, Piaristengasse 19, Wien, 7-14, 2019.
12.
Battyányi, P., Vaszil, G.: Membrane Systems and Multiset Approximation: The Cases of Inner and Boundary Rule Application Membrane Systems and Multiset Approximation: The Cases of Inner and Boundary Rule Application.
In: Rough Sets : International Joint Conference, IJCRS 2019 Debrecen, Hungary, June 17-21, 2019 Proceedings. Eds.: Tamás Mihálydeák, Fan Min, Guoyin Wang, Mohua Banerjee, Ivo Düntsch, Zbigniew Suraj, Davide Ciucci, Springer, Berlin, 239-252, 2019, (Lecture Notes in Computer Science, ISSN 1611-3349 ; 11499.) ISBN: 9783030228156
13.
Battyányi, P., Vaszil, G.: Membrane Systems with Priority, Dissolution, Promoters and Inhibitors and Time Petri Nets.
In: Seventeenth Brainstorming Week on Membrane Computing Sevilla, February 5-8, 2019. Eds.: David Orellana-Martín, Gheorghe P¡aun, Agustín Riscos-Núnez, José A. Andreu-Guzmán, Research Group on Natural Computing, Universidad de Sevilla, Sevilla, 59-78, 2019. ISBN: 97884143474
2018
14.
Battyányi, P., Karim, N.: An estimation for the lengths of reduction sequences of the lambda mu rho theta-calculus.
Log. Methods Comput. Sci. 14 (2), 1-35, 2018.
Journal metrics:
Q1 Computer Science (miscellaneous)
Q2 Theoretical Computer Science
2017
15.
Battyányi, P., Vaszil, G.: Chemical Term Reduction with Active P Systems.
In: Membrane Computing. CMC 2016. / A. Leporati, G. Rozenberg, A. Salomaa, C. Zandron, Springer, Cham., Berlin, 136-150, 2017, (Lecture Notes in Computer ScienceISSN ; 10105) ISBN: 9783319540719
16.
Battyányi, P., Karim, N.: Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi.
Log. Methods Comput. Sci. 13 (3), 1-22, 2017.
Journal metrics:
Q2 Computer Science (miscellaneous)
Q3 Theoretical Computer Science
2016
17.
Aman, B., Battyányi, P., Ciobanu, G., Vaszil, G.: Simulating P systems with membrane dissolution in a chemical calculus.
Nat. Comput. 15 (4), 521-532, 2016.
Journal metrics:
Q3 Computer Science Applications
2015
18.
Nagy, B., Battyányi, P., Bátfai, N., Herendi, T., Kovács, G., Gál, Z.: New textbooks on parallel architectures, algorithms and programming.
In: Proceedings of the 9th International Conference on Applied Informatics January 29 - Februar 1, 2014. Eger, Hungary Volume I. [elektronikus dokumentum]. Ed.: by Kovács Emőd, Kusper Gábor, Kunkli Roland, Tómács Tibor, Eszterházy Károly Főiskola, Eger, 239-249, 2015. ISBN: 9786155297182
2014
19.
Battyányi, P., Vaszil, G.: Describing Membrane Computations with a Chemical Calculus.
Fundam. Inform. 134 (1-2), 39-50, 2014.
Journal metrics:
Q3 Algebra and Number Theory
Q3 Computational Theory and Mathematics
Q2 Information Systems
Q3 Theoretical Computer Science
20.
Battyányi, P.: Formal Verification of Programs.
2011
21.
Aszalós, L., Battyányi, P.: Prolog feladatgyűjtemény.
DE IK, Debrecen, 129 p., 2011.
2010
22.
Nagy, B., Battyányi, P.: DNA-Prolog.
In: Programs, proofs, processes : 6th conference on computability in Europe, CIE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010. proceedings / [edited by] Fernando Ferreira, Benedikt Loewe, Elvira Mayordomo, Springer, New York, 281-290, 2010.
2005
23.
Battyányi, P.: On some nonstandard extensions of Heyting Arithmetic.
In: Proceedings of the 6th International Conference on Applied Informatics. Ed.: by Lajos Csőke, [EKF], [Eger], 33-38, [2005].
1996
24.
Battyányi, P.: Jordan *-derivations with respect to the Jordan product.
Publ. Math.-Debr. 48 (1996) (3-4), 327-338, 1996.
25.
Battyányi, P.: On the range of a Jordan *-derivation.
Comment. math. Univ. Carolinae. 37 (4), 659-665, 1996.
DEENK University of Debrecen
© 2012 University of Debrecen