Carlos Martín-Vide

According to our database1, Carlos Martín-Vide
  • authored at least 134 papers between 1996 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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

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

Natural Language Processing, Moving from Rules to Data.
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.
Soft Comput., 2016

7th International Conference on Language and Automata Theory and Applications (LATA 2013).
Inf. Comput., 2016

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

2015
Hairpin lengthening: language theoretic and algorithmic results.
J. Log. Comput., 2015

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

6th International Conference on Language and Automata Theory and Applications (LATA 2012).
Inf. Comput., 2014

A Variant of Pure Two-Dimensional Context-Free Grammars Generating Picture Languages.
Proceedings of the Combinatorial Image Analysis - 16th International Workshop, 2014

2013
Foreword.
Int. J. Comput. Math., 2013

2012
From the Guest Editors.
J. Comput. Syst. Sci., 2012

2011
3rd International Conference on Language and Automata Theory and Applications (LATA 2009).
Inf. Comput., 2011

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

Accepting Networks of Evolutionary Word and Picture Processors: A Survey.
Proceedings of the Scientific Applications of Language Methods., 2010

2009
On the size of computationally complete hybrid networks of evolutionary processors.
Theor. Comput. Sci., 2009

2nd International Conference on Language and Automata Theory and Applications (LATA 2008).
Inf. Comput., 2009

On Networks of Evolutionary Processors with Nodes of Two Types.
Fundam. Inform., 2009

On some algorithmic problems regarding the hairpin completion.
Discrete Applied Mathematics, 2009

Networks of Evolutionary Processors - A Historical Account.
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).
Inf. Comput., 2008

State complexity of basic language operations combined with reversal.
Inf. Comput., 2008

About Universal Hybrid Networks of Evolutionary Processors of Small Size.
Proceedings of the Language and Automata Theory and Applications, 2008

Computational Completeness of Hybrid Networks of Evolutionary Processors with Seven Nodes.
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].
Theor. Comput. Sci., 2007

Accepting networks of splicing processors: Complexity results.
Theor. Comput. Sci., 2007

On the size complexity of universal accepting hybrid networks of evolutionary processors.
Mathematical Structures in Computer Science, 2007

Remarks on arbitrary multiple pattern interpretations.
Inf. Process. Lett., 2007

Evolutionary Design of Intrusion Detection Programs.
I. J. Network Security, 2007

Decision Problems on Path-Controlled Grammars.
Int. J. Found. Comput. Sci., 2007

State Complexity of Basic Operations Combined with Reversal.
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.
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.
Proceedings of the Formal Models, 2007

2006
Sorted dependency insertion grammars.
Theor. Comput. Sci., 2006

Iterated sequential transducers as language generating devices.
Theor. Comput. Sci., 2006

Further remark on P systems with active membranes and two polarizations.
J. Parallel Distrib. Comput., 2006

A Universal Accepting Hybrid Network of Evolutionary Processors.
Electr. Notes Theor. Comput. Sci., 2006

On Some Algorithmic Problems Regarding the Hairpin Completion.
Electronic Notes in Discrete Mathematics, 2006

On the number of nodes in universal networks of evolutionary processors.
Acta Inf., 2006

Solving SAT and HPP with Accepting Splicing Systems.
Proceedings of the Parallel Problem Solving from Nature, 2006

All NP-Problems Can Be Solved in Polynomial Time by Accepting Networks of Splicing Processors of Constant Size.
Proceedings of the DNA Computing, 12th International Meeting on DNA Computing, 2006

2005
Synchronized shuffles.
Theor. Comput. Sci., 2005

Solving multidimensional 0-1 knapsack problem by P systems with input and active membranes.
J. Parallel Distrib. Comput., 2005

Local and recognizable hexagonal picture languages.
IJPRAI, 2005

Uniformly bounded duplication languages.
Discrete Applied Mathematics, 2005

Hybrid networks of evolutionary processors are computationally complete.
Acta Inf., 2005

Modeling Neural Processes in Lindenmayer Systems.
Proceedings of the Computational Intelligence and Bioinspired Systems, 2005

Biomolecular Immune-Computer: Theoretical Basis and Experimental Simulator.
Proceedings of the Artificial Immune Systems: 4th International Conference, 2005

Contextual Information Systems.
Proceedings of the Modeling and Using Context, 2005

