Carlos Martín-Vide

Neural Comput. Appl., March, 2023

Algorithms for Computational Biology: Eighth Edition.

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2023

2022

Preface.

[BibT_eX]

[DOI]

Nat. Comput., 2022

Special Issue: Selected papers of the 14th International Conference on Language and Automata Theory and Applications, LATA 2020.

[BibT_eX]

[DOI]

Inf. Comput., 2022

Special issue: Selected papers of the 13th International Conference on Language and Automata Theory and Applications, LATA 2019.

[BibT_eX]

[DOI]

Inf. Comput., 2022

Special Issue: Selected papers of the 12th International Conference on Language and Automata Theory and Applications, LATA 2018.

[BibT_eX]

[DOI]

Inf. Comput., 2022

2021

Algorithms for Computational Biology: Seventh Edition.

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2021

Algorithms for Computational Biology: Sixth Edition.

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2021

Theory and practice of natural computing: seventh edition.

[BibT_eX]

[DOI]

Soft Comput., 2021

Special Issue: Selected papers of the 11th International Conference on Language and Automata Theory and Applications, LATA 2017.

[BibT_eX]

[DOI]

Inf. Comput., 2021

2020

Algorithms for Computational Biology: Fifth Edition.

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2020

2019

Algorithms for Computational Biology: Third Edition.

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2019

Theory and practice of natural computing: fifth edition.

[BibT_eX]

[DOI]

Soft Comput., 2019

Special issue: Selected papers of the 9th International Conference on Language and Automata Theory and Applications, LATA 2015.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2019

Special Issue: Selected papers of the 10th International Conference on Language and Automata Theory and Applications, LATA 2016.

[BibT_eX]

[DOI]

Inf. Comput., 2019

Third International Conference on Statistical Language and Speech Processing, SLSP 2015 Preface.

[BibT_eX]

[DOI]

Comput. Speech Lang., 2019

Theory and practice of natural computing: Sixth edition.

[BibT_eX]

[DOI]

Biosyst., 2019

2018

Selected Papers of the First International Conference on Algorithms for Computational Biology (AlCoB 2014).

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2018

Selected Papers of the Fourth International Conference on the Theory and Practice of Natural Computing, TPNC 2015.

[BibT_eX]

[DOI]

Soft Comput., 2018

2017

Selected papers of the Third International Conference on the Theory and Practice of Natural Computing, TPNC 2014.

[BibT_eX]

[DOI]

Soft Comput., 2017

Preface: Selected Articles of the Second International Conference on Algorithms for Computational Biology (AlCoB 2015).

[BibT_eX]

[DOI]

J. Comput. Biol., 2017

Selected papers of the 8th International Conference on Language and Automata Theory and Applications (LATA 2014).

[BibT_eX]

[DOI]

Inf. Comput., 2017

Natural Language Processing, Moving from Rules to Data.

[BibT_eX]

[DOI]

Joana M. Matos

Proceedings of the Theory and Applications of Models of Computation, 2017

2016

Special Issue on Second International Conference on the Theory and Practice of Natural Computing, TPNC 2013 - Preface.

[BibT_eX]

[DOI]

Soft Comput., 2016

7th International Conference on Language and Automata Theory and Applications (LATA 2013).

[BibT_eX]

[DOI]

Inf. Comput., 2016

First International Conference on Statistical Language and Speech Processing, SLSP 2013.

[BibT_eX]

[DOI]

Ruslan Mitkov

Comput. Speech Lang., 2016

2015

Hairpin lengthening: language theoretic and algorithmic results.

[BibT_eX]

[DOI]

J. Log. Comput., 2015

2014

Guest Editors' Note - Special Issue: First International Conference on the Theory and Practice of Natural Computing, TPNC 2012.

[BibT_eX]

[DOI]

Parallel Process. Lett., 2014

6th International Conference on Language and Automata Theory and Applications (LATA 2012).

[BibT_eX]

[DOI]

Inf. Comput., 2014

A Variant of Pure Two-Dimensional Context-Free Grammars Generating Picture Languages.

[BibT_eX]

[DOI]

Proceedings of the Combinatorial Image Analysis - 16th International Workshop, 2014

2013

Foreword.

[BibT_eX]

[DOI]

Shunsuke Inenaga

Int. J. Comput. Math., 2013

