Gyula Péter Battyányi - ODT Personal data sheet


	Login Forum Organisation officers member institutions resolutions (in Hung.) by-laws (in Hung.) regulations Doctoral program doctoral schools by institution by research field by number ceased working academic staff member by name by research topic archives thesis topic proposals by doctoral school by research field by research topic supervision of PhD students search students Theses defended by institution by research field by name by date by doctoral school Naturalized degrees by institution by research field by name by date Habilitation presentations by institution by branch of science by name Documents (all in Hung.) public documents news legal backgrounds guidelines Contacts contact details partners

Personal data sheet

Print preview

VALIDITY EXPIRED
personal data approved: 2020. XI. 20.

Personal data

name	Gyula Péter Battyányi
name of institution	University of Debrecen
doctoral school	DE Doctoral School of Informatics (Academic staff member Az oktató a doktori iskola doktoranduszai számára oktat tantárgyat, és/vagy a doktori iskola megszavazta, hogy doktoranduszok számára kutatási témát írjon ki. )
the share of work in the different doctoral schools.	DE Doctoral School of Informatics 100%
accreditation statement submitted to:	University of Debrecen

Academic title
scientific degree, title	Ph.D.
year degree was obtained	2007
discipline to which degree belongs	mathematics and computing
institution granting the degree	University of Savoie, Chambéry, France

Employment
2001 -	University of Debrecen university professor or researcher

Thesis topic supervisor
number of doctoral students supervised until now
number of students who fulfilled course requirements
students who obtained their degrees:

Research
research area	Mathematical logics, rewriting systems, unconventional computing
research field in which current research is conducted	mathematics and computing

Publications

2020

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

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

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

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

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

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

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

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

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

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:

Scientometric data

list of publications and citations

number of scientific publications that meet accreditation criteria:

number of scientific publications:

monographs and professional books:

monographs/books in which chapters/sections were contributed:

number of independent citations to scientific publications and creative works:

2024. IV. 17.
ODT ülés
Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).