Búsqueda de Publicación - Prisma - Unidad de Bibliometría

Publicaciones en la fuente THEORETICAL COMPUTER SCIENCE

Tipo Año Título Fuente
Artículo2024Steps toward a homogenization procedure for spiking neural P systemsTHEORETICAL COMPUTER SCIENCE
Artículo2024Towards a general methodology for formal verification on spiking neural P systemsTHEORETICAL COMPUTER SCIENCE
Artículo2023Generating, computing and recognizing with virus machinesTHEORETICAL COMPUTER SCIENCE
Artículo2023The environment as a frontier of efficiency in tissue P systems with communication rulesTHEORETICAL COMPUTER SCIENCE
Artículo2022Optimal placement of base stations in border surveillance using limited capacity dronesTHEORETICAL COMPUTER SCIENCE
Artículo2022P systems with evolutional symport and membrane creation rules solving QSATTHEORETICAL COMPUTER SCIENCE
Artículo2021Proof techniques in membrane computingTHEORETICAL COMPUTER SCIENCE
Artículo2020Cell-like P systems with polarizations and minimal rulesTHEORETICAL COMPUTER SCIENCE
Artículo2020P systems with symport/antiport rules: when do the surroundings matter?THEORETICAL COMPUTER SCIENCE
Artículo2020When object production tunes the efficiency of membrane systemsTHEORETICAL COMPUTER SCIENCE
Artículo2019A path to computational efficiency through membrane computingTHEORETICAL COMPUTER SCIENCE
Artículo2018From distribution to replication in cooperative systems with active membranes: A frontier of the efficiencyTHEORETICAL COMPUTER SCIENCE
Editorial2018PrefaceTHEORETICAL COMPUTER SCIENCE
Artículo2018Solving the N-Queens problem using dP systems with active membranesTHEORETICAL COMPUTER SCIENCE
Artículo2017Fuzzy reasoning spiking neural P systems revisited: A formalizationTHEORETICAL COMPUTER SCIENCE
Artículo2017Reaching efficiency through collaboration in membrane systems: Dissolution, polarization and cooperationTHEORETICAL COMPUTER SCIENCE
Artículo2016Computing with virusesTHEORETICAL COMPUTER SCIENCE
Artículo2015Membrane fission versus cell division: When membrane proliferation is not enoughTHEORETICAL COMPUTER SCIENCE
Artículo2014Time-free solution to SAT problem using P systems with active membranesTHEORETICAL COMPUTER SCIENCE
Artículo2013A colouring protocol for the generalized Russian cards problemTHEORETICAL COMPUTER SCIENCE
Artículo2012An infinite hierarchy of languages defined by dP systemsTHEORETICAL COMPUTER SCIENCE
Artículo2012P automata revisitedTHEORETICAL COMPUTER SCIENCE
Artículo2012Towards bridging two cell-inspired models: P systems and R systemsTHEORETICAL COMPUTER SCIENCE
Artículo2008A uniform family of tissue P systems with cell division solving 3-COL in a linear timeTHEORETICAL COMPUTER SCIENCE
Artículo2008Membrane systems with proteins embedded in membranesTHEORETICAL COMPUTER SCIENCE
Artículo2007A uniform solution to SAT using membrane creationTHEORETICAL COMPUTER SCIENCE
Editorial2007Fourth Brainstorming Week on Membrane ComputingTHEORETICAL COMPUTER SCIENCE
Artículo2007On the degree of parallelism in membrane systemsTHEORETICAL COMPUTER SCIENCE
Artículo2007P systems with minimal parallelismTHEORETICAL COMPUTER SCIENCE
Artículo2005Tissue P systems with channel statesTHEORETICAL COMPUTER SCIENCE
Artículo2002Weak lighting functions and strong 26-surfacesTHEORETICAL COMPUTER SCIENCE