2012

From the Guest Editors.

[BibT_eX]

[DOI]

Henning Fernau

J. Comput. Syst. Sci., 2012

2011

3rd International Conference on Language and Automata Theory and Applications (LATA 2009).

[BibT_eX]

[DOI]

Inf. Comput., 2011

2010

Hairpin Lengthening.

[BibT_eX]

[DOI]

Proceedings of the Programs, Proofs, Processes, 6th Conference on Computability in Europe, 2010

Accepting Networks of Evolutionary Word and Picture Processors: A Survey.

[BibT_eX]

Proceedings of the Scientific Applications of Language Methods., 2010

2009

On the size of computationally complete hybrid networks of evolutionary processors.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2009

2nd International Conference on Language and Automata Theory and Applications (LATA 2008).

[BibT_eX]

[DOI]

Cristina Tîrnauca

Inf. Comput., 2009

On Networks of Evolutionary Processors with Nodes of Two Types.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

On some algorithmic problems regarding the hairpin completion.

[BibT_eX]

[DOI]

María Dolores Jiménez-López

Discret. Appl. Math., 2009

Networks of Evolutionary Processors - A Historical Account.

[BibT_eX]

Gemma Bel Enguix

Proceedings of the ICAART 2009 - Proceedings of the International Conference on Agents and Artificial Intelligence, Porto, Portugal, January 19, 2009

2008

1st International Conference on Language and Automata Theory and Applications (LATA 2007).

[BibT_eX]

[DOI]

Remco Loos

Inf. Comput., 2008

State complexity of basic language operations combined with reversal.

[BibT_eX]

[DOI]

Inf. Comput., 2008

About Universal Hybrid Networks of Evolutionary Processors of Small Size.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2008

Computational Completeness of Hybrid Networks of Evolutionary Processors with Seven Nodes.

[BibT_eX]

Proceedings of the 10th International Workshop on Descriptional Complexity of Formal Systems, 2008

2007

Erratum to: "Accepting networks of splicing processors: Complexity results" [Theoret. Comput. Sci. 371(2007) 72-82].

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

Accepting networks of splicing processors: Complexity results.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

On the size complexity of universal accepting hybrid networks of evolutionary processors.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2007

Remarks on arbitrary multiple pattern interpretations.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2007

Evolutionary Design of Intrusion Detection Programs.

[BibT_eX]

[DOI]

Ajith Abraham

Crina Grosan

Int. J. Netw. Secur., 2007

Decision Problems on Path-Controlled Grammars.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2007

State Complexity of Basic Operations Combined with Reversal.

[BibT_eX]

Proceedings of the LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications., 2007

Networks of Evolutionary Processors with Two Nodes Are Unpredictable.

[BibT_eX]

Proceedings of the LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications., 2007

Some Remarks on Homogeneous Generating Networks of Free Evolutionary Processors.

[BibT_eX]

[DOI]

Jürgen Dassow

Proceedings of the Formal Models, 2007

2006

Sorted dependency insertion grammars.

[BibT_eX]

[DOI]

Radu Gramatovici

Theor. Comput. Sci., 2006

Iterated sequential transducers as language generating devices.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Further remark on P systems with active membranes and two polarizations.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2006

On the number of nodes in universal networks of evolutionary processors.

[BibT_eX]

[DOI]

Acta Informatica, 2006

Solving SAT and HPP with Accepting Splicing Systems.

[BibT_eX]

[DOI]

Remco Loos

Proceedings of the Parallel Problem Solving from Nature, 2006

Example-Based Machine Translation Using a Dictionary of Word Pairs.

[BibT_eX]

[DOI]

Reinhard Rapp

Proceedings of the Fifth International Conference on Language Resources and Evaluation, 2006

All NP-Problems Can Be Solved in Polynomial Time by Accepting Networks of Splicing Processors of Constant Size.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing, 12th International Meeting on DNA Computing, 2006

2005

Synchronized shuffles.

[BibT_eX]

[DOI]

Maurice H. ter Beek

Theor. Comput. Sci., 2005

Solving multidimensional 0-1 knapsack problem by P systems with input and active membranes.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2005

Local and recognizable hexagonal picture languages.

[BibT_eX]

[DOI]

Int. J. Pattern Recognit. Artif. Intell., 2005

