Carlos Martín-Vide - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

3rd International Conference on Language and Automata Theory and Applications (LATA 2009)Carlos Martín-Vide, Bianca Truthe. iandc, 209(3):247, 2011. [doi]

2010

Language and Automata Theory and Applications, 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. ProceedingsAdrian Horia Dediu, Henning Fernau, Carlos Martín-Vide, editors, Volume 6031 of Lecture Notes in Computer Science, Springer, 2010. [doi]

Hairpin LengtheningFlorin Manea, Carlos Martín-Vide, Victor Mitrana. CiE 2010: 296-306 [doi]

2009

On Networks of Evolutionary Processors with Nodes of Two TypesArtiom Alhazov, Carlos Martín-Vide, Bianca Truthe, Jürgen Dassow, Yurii Rogozhin. FUIN, 91(1):1-15, 2009. [doi]

Language and Automata Theory and Applications, Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. ProceedingsAdrian Horia Dediu, Armand-Mihai Ionescu, Carlos Martín-Vide, editors, Volume 5457 of Lecture Notes in Computer Science, Springer, 2009. [doi]

Networks of Evolutionary Processors - A Historical AccountGemma Bel Enguix, Maria Dolores Jiménez-López, Carlos Martín-Vide. icaart 2009: 626-631

2008

About Universal Hybrid Networks of Evolutionary Processors of Small SizeArtiom Alhazov, Erzsébet Csuhaj-Varjú, Carlos Martín-Vide, Yurii Rogozhin. LATA 2008: 28-39 [doi]

State complexity of basic language operations combined with reversalGuangwu Liu, Carlos Martín-Vide, Arto Salomaa, Sheng Yu. iandc, 206(9-10):1178-1186, 2008. [doi]

1st International Conference on Language and Automata Theory and Applications (LATA 2007)Remco Loos, Carlos Martín-Vide. iandc, 206(9-10):1017, 2008. [doi]

Language and Automata Theory and Applications, Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised PapersCarlos Martín-Vide, Friedrich Otto, Henning Fernau, editors, Volume 5196 of Lecture Notes in Computer Science, Springer, 2008.

2007

2006

On the number of nodes in universal networks of evolutionary processorsArtiom Alhazov, Carlos Martín-Vide, Yurii Rogozhin. ACTA, 43(5):331-339, 2006. [doi]

Iterated sequential transducers as language generating devicesHenning Bordihn, Henning Fernau, Markus Holzer, Vincenzo Manca, Carlos Martín-Vide. TCS, 369(1-3):67-81, 2006. [doi]

Sorted dependency insertion grammarsRadu Gramatovici, Carlos Martín-Vide. TCS, 354(1):142-152, 2006. [doi]

Solving SAT and HPP with Accepting Splicing SystemsRemco Loos, Carlos Martín-Vide, Victor Mitrana. ppsn 2006: 771-777 [doi]

A Universal Accepting Hybrid Network of Evolutionary ProcessorsFlorin Manea, Carlos Martín-Vide, Victor Mitrana. ENTCS, 135(3):95-105, 2006. [doi]

All NP-Problems Can Be Solved in Polynomial Time by Accepting Networks of Splicing Processors of Constant SizeFlorin Manea, Carlos Martín-Vide, Victor Mitrana. dna 2006: 47-57 [doi]

On Some Algorithmic Problems Regarding the Hairpin CompletionVictor Mitrana, Florin Manea, Carlos Martín-Vide. endm, 27:71-72, 2006. [doi]

Further remark on P systems with active membranes and two polarizationsLinqiang Pan, Carlos Martín-Vide. jpdc, 66(6):867-872, 2006. [doi]

Recent Advances in Formal Languages and ApplicationsZoltán Ésik, Carlos Martín-Vide, Victor Mitrana, editors, Volume 25 of Studies in Computational Intelligence, Springer, 2006.

2005

Hybrid networks of evolutionary processors are computationally completeErzsébet Csuhaj-Varjú, Carlos Martín-Vide, Victor Mitrana. ACTA, 41(4-5):257-272, 2005. [doi]

Local and recognizable hexagonal picture languagesK. S. Dersanambika, Kamala Krithivasan, Carlos Martín-Vide, K. G. Subramanian. ijprai, 19(7):853-871, 2005. [doi]

Biomolecular Immune-Computer: Theoretical Basis and Experimental SimulatorLarisa B. Goncharova, Yannick Jacques, Carlos Martín-Vide, Alexander O. Tarakanov, Jonathan Timmis. icaris 2005: 72-85 [doi]