Accepting Networks of Splicing Processors.
Proceedings of the New Computational Paradigms, 2005

2004
From regulated rewriting to computing with membranes: collapsing hierarchies.
Theor. Comput. Sci., 2004

Derived Trees Evolution for Tree Adjoining Grammars Parsing.
Grammars, 2004

A New Uniform Translocation Distance.
Proceedings of the Structural, 2004

Solving 3CNF-SAT and HPP in Linear Time Using WWW.
Proceedings of the Machines, Computations, and Universality, 4th International Conference, 2004

Hexagonal Pattern Languages.
Proceedings of the Combinatorial Image Analysis, 10th InternationalWorkshop, 2004

On the Universality of P Systems with Minimal Symport/Antiport Rules.
Proceedings of the Aspects of Molecular Computing, 2004

Remarks on Sublanguages Consisting of Primitive Words of Slender Regular and Context-Free Languages.
Proceedings of the Theory Is Forever, 2004

On Some Classes of Splicing Languages.
Proceedings of the Aspects of Molecular Computing, 2004

Solving Graph Problems by P Systems with Restricted Elementary Active Membranes.
Proceedings of the Aspects of Molecular Computing, 2004

2003
Tissue P systems.
Theor. Comput. Sci., 2003

Unexpected universality results for three classes of P systems with symport/antiport.
Natural Computing, 2003

From Watson-Crick L systems to Darwinian P systems.
Natural Computing, 2003

Weighted Grammars and Automata with Threshold Interpretation.
Journal of Automata, Languages and Combinatorics, 2003

On the sentence valuation in a semiring.
Inf. Sci., 2003

Solving a PSPACE-Complete Problem by Recognizing P Systems with Restricted Active Membranes.
Fundam. Inform., 2003

Networks of evolutionary processors.
Acta Inf., 2003

An Agent Based Approach of Collective Foraging.
Proceedings of the Artificial Neural Nets Problem Solving Methods, 2003

Hybrid Networks of Evolutionary Processors.
Proceedings of the Genetic and Evolutionary Computation, 2003

On Three Classes of Automata-Like P Systems.
Proceedings of the Developments in Language Theory, 7th International Conference, 2003

Restricted Concatenation Inspired by DNA Strand Assembly
Proceedings of the Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, 2003

2002
Membrane systems with carriers.
Theor. Comput. Sci., 2002

On Some Operations on Strings Suggested by Gene Assembly in Ciliates.
New Generation Comput., 2002

On the Power of P Systems with Symport Rules.
J. UCS, 2002

Grammars with Bounded-Life Resources.
Journal of Automata, Languages and Combinatorics, 2002

Parallel Finite Automata Systems Communicating by States.
Int. J. Found. Comput. Sci., 2002

Multiple Pattern Interpretations.
Grammars, 2002

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

ReMembrane Systems with Coupled Transport: Universality and Normal Forms.
Fundam. Inform., 2002

On the Injectivity of the Parikh Matrix Mapping.
Fundam. Inform., 2002

Recursive Calculus with Membranes.
Fundam. Inform., 2002

Membrane Computing: New Results, New Problems.
Bulletin of the EATCS, 2002

Membrane systems with promoters/inhibitors.
Acta Inf., 2002

An Application of Dynamic P Systems: Generating Context-Free Languages.
Proceedings of the Membrane Computing, International Workshop, 2002

Dynamic P Systems.
Proceedings of the Membrane Computing, International Workshop, 2002

Unexpected Universality Results for Three Classes of P Systems with Symport/Antiport.
Proceedings of the DNA Computing, 8th International Workshop on DNA Based Computers, 2002

A New Class of Symbolic Abstract Neural Nets: Tissue P Systems.
Proceedings of the Computing and Combinatorics, 8th Annual International Conference, 2002

Parallel Communicating Finite Transducer Systems.
Proceedings of the Computational Linguistics in the Netherlands 2002, 2002

Rewriting P Systems with Conditional Communication.
Proceedings of the Formal and Natural Computing, 2002

2001
Codifiable Languages and the Parikh Matrix Mapping.
J. UCS, 2001

On the Power of P Systems with Replicated Rewriting.
Journal of Automata, Languages and Combinatorics, 2001

Some undecidable problems for parallel communicating finite automata systems.
Inf. Process. Lett., 2001

