Personal information

Activities

Education and qualifications (2)

Universite de Savoie Le Bourget-du-Lac: Le Bourget-du-Lac, Rhône-Alpes, FR

2005-01-01 to 2007-12-12 | PhD (Laboratoire de Mathématiques)
Education
Source: Self-asserted source
Péter Battyányi

University of Debrecen: Debrecen, HU

1991-09-09 to 1997-01-15 | MSc
Education
Source: Self-asserted source
Péter Battyányi

Works (14)

An encoding of the $$\lambda $$-calculus in the String MultiSet Rewriting calculus

Acta Informatica
2024-06 | Journal article
Contributors: Attila Bagossy; Péter Battyányi
Source: check_circle
Crossref

Solving the SAT problem with the string multiset rewriting calculus

Computing
2024-05 | Journal article
Contributors: Péter Battyányi
Source: check_circle
Crossref

On the power of boundary rule application in membrane computing

Natural Computing
2023-03 | Journal article
Contributors: Péter Battyányi
Source: check_circle
Crossref

Normalization in the simply typed -calculus

Mathematical Structures in Computer Science
2022-09 | Journal article
Contributors: Péter Battyányi; Karim Nour
Source: check_circle
Crossref

Local time membrane systems and time Petri nets

Theoretical Computer Science
2020 | Journal article
EID:

2-s2.0-85049051816

Contributors: Aman, B.; Battyányi, P.; Ciobanu, G.; Vaszil, G.
Source: Self-asserted source
Péter Battyányi via Scopus - Elsevier

Normalization proofs for the un-typed µµ′-calculus

AIMS Mathematics
2020 | Journal article
EID:

2-s2.0-85088010956

Part of ISBN:

24736988

Contributors: Battyányi, P.; Nour, K.
Source: Self-asserted source
Péter Battyányi via Scopus - Elsevier

Generalized Membrane Systems with Dynamical Structure, Petri Nets, and Multiset Approximation Spaces

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019 | Book
EID:

2-s2.0-85066799069

Contributors: Battyányi, P.; Mihálydeák, T.; Vaszil, G.
Source: Self-asserted source
Péter Battyányi via Scopus - Elsevier

Membrane Systems and Multiset Approximation: The Cases of Inner and Boundary Rule Application

Rough Sets
2019 | Book chapter
Part of ISBN: 9783030228149
Part of ISBN: 9783030228156
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Source: Self-asserted source
Péter Battyányi
grade
Preferred source (of 2)‎

An estimation for the lengths of reduction sequences of the λμρθ-calculus

Logical Methods in Computer Science
2018 | Journal article
EID:

2-s2.0-85055852173

Contributors: Battyányi, P.; Nour, K.
Source: Self-asserted source
Péter Battyányi via Scopus - Elsevier

Chemical term reduction with active P systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017 | Book
EID:

2-s2.0-85013981731

Contributors: Battyányi, P.; Vaszil, G.
Source: Self-asserted source
Péter Battyányi via Scopus - Elsevier

Strong normalization of λ<sup>sym</sup><inf>prop</inf>- and λμμ*-calculi

Logical Methods in Computer Science
2017 | Journal article
EID:

2-s2.0-85041809580

Contributors: Battyányi, P.; Nour, K.
Source: Self-asserted source
Péter Battyányi via Scopus - Elsevier

Simulating P systems with membrane dissolution in a chemical calculus

Natural Computing
2016 | Journal article
EID:

2-s2.0-84978763720

Contributors: Aman, B.; Battyányi, P.; Ciobanu, G.; Vaszil, G.
Source: Self-asserted source
Péter Battyányi via Scopus - Elsevier

Describing membrane computations with a chemical calculus

Fundamenta Informaticae
2014 | Journal article
EID:

2-s2.0-84912116778

Contributors: Battyányi, P.; Vaszil, G.
Source: Self-asserted source
Péter Battyányi via Scopus - Elsevier

Membrane systems from the viewpoint of the chemical computing paradigm

Infocommunications Journal
2014 | Journal article
EID:

2-s2.0-84943603854

Contributors: Battyányi, P.; Vaszil, G.
Source: Self-asserted source
Péter Battyányi via Scopus - Elsevier

Peer review (3 reviews for 2 publications/grants)

Review activity for Journal of Membrane Computing. (2)
Review activity for Natural computing. (1)