Uniformly bounded duplication languagesPeter Leupold, Carlos Martín-Vide, Victor Mitrana. DAM, 146(3):301-310, 2005. [doi]

Accepting Networks of Splicing ProcessorsFlorin Manea, Carlos Martín-Vide, Victor Mitrana. cie 2005: 300-309 [doi]

Contextual Information SystemsCarlos Martín-Vide, Victor Mitrana. context 2005: 304-315 [doi]

Modeling Neural Processes in Lindenmayer SystemsCarlos Martín-Vide, Tseren-Onolt Ishdorj. iwann 2005: 145-152 [doi]

Solving multidimensional 0-1 knapsack problem by P systems with input and active membranesLinqiang Pan, Carlos Martín-Vide. jpdc, 65(12):1578-1584, 2005. [doi]

Synchronized shufflesMaurice H. ter Beek, Carlos Martín-Vide, Victor Mitrana. TCS, 341(1-3):263-275, 2005. [doi]

2004

Solving Graph Problems by P Systems with Restricted Elementary Active MembranesArtiom Alhazov, Carlos Martín-Vide, Linqiang Pan. BIRTHDAY 2004: 1-22 [doi]

On Some Classes of Splicing LanguagesRodica Ceterchi, Carlos Martín-Vide, K. G. Subramanian. BIRTHDAY 2004: 84-105 [doi]

Hexagonal Pattern LanguagesK. S. Dersanambika, Kamala Krithivasan, Carlos Martín-Vide, K. G. Subramanian. iwcia 2004: 52-64 [doi]

Remarks on Sublanguages Consisting of Primitive Words of Slender Regular and Context-Free LanguagesPál Dömösi, Carlos Martín-Vide, Victor Mitrana. BIRTHDAY 2004: 60-67 [doi]

From regulated rewriting to computing with membranes: collapsing hierarchiesRudolf Freund, Carlos Martín-Vide, Gheorghe Paun. TCS, 312(2-3):143-188, 2004. [doi]

On the Universality of P Systems with Minimal Symport/Antiport RulesLila Kari, Carlos Martín-Vide, Andrei Paun. BIRTHDAY 2004: 254-265 [doi]

Solving 3CNF-SAT and HPP in Linear Time Using WWWFlorin Manea, Carlos Martín-Vide, Victor Mitrana. mcu 2005: 269-280 [doi]

Membrane Computing, International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised PapersCarlos Martín-Vide, Giancarlo Mauri, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, editors, Volume 2933 of Lecture Notes in Computer Science, Springer, 2004.

A New Uniform Translocation DistanceCarlos Martín-Vide, Victor Mitrana. gacm 2004: 278-286 [doi]

2003

Solving a PSPACE-Complete Problem by Recognizing P Systems with Restricted Active MembranesArtiom Alhazov, Carlos Martín-Vide, Linqiang Pan. FUIN, 58(2):67-77, 2003. [doi]

On the sentence valuation in a semiringAdrian Atanasiu, Carlos Martín-Vide, Victor Mitrana. isci, 151:107-124, 2003. [doi]

Networks of evolutionary processorsJuan Castellanos, Carlos Martín-Vide, Victor Mitrana, José M. Sempere. ACTA, 39(6-7):517-529, 2003. [doi]

From Watson-Crick L systems to Darwinian P systemsErzsébet Csuhaj-Varjú, Carlos Martín-Vide, Gheorghe Paun, Arto Salomaa. nc, 2(3):299-318, 2003. [doi]

On Three Classes of Automata-Like P SystemsRudolf Freund, Carlos Martín-Vide, Adam Obtulowicz, Gheorghe Paun. dlt 2003: 292-303 [doi]

An Agent Based Approach of Collective ForagingMarian Gheorghe, Carlos Martín-Vide, Victor Mitrana, Mario J. Pérez-Jiménez. iwann 2003: 638-645 [doi]

Unexpected universality results for three classes of P systems with symport/antiportMihai Ionescu, Carlos Martín-Vide, Andrei Paun, Gheorghe Paun. nc, 2(4):337-348, 2003. [doi]

Restricted Concatenation Inspired by DNA Strand AssemblyCarlos Martín-Vide, Alfonso Rodríguez-Patón. BIRTHDAY 2003: 403-412

