Home

Biblio

Export 25 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: Author is Carlos Martín-Vide  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
V
Sancho-Caparrini, F., & Pérez-Jiménez M. J. (2003).  Verification of non deterministic transition P systems solving SAT problem . (Matteo Cavaliere, Carlos Martín-Vide, Gheorghe Paun, Ed.).First Brainstorming Week on Membrane Computing. 291-304.
U
Ionescu, M., Martín-Vide C., Paun A., & Paun G. (2003).  Unexpected Universality Results for Three Classes of P Systems with Symport/Antiport. Lecture Notes in Computer Science. 2568, 281-290. Abstract
T
Paun, G., Pazos-Sierra J., Martín-Vide C., & Rodríguez-Patón A. (2003).  Tissue P systems. Theoretical Computer Science. 296(2), 295-326.
S
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2003).  Solving VALIDITY Problem by Active Membranes with Input. (Matteo Cavaliere, Carlos Martín-Vide, Gheorghe Paun, Ed.).Brainstorming Week on Membrane Computing. 279-290.
R
Bottoni, P., Labella A., Martín-Vide C., & Paun G. (2002).  Rewriting P Systems with Conditional Communication . Lecture Notes in Computer Science. 2300, 325-353. Abstract
P
Cavaliere, M., Martín-Vide C., & Paun G. (2003).  Proceedings of the Brainstorming Week on Membrane Computing. First Brainstorming Week on Membrane Computing.
Alhazov, A., Martín-Vide C., & Paun G. (2003).  Pre-Proceedings of Workshop on Membrane Computing, WMC-2003. Workshop on Membrane Computing, WMC-2003.
Ionescu, M., Martín-Vide C., & Paun G. (2002).  P Systems with Symport/Antiport Rules: The Traces of Objects. Grammars. 5(2), 65-79. Abstract
O
Martín-Vide, C., Mitrana V., & Paun G. (2002).  On the Power of P systems with Valuation. Computación y Sistemas. Revista Iberoamericana de Inteligencia Artificial. 5, 120-127.
Martín-Vide, C., Paun A., & Paun G. (2002).  On the Power of P Systems with Symport Rules. Journal of Universal Computer Science. 8(2), 317-331. Abstract
N
Martín-Vide, C., Pazos-Sierra J., Paun G., & Rodríguez-Patón A. (2002).  A New Class of Symbolic Abstract Neural Nets: Tissue P Systems. Lecture Notes in Computer Science. 2387, 290-299. Abstract
Martín-Vide, C., Pazos-Díaz J., Paun G., & Rodríguez-Patón A. (2002).  A New Class of Symbolic Abstract Neural Nets: Tissue P Systems. COCOON '02: Proceedings of the 8th Annual International Conference on Computing and Combinatorics. 290-299.
M
Bottoni, P., Martín-Vide C., Paun G., & Rozenberg G. (2002).  Membrane systems with promoters/inhibitors . Acta Informatica. 38(10), 695-720. Abstract
Martín-Vide, C., Paun A., Paun G., & Rozenberg G. (2002).  Membrane Systems with Coupled Transport: Universality and Normal Forms. Fundamenta Informaticae. 49(1-3), 1 - 15 . Abstract
Martín-Vide, C., Paun G., & Rozenberg G. (2002).  Membrane systems with carriers. Theoretical Computer Science. 270(1-2), 779-796. Abstract
Martín-Vide, C., Paun A., & Paun G. (2002).  Membrane Computing: New Results, New Problems. Bulletin of the European Association for Theoretical Computer Science. 78, 204-209.
Paun, G., Rozenberg G., Salomaa A., Mauri G., & Martín-Vide C. (2004).  Membrane Computing (International Workshop, WMC 2003, Revised Papers). 383.
H
Martín-Vide, C., Mitrana V., Pérez-Jiménez M. J., & Sancho-Caparrini F. (2003).  Hybrid Networks of Evolutionary Processors. Lecture Notes in Computer Science. 2723, 401-412. Abstract
F
Csuhaj-Varjú, E., Martín-Vide C., Paun G., & Salomaa A. (2003).  From Watson-Crick L systems to Darwinian P systems . Natural Computing. 2(3), 299-318. Abstract
Freund, R., Martín-Vide C., & Paun G. (2004).  From regulated rewriting to computing with membranes: collapsing hierarchies. Theoretical Computer Science. 312(2-3), 143 - 188 . Abstract
Pérez-Jiménez, A. J., Pérez-Jiménez M. J., & Sancho-Caparrini F. (2003).  Formal verification of a transition P system generating the set 2^n+n^2+n:n>=1. (Matteo Cavaliere, Carlos Martín-Vide, Gheorghe Paun, Ed.).First Brainstorming Week on Membrane Computing. 261-269.
Paun, G., Mitrana V., & Martín-Vide C. (2004).  Formal languages and Applications. 620.
C
Pérez-Jiménez, A. J., Pérez-Jiménez M. J., & Sancho-Caparrini F. (2003).  Computing a Partial Mapping by a P System: Design and Verification. (Matteo Cavaliere, Carlos Martín-Vide, Gheorghe Paun, Ed.).First Brainstorming Week on Membrane Computing . 247-260.
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2003).  Complexity Classes in Cellular Computing with Membranes. (Matteo Cavaliere, Carlos Martín-Vide, Gheorghe Paun, Ed.).Brainstorming Week on Membrane Computing. 270-278.
A
Gheorghe, M., Martín-Vide C., Mitrana V., & Pérez-Jiménez M. J. (2003).  An agent based approach of collective foraging. Lecture Notes in Computer Science. 2686, 638-645. Abstract

Statistics

  • Books (11)
  • Edited Books (28)
  • Contributions to Book Chapters (42)
  • Journal Papers (421)
  • Papers in Collective Volumes (0)
  • Technical Reports (3)
  • Conference Contributions (289)
  • Conference Proceedings (38)