Search results for "membrane"

Hits ?▲	Authors	Title	Venue	Year	Link
29	Francis George Cabarle, Henry N. Adorna	On Structures and Behaviors of Spiking Neural P Systems and Petri Nets.	Int. Conf. on Membrane Computing	2012	DBLP DOI BibTeX RDF
29	Miguel A. Martínez-del-Amor, Ignacio Pérez-Hurtado, Manuel García-Quismondo, Luis F. Macías-Ramos, Luis Valencia-Cabrera, Álvaro Romero Jiménez, Carmen Graciani Díaz, Agustin Riscos-Núñez, Maria Angels Colomer, Mario J. Pérez-Jiménez	DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution.	Int. Conf. on Membrane Computing	2012	DBLP DOI BibTeX RDF
29	Marian Gheorghe 0001, Thomas Hinze, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa (eds.)	Membrane Computing - 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers	Int. Conf. on Membrane Computing	2011	DBLP DOI BibTeX RDF
29	Vincenzo Manca, Rosario Lombardo	Computing with Multi-membranes.	Int. Conf. on Membrane Computing	2011	DBLP DOI BibTeX RDF
29	Luca Marchetti, Vincenzo Manca	A Methodology Based on MP Theory for Gene Expression Analysis.	Int. Conf. on Membrane Computing	2011	DBLP DOI BibTeX RDF
29	Michael J. Dinneen, Yun-Bum Kim, Radu Nicolescu	An Adaptive Algorithm for P System Synchronization.	Int. Conf. on Membrane Computing	2011	DBLP DOI BibTeX RDF
29	Sergiu Ivanov 0001	Basic Concurrency Resolution in Clock-Free P Systems.	Int. Conf. on Membrane Computing	2011	DBLP DOI BibTeX RDF
29	Adam Obtulowicz	Generalized Gandy-Păun-Rozenberg Machines for Tile Systems and Cellular Automata.	Int. Conf. on Membrane Computing	2011	DBLP DOI BibTeX RDF
29	Erzsébet Csuhaj-Varjú, György Vaszil	Finite dP Automata versus Multi-head Finite Automata.	Int. Conf. on Membrane Computing	2011	DBLP DOI BibTeX RDF
29	Thomas Hinze, Christian Bodenstein, Benedict Schau, Ines Heiland, Stefan Schuster	Chemical Analog Computers for Clock Frequency Control Based on P Modules.	Int. Conf. on Membrane Computing	2011	DBLP DOI BibTeX RDF
29	Jean-Louis Giavitto	The Modeling and the Simulation of the Fluid Machines of Synthetic Biology.	Int. Conf. on Membrane Computing	2011	DBLP DOI BibTeX RDF
29	Luis F. Macías-Ramos, Ignacio Pérez-Hurtado, Manuel García-Quismondo, Luis Valencia-Cabrera, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez	A P-Lingua Based Simulator for Spiking Neural P Systems.	Int. Conf. on Membrane Computing	2011	DBLP DOI BibTeX RDF
29	Florentin Ipate, Raluca Lefticaru, Ignacio Pérez-Hurtado, Mario J. Pérez-Jiménez, Cristina Tudose	Formal Verification of P Systems with Active Membranes through Model Checking.	Int. Conf. on Membrane Computing	2011	DBLP DOI BibTeX RDF
29	Jacob Beal	Bridging Biology and Engineering Together with Spatial Computing.	Int. Conf. on Membrane Computing	2011	DBLP DOI BibTeX RDF
29	Artiom Alhazov, Alexander Krassovitskiy, Yurii Rogozhin	Circular Post Machines and P Systems with Exo-insertion and Deletion.	Int. Conf. on Membrane Computing	2011	DBLP DOI BibTeX RDF
29	Linqiang Pan, Jun Wang 0014, Hendrik Jan Hoogeboom	Asynchronous Extended Spiking Neural P Systems with Astrocytes.	Int. Conf. on Membrane Computing	2011	DBLP DOI BibTeX RDF
29	Pierluigi Frisco, Gordon Govan	P Systems with Active Membranes Operating under Minimal Parallelism.	Int. Conf. on Membrane Computing	2011	DBLP DOI BibTeX RDF
29	Ludek Cienciala, Lucie Ciencialová, Miroslav Langer	Modularity in P Colonies with Checking Rules.	Int. Conf. on Membrane Computing	2011	DBLP DOI BibTeX RDF
29	Dragos Sburlan	P Systems with Chained Rules.	Int. Conf. on Membrane Computing	2011	DBLP DOI BibTeX RDF
29	Radu Nicolescu	Parallel and Distributed Algorithms in P Systems.	Int. Conf. on Membrane Computing	2011	DBLP DOI BibTeX RDF
29	Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron	P Systems Simulating Oracle Computations.	Int. Conf. on Membrane Computing	2011	DBLP DOI BibTeX RDF
29	György Vaszil	Variants of Distributed P Automata and the Efficient Parallelizability of Languages.	Int. Conf. on Membrane Computing	2011	DBLP DOI BibTeX RDF
29	Francis George Cabarle, Henry N. Adorna, Miguel A. Martínez-del-Amor	A Spiking Neural P System Simulator Based on CUDA.	Int. Conf. on Membrane Computing	2011	DBLP DOI BibTeX RDF
29	Andrei Paun, Manuela Sidoroff	Sequentiality Induced by Spike Number in SNP Systems: Small Universal Machines.	Int. Conf. on Membrane Computing	2011	DBLP DOI BibTeX RDF
29	Gheorghe Paun, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez, Grzegorz Rozenberg, Arto Salomaa (eds.)	Membrane Computing, 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers	Workshop on Membrane Computing	2010	DBLP DOI BibTeX RDF
29	Stephan Peter, Tomas Veloz, Peter Dittrich	Feasibility of Organizations - A Refinement of Chemical Organization Theory with Application to P Systems.	Int. Conf. on Membrane Computing	2010	DBLP DOI BibTeX RDF
29	Marian Gheorghe 0001, Florentin Ipate	Testing Based on P Systems - An Overview.	Int. Conf. on Membrane Computing	2010	DBLP DOI BibTeX RDF
29	Artiom Alhazov, Sergiu Ivanov 0001, Yurii Rogozhin	Polymorphic P Systems.	Int. Conf. on Membrane Computing	2010	DBLP DOI BibTeX RDF
29	Peter Dittrich	Organization Oriented Chemical Computing.	Int. Conf. on Membrane Computing	2010	DBLP DOI BibTeX RDF
29	Rudolf Freund, Marian Kogler 0001	Computationally Complete Spiking Neural P Systems without Delay: Two Types of Neurons Are Enough.	Int. Conf. on Membrane Computing	2010	DBLP DOI BibTeX RDF
29	Michael J. Dinneen, Yun-Bum Kim, Radu Nicolescu	A Faster P Solution for the Byzantine Agreement Problem.	Int. Conf. on Membrane Computing	2010	DBLP DOI BibTeX RDF
29	Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez	Depth-First Search with P Systems.	Int. Conf. on Membrane Computing	2010	DBLP DOI BibTeX RDF
29	Marian Gheorghe 0001, Florentin Ipate, Raluca Lefticaru, Ciprian Dragomir	An Integrated Approach to P Systems Formal Verification.	Int. Conf. on Membrane Computing	2010	DBLP DOI BibTeX RDF
29	Markus Holzer 0001, Martin Kutrib	Cellular Automata and the Quest for Nontrivial Artificial Self-Reproduction.	Int. Conf. on Membrane Computing	2010	DBLP DOI BibTeX RDF
29	Gerd Grünert, Peter Dittrich	Using the SRSim Software for Spatial and Rule-Based Modeling of Combinatorially Complex Biochemical Reaction Systems.	Int. Conf. on Membrane Computing	2010	DBLP DOI BibTeX RDF
29	Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron	P Systems with Elementary Active Membranes: Beyond NP and coNP.	Int. Conf. on Membrane Computing	2010	DBLP DOI BibTeX RDF
29	Maria Angels Colomer, Santiago Lavín, Ignasi Marco, Antoni Margalida, Ignacio Pérez-Hurtado, Mario J. Pérez-Jiménez, Delfí Sanuy, Emmanuel Serrano, Luis Valencia-Cabrera	Modeling Population Growth of Pyrenean Chamois (Rupicapra p. pyrenaica) by Using P-Systems.	Int. Conf. on Membrane Computing	2010	DBLP DOI BibTeX RDF
29	Xiangxiang Zeng, Henry N. Adorna, Miguel A. Martínez-del-Amor, Linqiang Pan, Mario J. Pérez-Jiménez	Matrix Representation of Spiking Neural P Systems.	Int. Conf. on Membrane Computing	2010	DBLP DOI BibTeX RDF
29	Adam Obtulowicz	Randomized Gandy-Paun-Rozenberg Machines.	Int. Conf. on Membrane Computing	2010	DBLP DOI BibTeX RDF
29	Artiom Alhazov, Yurii Rogozhin, Sergey Verlan	A Small Universal Splicing P System.	Int. Conf. on Membrane Computing	2010	DBLP DOI BibTeX RDF
29	Maurice Margenstern	An Algorithmic Approach to Tilings of Hyperbolic Spaces: 10 Years Later.	Int. Conf. on Membrane Computing	2010	DBLP DOI BibTeX RDF
29	Daniela Besozzi, Paolo Cazzaniga, Giancarlo Mauri, Dario Pescini	BioSimWare: A Software for the Modeling, Simulation and Analysis of Biological Systems.	Int. Conf. on Membrane Computing	2010	DBLP DOI BibTeX RDF
29	Oana Agrigoroaiei, Gabriel Ciobanu	Flattening the Transition P Systems with Dissolution.	Int. Conf. on Membrane Computing	2010	DBLP DOI BibTeX RDF
29	Vincenzo Manca, Luca Marchetti	Goldbeter's Mitotic Oscillator Entirely Modeled by MP Systems.	Int. Conf. on Membrane Computing	2010	DBLP DOI BibTeX RDF
29	Petr Sosík, Alfonso Rodríguez-Patón, Lucie Ciencialová	Polynomial Complexity Classes in Spiking Neural P Systems.	Int. Conf. on Membrane Computing	2010	DBLP DOI BibTeX RDF
29	Pierluigi Frisco	P Systems and Unique-Sum Sets.	Int. Conf. on Membrane Computing	2010	DBLP DOI BibTeX RDF
29	Petros Kefalas, Ioanna Stamatopoulou	Towards Modelling of Reactive, Goal-Oriented and Hybrid Intelligent Agents Using P Systems.	Int. Conf. on Membrane Computing	2010	DBLP DOI BibTeX RDF
29	Jun Wang 0014, Hendrik Jan Hoogeboom, Linqiang Pan	Spiking Neural P Systems with Neuron Division.	Int. Conf. on Membrane Computing	2010	DBLP DOI BibTeX RDF
29	Erzsébet Csuhaj-Varjú, György Vaszil, Sergey Verlan	On Generalized Communicating P Systems with One Symbol.	Int. Conf. on Membrane Computing	2010	DBLP DOI BibTeX RDF
29	David W. Corne, Pierluigi Frisco, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa (eds.)	Membrane Computing - 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers	Workshop on Membrane Computing	2009	DBLP DOI BibTeX RDF
29	Artiom Alhazov, Kenichi Morita	On Reversibility and Determinism in P Systems.	Workshop on Membrane Computing	2009	DBLP DOI BibTeX RDF
29	Andrea Valsecchi, Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron	An Efficient Simulation of Polynomial-Space Turing Machines by P Systems with Active Membranes.	Workshop on Membrane Computing	2009	DBLP DOI BibTeX RDF
29	Petr Sosík, Andrei Paun, Alfonso Rodríguez-Patón, David Pérez	On the Power of Computing with Proteins on Membranes.	Workshop on Membrane Computing	2009	DBLP DOI BibTeX RDF
29	Alberto Castellini, Vincenzo Manca, Yasuhiro Suzuki	Metabolic P System Flux Regulation by Artificial Neural Networks.	Workshop on Membrane Computing	2009	DBLP DOI BibTeX RDF
29	Rudolf Freund, Marian Kogler 0001	(Tissue) P Systems with Hybrid Transition Modes.	Workshop on Membrane Computing	2009	DBLP DOI BibTeX RDF
29	Vincenzo Manca	From P to MP Systems.	Workshop on Membrane Computing	2009	DBLP DOI BibTeX RDF
29	Rudolf Freund	Transition and Halting Modes in (Tissue) P Systems.	Workshop on Membrane Computing	2009	DBLP DOI BibTeX RDF
29	Erzsébet Csuhaj-Varjú	P Automata: Concepts, Results, and New Aspects.	Workshop on Membrane Computing	2009	DBLP DOI BibTeX RDF
29	Giuditta Franco, Vincenzo Manca, Roberto Pagliarini	Regulation and Covering Problems in MP Systems.	Workshop on Membrane Computing	2009	DBLP DOI BibTeX RDF
29	Pierluigi Frisco	Conformon P Systems and Topology of Information Flow.	Workshop on Membrane Computing	2009	DBLP DOI BibTeX RDF
29	Marian Gheorghe 0001, Florentin Ipate, Ciprian Dragomir	Formal Verification and Testing Based on P Systems.	Workshop on Membrane Computing	2009	DBLP DOI BibTeX RDF
29	Thomas Hinze, Thorsten Lenser, Gabi Escuela, Ines Heiland, Stefan Schuster	Modelling Signalling Networks with Incomplete Information about Protein Activation States: A P System Framework of the KaiABC Oscillator.	Workshop on Membrane Computing	2009	DBLP DOI BibTeX RDF
29	Sergey Verlan	Look-Ahead Evolution for P Systems.	Workshop on Membrane Computing	2009	DBLP DOI BibTeX RDF
29	Solomon Marcus	The Biological Cell in Spectacle.	Workshop on Membrane Computing	2009	DBLP DOI BibTeX RDF
29	Paolo Cazzaniga, Giancarlo Mauri, Luciano Milanesi, Ettore Mosca, Dario Pescini	A Novel Variant of P Systems for the Modelling and Simulation of Biochemical Systems.	Workshop on Membrane Computing	2009	DBLP DOI BibTeX RDF
29	Oana Agrigoroaiei, Gabriel Ciobanu, Andreas Resios	Evolving by Maximizing the Number of Rules: Complexity Study.	Workshop on Membrane Computing	2009	DBLP DOI BibTeX RDF
29	Manuel García-Quismondo, Rosa Gutiérrez-Escudero, Ignacio Pérez-Hurtado, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez	An Overview of P-Lingua 2.0.	Workshop on Membrane Computing	2009	DBLP DOI BibTeX RDF
29	Linqiang Pan, Xiangxiang Zeng	A Note on Small Universal Spiking Neural P Systems.	Workshop on Membrane Computing	2009	DBLP DOI BibTeX RDF
29	Giancarlo Mauri, Alberto Leporati, Claudio Zandron	Energy-Based Models of P Systems.	Workshop on Membrane Computing	2009	DBLP DOI BibTeX RDF
29	Mónica Cardona, M. Àngels Colomer, Antoni Margalida, Ignacio Pérez-Hurtado, Mario J. Pérez-Jiménez, Delfí Sanuy	A P System Based Model of an Ecosystem of Some Scavenger Birds.	Workshop on Membrane Computing	2009	DBLP DOI BibTeX RDF
29	Rosa Gutiérrez-Escudero, Mario J. Pérez-Jiménez, Miquel Rius-Font	Characterizing Tractability by Tissue-Like P Systems.	Workshop on Membrane Computing	2009	DBLP DOI BibTeX RDF
29	José M. Cecilia, José M. García 0001, Ginés D. Guerrero, Miguel A. Martínez-del-Amor, Ignacio Pérez-Hurtado, Mario J. Pérez-Jiménez	Implementing P Systems Parallelism by Means of GPUs.	Workshop on Membrane Computing	2009	DBLP DOI BibTeX RDF
29	Raluca Lefticaru, Florentin Ipate, Marian Gheorghe 0001, Gexiang Zhang	Tuning P Systems for Solving the Broadcasting Problem.	Workshop on Membrane Computing	2009	DBLP DOI BibTeX RDF
29	Tseren-Onolt Ishdorj, Alberto Leporati, Linqiang Pan, Jun Wang 0014	Solving NP-Complete Problems by Spiking Neural P Systems with Budding Rules.	Workshop on Membrane Computing	2009	DBLP DOI BibTeX RDF
29	Andrzej Ehrenfeucht, Grzegorz Rozenberg	Computational Nature of Processes Induced by Biochemical Reactions.	Workshop on Membrane Computing	2009	DBLP DOI BibTeX RDF
29	Marian Gheorghe 0001, Florentin Ipate	On Testing P Systems.	Workshop on Membrane Computing	2008	DBLP DOI BibTeX RDF
29	Francisco José Romero-Campero, Jamie Twycross, Hongqing Cao, Jonathan Blakes, Natalio Krasnogor	A Multiscale Modeling Framework Based on P Systems.	Workshop on Membrane Computing	2008	DBLP DOI BibTeX RDF
29	Mónica Cardona, M. Àngels Colomer, Mario J. Pérez-Jiménez, Delfí Sanuy, Antoni Margalida	Modeling Ecosystems Using P Systems: The Bearded Vulture, a Case Study.	Workshop on Membrane Computing	2008	DBLP DOI BibTeX RDF
29	Alberto Leporati, Claudio Zandron, Giancarlo Mauri	How Redundant Is Your Universal Computation Device?.	Workshop on Membrane Computing	2008	DBLP DOI BibTeX RDF
29	Vincenzo Manca, Roberto Pagliarini, Simone Zorzan	Toward an MP Model of Non-Photochemical Quenching.	Workshop on Membrane Computing	2008	DBLP DOI BibTeX RDF
29	Michael Muskulus	Applications of Page Ranking in P Systems.	Workshop on Membrane Computing	2008	DBLP DOI BibTeX RDF
29	David R. Gilbert, Rainer Breitling, Monika Heiner, Robin Donaldson	An Introduction to BioModel Engineering, Illustrated for Signal Transduction Pathways.	Workshop on Membrane Computing	2008	DBLP DOI BibTeX RDF
29	Thomas Hinze, Raffael Faßler, Thorsten Lenser, Naoki Matsumaru, Peter Dittrich	Event-Driven Metamorphoses of P Systems.	Workshop on Membrane Computing	2008	DBLP DOI BibTeX RDF
29	John Jack, Andrei Paun, Alfonso Rodríguez-Patón	Effects of HIV-1 Proteins on the Fas-Mediated Apoptotic Signaling Cascade: A Computational Study of Latent CD4+ T Cell Activation.	Workshop on Membrane Computing	2008	DBLP DOI BibTeX RDF
29	Traian Serbanuta, Gheorghe Stefanescu, Grigore Rosu	Defining and Executing P Systems with Structured Data in K.	Workshop on Membrane Computing	2008	DBLP DOI BibTeX RDF
29	Alberto Castellini, Vincenzo Manca	MetaPlab: A Computational Framework for Metabolic P Systems.	Workshop on Membrane Computing	2008	DBLP DOI BibTeX RDF
29	Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin	On the Qualitative Analysis of Conformon P Systems.	Workshop on Membrane Computing	2008	DBLP DOI BibTeX RDF
29	Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez	Hebbian Learning from Spiking Neural P Systems View.	Workshop on Membrane Computing	2008	DBLP DOI BibTeX RDF
29	Oana Agrigoroaiei, Gabriel Ciobanu	Dual P Systems.	Workshop on Membrane Computing	2008	DBLP DOI BibTeX RDF
29	Petros Kefalas, Ioanna Stamatopoulou, George Eleftherakis, Marian Gheorghe 0001	Transforming State-Based Models to P Systems Models in Practice.	Workshop on Membrane Computing	2008	DBLP DOI BibTeX RDF
29	Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine	Investigation of a Biological Repair Scheme.	Workshop on Membrane Computing	2008	DBLP DOI BibTeX RDF
29	George Eleftherakis, Petros Kefalas, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa (eds.)	Membrane Computing, 8th International Workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers	Workshop on Membrane Computing	2007	DBLP DOI BibTeX RDF
29	Francesco Bernardini, Marian Gheorghe 0001, Francisco José Romero-Campero, Neil Walkinshaw	A Hybrid Approach to Modeling Biological Systems.	Workshop on Membrane Computing	2007	DBLP DOI BibTeX RDF
29	Bogdan Aman, Gabriel Ciobanu	On the Reachability Problem in P Systems with Mobile Membranes.	Workshop on Membrane Computing	2007	DBLP DOI BibTeX RDF
29	Tommaso Mazza	Towards a Complete Covering of SBML Functionalities.	Workshop on Membrane Computing	2007	DBLP DOI BibTeX RDF
29	Luca Bernardinello, Nicola Bonzanni, Marco Mascheroni, Lucia Pomello	Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets.	Workshop on Membrane Computing	2007	DBLP DOI BibTeX RDF
29	Ioanna Stamatopoulou, Petros Kefalas, Marian Gheorghe 0001	OPERASCC: An Instance of a Formal Framework for MAS Modeling Based on Population P Systems.	Workshop on Membrane Computing	2007	DBLP DOI BibTeX RDF
29	Thomas Hinze, Sikander Hayat, Thorsten Lenser, Naoki Matsumaru, Peter Dittrich	Hill Kinetics Meets P Systems: A Case Study on Gene Regulatory Networks as Computing Agents in silico and in vivo.	Workshop on Membrane Computing	2007	DBLP DOI BibTeX RDF
29	Daniel Díaz-Pernil, Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez	A Logarithmic Bound for Solving Subset Sum with P Systems.	Workshop on Membrane Computing	2007	DBLP DOI BibTeX RDF
29	Luca Bianco, Alberto Castellini	Psim: A Computational Platform for Metabolic P Systems.	Workshop on Membrane Computing	2007	DBLP DOI BibTeX RDF