Tissue P systemsCarlos Martín-Vide, Gheorghe Paun, Juan Pazos, Alfonso Rodríguez-Patón. TCS, 296(2):295-326, 2003. [doi]

Hybrid Networks of Evolutionary ProcessorsCarlos Martín-Vide, Victor Mitrana, Mario J. Pérez-Jiménez, Fernando Sancho-Caparrini. gecco 2003: 401-412 [doi]

Weighted Grammars and Automata with Threshold InterpretationCarlos Martín-Vide, Victor Mitrana, Ralf Stiebe. jalc, 8(2):303-318, 2003.

Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, and Back: Essays in Honour of Gheorghe PaunCarlos Martín-Vide, Victor Mitrana, editors, Volume 9 of Topics in Computer Mathematics, Taylor and Francis, 2003.

2002

Recursive Calculus with MembranesAdrian Atanasiu, Carlos Martín-Vide. FUIN, 49(1-3):45-59, 2002.

On the Injectivity of the Parikh Matrix MappingAdrian Atanasiu, Carlos Martín-Vide, Alexandru Mateescu. FUIN, 49(4):289-299, 2002.

Membrane systems with promoters/inhibitorsPaolo Bottoni, Carlos Martín-Vide, Gheorghe Paun, Grzegorz Rozenberg. ACTA, 38(10):695-720, 2002. [doi]

Rewriting P Systems with Conditional CommunicationPaolo Bottoni, Anna Labella, Carlos Martín-Vide, Gheorghe Paun. BIRTHDAY 2002: 325-353 [doi]

Dynamic P SystemsRodica Ceterchi, Carlos Martín-Vide. wmpi 2003: 146-186 [doi]

Parallel Communicating Finite Transducer SystemsErzsébet Csuhaj-Varjú, Carlos Martín-Vide, Victor Mitrana. clin 2002: 9-23

An Application of Dynamic P Systems: Generating Context-Free LanguagesGemma Bel Enguix, Matteo Cavaliere, Rodica Ceterchi, Radu Gramatovici, Carlos Martín-Vide. wmpi 2003: 90-106 [doi]

On Some Operations on Strings Suggested by Gene Assembly in CiliatesRudolf Freund, Carlos Martín-Vide, Victor Mitrana. ngc, 20(3):279-294, 2002.

Unexpected Universality Results for Three Classes of P Systems with Symport/AntiportMihai Ionescu, Carlos Martín-Vide, Andrei Paun, Gheorghe Paun. dna 2003: 281-290 [doi]

P Systems with Symport/Antiport Rules: The Traces of ObjectsMihai Ionescu, Carlos Martín-Vide, Gheorghe Paun. grammars, 5(2):65-79, 2002.

Multiple Pattern InterpretationsManfred Kudlek, Carlos Martín-Vide, Victor Mitrana. grammars, 5(3):223-238, 2002.

Parallel Finite Automata Systems Communicating by StatesCarlos Martín-Vide, Alexandru Mateescu, Victor Mitrana. ijfcs, 13(5):733-749, 2002. [doi]

A New Class of Symbolic Abstract Neural Nets: Tissue P SystemsCarlos Martín-Vide, Juan Pazos, Gheorghe Paun, Alfonso Rodríguez-Patón. cocoon 2002: 290-299 [doi]

Membrane Computing: New Results, New ProblemsCarlos Martín-Vide, Andrei Paun, Gheorghe Paun. eatcs, 78:204-220, 2002.

ReMembrane Systems with Coupled Transport: Universality and Normal FormsCarlos Martín-Vide, Andrei Paun, Gheorghe Paun, Grzegorz Rozenberg. FUIN, 49(1-3):1-15, 2002.

Membrane systems with carriersCarlos Martín-Vide, Gheorghe Paun, Grzegorz Rozenberg. TCS, 270(1-2):779-796, 2002. [doi]

Grammars with Bounded-Life ResourcesCarlos Martín-Vide, Victor Mitrana. jalc, 7(4):561-570, 2002.

On the Power of P Systems with Symport RulesCarlos Martín-Vide, Andrei Paun, Gheorghe Paun. jucs, 8(2):317-331, 2002. [doi]

2001

Codifiable Languages and the Parikh Matrix MappingAdrian Atanasiu, Carlos Martín-Vide, Alexandru Mateescu. jucs, 7(8):783-793, 2001. [doi]

Solving NP-Complete Problems With Networks of Evolutionary ProcessorsJuan Castellanos, Carlos Martín-Vide, Victor Mitrana, José M. Sempere. iwann 2001: 621-628 [doi]

