Search - Université d'Évry Access content directly

Filter your results

8 Results
authIdHal_s : sergey-verlan

Variants of derivation modes for which catalytic P systems with one catalyst are computationally complete

Artiom Alhazov , Rudolf Freund , Sergiu Ivanov , Sergey Verlan
Journal of Membrane Computing, 2021, 3, pp.233-245. ⟨10.1007/s41965-021-00085-z⟩
Journal articles hal-03438339v1
Image document

Prescribed Teams of Rules Working on Several Objects

Artiom Alhazov , Rudolf Freund , Sergiu Ivanov , Sergey Verlan
9th International Conference on Machines, Computations, and Universality (MCU 2022), Aug 2022, Debrecen, Hungary. pp.27--41, ⟨10.1007/978-3-031-13502-6_6⟩
Conference papers hal-03762652v1
Image document

Regulated insertion-deletion systems

Artiom Alhazov , Rudolf Freund , Sergiu Ivanov , Sergey Verlan
Journal of Automata, Languages and Combinatorics, 2022, 27, pp.15--45. ⟨10.25596/jalc-2022-015⟩
Journal articles hal-03766387v1
Image document

A formal framework for spiking neural P systems

Sergey Verlan , Rudolf Freund , Artiom Alhazov , Sergiu Ivanov , Linqiang Pan
Journal of Membrane Computing, 2020, 2 (4), pp.355-368. ⟨10.1007/s41965-020-00050-2⟩
Journal articles hal-04032280v1
Image document

Tissue P Systems with Vesicles of Multisets

Artiom Alhazov , Rudolf Freund , Sergiu Ivanov , Sergey Verlan
International Journal of Foundations of Computer Science, 2022, 33 (3-4), pp.179--202. ⟨10.1142/S0129054122410015⟩
Journal articles hal-03672466v1

Chocolate P Automata

Artiom Alhazov , Rudolf Freund , Sergiu Ivanov , Marion Oswald , Sergey Verlan
Lecture Notes in Computer Science, 11270, pp.1--20, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-00265-7_1⟩
Book sections hal-01949068v1

Numerical networks of cells

Artiom Alhazov , Rudolf Freund , Sergiu Ivanov , Sergey Verlan
Theoretical Computer Science, 2023, 958, pp.113873. ⟨10.1016/j.tcs.2023.113873⟩
Journal articles hal-04076498v1

Single semi-contextual insertion-deletion systems

Sergiu Ivanov , Sergey Verlan
Natural Computing, 2021, 20, pp.703-712. ⟨10.1007/s11047-021-09861-3⟩
Journal articles hal-03311601v1