Chomsky-Schu"tzenberger Type Characterizations of Poly-Slender and Parikh Slender Context-Free Languages.
Electr. Notes Theor. Comput. Sci., 2001

Language Generating by Means of Membrane Systems.
Bulletin of the EATCS, 2001

On the Power of P Systems with Valuations.
Computación y Sistemas, 2001

On P Systems with Membrane Creation.
The Computer Science Journal of Moldova, 2001

Group weighted finite transducers.
Acta Inf., 2001

Computing with Membranes (P Systems): Universality Results.
Proceedings of the Machines, 2001

Solving NP-Complete Problems With Networks of Evolutionary Processors.
Proceedings of the Connectionist Models of Neurons, 2001

Computing with Membranes: Variants with an Enhanced Membrane Handling.
Proceedings of the DNA Computing, 7th International Workshop on DNA-Based Computers, 2001

Grammars with Bounded-Life Resources.
Proceedings of the Third International Workshop on Descriptional Complexity of Automata, Grammars and Related Structures - DCAGRS 2001, Vienna, Austria, July 20, 2001

Sewing contexts and mildly context-sensitive languages.
Proceedings of the Where Mathematics, 2001

A Characterization of Parikh Sets of ET0L Languages in Terms of P Systems.
Proceedings of the Words, Semigroups, and Transductions, 2001

2000
Colonies with limited activation of components.
Theor. Comput. Sci., 2000

Uniquely Parsable Accepting Grammar Systems.
J. UCS, 2000

Special Families of Sewing Languages.
Journal of Automata, Languages and Combinatorics, 2000

Parallel Communicating Pushdown Automata Systems.
Int. J. Found. Comput. Sci., 2000

Conditional Concatenation.
Fundam. Inform., 2000

Computing with Membranes: One More Collapsing Hierarchy.
Bulletin of the EATCS, 2000

Contextual Generalized Sequential Machines.
Bulletin of the EATCS, 2000

Toward a Formal Macroset Theory.
Proceedings of the Multiset Processing, 2000

Multiset Automata.
Proceedings of the Multiset Processing, 2000

P Systems with Valuations.
Proceedings of the Unconventional Models of Computation, 2000

On the Sentence Valuations in a Semiring.
Proceedings of the International Colloquium on Words, 2000

A New-Old Class of Linguistically Motivated Regulated Grammars.
Proceedings of the Computational Linguistics in the Netherlands 2000, 2000

On Context-Free Duplications.
Proceedings of the Recent Topics in Mathematical and Computational Linguistics, 2000

1999
Cooperating Distributed Splicing Systems.
Journal of Automata, Languages and Combinatorics, 1999

New Topics in Colonies Theory.
Grammars, 1999

Duplication Grammars.
Acta Cybern., 1999

Bringing PC Grammar Systems Closer to Hoare's CSPs.
Proceedings of the Grammatical Models of Multi-Agent Systems, 1999

Pragmatics and Eco-Rewriting Systems.
Proceedings of the Grammatical Models of Multi-Agent Systems, 1999

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

Contextual grammars with trajectories.
Proceedings of the Developments in Language Theory, 1999

Iterated GSM Mappings: A Collapsing Hierarchy.
Proceedings of the Jewels are Forever, 1999

1998
Characterizations of Recursively Enumerable Languages by Means of Insertion Grammars.
Theor. Comput. Sci., 1998

Structured Contextual Grammars.
Grammars, 1998

Hybrid Grammars: The Chomsky-Marcus Case.
Bulletin of the EATCS, 1998

Contextual Grammars as Generative Models of Natural Languages.
Computational Linguistics, 1998

PM-colonies.
Computers and Artificial Intelligence, 1998

New Topics in Colonies Theory.
Proceedings of the Progreedings of the MFCS '98 Satellite Workshop on Grammar Systems, 1998

Cooperation in Contextual Grammars.
Proceedings of the Progreedings of the MFCS '98 Satellite Workshop on Grammar Systems, 1998

1997
Natural Computation for Natural Language.
Fundam. Inform., 1997

Two-Level Contextual Grammars: The Internal Case.
Proceedings of the Mathematical Foundations of Computer Science 1997, 1997

Grammar Systems for the Description of Certain Natural Language Facts.
Proceedings of the New Trends in Formal Languages, 1997

1996
Natural Language Understanding: a New Challenge for Grammar Systems.
Acta Cybern., 1996


  Loading...