Recent Submissions

  • Presentation
    Icon

    On a Class of P Automata as a Machine Model for Languages over Infinite Alphabets 

    Vaszil, György (Fénix Editora, 2005)
    We show how P automata having a finite description and working with a finite object-alphabet can be used to describe ...
  • Presentation
    Icon

    Recognizing Membrane Structures with Tree Automata 

    Sempere, José M.; López, Damián (Fénix Editora, 2005)
    In this work we propose a new model of tree automata based on multisets of states and symbols linked to the finite control. ...
  • Presentation
    Icon

    Further Results on P Systems with Promoters/Inhibitors 

    Sburlan, Dragos (Fénix Editora, 2005)
    The paper gives several results regarding P systems with non-cooperative rules and promoters/inhibitors at the level of ...
  • Presentation
    Icon

    Dynamical Probabilistic P Systems: Definitions and Applications 

    Pescini, Dario; Besozzi, Daniela; Zandron, Claudio; Mauri, Giancarlo (Fénix Editora, 2005)
    We introduce dynamical probabilistic P systems, a variant where probabilities associated to the rules change during the ...
  • Presentation
    Icon

    One More Universality Result for P Systems with Objects on Membranes 

    Paun, Gheorghe (Fénix Editora, 2005)
    We continue here the attempt to bridge brane calculi with membrane com- puting, following the investigation started in. ...
  • Presentation
    Icon

    Further Twenty Six Open Problems in Membrane Computing 

    Paun, Gheorghe (Fénix Editora, 2005)
    This is a sort of personal list of problems and research topics, compiled with the occasion of the Third Brainstorming Week on Membrane Computing, Sevilla, 2005.
  • Presentation
    Icon

    Christiansen Grammar for Some P Systems 

    Ortega de la Puente, Alfonso; Núñez Hervás, Rafael; Cruz Echeandía, Marina de la; Alfonseca, Manuel (Fénix Editora, 2005)
    The main goal of this work is to formally describe P systems. This is a necessary step to subsequently apply Christiansen ...
  • Presentation
    Icon

    A Tool for Using the SBML Format to Represent P Systems which Model Biological Reaction Networks 

    Nepomuceno Chamorro, Isabel de los Ángeles; Nepomuceno Chamorro, Juan Antonio; Romero Campero, Francisco José (Fénix Editora, 2005)
    In this paper we present a software tool to represent P systems modelling signalling networks of biochemical reactions ...
  • Presentation
    Icon

    First Steps Towards a Geometry of Computation 

    Muskulus, Michael; Brijder, Robert (Fénix Editora, 2005)
    We introduce a geometrical setting which seems promising for the study of computation in multiset rewriting systems, but ...
  • Presentation
    Icon

    Simulating Avascular Tumors with Membrane Systems 

    Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Fénix Editora, 2005)
    Tumor growth has received a considerable attention by the scientific community. In the earliest stages of development, ...
  • Presentation
    Icon

    A Simulator for Confluent P Systems 

    Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2005)
    Software simulators for P system are nowadays the main tool to carry out experiments in the field of Membrane Computing. ...
  • Presentation
    Icon

    Matrix Languages, Register Machines, Vector Addition Systems 

    Freund, Rudolf; Ibarra, Óscar H.; Paun, Gheorghe; Yen, Hsu-Chen (Fénix Editora, 2005)
    We give a direct and simple proof of the equality of Parikh images of lan- guages generated by matrix grammars with ...
  • Presentation
    Icon

    Editing Configurations of P Systems 

    Csuhaj Varjú, Erzsébet; Nola, Antonio di; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Vaszil, György (Fénix Editora, 2005)
    This paper proposes and preliminarily investigates the possibility of transforming a configuration (membrane structure and ...
  • Presentation
    Icon

    EP-colonies: Micro-Organisms in a Cell-like Environment 

    Csuhaj Varjú, Erzsébet (Fénix Editora, 2005)
    The aim of this note is to introduce a model for describing populations of extremely simple organisms which live in and ...
  • Presentation
    Icon

    Event-Related Outputs of Computations in P Systems 

    Cavaliere, Matteo; Freund, Rudolf; Leitsch, Alexander; Paun, Gheorghe (Fénix Editora, 2005)
    We briefly investigate the idea to consider as the result of a computation in a P system the number of steps elapsed ...
  • Presentation
    Icon

    Specifying Dynamic Software Architectures by Using Membrane Systems 

    Cavaliere, Matteo; Deufemia, Vincenzo (Fénix Editora, 2005)
    We present a formalism for the definition of dynamic software architectures in terms of membrane systems, distributed ...
  • Presentation
    Icon

    Abstract Machines of Systems Biology (Extended Abstract) 

    Cardelli, Luca (Fénix Editora, 2005)
    Living cells are extremely well-organized autonomous systems, consisting of discrete interacting components. Key to ...
  • Presentation
    Icon

    WebPS: A Web-based P System Simulator with Query Facilities 

    Bonchis, Cosmin; Izbasa, Cornel; Petcu, Dana; Ciobanu, Gabriel (Fénix Editora, 2005)
    In this paper we present an open-source web-enabled simulator for P sys- tems. We use CLIPS embedded in C, and make the simulator available as a web application, complemented by a query language to specify the results.
  • Presentation
    Icon

    Metabolic Algorithm with Time-varying Reaction Maps 

    Bianco, Luca; Fontana, Federico; Manca, Vincenzo (Fénix Editora, 2005)
    A symbolic-based approach to modelling biochemical processes and cellular dynamics is likely to turn useful in computational ...
  • Presentation
    Icon

    On Modelling Ion Fluxes Across Biological Membranes with P Systems 

    Ardelean, Ioan I.; Besozzi, Daniela (Fénix Editora, 2005)
    In this report we address the challenge of using P systems to integrate at the whole cell level both active and passive ...

View more