R
Rudolf Freund
Researcher at Vienna University of Technology
Publications - 268
Citations - 3441
Rudolf Freund is an academic researcher from Vienna University of Technology. The author has contributed to research in topics: Recursively enumerable language & Membrane computing. The author has an hindex of 29, co-authored 261 publications receiving 3306 citations. Previous affiliations of Rudolf Freund include University of Tübingen.
Papers
More filters
Journal Article
On String Languages Generated by Spiking Neural P Systems
TL;DR: In this paper, the authors consider spiking neural P systems as binary string generators, where the set of spike trains of halting computations of a given system constitutes the language generated by that system.
Journal ArticleDOI
Tissue P systems with channel states
TL;DR: This work considers tissue-like P systems with states associated with the links between cells, controlling the passage of objects across the links, and investigates the computing power of such devices for the case of using--in a sequential manner--antiport rules of small weights.
Journal ArticleDOI
Computationally universal P systems without priorities: two catalysts are sufficient
TL;DR: The number of catalysts in the original model of P systems with symbol objects introduced by Paun was shown to be computationally universal, provided that catalysts and priorities of rules are used; by reduction via register machines Sosik and Freund proved that the priorities may be omitted from the model without loss of computational power.
Journal ArticleDOI
DNA Computing Based on Splicing: The Existence of Universal Computers
TL;DR: It is proved that splicingsystems with finite components and certain controls on their work are computationallycomplete (they can simulate any Turing Machine); moreover, there are universalsplicings systems (systems with all components fixed which can simulateAny given splicing system, when an encoding of the particular system is added—as a program—to the universal system).
Book ChapterDOI
A formal framework for static (tissue) P systems
Rudolf Freund,Sergey Verlan +1 more
TL;DR: A formal general framework for static membrane systems that aims to capture most of the essential features of (tissue) P systems and to define their functioning in a formal way is introduced.