Research Group on Natural Computing
Log in
Home
Biblio
List
Filter
Export 837 results:
RTF
Tagged
XML
BibTex
Sort by:
Author
Title
Type
[
Year
]
2012
Nagar, A.
, &
Paun G.
(2012).
Foreword
.
Natural Computing. 11
(3), 351-352.
RTF
Tagged
XML
BibTex
Google Scholar
Ipate, F.
,
Lefticaru R.
,
Pérez-Hurtado I.
,
Pérez-Jiménez M. J.
, &
Tudose C.
(2012).
Formal verification of P systems with active membranes through model checking
.
Lecture Notes in Computer Science. 7184,
215-225.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Cecilia, J. M.
,
García J. M.
,
Guerrero G. D.
,
Martínez-del-Amor M. A.
,
Pérez-Jiménez M. J.
, &
Ujaldón M.
(2012).
The GPU on the Simulation of Cellular Computing Models
.
Soft Computing. 16
(2), 231-246.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Paun, G.
, &
Pérez-Jiménez M. J.
(2012).
An infinite hierarchy of languages defined by dP systems
.
Theoretical Computer Science. 431 (2012),
4-12.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Paun, G.
, &
Pérez-Jiménez M. J.
(2012).
Languages and P systems: Recent developments
.
Computer Science Journal of Moldova. 20
(2), 72-92.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Paun, G.
(2012).
Membrane Computing. An introduction. Chinese Edition
.
iii+391.
RTF
Tagged
XML
BibTex
Google Scholar
Paun, G.
, &
Pérez-Jiménez M. J.
(2012).
P automata revised
.
Theoretical Computer Science.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Macías-Ramos, L. F.
,
Pérez-Hurtado I.
,
García-Quismondo M.
,
Valencia-Cabrera L.
,
Pérez-Jiménez M. J.
, &
Riscos-Núñez A.
(2012).
A P-Lingua based simulator for Spiking Neural P systems
.
Lecture Notes in Computer Science. 7184,
257-281.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Peña-Cantillana, F.
,
Berciano A.
,
Díaz-Pernil D.
, &
Gutiérrez-Naranjo M. A.
(2012).
Parallel Skeletonizing of Digital Imagery by Using Cellular Automata
.
Lecture Notes in Computer Science. 7309 ,
39-48.
RTF
Tagged
XML
BibTex
Google Scholar
Martínez-del-Amor, M. A.
,
Pérez-Hurtado I.
,
Gastalver-Rubio A.
,
Elster A. C.
, &
Pérez-Jiménez M. J.
(2012).
Population Dynamics P Systems on CUDA
.
(
Gilbert, David
,
Heiner, Monika
, Ed.).
Lecture Notes in Bioinformatics. 7605,
247-266.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Cabarle, F.
,
Adorna H.
, &
Martínez-del-Amor M. A.
(2012).
A Spiking Neural P System Simulator Based on CUDA
.
Lecture Notes in Computer Science. 7184
(12th International Conference, CMC 2011), 87-103.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Paun, G.
, &
Pérez-Jiménez M. J.
(2012).
Towards bridging two cell-inspired models: P systems and R systems
.
Theoretical Computer Science. 429,
258-264.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Paun, G.
(2012).
Towards Fypercomputations (in Membrane Computing)
.
Lecture Notes in Computer Science. 7300,
207-220.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
2011
Martínez-del-Amor, M. A.
,
Paun G.
,
Pérez-Hurtado I.
,
Romero-Campero F. J.
, &
Valencia-Cabrera L.
(2011).
Proceedings of the Ninth Brainstorming Week on Membrane Computing
.
Ninth Brainstorming Week on Membrane Computing.
xiv+374.
RTF
Tagged
XML
BibTex
Google Scholar
Gheorghe, M.
,
Paun G.
, &
Verlan S.
(2011).
Proceedings of the 12th International Conference on Membrane Computing (CMC12)
.
12th International Conference on Membrane Computing (CMC12).
vi + 511.
RTF
Tagged
XML
BibTex
Google Scholar
García-Quismondo, M.
,
Macías-Ramos L. F.
, &
Pérez-Jiménez M. J.
(2011).
Implementing ENPS by means of GPUs for AI applications
.
Interdisciplinary Aspects of Artificial Intelligence.
27-33.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Blakes, J.
,
Twycross J.
,
Romero-Campero F. J.
, &
Krasnogor N.
(2011).
The Infobiotics Workbench: an integrated in silico modelling platform for Systems and Synthetic Biology
.
Bioinformatics. 27
(23), 3323-3324.
RTF
Tagged
XML
BibTex
Google Scholar
Cabarle, F.
,
Adorna H.
,
Martínez-del-Amor M. A.
, &
Pérez-Jiménez M. J.
(2011).
Spiking Neural P System Simulations on a High Performance GPU Platform
.
(
Yang Xiang
,
Alfredo Cuzzocrea
,
Michael Hobbs
,
Wanlei Zhou
, Ed.).
Lecture Notes in Computer Science. 7017,
99-108.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Cabarle, F.
,
Adorna H.
, &
Martínez-del-Amor M. A.
(2011).
An Improved GPU Simulator for Spiking Neural P Systems
.
Sixth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA).
262 - 267.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Pérez-Jiménez, M. J.
,
Riscos-Núñez A.
,
Rius-Font M.
, &
Romero-Campero F. J.
(2011).
Looking for small efficient P systems
.
Fundamenta Informaticae. 110
(1-4), 295-308.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Niu, Y.
,
Paun G.
, &
Pérez-Jiménez M. J.
(2011).
A Uniform Solution to Common Algorithmic Problem by Tissue P Systems with Cell Division
.
(
R. Abdullah
,
A.T. Khader
,
I. Venkat
,
Li-Pei Wong
,
K. G. Subramanian
, Ed.).
Sixth International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2011.
302-326.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Smaldon, J.
,
Romero-Campero F. J.
,
Fernández-Trillo F.
,
Gheorghe M.
,
Alexander C.
, &
Krasnogor N.
(2011).
A computational study of liposome logic: towards cellular computing from the bottom up
.
Systems and Synthetic Biology. 4
(3), 157-179.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Ipate, F.
,
Lefticaru R.
,
Pérez-Hurtado I.
,
Pérez-Jiménez M. J.
, &
Tudose C.
(2011).
Formal Verication of P Systems with Active Membranes through Model Checking
.
12th International Conference on Membrane Computing (CMC12).
241-252.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Macías-Ramos, L. F.
,
Pérez-Hurtado I.
,
García-Quismondo M.
,
Valencia-Cabrera L.
,
Pérez-Jiménez M. J.
, &
Riscos-Núñez A.
(2011).
A P-Lingua based Simulator for Spiking Neural P Systems
.
Proceedings of the 12th International Conference on Membrane Computing (CMC12).
323-346.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Gheorghe, M.
,
Paun G.
, &
Verlan S.
(2011).
Proceedings of the 12th International Conference on Membrane Computing (CMC12). Preface
.
Proceedings of the 12th International Conference on Membrane Computing (CMC12).
i-iii.
RTF
Tagged
XML
BibTex
Google Scholar
« first
‹ previous
…
8
9
10
11
12
13
14
15
16
…
next ›
last »
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)