A Universal Accepting Hybrid Network of Evolutionary Processors.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Developments in Computational Models, 2005

Uniformly bounded duplication languages.

[BibT_eX]

[DOI]

Peter Leupold

Discret. Appl. Math., 2005

Hybrid networks of evolutionary processors are computationally complete.

[BibT_eX]

[DOI]

Acta Informatica, 2005

Modeling Neural Processes in Lindenmayer Systems.

[BibT_eX]

[DOI]

Tseren-Onolt Ishdorj

Proceedings of the Computational Intelligence and Bioinspired Systems, 2005

Biomolecular Immune-Computer: Theoretical Basis and Experimental Simulator.

[BibT_eX]

[DOI]

Larisa B. Goncharova

Yannick Jacques

Alexander O. Tarakanov

Jonathan Timmis

Proceedings of the Artificial Immune Systems: 4th International Conference, 2005

Contextual Information Systems.

[BibT_eX]

[DOI]

Proceedings of the Modeling and Using Context, 2005

Accepting Networks of Splicing Processors.

[BibT_eX]

[DOI]

Proceedings of the New Computational Paradigms, 2005

2004

From regulated rewriting to computing with membranes: collapsing hierarchies.

[BibT_eX]

[DOI]

Rudolf Freund

Theor. Comput. Sci., 2004

Derived Trees Evolution for Tree Adjoining Grammars Parsing.

[BibT_eX]

[DOI]

Grammars, 2004

A New Uniform Translocation Distance.

[BibT_eX]

[DOI]

Proceedings of the Structural, 2004

Solving 3CNF-SAT and HPP in Linear Time Using WWW.

[BibT_eX]

[DOI]

Proceedings of the Machines, Computations, and Universality, 4th International Conference, 2004

Hexagonal Pattern Languages.

[BibT_eX]

[DOI]

Proceedings of the Combinatorial Image Analysis, 10th InternationalWorkshop, 2004

On the Universality of P Systems with Minimal Symport/Antiport Rules.

[BibT_eX]

[DOI]

Lila Kari

Andrei Paun

Proceedings of the Aspects of Molecular Computing, 2004

Remarks on Sublanguages Consisting of Primitive Words of Slender Regular and Context-Free Languages.

[BibT_eX]

[DOI]

Pál Dömösi

Proceedings of the Theory Is Forever, 2004

On Some Classes of Splicing Languages.

[BibT_eX]

[DOI]

Rodica Ceterchi

K. G. Subramanian

Proceedings of the Aspects of Molecular Computing, 2004

Solving Graph Problems by P Systems with Restricted Elementary Active Membranes.

[BibT_eX]

[DOI]

Proceedings of the Aspects of Molecular Computing, 2004

2003

Tissue P systems.

[BibT_eX]

[DOI]

Juan Pazos

Theor. Comput. Sci., 2003

Unexpected universality results for three classes of P systems with symport/antiport.

[BibT_eX]

[DOI]

Nat. Comput., 2003

From Watson-Crick L systems to Darwinian P systems.

[BibT_eX]

[DOI]

Arto Salomaa

Nat. Comput., 2003

Weighted Grammars and Automata with Threshold Interpretation.

[BibT_eX]

[DOI]

Ralf Stiebe

J. Autom. Lang. Comb., 2003

On the sentence valuation in a semiring.

[BibT_eX]

[DOI]

Inf. Sci., 2003

Solving a PSPACE-Complete Problem by Recognizing P Systems with Restricted Active Membranes.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2003

Networks of evolutionary processors.

[BibT_eX]

[DOI]

Acta Informatica, 2003

Contextual Grammars and Dependency Trees.

[BibT_eX]

[DOI]

Radu Gramatovici

Proceedings of the Actes de la 10ème conférence sur le Traitement Automatique des Langues Naturelles. Articles longs, 2003

An Agent Based Approach of Collective Foraging.

[BibT_eX]

[DOI]

Marian Gheorghe

Mario J. Pérez-Jiménez

Proceedings of the Artificial Neural Nets Problem Solving Methods, 2003

Hybrid Networks of Evolutionary Processors.

[BibT_eX]

[DOI]

Fernando Sancho-Caparrini

Mario J. Pérez-Jiménez

Proceedings of the Genetic and Evolutionary Computation, 2003