A Characterization of Parikh Sets of ET0L Languages in Terms of P SystemsMasami Ito, Carlos Martín-Vide, Gheorghe Paun. BIRTHDAY 2001: 239-253

Group weighted finite transducersMasami Ito, Carlos Martín-Vide, Victor Mitrana. ACTA, 38(2):117-129, 2001. [doi]

Chomsky-Schu tzenberger Type Characterizations of Poly-Slender and Parikh Slender Context-Free LanguagesMasami Ito, Carlos Martín-Vide, Victor Mitrana. ENTCS, 53, 2001. [doi]

On the Power of P Systems with Replicated RewritingVincenzo Manca, Carlos Martín-Vide, Gheorghe Paun. jalc, 6(3):359-374, 2001.

Computing with Membranes: Variants with an Enhanced Membrane HandlingMaurice Margenstern, Carlos Martín-Vide, Gheorghe Paun. dna 2002: 340-349 [doi]

Computing with Membranes (P Systems): Universality ResultsCarlos Martín-Vide, Gheorghe Paun. mcu 2001: 82-101 [doi]

Some undecidable problems for parallel communicating finite automata systemsCarlos Martín-Vide, Victor Mitrana. ipl, 77(5-6):239-245, 2001. [doi]

Language Generating by Means of Membrane SystemsCarlos Martín-Vide, Gheorghe Paun. eatcs, 75:199-208, 2001.

2000

Multiset AutomataErzsébet Csuhaj-Varjú, Carlos Martín-Vide, Victor Mitrana. wmpi 2001: 69-84 [doi]

Parallel Communicating Pushdown Automata SystemsErzsébet Csuhaj-Varjú, Carlos Martín-Vide, Victor Mitrana, György Vaszil. ijfcs, 11(4):633-650, 2000.

Conditional ConcatenationJürgen Dassow, Carlos Martín-Vide, Gheorghe Paun, Alfonso Rodríguez-Patón. FUIN, 44(4):353-372, 2000.

Colonies with limited activation of componentsJozef Kelemen, Alica Kelemenová, Carlos Martín-Vide, Victor Mitrana. TCS, 244(1-2):289-298, 2000. [doi]

Toward a Formal Macroset TheoryManfred Kudlek, Carlos Martín-Vide, Gheorghe Paun. wmpi 2001: 123-134 [doi]

A New-Old Class of Linguistically Motivated Regulated GrammarsSolomon Marcus, Carlos Martín-Vide, Victor Mitrana, Gheorghe Paun. clin 2000: 111-125

Recent Topics in Mathematical and Computational Linguistics, Papers in Honor of Solomon Marcus on the Occasion of his 75th BirthdayCarlos Martín-Vide, Gheorghe Paun, editors, Editura Academiei Româe, Bucuresti, 2000.

P Systems with ValuationsCarlos Martín-Vide, Victor Mitrana. umc 2001: 154-166

Special Families of Sewing LanguagesCarlos Martín-Vide, Alexandru Mateescu. jalc, 5(3):279-286, 2000.

Contextual Generalized Sequential MachinesCarlos Martín-Vide, Alexandru Mateescu. eatcs, 72:159-168, 2000.

Computing with Membranes: One More Collapsing HierarchyCarlos Martín-Vide, Gheorghe Paun. eatcs, 72:183-188, 2000.

On Context-Free DuplicationsCarlos Martín-Vide, Victor Mitrana. BIRTHDAY 2000: 196-206

Uniquely Parsable Accepting Grammar SystemsCarlos Martín-Vide, Victor Mitrana. jucs, 6(9):850-860, 2000. [doi]

1999

Bringing PC Grammar Systems Closer to Hoare s CSPsLila Kari, Hanan Lutfiyya, Carlos Martín-Vide, Gheorghe Paun. gmmas 1999: 64-85

Iterated GSM Mappings: A Collapsing HierarchyVincenzo Manca, Carlos Martín-Vide, Gheorghe Paun. BIRTHDAY 1999: 182-193

Cooperating Distributed Splicing SystemsCarlos Martín-Vide, Gheorghe Paun. jalc, 4(1):3-16, 1999.

New Topics in Colonies TheoryCarlos Martín-Vide, Gheorghe Paun. grammars, 1(3):209-223, 1999.

Duplication GrammarsCarlos Martín-Vide, Gheorghe Paun. actaC, 14(1):151-164, 1999. [doi]

PreviousNext