2009 |
110 | EE | Adrian Horia Dediu,
Armand-Mihai Ionescu,
Carlos Martín-Vide:
Language and Automata Theory and Applications, Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings
Springer 2009 |
109 | EE | Artiom Alhazov,
Carlos Martín-Vide,
Bianca Truthe,
Jürgen Dassow,
Yurii Rogozhin:
On Networks of Evolutionary Processors with Nodes of Two Types.
Fundam. Inform. 91(1): 1-15 (2009) |
2008 |
108 | | Carlos Martín-Vide,
Friedrich Otto,
Henning Fernau:
Language and Automata Theory and Applications, Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
Springer 2008 |
107 | EE | Artiom Alhazov,
Erzsébet Csuhaj-Varjú,
Carlos Martín-Vide,
Yurii Rogozhin:
About Universal Hybrid Networks of Evolutionary Processors of Small Size.
LATA 2008: 28-39 |
106 | EE | Remco Loos,
Carlos Martín-Vide:
1st International Conference on Language and Automata Theory and Applications (LATA 2007).
Inf. Comput. 206(9-10): 1017 (2008) |
105 | EE | Guangwu Liu,
Carlos Martín-Vide,
Arto Salomaa,
Sheng Yu:
State complexity of basic language operations combined with reversal.
Inf. Comput. 206(9-10): 1178-1186 (2008) |
2007 |
104 | EE | Carlos Martín-Vide,
Victor Mitrana:
Remarks on arbitrary multiple pattern interpretations.
Inf. Process. Lett. 101(5): 209-214 (2007) |
103 | EE | Carlos Martín-Vide,
Victor Mitrana:
Decision Problems on Path-Controlled Grammars.
Int. J. Found. Comput. Sci. 18(6): 1323-1332 (2007) |
102 | EE | Florin Manea,
Carlos Martín-Vide,
Victor Mitrana:
On the size complexity of universal accepting hybrid networks of evolutionary processors.
Mathematical Structures in Computer Science 17(4): 753-771 (2007) |
101 | EE | Florin Manea,
Carlos Martín-Vide,
Victor Mitrana:
Accepting networks of splicing processors: Complexity results.
Theor. Comput. Sci. 371(1-2): 72-82 (2007) |
100 | EE | Florin Manea,
Carlos Martín-Vide,
Victor Mitrana:
Erratum to: "Accepting networks of splicing processors: Complexity results" [Theoret. Comput. Sci. 371(2007) 72-82].
Theor. Comput. Sci. 378(1): 131 (2007) |
2006 |
99 | | Zoltán Ésik,
Carlos Martín-Vide,
Victor Mitrana:
Recent Advances in Formal Languages and Applications
Springer 2006 |
98 | EE | Florin Manea,
Carlos Martín-Vide,
Victor Mitrana:
All NP-Problems Can Be Solved in Polynomial Time by Accepting Networks of Splicing Processors of Constant Size.
DNA 2006: 47-57 |
97 | EE | Remco Loos,
Carlos Martín-Vide,
Victor Mitrana:
Solving SAT and HPP with Accepting Splicing Systems.
PPSN 2006: 771-777 |
96 | EE | Artiom Alhazov,
Carlos Martín-Vide,
Yurii Rogozhin:
On the number of nodes in universal networks of evolutionary processors.
Acta Inf. 43(5): 331-339 (2006) |
95 | EE | Florin Manea,
Carlos Martín-Vide,
Victor Mitrana:
A Universal Accepting Hybrid Network of Evolutionary Processors.
Electr. Notes Theor. Comput. Sci. 135(3): 95-105 (2006) |
94 | EE | Victor Mitrana,
Florin Manea,
Carlos Martín-Vide:
On Some Algorithmic Problems Regarding the Hairpin Completion.
Electronic Notes in Discrete Mathematics 27: 71-72 (2006) |
93 | EE | Linqiang Pan,
Carlos Martín-Vide:
Further remark on P systems with active membranes and two polarizations.
J. Parallel Distrib. Comput. 66(6): 867-872 (2006) |
92 | EE | Radu Gramatovici,
Carlos Martín-Vide:
Sorted dependency insertion grammars.
Theor. Comput. Sci. 354(1): 142-152 (2006) |
91 | EE | Henning Bordihn,
Henning Fernau,
Markus Holzer,
Vincenzo Manca,
Carlos Martín-Vide:
Iterated sequential transducers as language generating devices.
Theor. Comput. Sci. 369(1-3): 67-81 (2006) |
2005 |
90 | EE | Carlos Martín-Vide,
Victor Mitrana:
Contextual Information Systems.
CONTEXT 2005: 304-315 |
89 | EE | Florin Manea,
Carlos Martín-Vide,
Victor Mitrana:
Accepting Networks of Splicing Processors.
CiE 2005: 300-309 |
88 | EE | Larisa B. Goncharova,
Yannick Jacques,
Carlos Martín-Vide,
Alexander O. Tarakanov,
Jonathan Timmis:
Biomolecular Immune-Computer: Theoretical Basis and Experimental Simulator.
ICARIS 2005: 72-85 |
87 | EE | Carlos Martín-Vide,
Tseren-Onolt Ishdorj:
Modeling Neural Processes in Lindenmayer Systems.
IWANN 2005: 145-152 |
86 | EE | Erzsébet Csuhaj-Varjú,
Carlos Martín-Vide,
Victor Mitrana:
Hybrid networks of evolutionary processors are computationally complete.
Acta Inf. 41(4-5): 257-272 (2005) |
85 | EE | Peter Leupold,
Carlos Martín-Vide,
Victor Mitrana:
Uniformly bounded duplication languages.
Discrete Applied Mathematics 146(3): 301-310 (2005) |
84 | EE | K. S. Dersanambika,
Kamala Krithivasan,
Carlos Martín-Vide,
K. G. Subramanian:
Local and recognizable hexagonal picture languages.
IJPRAI 19(7): 853-871 (2005) |
83 | EE | Linqiang Pan,
Carlos Martín-Vide:
Solving multidimensional 0-1 knapsack problem by P systems with input and active membranes.
J. Parallel Distrib. Comput. 65(12): 1578-1584 (2005) |
82 | EE | Maurice H. ter Beek,
Carlos Martín-Vide,
Victor Mitrana:
Synchronized shuffles.
Theor. Comput. Sci. 341(1-3): 263-275 (2005) |
2004 |
81 | | Carlos Martín-Vide,
Giancarlo Mauri,
Gheorghe Paun,
Grzegorz Rozenberg,
Arto Salomaa:
Membrane Computing, International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers
Springer 2004 |
80 | EE | Artiom Alhazov,
Carlos Martín-Vide,
Linqiang Pan:
Solving Graph Problems by P Systems with Restricted Elementary Active Membranes.
Aspects of Molecular Computing 2004: 1-22 |
79 | EE | Lila Kari,
Carlos Martín-Vide,
Andrei Paun:
On the Universality of P Systems with Minimal Symport/Antiport Rules.
Aspects of Molecular Computing 2004: 254-265 |
78 | EE | Rodica Ceterchi,
Carlos Martín-Vide,
K. G. Subramanian:
On Some Classes of Splicing Languages.
Aspects of Molecular Computing 2004: 84-105 |
77 | EE | K. S. Dersanambika,
Kamala Krithivasan,
Carlos Martín-Vide,
K. G. Subramanian:
Hexagonal Pattern Languages.
IWCIA 2004: 52-64 |
76 | EE | Florin Manea,
Carlos Martín-Vide,
Victor Mitrana:
Solving 3CNF-SAT and HPP in Linear Time Using WWW.
MCU 2004: 269-280 |
75 | EE | Carlos Martín-Vide,
Victor Mitrana:
A New Uniform Translocation Distance.
SSPR/SPR 2004: 278-286 |
74 | EE | Pál Dömösi,
Carlos Martín-Vide,
Victor Mitrana:
Remarks on Sublanguages Consisting of Primitive Words of Slender Regular and Context-Free Languages.
Theory Is Forever 2004: 60-67 |
73 | EE | Rudolf Freund,
Carlos Martín-Vide,
Gheorghe Paun:
From regulated rewriting to computing with membranes: collapsing hierarchies.
Theor. Comput. Sci. 312(2-3): 143-188 (2004) |
2003 |
72 | | Carlos Martín-Vide,
Victor Mitrana:
Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, and Back: Essays in Honour of Gheorghe Paun
Taylor and Francis 2003 |
71 | EE | Rudolf Freund,
Carlos Martín-Vide,
Adam Obtulowicz,
Gheorghe Paun:
On Three Classes of Automata-Like P Systems.
Developments in Language Theory 2003: 292-303 |
70 | EE | Carlos Martín-Vide,
Victor Mitrana,
Mario J. Pérez-Jiménez,
Fernando Sancho-Caparrini:
Hybrid Networks of Evolutionary Processors.
GECCO 2003: 401-412 |
69 | | Carlos Martín-Vide,
Alfonso Rodríguez-Patón:
Restricted Concatenation Inspired by DNA Strand Assembly
Grammars and Automata for String Processing 2003: 403-412 |
68 | EE | Marian Gheorghe,
Carlos Martín-Vide,
Victor Mitrana,
Mario J. Pérez-Jiménez:
An Agent Based Approach of Collective Foraging.
IWANN (1) 2003: 638-645 |
67 | EE | Juan Castellanos,
Carlos Martín-Vide,
Victor Mitrana,
José M. Sempere:
Networks of evolutionary processors.
Acta Inf. 39(6-7): 517-529 (2003) |
66 | EE | Artiom Alhazov,
Carlos Martín-Vide,
Linqiang Pan:
Solving a PSPACE-Complete Problem by Recognizing P Systems with Restricted Active Membranes.
Fundam. Inform. 58(2): 67-77 (2003) |
65 | EE | Adrian Atanasiu,
Carlos Martín-Vide,
Victor Mitrana:
On the sentence valuation in a semiring.
Inf. Sci. 151: 107-124 (2003) |
64 | | Carlos Martín-Vide,
Victor Mitrana,
Ralf Stiebe:
Weighted Grammars and Automata with Threshold Interpretation.
Journal of Automata, Languages and Combinatorics 8(2): 303-318 (2003) |
63 | EE | Erzsébet Csuhaj-Varjú,
Carlos Martín-Vide,
Gheorghe Paun,
Arto Salomaa:
From Watson-Crick L systems to Darwinian P systems.
Natural Computing 2(3): 299-318 (2003) |
62 | EE | Mihai Ionescu,
Carlos Martín-Vide,
Andrei Paun,
Gheorghe Paun:
Unexpected universality results for three classes of P systems with symport/antiport.
Natural Computing 2(4): 337-348 (2003) |
61 | EE | Carlos Martín-Vide,
Gheorghe Paun,
Juan Pazos,
Alfonso Rodríguez-Patón:
Tissue P systems.
Theor. Comput. Sci. 296(2): 295-326 (2003) |
2002 |
60 | | Erzsébet Csuhaj-Varjú,
Carlos Martín-Vide,
Victor Mitrana:
Parallel Communicating Finite Transducer Systems.
CLIN 2002: 9-23 |
59 | EE | Carlos Martín-Vide,
Juan Pazos,
Gheorghe Paun,
Alfonso Rodríguez-Patón:
A New Class of Symbolic Abstract Neural Nets: Tissue P Systems.
COCOON 2002: 290-299 |
58 | EE | Mihai Ionescu,
Carlos Martín-Vide,
Andrei Paun,
Gheorghe Paun:
Unexpected Universality Results for Three Classes of P Systems with Symport/Antiport.
DNA 2002: 281-290 |
57 | EE | Paolo Bottoni,
Anna Labella,
Carlos Martín-Vide,
Gheorghe Paun:
Rewriting P Systems with Conditional Communication.
Formal and Natural Computing 2002: 325-353 |
56 | EE | Rodica Ceterchi,
Carlos Martín-Vide:
Dynamic P Systems.
WMC-CdeA 2002: 146-186 |
55 | EE | Gemma Bel Enguix,
Matteo Cavaliere,
Rodica Ceterchi,
Radu Gramatovici,
Carlos Martín-Vide:
An Application of Dynamic P Systems: Generating Context-Free Languages.
WMC-CdeA 2002: 90-106 |
54 | EE | Paolo Bottoni,
Carlos Martín-Vide,
Gheorghe Paun,
Grzegorz Rozenberg:
Membrane systems with promoters/inhibitors.
Acta Inf. 38(10): 695-720 (2002) |
53 | | Carlos Martín-Vide,
Andrei Paun,
Gheorghe Paun:
Membrane Computing: New Results, New Problems.
Bulletin of the EATCS 78: 204-220 (2002) |
52 | | Carlos Martín-Vide,
Andrei Paun,
Gheorghe Paun,
Grzegorz Rozenberg:
ReMembrane Systems with Coupled Transport: Universality and Normal Forms.
Fundam. Inform. 49(1-3): 1-15 (2002) |
51 | | Adrian Atanasiu,
Carlos Martín-Vide:
Recursive Calculus with Membranes.
Fundam. Inform. 49(1-3): 45-59 (2002) |
50 | | Adrian Atanasiu,
Carlos Martín-Vide,
Alexandru Mateescu:
On the Injectivity of the Parikh Matrix Mapping.
Fundam. Inform. 49(4): 289-299 (2002) |
49 | | Mihai Ionescu,
Carlos Martín-Vide,
Gheorghe Paun:
P Systems with Symport/Antiport Rules: The Traces of Objects.
Grammars 5(2): 65-79 (2002) |
48 | | Manfred Kudlek,
Carlos Martín-Vide,
Victor Mitrana:
Multiple Pattern Interpretations.
Grammars 5(3): 223-238 (2002) |
47 | EE | Carlos Martín-Vide,
Alexandru Mateescu,
Victor Mitrana:
Parallel Finite Automata Systems Communicating by States.
Int. J. Found. Comput. Sci. 13(5): 733-749 (2002) |
46 | EE | Carlos Martín-Vide,
Andrei Paun,
Gheorghe Paun:
On the Power of P Systems with Symport Rules.
J. UCS 8(2): 317-331 (2002) |
45 | | Carlos Martín-Vide,
Victor Mitrana:
Grammars with Bounded-Life Resources.
Journal of Automata, Languages and Combinatorics 7(4): 561-570 (2002) |
44 | | Rudolf Freund,
Carlos Martín-Vide,
Victor Mitrana:
On Some Operations on Strings Suggested by Gene Assembly in Ciliates.
New Generation Comput. 20(3): 279-294 (2002) |
43 | EE | Carlos Martín-Vide,
Gheorghe Paun,
Grzegorz Rozenberg:
Membrane systems with carriers.
Theor. Comput. Sci. 270(1-2): 779-796 (2002) |
2001 |
42 | EE | Maurice Margenstern,
Carlos Martín-Vide,
Gheorghe Paun:
Computing with Membranes: Variants with an Enhanced Membrane Handling.
DNA 2001: 340-349 |
41 | EE | Juan Castellanos,
Carlos Martín-Vide,
Victor Mitrana,
José M. Sempere:
Solving NP-Complete Problems With Networks of Evolutionary Processors.
IWANN (1) 2001: 621-628 |
40 | EE | Carlos Martín-Vide,
Gheorghe Paun:
Computing with Membranes (P Systems): Universality Results.
MCU 2001: 82-101 |
39 | | Masami Ito,
Carlos Martín-Vide,
Gheorghe Paun:
A Characterization of Parikh Sets of ET0L Languages in Terms of P Systems.
Words, Semigroups, and Transductions 2001: 239-253 |
38 | EE | Masami Ito,
Carlos Martín-Vide,
Victor Mitrana:
Group weighted finite transducers.
Acta Inf. 38(2): 117-129 (2001) |
37 | | Carlos Martín-Vide,
Gheorghe Paun:
Language Generating by Means of Membrane Systems.
Bulletin of the EATCS 75: 199-208 (2001) |
36 | EE | Masami Ito,
Carlos Martín-Vide,
Victor Mitrana:
Chomsky-Schu"tzenberger Type Characterizations of Poly-Slender and Parikh Slender Context-Free Languages.
Electr. Notes Theor. Comput. Sci. 53: (2001) |
35 | EE | Carlos Martín-Vide,
Victor Mitrana:
Some undecidable problems for parallel communicating finite automata systems.
Inf. Process. Lett. 77(5-6): 239-245 (2001) |
34 | EE | Adrian Atanasiu,
Carlos Martín-Vide,
Alexandru Mateescu:
Codifiable Languages and the Parikh Matrix Mapping.
J. UCS 7(8): 783-793 (2001) |
33 | | Vincenzo Manca,
Carlos Martín-Vide,
Gheorghe Paun:
On the Power of P Systems with Replicated Rewriting.
Journal of Automata, Languages and Combinatorics 6(3): 359-374 (2001) |
2000 |
32 | | Carlos Martín-Vide,
Gheorghe Paun:
Recent Topics in Mathematical and Computational Linguistics, Papers in Honor of Solomon Marcus on the Occasion of his 75th Birthday
Editura Academiei Româe, Bucuresti 2000 |
31 | | Solomon Marcus,
Carlos Martín-Vide,
Victor Mitrana,
Gheorghe Paun:
A New-Old Class of Linguistically Motivated Regulated Grammars.
CLIN 2000: 111-125 |
30 | | Carlos Martín-Vide,
Victor Mitrana:
On Context-Free Duplications.
Recent Topics in Mathematical and Computational Linguistics 2000: 196-206 |
29 | | Carlos Martín-Vide,
Victor Mitrana:
P Systems with Valuations.
UMC 2000: 154-166 |
28 | EE | Manfred Kudlek,
Carlos Martín-Vide,
Gheorghe Paun:
Toward a Formal Macroset Theory.
WMP 2000: 123-134 |
27 | EE | Erzsébet Csuhaj-Varjú,
Carlos Martín-Vide,
Victor Mitrana:
Multiset Automata.
WMP 2000: 69-84 |
26 | | Carlos Martín-Vide,
Alexandru Mateescu:
Contextual Generalized Sequential Machines.
Bulletin of the EATCS 72: 159-168 (2000) |
25 | | Carlos Martín-Vide,
Gheorghe Paun:
Computing with Membranes: One More Collapsing Hierarchy.
Bulletin of the EATCS 72: 183-188 (2000) |
24 | | Jürgen Dassow,
Carlos Martín-Vide,
Gheorghe Paun,
Alfonso Rodríguez-Patón:
Conditional Concatenation.
Fundam. Inform. 44(4): 353-372 (2000) |
23 | | Erzsébet Csuhaj-Varjú,
Carlos Martín-Vide,
Victor Mitrana,
György Vaszil:
Parallel Communicating Pushdown Automata Systems.
Int. J. Found. Comput. Sci. 11(4): 633-650 (2000) |
22 | EE | Carlos Martín-Vide,
Victor Mitrana:
Uniquely Parsable Accepting Grammar Systems.
J. UCS 6(9): 850-860 (2000) |
21 | | Carlos Martín-Vide,
Alexandru Mateescu:
Special Families of Sewing Languages.
Journal of Automata, Languages and Combinatorics 5(3): 279-286 (2000) |
20 | EE | Jozef Kelemen,
Alica Kelemenová,
Carlos Martín-Vide,
Victor Mitrana:
Colonies with limited activation of components.
Theor. Comput. Sci. 244(1-2): 289-298 (2000) |
1999 |
19 | | Carlos Martín-Vide,
Alexandru Mateescu:
Contextual grammars with trajectories.
Developments in Language Theory 1999: 362-374 |
18 | EE | Carlos Martín-Vide,
Alexandru Mateescu:
Sewing Grammars.
FCT 1999: 398-408 |
17 | | Erzsébet Csuhaj-Varjú,
Maria Dolores Jiménez-López,
Carlos Martín-Vide:
Pragmatics and Eco-Rewriting Systems.
Grammatical Models of Multi-Agent Systems 1999: 262-283 |
16 | | Lila Kari,
Hanan Lutfiyya,
Carlos Martín-Vide,
Gheorghe Paun:
Bringing PC Grammar Systems Closer to Hoare's CSPs.
Grammatical Models of Multi-Agent Systems 1999: 64-85 |
15 | | Vincenzo Manca,
Carlos Martín-Vide,
Gheorghe Paun:
Iterated GSM Mappings: A Collapsing Hierarchy.
Jewels are Forever 1999: 182-193 |
14 | EE | Carlos Martín-Vide,
Gheorghe Paun:
Duplication Grammars.
Acta Cybern. 14(1): 151-164 (1999) |
13 | | Carlos Martín-Vide,
Gheorghe Paun:
New Topics in Colonies Theory.
Grammars 1(3): 209-223 (1999) |
12 | | Carlos Martín-Vide,
Gheorghe Paun:
Cooperating Distributed Splicing Systems.
Journal of Automata, Languages and Combinatorics 4(1): 3-16 (1999) |
1998 |
11 | | Carlos Martín-Vide,
Victor Mitrana:
Cooperation in Contextual Grammars.
MFCS Workshop on Grammar Systems 1998: 289-302 |
10 | | Carlos Martín-Vide,
Gheorghe Paun:
New Topics in Colonies Theory.
MFCS Workshop on Grammar Systems 1998: 39-51 |
9 | | Carlos Martín-Vide,
Alexandru Mateescu,
Gheorghe Paun:
Hybrid Grammars: The Chomsky-Marcus Case.
Bulletin of the EATCS 64: (1998) |
8 | | Solomon Marcus,
Gheorghe Paun,
Carlos Martín-Vide:
Contextual Grammars as Generative Models of Natural Languages.
Computational Linguistics 24(2): 245-274 (1998) |
7 | | Carlos Martín-Vide,
Gheorghe Paun:
PM-colonies.
Computers and Artificial Intelligence 17(6): (1998) |
6 | | Carlos Martín-Vide,
Gheorghe Paun:
Structured Contextual Grammars.
Grammars 1(1): 33-55 (1998) |
5 | EE | Carlos Martín-Vide,
Gheorghe Paun,
Arto Salomaa:
Characterizations of Recursively Enumerable Languages by Means of Insertion Grammars.
Theor. Comput. Sci. 205(1-2): 195-205 (1998) |
1997 |
4 | | Carlos Martín-Vide,
Joan Miquel-Verges,
Gheorghe Paun:
Two-Level Contextual Grammars: The Internal Case.
MFCS 1997: 388-397 |
3 | | Maria Dolores Jiménez-López,
Carlos Martín-Vide:
Grammar Systems for the Description of Certain Natural Language Facts.
New Trends in Formal Languages 1997: 288-298 |
2 | | Carlos Martín-Vide:
Natural Computation for Natural Language.
Fundam. Inform. 31(2): 117-124 (1997) |
1996 |
1 | EE | Carlos Martín-Vide:
Natural Language Understanding: a New Challenge for Grammar Systems.
Acta Cybern. 12(4): 461-472 (1996) |