On Three Classes of Automata-Like P Systems.

[BibT_eX]

[DOI]

Proceedings of the Developments in Language Theory, 7th International Conference, 2003

Restricted Concatenation Inspired by DNA Strand Assembly

[BibT_eX]

Proceedings of the Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, 2003

Grammars and automata for string processors - from mathematics and computer science to biology, and back: essays in honour of Gheorghe Paun.

[BibT_eX]

Topics in computer mathematics 9, Taylor & Francis, ISBN: 978-0-415-29885-8, 2003

2002

Membrane systems with carriers.

[BibT_eX]

[DOI]

Grzegorz Rozenberg

Theor. Comput. Sci., 2002

On Some Operations on Strings Suggested by Gene Assembly in Ciliates.

[BibT_eX]

[DOI]

Rudolf Freund

New Gener. Comput., 2002

On the Power of P Systems with Symport Rules.

[BibT_eX]

[DOI]

Andrei Paun

J. Univers. Comput. Sci., 2002

Grammars with Bounded-Life Resources.

[BibT_eX]

[DOI]

J. Autom. Lang. Comb., 2002

Parallel Finite Automata Systems Communicating by States.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2002

Multiple Pattern Interpretations.

[BibT_eX]

[DOI]

Manfred Kudlek

Grammars, 2002

P Systems with Symport/Antiport Rules: The Traces of Objects.

[BibT_eX]

[DOI]

Mihai Ionescu

Grammars, 2002

ReMembrane Systems with Coupled Transport: Universality and Normal Forms.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2002

On the Injectivity of the Parikh Matrix Mapping.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2002

Recursive Calculus with Membranes.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2002

Membrane Computing: New Results, New Problems.

[BibT_eX]

Andrei Paun

Bull. EATCS, 2002

Membrane systems with promoters/inhibitors.

[BibT_eX]

[DOI]

Acta Informatica, 2002

An Application of Dynamic P Systems: Generating Context-Free Languages.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, International Workshop, 2002

Dynamic P Systems.

[BibT_eX]

[DOI]

Rodica Ceterchi

Proceedings of the Membrane Computing, International Workshop, 2002

A New Class of Symbolic Abstract Neural Nets: Tissue P Systems.

[BibT_eX]

[DOI]

Juan Pazos

Proceedings of the Computing and Combinatorics, 8th Annual International Conference, 2002

Parallel Communicating Finite Transducer Systems.

[BibT_eX]

Proceedings of the Computational Linguistics in the Netherlands 2002, 2002

Rewriting P Systems with Conditional Communication.

[BibT_eX]

[DOI]

Proceedings of the Formal and Natural Computing, 2002

2001

Codifiable Languages and the Parikh Matrix Mapping.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2001

On the Power of P Systems with Replicated Rewriting.

[BibT_eX]

[DOI]

Vincenzo Manca

J. Autom. Lang. Comb., 2001

Some undecidable problems for parallel communicating finite automata systems.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2001

Chomsky-Schu"tzenberger Type Characterizations of Poly-Slender and Parikh Slender Context-Free Languages.

[BibT_eX]

[DOI]

Masami Ito

Proceedings of the joint meeting of the 6th Conference on Formal Grammar (FG) and the 7th Conference on Mathematics of Language (MOL), 2001

Language Generating by Means of Membrane Systems.

[BibT_eX]

Bull. EATCS, 2001

On the Power of P Systems with Valuations.

[BibT_eX]

[DOI]

Computación y Sistemas, 2001

On P Systems with Membrane Creation.

[BibT_eX]

[DOI]

Comput. Sci. J. Moldova, 2001

Group weighted finite transducers.

[BibT_eX]

[DOI]

Masami Ito

Acta Informatica, 2001

Computing with Membranes (P Systems): Universality Results.

[BibT_eX]

[DOI]

Proceedings of the Machines, 2001

Solving NP-Complete Problems With Networks of Evolutionary Processors.

[BibT_eX]

[DOI]

Proceedings of the Connectionist Models of Neurons, 2001

Computing with Membranes: Variants with an Enhanced Membrane Handling.

[BibT_eX]

[DOI]

Maurice Margenstern

Proceedings of the DNA Computing, 7th International Workshop on DNA-Based Computers, 2001

Sewing contexts and mildly context-sensitive languages.

[BibT_eX]

Arto Salomaa

Proceedings of the Where Mathematics, 2001

A Characterization of Parikh Sets of ET0L Languages in Terms of P Systems.

[BibT_eX]

Masami Ito

Proceedings of the Words, Semigroups, and Transductions, 2001

2000

Colonies with limited activation of components.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2000

Uniquely Parsable Accepting Grammar Systems.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2000

Special Families of Sewing Languages.

[BibT_eX]

[DOI]

J. Autom. Lang. Comb., 2000

Parallel Communicating Pushdown Automata Systems.

[BibT_eX]

[DOI]

György Vaszil

Int. J. Found. Comput. Sci., 2000

Conditional Concatenation.

[BibT_eX]

[DOI]

Jürgen Dassow

Fundam. Informaticae, 2000

Computing with Membranes: One More Collapsing Hierarchy.

[BibT_eX]

Bull. EATCS, 2000

Contextual Generalized Sequential Machines.

[BibT_eX]

Bull. EATCS, 2000

Toward a Formal Macroset Theory.

[BibT_eX]

[DOI]

Manfred Kudlek

Proceedings of the Multiset Processing, 2000

Multiset Automata.

[BibT_eX]

[DOI]

Proceedings of the Multiset Processing, 2000

P Systems with Valuations.

[BibT_eX]

Proceedings of the Unconventional Models of Computation, 2000

On the Sentence Valuations in a Semiring.

[BibT_eX]

Proceedings of the International Colloquium on Words, 2000

A New-Old Class of Linguistically Motivated Regulated Grammars.

[BibT_eX]

Proceedings of the Computational Linguistics in the Netherlands 2000, 2000

On Context-Free Duplications.

[BibT_eX]

Proceedings of the Recent Topics in Mathematical and Computational Linguistics, 2000

Infinitely Many Infinities.

[BibT_eX]

[DOI]

Proceedings of the Finite Versus Infinite, 2000

1999

Cooperating Distributed Splicing Systems.

[BibT_eX]

[DOI]

J. Autom. Lang. Comb., 1999

Contexts on trajectories.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 1999

New Topics in Colonies Theory.

[BibT_eX]

[DOI]

Grammars, 1999

Duplication Grammars.

[BibT_eX]

[DOI]

Acta Cybern., 1999

Bringing PC Grammar Systems Closer to Hoare's CSPs.

[BibT_eX]

Proceedings of the Grammatical Models of Multi-Agent Systems, 1999

Pragmatics and Eco-Rewriting Systems.

[BibT_eX]

María Dolores Jiménez-López

Proceedings of the Grammatical Models of Multi-Agent Systems, 1999

Sewing Grammars.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999

Contextual grammars with trajectories.

[BibT_eX]

[DOI]

Proceedings of the Developments in Language Theory, 1999

Iterated GSM Mappings: A Collapsing Hierarchy.

[BibT_eX]

Vincenzo Manca

Proceedings of the Jewels are Forever, 1999

1998

Characterizations of Recursively Enumerable Languages by Means of Insertion Grammars.

[BibT_eX]

[DOI]

Arto Salomaa

Theor. Comput. Sci., 1998

Structured Contextual Grammars.

[BibT_eX]

[DOI]

Grammars, 1998

Hybrid Grammars: The Chomsky-Marcus Case.

[BibT_eX]

Bull. EATCS, 1998

Contextual Grammars as Generative Models of Natural Languages.

[BibT_eX]

Solomon Marcus

Comput. Linguistics, 1998

PM-colonies.

[BibT_eX]

[DOI]

Comput. Artif. Intell., 1998

Cooperation in Contextual Grammars.

[BibT_eX]

Proceedings of the Progreedings of the MFCS '98 Satellite Workshop on Grammar Systems, 1998

1997

Natural Computation for Natural Language.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1997

Two-Level Contextual Grammars: The Internal Case.

[BibT_eX]

[DOI]

Joan Miquel-Verges

María Dolores Jiménez-López

Proceedings of the Mathematical Foundations of Computer Science 1997, 1997

Grammar Systems for the Description of Certain Natural Language Facts.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Formal Languages, 1997

1996

Natural Language Understanding: a New Challenge for Grammar Systems.

[BibT_eX]

[DOI]