Gheorghe Paun - List of Publications#

Mathematical Books:

1. Grammars for Economic Processes, The Technical Publ. House, Bucharest, 1980 (in Romanian)

2. Matrix Grammars, The Scientific and Enciclopaedic Publ. House, Bucharest, 1981 (in Romanian)

3. Contextual Grammars, The Publ. House of the Romanian Academy, Bucharest,1982 (in Romanian)

4. Recent Results and Problems in Formal Language Theory, The Scientific and Enciclopaedic Publ. House, Bucharest, 1984 (in Romanian)

5. The Paradoxes of Hierarchies, The Scientific and Enciclopaedic Publ. House, Bucharest, 1987 (in Romanian)

6. (in collaboration with J. Dassow, Germany) Regulated Rewriting in Formal Language Theory, Akademie-Verlag, Berlin, 1989, Springer-Verlag, Berlin, 1989 (nr. 18 in series Monograph on Theoretical Computer Science)

7. (in collaboration with E. Csuhaj-Varju, Hungary; J. Dassow, Germany; J. Kelemen, Czechoslovakia) Grammar Systems. A Grammatical Approach to Distribution and Cooperation, Gordon and Breach, series Topics in Computer Mathematics, London, 1994

8. Marcus Contextual Grammars, Kluwer Academic Publ., Dordrecht, Boston, London, 1997

9. (in collaboration with G. Rozenberg, A. Salomaa) DNA Computing. New Computing Paradigms, Springer-Verlag, Heidelberg, 1998; the book was translated in Japanese, in 1999, in Chinese and Russian in 2004

10. (in collaboration with C. Calude) Computing with Cells and Atoms, Taylor and Francis, London, 2000

11. Membrane Computing. An Introduction, Springer-Verlag, Berlin, 2002

Edited Books:

1. Mathematical Aspects of Natural and Formal Languages, World Scientific Publishing, Singapore, 1994

2. Mathematical Linguistics and Related Topics, Editura Academiei Romane, Bucuresti, 1995

3. Artificial Life: Grammatical Models, The Black Sea University Press, Bucuresti, 1995

4. (with A. Salomaa) New Trends in Formal Languages: Control, Cooperation, Combinatorics, Lecture Notes in Computer Science 1218, Springer-Verlag, Berlin, 1997

5. Computing with Bio-Molecules. Theory and Experiments, Springer-Verlag, Singapore, 1998

6. (with A. Salomaa) Grammatical Models of Multi-Agent Systems, Gordon and Breach, London, 1999

7. (with J. Karhumaki, H. A. Maurer, G. Rozenberg) Jewels are Forever, Springer-Verlag, Berlin, 1999

8. (with G. Ciobanu) Proceedings of Foundamentals of Computing Theory '99 Conference, Iasi, 1999, Lecture Notes in Computer Science 1684, Springer-Verlag, Berlin, 1999

9. (with C. Calude) Finite versus Infinite. Contributions to an Eternal Dilemma, Springer-Verlag, London, 2000

10. (with C. Calude, M.J. Dinneen) Pre-proceedings of Workshop on Multiset Processing, Curtea de Arges, Romania, August 2000, TR 140, CDMTCS, Univ. Auckland, New Zealand, 2000

11. (with C. Martin-Vide) Recent Topics in Mathematical and Computational Linguistics, Editura Academiei Romane, Bucuresti, 2000

12. (with G. Rozenberg, A. Salomaa) Current Trends in Theoretical Computer Science. Entering the 21st Century, World Scientific, Singapore, 2001

13. (with C. Martin-Vide) Pre-proceedings of Workshop on Membrane Computing, Curtea de Arges, Romania, August 2001, TR 16/01, Univ. Rovira i Virgili, Tarragona, Spain, 2001

14. (with C.S. Calude, G. Rozenberg, A. Salomaa) Multiset Processing. Mathematical, Computer Science, Molecular Computing Points of View, Lecture Notes in Computer Science 2235, Springer-Verlag, Berlin, 2001

15. (with M. Ito, S. Yu) Words, Semigroups, Transductions (Festschrift in Honour of Gabriel Thierrin), World Scientific, Singapore, 2001

16. (with D. Dascalu, E. Pincovschi, Vl. Topa, V. Voicu) Micro and Nanostructures, Editura Academiei Romane, Bucuresti, 2001

17. (with C. Zandron) Pre-proceedings of Workshop on Membrane Computing, Curtea de Arges, Romania, August 2002, MolCoNet Publication No 1, 2002

18. (with G. Rozenberg, A. Salomaa, C. Zandron) Membrane Computing. International Workshop, WMC 2002, Curtea de Arges, Romania, August 2002. Revised Papers, Lecture Notes in Computer Science 2597, Springer-Verlag, Berlin, 2003

19. (with M. Cavaliere, C. Martin-Vide) Proceedings of the Brainstorming Week on Membrane Computing; Tarragona, February 2003, Technical Report 26/03, Rovira i Virgili University, Tarragona, 2003

20. (with C. Martin-Vide, V. Mitrana) Formal Language Theory and Applications, Springer-Verlag, Berlin, 2004

21. (with A. Alhazov, C. Martin-Vide) Pre-proceedings of Workshop on Membrane Computing, WMC 2003, Tarragona, Spain, July 2003, Technical Report 28/03, Rovira i Virgili University, Tarragona, 2003

22. (with N. Jonoska, G. Rozenberg) Aspects of Molecular Computing. Essays Dedicated to Tom Head on the Occasion of His 70th Birthday, Lecture Notes in Computer Science 2950, Springer-Verlag, Berlin, 2004

23. (with G. Rozenberg, A. Salomaa) Current Trends in Theoretical Computer Science. The Challenge of the New Century, Vol.I: Algorithms and Complexity, Vol. II: Formal Models and Semantics, World Scientific, Singapore, 2004

24. (with C. Martin-Vide, G. Mauri, G. Rozenberg, A. Salomaa) Membrane Computing, International Workshop, WMC 2003, Tarragona, July 2003, Selected Papers, Lecture Notes in Computer Science 2933, Springer-Verlag, Berlin, 2004

25. with A. Riscos-Nunez, A. Romero-Jimenez, F. Sancho-Caparrini) Proceedings of the Second Brainstorming Week on Membrane Computing, Sevilla, February 2004, Technical Report 01/04 of Research Group on Natural Computing, Sevilla University, Spain, 2004

26. (with J. Karhumaki, H. Maurer, G. Rozenberg) Theory is Forever. Essays Dedicated to Arto Salomaa, on the Occasion of His 70th Birthday, Lecture Notes in Computer Science 3113, Springer-Verlag, Berlin, 2004

27. (with G. Mauri, C. Zandron) Pre-proceedings of Fifth Workshop on Membrane Computing, WMC5, Milano, 2004

28. (with G. Mauri, M.J. Perez-Jimenez, G. Rozenberg, A. Salomaa) Membrane Computing, International Workshop, WMC5, Milano, Italy, 2004, Selected Papers, Lecture Notes in Computer Science 3365, Springer-Verlag, Berlin, 2005

29. (with G. Ciobanu, M.J. Perez-Jimenez) Applications of Membrane Computing, Springer-Verlag, Berlin, 2006

30. (with M.A. Gutierrez-Naranjo, M.J. Perez-Jimenez) Cellular Computing. Complexity Aspects, Fenix Editora, Sevilla, 2005

31. (with R. Freund, G. Lojka, M. Oswald) Proceedings of Sixth International Workshop on Membrane Computing, WMC6, Vienna, July 18--21, 2005

32. (with G. Ciobanu) Pre-proceedings of Workshop on Theory and Applications of P Systems, TAPS'05, Timisoara, September 26-27, 2005

33. (with C.S. Calude, M.J. Dinneen, M.J. Perez-Jimenez, G. Rozenberg) Proceedings of Unconventional Computation. 4th International Conference, UC2005, Sevilla, Spain, October 2005. Lecture Notes in Computer Science 3699, Springer-Verlag, Berlin, 2005

34. (with R. Freund, G. Rozenberg, A. Salomaa) Membrane Computing, International Workshop, WMC6, Vienna, Austria, 2005, Selected and Invited Papers, Lecture Notes in Computer Science 3850, Springer-Verlag, Berlin, 2006

35. (with M.A. Gutierrez-Naranjo et al) Proceedings of the Fourth Brainstorming Week on Membrane Computing, Sevilla, 2006, 2 volumes, Fenix Editora, Sevilla, 2006

36. (with C.S. Calude, M.J. Dinneen, G. Rozenberg, S. Stepney) Proceedings of Unconventional Computation. 5th International Conference, UC2006, York, UK, September 2006. Lecture Notes in Computer Science 4035, Springer-Verlag, Berlin, 2006

37. (with H.J. Hoogeboom, G. Rozenberg) Pre-proceedings of Workshop on Membrane Computing, WMC7, Leiden, July 17-21, 2006

38. (with L. Pan) Pre-proceedings of the International Conference on Bio-Inspired Computing -- Theory and Applications, BIC-TA 2006 Volume of Membrane Computing Section, Wuhan, China, September 18--22, 2006

39. (with H.J. Hoogeboom, G. Rozenberg, A. Salomaa) Membrane Computing, International Workshop, WMC7, Leiden, The Netherlands, 2006, Selected and Invited Papers, Lecture Notes in Computer Science 4361, Springer-Verlag, Berlin, 2007

40. (with M.A. Gutierrez-Naranjo et al.) Proceedings of the Fifth Brainstorming Week on Membrane Computing, Sevilla, 2007,Fenix Editora, Sevilla, 2007

41. (with G. Elefterakis, P. Kefalas) Proceedings of Eight Workshop on Membrane Computing, Thessaloniki, June 2007

42. (with G. Eleftherakis, P. Kefalas, G. Rozenberg, A. Salomaa) Membrane Computing, International Workshop, WMC8, Thessaloniki, Greece, 2007, Selected and Invited Papers, LNCS 4860, Springer-Verlag, Berlin, 2007

43. (with M.A. Gutierrez-Naranjo et al.) Proceedings of the Sixth Brainstorming Week on Membrane Computing, Sevilla, 2008, Fenix Editora, Sevilla, 2008.

44. (with D. Corne, P. Frisco, G. Rozenberg, A. Salomaa) Membrane Computing, International Workshop, WMC9, Edinburgh, UK, Selected and Invited Papers, LNCS 5391, Springer-Verlag, Berlin, 2008.

45. (with G. Rozenberg, A. Salomaa) Handbook of Membrane Computing, Oxford University Press, 2009 (in press).

46. (with R. Gutierrez-Escudero et al.) Proceedings of the Seventh Brainstorming Week on Membrane Computing, Sevilla, 2009, 2 volumes, Fenix Editora, Sevilla, 2009.

47. (with M.J. Perez-Jimenez, A. Riscos-Nunez) Pre-proceedings of Tenth Workshop on Membrane Computing, WMC10, Curtea de Arges, August 2009 (xii + 566 pag.).

48. Gh. Paun, M.J. Perez-Jimenez, A. Riscos-Nunez, G. Rozenberg, A. Salomaa, eds.: Membrane Computing. Tenth International Workshop on Membrane Computing, WMC 2009, Curtea de Arges, Romania, August 2009, Invited and Selected Revised Papers, Lecture Notes in Computer Science, 5957, Springer, Berlin, 2010.

49. Gh. Paun, G. Rozenberg, A. Salomaa, eds.: Handbook of Membrane Computing, Oxford Univ. Press, 2010 (672 + xviii pages)



Editor or coeditor of several special issues of journals:

• International Journal of Computer Mathematics
• Annals of Bucharest University
• Romanian Journal of Information Science and Technology
• Theoretical Computer Science
• Soft Computing
• Fundamenta Informaticae
• Natural Computing
• Journal of Universal Computer Science
• New Generation Computing
• International Journal of Foundations of Computer Science
• Journal of Automata, Languages and Combinatorics
• Progress in Natural Sciences
• International Journal of Unconventional Computing
• International Journal of Computers, Communication and Control

Popularization Books:
(all in Romanian)

1. (with C. Calude) The Mathematical Model -- Tool and Viewpoint, The Scientific and Enciclopaedic Publ. House, Bucharest, 1982

2. From the Show of Mathematics, Albatros Publ. House, Bucharest, 1983

3. Between Mathematics and Games, Albatros Publ. House, Bucharest, 1986

4. Mathematics? A Show!, The Scientific and Enciclopaedic Publ. House, Bucharest, 1988

5. Games and Mathematics, vol. I and II, The Technical Publ. House, Bucharest, 2000



Fiction books:

1. Sfera paralela (The Parallel Sphere), Albatros Publ. House, Bucharest, 1984 (short stories)

2. Generoasele cercuri (The Generous Circles), Albatros Publ. House, Bucharest, 1989 (short stories)

3. O mie noua sute noua zeci si patru (Nineteen Ninety-Four), Ecce Homo Publ. House, Bucharest, 1993 (novel)

4. Oglinzi miscatoare (Moving Mirrors), Scripta Publ. House, Bucharest, 1994 (novel)

5. Hotel Anghila (Anghilla Hotel), Scripta Publ. House, Bucharest, 1994 (novel)

6. Nineteen Ninety-Four, or The Changeless Change, Minerva Press, London, 1997

7. Nemiloasele cercuri (The Pitiless Circles), Mesterul Manole Publ. House, Curtea de Arges, 2004 (selection of short stories)

8. Lotta, Paralela 45, Pitesti, 2005 (novel)

9. Ultima sauna (The last sauna), Dacpress, Curtea de Arges, 2006 (novel)

10. Inscriptii pe un bilet de tren. Jurnal de peregrin (Notes on a train ticket. A pilgrim diary), Orient-Occident Foundation Publ. House., Bucharest, 2007

11. 1994, Pont Kiado, Budapest, 2008

12. Teama de toamna (The autumn fear), Tiparg, Pitesti, 2009 (poems)

13. De-a viata (Life Game), Tiparg, Pitesti, 2009 (poems)

14. Haina arlechinului/L'habit de l'arlequin, Tiparg, Pitesti, 2009 (bilingual volume, Romanian-French, selection from the previous two volumes and translation in French by Paula Romanescu)

15. Guadalquiviria, Vergiliu Publ. House, Bucharest, 2009 (poems, bilingual volume, Romanian-Spanish, translation in Spanish by Maria Calleya)

16. Lumea vazuta de un matematician (The world as seen by a mathematician), Ed. Arefeana, Bucuresti, 2009

Books about logical games:
(all in Romanian)

1. Introduction to GO, Recoop, Bucharest, 1985 (second edition -- 1986, third edition -- 1988, fourth edition -- 2000)

2. Solutions for 50 Solitaires, Recoop, Bucharest, 1987 (second edition -- 1989)

3. 250 GO Problems, Recoop, Bucharest, 1987 (second edition -- 1989)

4. The Book of Games (editor), Recoop, Bucharest, 1988

5. Two Person Games, Sport-Turism Publ. House, Bucharest, 1989

6. (in collaboration with I. Diamandi) 40 Games in BASIC, Recoop, Bucharest, 1993

7. The Match Theory. 234.5 Logical-Amusing Problems, The Technical Publ. House, Bucharest,1999

8. 256 Funny Logical Problems, The Technical Publ. House, Bucharest, 2000

9. Card Games, The Technical Publ. House, Bucharest, 2000

10. Among the Younger Brothers of GO: Five-in-a-Row, Go-Moku, Renju, Pente, Limes Publ. House, Cluj-Napoca, 2010

Papers:

1974

Citeva gramatici dependente de context, Stud. Cerc. Matem., 26, 8 (1974), 1105--1110.

Asupra gramaticilor contextuale, Stud. Cerc. Matem., 26, 8 (1974), 1111--1129.

1975

(with P. Constantinescu) The cybernetic structure of MIS described by automata theory, Proc. 3rd Intern. Congress Cybern. Systems, Bucharest, 1975.

(with C. Cislaru), Classes of languages with Bar-Hillel, Perles and Shamir's property, Bull. Math. Soc. Sci. Math. Roumanie, 18 (66) (1975), 273--278.

Asupra unor masuri ale complexitatii sintactice, Stud. Cerc. Matem., 27, 3 (1975), 313--321.

Complexitatea limbajelor contextuale selective, Stud. Cerc. Matem., 27, 5 (1975), 559--569.

1976

Asupra proprietatii lui Bar-Hillel, Perles si Shamir, Stud. Cerc. Matem., 28, 3 (1976), 303--309.

A formal linguistic approach to the production process, Found. Control Engineering, 1, 3 (1976), 169--178.

A generative model of conversation, Semiotica, 17, 1 (1976), 21--33.

Languages associated to a dramatic work, Cah. ling. th. appl., 13, 2 (1976), 605--611.

O problema de planificare a itinerarelor unui punct mobil intr-un graf si rezolvarea ei cu ajutorul teoriei limbajelor formale, Stud. Cerc. Matem., 28, 5 (1976), 565--570.

(with P. Constantinescu) Sistemul informatic ca sistem cibernetic cu doua bucle de reglaj, Stud. Cerc. Calcul. Ec. Cibern. Ec., 3 (1976), 79--91.

(with P. Constantinescu) Structuring information system by means of automata theory, CEPECA Management Training Review, 2 (1976), 40--48.

On the smallest number of nonterminals required to generate a context-free language, Mathematica, 18 (41), 2 (1976), 203--208.

1977

(with Al. Tasnadi) Asupra unor metode de decizie multicriteriala, Revista de Statistica, 10 (1977), 10 - 13.

The generative capacity of compound grammars, Inform. Control, 34, 1 (1977), 50--54.

On the index of grammars and languages, Inform. Control, 35, 4 (1977), 259--266.

An operation with languages occurring in the linguistic approach to management, RAIRO/Th. Computer Sci., 11, 4 (1977), 303--310.

Noi operatii cu limbaje, Stud. Cerc. Matem., 29, 5 (1977), 521-533.

Generative grammars for some economic activities (Schedulling and marshalling problems), Found. Control Engineering, 2, 1 (1977), 15--25.

Contextual grammars with restrictions in derivation, Rev. Roum. Math. Pures Appl., 22, 8 (1977), 1147--1154.

(with A. Pascu) A homomorphic representation of simple matrix languages, Inform. Control, 35, 4 (1977), 267--275.



1978

(with Al. Tasnadi) Optimizarea unui indicator de performanta pe baza factorului structural, Revista de Statistica, 27, 8 (1978), 46--51.

Operatii cu limbaje si gramatici contextuale, Stud. Cerc. Matem., 30, 4 (1978), 425--439.

On the iteration of gsm mappings, Rev. Roum. Math. Pures Appl., 23, 4 (1978), 921--937.

On some classes of contextual grammars, Bull. Math. Soc. Sci. Math. Roumanie, 22 (70), 2 (1978), 183--189.

An infinite hierarchy of contextual languages with choice, Bull. Math. Soc. Sci. Math. Roumanie, 22 (70), 4 (1978), 425--430.

Two infinite hierarchies of languages defined by branching grammars, Kybernetika, 14, 6 (1978), 397--407.

Linear simple matrix languages, Elektr. Inform. Kybern., 14, 7/8 (1978), 377--384.

1979

Asupra unor variante ale problemei voiajorului. Abordare lingvistico-matematica, Stud. Cerc. Matem., 31, 1 (1979), 213--226.

Grammatical inference and creative learning, Rev. Roum. Ling., 24, 2 (1979), 195--200.

Normal forms for bicolored digraph-grammar systems, Intern. J. Computer Math., 7 (1979), 109--118.

On the generative capacity of some classes of grammars with regulated rewriting, Math. Found. Computer Sci. Symp., Olomouc, Lect. Notes Computer Sci., 74, Springer-Verlag, 1979, 408--414.

A formal linguistic model of action systems, Ars Semeiotica, 2, 1 (1979), 33--47.

Marcus contextual grammars and languages, A survey, Rev. Roum. Math. Pures Appl., 24, 10 (1979), 1467--1486.

On the generative capacity of tree controlled grammars, Computing, 21 (1979), 213--220.

Some further remarks on the family of finite index matrix languages, RAIRO/Th. Informatics, 13, 3 (1979), 289--297.

On the generative capacity of conditional grammars, Inform. Control, 43, 2 (1979), 178--186.

On the family of matrix languages of finite index, J. Computer System Sci., 18, 3 (1979), 267--280.

On a prolongation of languages, Bull. Math. Soc. Sci. Math. Roumanie, 23 (71), 3 (1979), 293--296.

A note on the intersection of context-free languages, Fundamenta Inform., 3, 2 (1979), 135--139.

On Szilard's languages associated to a matrix grammar, Inform. Processing Letters, 8, 2 (1979), 104--105.

(with C. Calude, S. Marcus) The universal grammar as a hypothetical brain, Rev. Roum. Ling., 24, 5 (1979), 479--489.

(with A. Pascu) On the planarity of bicolored digraph-grammar systems, Discrete Math., 25 (1979), 195--197.

1980

The complement of a finite index matrix language is context sensitive, Inform. Control, 47, 3 (1980), 166--174.

Possibilities and limits in reducing social indicators complexity, Report HSDRGPID 47, Univ. United Nations, Tokyo, 1980, 4--32.

Some consequences of a result of Ehrenfeucht and Rozenberg, RAIRO/ Th. Computer Sci., 14, 1 (1980), 119--122.

A new type of generative device: valence grammars, Rev. Roum. Math. Pures Appl., 25, 6 (1980), 911--924. (with A. Andrasiu, C. Calude) Extinderi ale problemei deciziilor multicriteriale, Revista de Statistica, 29, 11 (1980), 43--49.

O ierarhie infinita de limbaje matriciale, Stud. Cerc. Matem., 32, 6 (1980), 697--707.

(with X. M. Nguyen) On the inner-contextual grammars, Rev. Roum. Math. Pures Appl., 25, 4 (1980), 641--651.

1981

An impossibility theorem for social indicators aggregation, Bull. pour Sous Ensembles Floues et leur Appl., 6 (1981), 54--65, Fuzzy Sets and Systems, 9 (1983), 205--210.

Despre locul limbajelor de programare in ierarhia lui Chomsky, Stud. Cerc. Matem., 33, 4 (1981), 455--466.

On eliminating lambda-rules from simple matrix grammars, Fundamenta Inform., 4, 1 (1981), 185--195.

Limbajele calculului propozitiilor in ierarhia lui Chomsky, Stud. Cerc. Matem., 33, 3 (1981), 299--310.

Multi-head sequential transducers, Rev. Roum. Math. Pures Appl., 26, 9 (1981), 1235--1253.

Thue languages and matrix grammars, Found. Control Engineering, 6, 4 (1981), 273--278.

(with C. Calude) The absence of contextual ambiguities in programming languages, Rev. Roum. Ling., 18, 1 (1981), 91--110, si in vol. Contextual ambiguities in natural & artificial languages, ed. S. Marcus, Ghent Univ., 1983, 57--76.

Noi criterii de decizie multicriteriala, Revista de Statistica, 30, 7 (1981), 52 - 57.

(with C. Calude) Global syntax and semantics for recursively enumerable languages, Fundamenta Inform., 4, 2 (1981), 245--254.

(with Al. Carausu) String intersection and short concatenation, Rev. Roum. Math. Pures Appl., 26, 5 (1981), 713--726.

1982

On simple matrix languages versus scattered context languages, RAIRO/ Th. Informatics, 16, 3 (1982), 245--253.

Gramatici bidimensionale. Un model pentru generarea unor motive decorative populare, in vol. Semiotica matematica a artelor vizuale, ed. S. Marcus, Ed. Stiintifica si Enciclopedica, Bucharest, 1982, 203--220.

(with A. Andrasiu, C. Calude) Posibilitati de agregare a deciziilor multicriteriale, Stud. Cerc. Matem., 34, 2 (1982), 87--103.

Restrictii in problema indicatorilor sociali, in vol. Metode matematice in problematica dezvoltarii, ed. S. Marcus, Ed. Academiei, Bucharest, 1982, 133--162.

(with C. Calude) On the adequacy of a grammatical model of the brain, Cah. ling. th. appl., 4 (1982), 343--351.

(with J. Dassow) L(ETOL) = L(ETOL_[5]), Electr. Inform. Kybern., 18, 6 (1982), 345--348.

(with X. M. Nguyen) On the generative capacity of contextual schemata with syntactical invariant choice, Elektr. Inform. Kybern., 18, 1/2 (1982), 57--65.

(with X. M. Nguyen) On the generative capacity of n-contextual grammars, Bull. Math. Soc. Sci. Math. Roumanie, 25 (74), 4 (1982), 245--254.



1983

Modelling economic processes by means of formal grammars. A survey of results at the middle of 1981, Acta Appl. Math., 1, 3 (1983), 79--95.

A positive answer to problem P11, Bulletin EATCS, 19 (1983), 9--10.

Length-increasing grammars of finite index, Rev. Roum. Math. Pures Appl., 28, 5 (1983), 391--403.

The existence of Onicescu's associations depending on the group size, in vol. Studies in probability and related topics, ed. M. C. Demetrescu, M. Iosifescu, Nagard Publ., 1983, 376--379.

Some context-free-like properties of matrix languages of finite index, Bull. Math. Soc. Sci. Math. Roumanie, 27 (75), 1 (1983), 83--87.

On the family of Szilard languages, Bull. Math. Soc. Sci. Math. Roumanie, 27 (75), 3 (1983), 259--265. (with C. Calude) Independent instances of some undecidable problems, RAIRO/Th. Informatics, 17, 1 (1983), 49--54.

1984 On semicontextual grammars, Bull. Math. Soc. Sci. Math. Roumanie, 28 (76), 1 (1984), 63--68.

O demonstratie elementara pentru o teorema a lui Rozenkrantz, Stud. Cerc. Matem., 36,2 (1984), 143--146.

Six nonterminals are enough for generating each r.e. language by a matrix grammar, Intern. J. Computer Math., 15 (1984), 23--37.

Two methods for multicriterial hierarchization of discrete alternatives, RAIRO/ Operations Research, 18, 3 (1984), 263--278.

On grammars with double restrictions in derivation, Proc. 3rd IMYCS, Smolenice, 1984, 126--131. (with J. Dassow) Codings of pure languages obtained by regulated rewriting, Found. Control Engineering, 9, 1 (1984), 3--14.

(with J. Dassow) On the description of languages by grammars with regulated rewriting, Proc. 3rd IMYCS, Smolenice, 1984, 15--22.



1985

(with M. Tataram) Classes of mappings having context sensitive graphs, Rev. Roum. Math. Pures Appl., 30, 4 (1985), 273--288.

On some open problems about Marcus contextual languages, Intern. J. Computer Math., 17, 1 (1985), 9--23.

Two theorems about Galiukschov semicontextual grammars, Kybernetika, 21, 5 (1985), 360--365.

Semiconditional contextual grammars, Fundamenta Inform., 8, 2 (1985), 151--161.

A variant of random context grammars: semi-conditional grammars, Theoret. Computer Sci., 41 (1985), 1--17.

On leftmost derivation restriction in regulated rewriting, Rev. Roum. Math. Pures Appl., 30, 9 (1985), 751--758.

On Parikh-boundedness of matrix languages, Bulletin EATCS, 25 (1985), 34--37.

(with J. Dassow) On ordered variants of some regulated grammars, Elektr. Inform. Kybern., 21, 10/11 (1985), 491--504.

(with J. Dassow) Further remarks on the complexity of regulated rewriting, Kybernetika, 21, 3 (1985), 213--227.

1986

A note on pure matrix grammars, Rev. Roum. Math. Pures Appl., 31, 10 (1986), 915--917.

Some recent restrictions in the derivation of context-free grammars, Proc 4th IMYCS, Smolenice, 1986, 59--70.

(with J. Dassow) On the complexity of regulated rewriting, Bull. Math. Soc. Sci. Math. Roumanie, 30 (78), 3 (1986), 202--212.

(with J. Dassow) Further remarks on pure languages with regulated rewriting, Rev. Roum. Math. Pures Appl., 31, 10 (1986), 855--864.

(with M. Gheorghe) Two (infinite ?) hierarchies of vector languages, Bulletin EATCS, 29 (1986), 27--31.

1987

On the fidelity of some measures of syntactic complexity, Rev. Roum. Ling., 24, 1 (1987), 77--86.

(with T. Balanescu, M. Gheorghe) Three variants of apical growth filamentous systems, Intern. J. Computer Math., 21, 3 + 4 (1987), 227--238.

(with G. Ciucar) On the syntactical complexity of pure languages, Found. Control Engineering, 12, 2 (1987), 69--74.

(with M. Marcus) Valence GSM mappings, Bull. Math. Soc. Sci. Math. Roumanie, 31 (79), 3 (1987), 219--229.

(with Al. Mateescu) On states observability in deterministic finite automata, Intern. J. Computer Math., 21 (1987), 17--30.

(with M. Novotny) On some parameters occurring in certain effective constructions of grammars, Fundamenta Inform., 10 (1987), 69--80.

(with M. Novotny) On a family of linearly grammatizable languages, Fundamenta Inform., 10 (1987), 143--148.

1988

The complexity of languages translation by gsm's, Rev. Roum. Ling., 25, 1 (1988), 49--58.

A note on fully initial context-free languages, Papers on Automata and Languages, 10 (1988), 7--11.

On a class of contextual grammars, Rev. Roum. Ling., 25, 2 (1988), 167--171.

Some further remarks on regular controlled apical growth filamentous systems, Bull. Math. Soc. Sci. Math. Roumanie, 32 (80), 4 (1988), 341--344.

On Langford-Lyndon-Thue sequences, Bulletin EATCS, 34 (1988), 63--67.

(with T. Balanescu, M. Gheorghe) Contextual transducers, An. Univ. Bucharest, Ser. Matem.-Inform., 2 (1988), 3--15.



1989

Parallel communicating grammar systems; the context-free case, Found. Control Engineering, 14, 1 (1989), 39--50.

On the power of synchronization in parallel communicating grammar systems, Stud. Cerc. Matem., 41, 3 (1989), 191--197.

(with T. Balanescu, M. Gheorghe) On fully initial grammars with regulated rewriting, Acta Cybern., 9, 2 (1989), 157--165.

(with S. Marcus) Langford strings, formal languages and contextual ambiguity, Intern. J. Computer Math., 26, 3 + 4 (1989), 179--191.

(with Al. Mateescu) Further remarks on fully initial grammars, Acta Cybern., 9, 2 (1989), 143--156.

(with L. Santean) Number-theoretic mappings computed by gsm's, Bull. Math. Soc. Sci. Math. Roumanie, 33 (81), 1 (1989), 71--82.

(with L. Santean) Parallel communicating grammar systems: the regular case, An. Univ. Bucharest, Ser. Matem.-Inform., 38, 2 (1989), 55--63.

Lyndon strings and formal language theory, Bull. Math. Soc. Sci. Math. Roumanie, 33 (81), 4 (1989), 347--355.

1990

On a class of valence grammars, Stud. Cerc. Matem., 42, 3 (1990), 255--268.

(with M. Gheorghe) Further remarks on cooperating distributed grammar sys-tems, Bull. Math. Soc. Sci. Math. Roumanie, 34 (82), 3 (1990), 231--245.

(with J. Dassow) On some variants of cooperating distributed grammar systems, Stud. Cerc. Matem., 42, 2 (1990), 153--165.

(with J. Dassow) On the degree of non-regularity of context-free languages, Intern. J. Computer Math., 36 (1990), 13--29

Syntactic algorithms for computing the surface bounded by a closed curve, Report LRI--29, Univ. Paris, Orsay, 1990.

(with J. Dassow) Cooperating distributed grammar systems with registers, Found. Control Engineering, 15, 1 (1990), 19--39.

Languages and artificial intelligence: Parallel communicating grammar systems, a grammatical model for parallel computing, Rev. Roum. Ling., 27, 1 (1990), 43--54.

(with M. Marcus) Regulated Galiukschov semicontextual grammars, Kybernetika, 26, 4 (1990), 316--326. (with T. Balanescu, M. Gheorghe) Apical growth filamentous systems with regulated rewriting, Bull. Math. Soc. Sci. Math. Roumanie, 34 (82), 2 (1990), 99--113.

On Nebesky xi-grammars, Bull. Math. Soc. Sci. Math. Roumanie, 34 (82), 4 (1990), 335--342.

Non-centralized parallel communicating grammar systems, Bulletin EATCS, 40 (1990), 257--264.

(with L. Santean) Further remarks on parallel communicating grammar systems, Intern. J. Computer Math., 34 (1990), 187--203.

1991

Further remarks on the syntactic complexity of Marcus contextual languages, An. Univ. Buc. Ser. Matem.-Inform., 39-40, 3 (1990--1991), 72--82.

On some questions about parallel communicating grammar systems, Bull. Math. Soc. Sci. Math. Roumanie, 35 (83), 2 (1991).

Formal grammars and cognitive architectures, Proc. FAIR 91, Smolenice, Lect. Notes Artif. Intell., subserie Lect. Notes Comput. Sci., 535, Springer-Verlag (eds. Ph. Jorrand, J. Kelemen), 1991, 48--58.

(with J. Dassow) On the succinctness of descriptions of context-free languages by cooperating distributed grammar systems, Computers and AI, 10 (1991), 513--527.

A characterization of recursively enumerable languages, Bulletin EATCS, 45 (1991), 218--222.

(with A. Salomaa) Semi-commutativity sets--a cryptographically grounded topic, Bull. Math. Soc. Sci. Math. Roumanie, 35 (83) 3--4 (1991), 255--270.

(with S. Vicolov) Language representations starting from fully initial grammars, Acta Cybern., 10, 1-2 (1991), 65--70.

1992

(with M. Szijarto, S. Vicolov) Further remarks on reduced languages, Fundamenta Inform., 16 (1992), 337--347.

(with M. Szijarto) Language characterization by using the filter operation, Rev. Roum. Math. Pures Appl., 37, 6 (1992), 509--518.

(with A. Petit) Generalized reduced languages, Stud. Cerc. Matem., 44, 4 (1992), 309--318.

Siruri anti-Langford fara repetari adiacente, Stud. Cerc. Matem., 44, 6 (1992), 523--527.

(with A. Salomaa, S. Vicolov) On the generative capacity of parallel communicating grammar systems, Intern. J. Computer Math., 45 (1992), 49--59.

(with L. Kari, S. Marcus, A. Salomaa) In the prehistory of formal languages: Gauss codes, Bulletin EATCS, 46 (1992), 124--139.

O problema privind eficienta descrierii figurilor plane, Stud. Cerc. Matem., 44, 5 (1992), 449--454. (with A. Salomaa) Decision problems concerning the thinness of DOL-languages, Bulletin EATCS, 46 (1992), 171--181.

(with J. Kelemen) Generative paradigm in the study of complex symbol systems, Cybernetica, 35, 3 (1992), 241--150.

Valences: Increasing the power of grammars, transducers, grammar systems, Bulletin EATCS, 48 (1992), 143--156.

On the syntactic complexity of parallel communicating grammar systems, Kybernetika, 28, 2 (1992), 146--157.

Anti-Langford sequences, in vol. Words, languages and combinatorics, ed. M. Ito, World Sci. Publ., 1992, 410--421.

Parallel communicating systems of L systems, in vol. Lindenmayer systems. Impacts on Theoretical Computer Science, Computer Graphics, and Developmental Biology, eds. G. Rozenberg, A. Salomaa, Springer-Verlag, 1992, 405--418.

(with M. Andrasiu, A. Atanasiu, A. Salomaa) A new cryptosystem based on formal language theory, Bull. Math. Soc. Sci. Math. Roumanie, 36 (84), 1 (1992), 3--16.

(with J. Dassow, A. Mateescu, A. Salomaa) Regularizing context-free languages by AFL operations: concatenation and Kleene closure, Acta Cybern, 10, 4 (1992), 243--253.

1993

(with J. Dassow, J. Kelemen) On parallelism in colonies, Cybernetics and Systems, 24 (1993), 37--49.

On the synchronization in parallel communicating grammar systems, Acta Inform., 30 (1993), 351--367.

(with J. Dassow) Cooperating distributed grammar systems with regular components, Computers and AI, 12, 1 (1993), 71--82.

(with A. Salomaa) Closure properties of slender languages, Theor. Comput. Sci., 120, 2 (1993), 293--301.

(with M. Andrasiu, J. Dassow, A. Salomaa) Language-theoretic problems arising from Richelieu cryptosystems, Theor. Comput. Sci., 116 (1993), 339--357.

(with E. Csuhaj-Varju) On some variants of random context grammars, Bull. Math. Soc. Sci. Math. Roumanie, 36 (84), 3--4 (1993), 237--246.

(with J. Dassow, A. Salomaa) Grammars based on patterns, Intern. J. Found. Comput. Sci., 4, 1 (1993), 1--14.

(with E. Csuhaj-Varju, J. Dassow, V. Mitrana) Cooperation in grammar sys-tems: universality, similarity, timing, Cybernetica, 4 (1993), 271--286.

(with J. Dassow, S. Marcus), Iterated reading of numbers and ``black-holes", Periodica Mathematica Hungarica, 27, 2 (1993), 137--152.

(with J. Dassow, S. Vicolov) On the power of cooperating distributed grammar systems with regular components, Found. Comput. Decision Sci., 18, 2 (1993), 83--108.

(with J. Dassow, V. Mitrana) Szilard languages associated to cooperating distributed grammar systems, Stud. Cerc. Matem., 45, 5 (1993), 403--413.

(with J. Dassow, A. Salomaa) On thinness and slenderness of L languages, Bulletin EATCS, 49 (1993), 152--158.

How much Thue is Kolakovski ?, Bulletin EATCS, 49 (1993), 183--185.

(with L. Kari, A. Mateescu, A. Salomaa) Deletion sets, Fundamenta Inform., 19 (1993), 355--370.

(with E. Csuhaj-Varju, J. Dassow) Dynamically controlled cooperating distributed grammar systems, Inform. Sci., 69 (1993), 1--25.

(with J. Dassow, A. Salomaa) On the union of OL languages, Inform. Process. Letters, 47 (1993), 59--63.

(with L. Kari, Al. Mateescu, A. Salomaa) Grammars with oracles, Ann. Univ. Al. I. Cuza, Iasi, Informatic a, 2 (1993), 3--12.

(with A. Salomaa) Remarks concerning self-reading sequences, Bulletin EATCS, 50 (1993), 229--233.

(with R. Freund) One-dimensional matrix array grammars, J. Inform. Proc. Kybern., EIK, 29 (6) (1993), 357--374.

(with E. Csuhaj-Varju) Limiting the team size in cooperating grammar systems, Bulletin EATCS, 51 (1993), 198--202.

1994

(with E. Csuhaj-Varju) Structured colonies: models of symbiosis/parasitism, Ann. Univ. Buc., Ser. Matem.-Inform., 42--43 (1993--1994), 15--31.

(with J. Dassow, St. Skalla) On the size of components in cooperating distributed grammar systems, LNCS 812, Springer-Verlag, 1994, 325--343.

(with L. Kari, A. Salomaa) Semi-commutativity sets of morphisms over finitely generated free monoids, Bull. Math. Soc. Sci. Math. Roumanie, 36 (84), 3--4 (1994), 293--307.

(with J. Dassow, M. Ito) On the subword density of languages, Southeast Asian Bull. Math., 18, 3 (1994), 49--61.

(with J. Dassow, S. Marcus) Iterative reading of numbers; Parikh mappings, parallel rewriting, infinite sequences, in Developments in Language Theory (A. Salomaa, G. Rozenberg, eds.), World Sci. Publ., Singapore, 1994, 157--168.

(with S. Marcus) Infinite (almost periodic) words, formal languages, and dynamical systems, Bulletin EATCS, 54 (1994), 224--231.

(with E. Csuhaj-Varju, J. Dassow, J. Kelemen) Stratified grammar systems, Computers and AI, 13, 5 (1994), 409--422.

(with S. Marcus) On symmetry in languages, Intern. J. Computer Math., 52, 1/2 (1994), 1--15.

Marcus contextual grammars. After 25 years, Bulletin EATCS, 52 (1994), 263--273.

(with G. Rozenberg) Prescribed teams of grammars, Acta Informatica, 31, 6 (1994), 525--537.

(with G. Rozenberg, A. Salomaa) Contextual grammars: erasing, determinism, one-side contexts, Developments in Language Theory (G. Rozenberg, A. Salomaa, eds.), World Sci. Publ., 1994, 370--388.

(with V. Mitrana, G. Rozenberg) Structuring grammar systems by priorities and hierarchies, Acta Cybernetica, 11, 3 (1994), 189--204.

(with G. Rozenberg, A. Salomaa) Marcus contextual grammars: modularity and leftmost derivation, in vol. Mathematical Aspects of Natural and Formal Languages (Gh. P aun, ed.) World Sci. Publ., Singapore, 1994, 375--392.

(with S. Marcus, Al. Mateescu, A. Salomaa) On symmetry in strings, sequences and languages, Intern. J. Computer Math., 54 (1994), 1--13.

(with G. Istrate) Some combinatorial properties of self-reading sequences, Discrete Appl. Math., 55 (1994), 83--86.

(with A. Ehrenfeucht, G. Rozenberg) Normal forms for contextual grammars, in vol Mathematical Aspects of Natural and Formal Languages (Gh. Paun, ed.), World. Sci. Publ., Singapore, 1994, 79--95.

(with E. Csuhaj-Varju, A. Kelemenova, J. Kelemen), Eco(grammar)systems: A preview, Cybernetics and Systems '94, vol. 1 (R. Trappl, ed.), World Sci. Publ., Singapore, 1994, 941--949.

(with S. Marcus) Infinite words and their associated formal languages in Salodays in Auckland (C. Calude, M. J. J. Lennon, H. Maurer, eds.), Auckland Univ. Press, 1994, 95--99.

On the generative capacity of hybrid cooperating distributed grammar systems, J. Inform Processing Cybern., EIK, 30, 4 (1994), 231--244.

(with R. Freund) The shape of a language: some open problems, Bull. EATCS, 54 (1994), 378--380. (with R. Freund) On the shape of formal languages: compactness and spongiousness, Technical Rep. 185-2/FR-1/94, TU Wien, 1994.

1995

(with L. Kari, A. Mateescu, A. Salomaa) On parallel deletions applied to a word, R.A.I.R.O., 29 (1995), 129--144.

On the generative power of colonies, Kybernetika, 31, 1 (1995), 83--97.

(with J. Dassow, R. Freund) Cooperating array grammar systems, J. Pattern Recognition and AI, 9, 6 (1995), 1029--1053.

(with L. Kari, Al. Mateescu, A. Salomaa), Multi-pattern languages, Th. Computer Sci., 141 (1995), 253--268.

(with L. Kari, Al. Mateescu, A. Salomaa) Teams in cooperating grammar systems, J. Experim. Th. AI, 7 (1995), 347--359.

Generating languages in a distributed way: grammar systems, Proc. XI Conf. on Natural and Formal Languages, Tortosa, 1995, 45--67.

Splicing. A challenge to formal language theorists, Bulletin EATCS, 57 (1995), 183--194.

(with A. Ehrenfeucht, L. Ilie, G. Rozenberg, A. Salomaa) On the generative capacity of certain classes of contextual grammars, in vol. Mathematical Linguistics and Related Topics (Gh. P aun, ed.), Ed. Academiei, Bucure sti, 1995, 105--118.

(with G. Rozenberg, A. Salomaa) Grammars based on the shuffle operation, J. Universal Computer Sci., 1, 1 (1995), 67--81.

(with R. Freund, G. Rozenberg) Contextual array grammars, 5 Theorietag Automaten und Formale Sprachen, 1995 (M. Kutrib, Th. Wersch, eds.), 58--89.

(with J. Dassow, S. Vicolov) On the generative capacity of certain classes of cooperating grammar systems, Fundamenta Inform., 22, 5 (1995), 217--226.

(with R. Freund, C. M. Procopiuc, O. Procopiuc) Parallel communicating grammar systems with context-sensitive components, in vol. Artificial Life: Grammatical Models (Gh. P aun, ed.), The Black Sea Univ. Press, Bucharest, 1995, 166--174.

(with E. Csuhaj-Varju, A. Salomaa) Conditional tabled eco-grammar systems, in vol. Artificial Life.

Grammatical Models (Gh. Paun, ed.), The Black Sea Univ. Press, Bucharest, 1995, 227--239.

(with E. Csuhaj-Varju, A. Salomaa) Conditional tabled eco-grammar systems versus (E)T0L systems, JUCS, 1, 5 (1995), 252--268.

Eco-grammar systems. An early survey, Decentralized Intelligent Multi-Agents Systems Symp., Cracovia, 1995, 355--362.

(with C. Martin-Vide, Al. Mateescu, J. M. Verges) Internal contextual grammars: minimal, maximal and scattered use of selectors, Bisfai 95 Conference, Natural Languages and AI. (M. Kappel, E. Shamir, eds.), Jerusalem, 1995, 132--142.

(with A. Salomaa) Thin and slender languages, Discrete Appl. Math., 61 (1995), 257--270.

(with A. Mateescu, G. Rozenberg, A. Salomaa), Parikh prime words and GO-like territories, JUCS, 1, 12 (1995), 790--810.

(with C. Martin-Vide, J. Miquel-Verges) Contextual grammars with depth-first derivation, Tenth Twente Workshop on Language Technology, (A. Nijholt, G. Scollo, R. Steetskamp, eds.), Twente, 1995, 225--233.

(with R. Freund) On a variant of team cooperation in grammar systems, JUCS, 1, 2 (1995), 105--130.

New variants of Lindenmayer systems with biological motivation, in Artificial Life. Grammatical Models (Gh. Paun, ed.), Black Sea Univ. Press, Bucharest, 1995, 129--136.

On the power of the splicing operation, Intern. J. Computer Math., 59 (1995), 27--35.

Grammar systems. A grammatical approach to distribution and cooperation, Invited lecture ICALP 1995, LNCS 944 (Z. Fulop, F. Gecseg, eds.), Springer-Verlag, 1995, 429--443.

The splicing as an operation on formal languages, IEEE--INBS Conference, Washington, 1995, 176--180. (with M. Lipponen) Strongly prime PCP words, Discrete Appl. Math., 63 (1995).

Parallel communicating grammar systems. A survey, Proc. XI Conf. on Natural and Formal Languages, Tortosa, 1995, 257--283.

1996

(with G. Rozenberg, A. Salomaa) Contextual grammars: parallelism and blocking of derivation, Fundamenta Informaticae, 25 (1996), 381--397.

(with V. Mitrana, G. Rozenberg, A. Salomaa), Pattern systems, Theoretical Computer Sci., 154 (1996), 183--201.

(with A. Ehrenfeucht, Al. Mateescu, G. Rozenberg, A. Salomaa) On representing RE languages by one-sided internal contextual languages, Acta Cybern., 12, 3 (1996), 217--233.

(with G. Rozenberg, A. Salomaa) Contextual grammars: deterministic derivations and growth functions, Rev. Roum. Math. Pures Appl., 41, 1-2 (1996), 83--108.

(with D. Robilliard, K. Slowinski) Connected pictures and minimal words with blank moves, Publicationen Math. Debrecen, 48, 3-4 (1996), 375--387.

(with A. Salomaa) Formal languages, chapter 16 in Handbook of Discrete and Combinatorial Mathematics, 1996. On the splicing operation, Discrete Appl. Math., 70 (1996), 57--79.

(with A. Ehrenfeucht, G. Rozenberg), The linear landscape of external contextual languages, Acta Inform., 35, 6 (1996), 571--593.

(with G. Rozenberg, A. Salomaa), Pattern grammars, J. Aut., Lang., Combinatorics, 1, 3 (1996), 219--235.

(with G. Rozenberg, A. Salomaa) Computing by splicing, Th. Computer Sci., 168, 2 (1996), 321--336.

(with L. Kari, A. Salomaa) The power of restricted splicing with rules from a regular language, JUCS, 2, 4 (1996), 224--239.

(with E. Csuhaj-Varju, L. Kari) Test tube distributed systems based on splicing, Computers and AI, 15, 2-3 (1996), 211--232.

(with E. Csuhaj-Varju, R. Freund, L. Kari) DNA computing based on splicing: universality results, Proc. of First Annual Pacific Symp. on Biocomputing, Hawaii, 1996 (L. Hunter, T. E. Klein, eds.), World Sci. Publ., Singapore, 1996, 179--190.

Regular extended H systems are computationally universal, Journal of Automata, Languages, Combinatorics, 1, 1 (1996), 27--36.

(with A. Salomaa) Self-reading sequences, Amer. Math. Monthly, 103, Febr. 1996, 166--168.

(with S. Dumitrescu, A. Salomaa) Languages associated to finite and infinite sets of patterns, Rev. Roum. Math. Pures Appl., 41, 9-10 (1996), 613--631.

(with J. Dassow, V. Mitrana, S. Vicolov) On determinism in cooperating distributed grammar systems, Publicationen Math. Debrecen, 48, 3-4 (1996), 217--231.

(with E. Csuhaj-Varju, J. Kelemen) Grammar systems with WAVE-like communication, Computers and AI, 15, 5 (1996), 419--436.

(with G. Rozenberg, A. Salomaa) Restricted use of the splicing operation, Intern. J. Computer Math., 60 (1996), 17--32.

(with A. Salomaa) DNA computing based on the splicing operation, Mathematica Japonica, 43, 3 (1996), 607--632.

On the power of splicing grammar systems, Ann. Univ. Buc., Matem.-Inform. Series, 45, 1 (1996), 93--106.

(with L. Polkowski, A. Skowron) Parallel communicating grammar systems with negociation, Fundamenta Informaticae, 28, 3-4 (1996), 315--330.

(with L. Polkowski, A. Skowron) Rough-set-like approximations of context-free languages, Inform. Processing and Management of Uncertainty in Knowledge-Based Systems, Granada, Univ. of Granada Press, 1996, vol. II, 891--895.

(with C. Martin-Vide, R. Ortega-Robert) Modelling the coordination by operations on strings, CF trees, TAG trees, Proc. of the Seventh Meeting on Computational Linguistics in the Netherlands, Eindhoven, 1996. Five (plus two) universal DNA computing models based on the splicing operation, Second Annual DNA Based Computers Meeting, Princeton, June 1996, 67--86 ( DNA Based Computers II, L. F. Landweber, E. B. Baum, eds., American Math. Soc., 1998, 59--75).

Computing by splicing: how simple rules ? Bulletin of EATCS, 60 (1996), 144--150.

Parallel communicating grammar systems: Recent results, open problems, Acta Cybern. 12, 4 (1996), 381--397. Splicing systems with targets are computationally universal, Inform. Processing Letters, 59 (1996), 129--133.

(with S. Marcus, C. Martin-Vide) Contextual grammars versus natural languages, Speech and Computers Conf., SPECOM 96, St. Petersburg, 1996, 28--33.

(with A. Salomaa) From DNA recombination to DNA computing via formal languages, Bioinformatics Proc. of German Conf. on Bioinformatics, Leipzig, 1996 (R. Hofestadt, T. Lengauer, M. Loffler, D. Schomburg, eds.), LNCS 1278, Springer, 1997, 210--220.

1997

(with E. Csuhaj-Varju, J. Kelemen, A. Kelemenova) Eco-grammar systems: a grammatical framework for studying lifelike interactions, Artificial Life, 3, 1 (1997), 1--28.

(with A. Ehrenfeucht, G. Rozenberg) Contextual languages and formal languages, chapter 6 in vol. 2 of Handbook of Formal Languages (G. Rozenberg, A. Salomaa, eds.), 1997, 237--294.

(with S. Dumitrescu, A. Salomaa) Pattern languages versus parallel communicating grammar systems, Intern. J. Found. Computer Science, 8, 1 (1997), 67--80.

(with T. Head, D. Pixton), Language theory and molecular genetics, chapter 7in vol. 2 of Handbook of Formal Languages (G. Rozenberg, A. Salomaa, eds.), 1997, 295--360.

(with S. Dumitrescu) On the generative power of PC grammar systems with right-linear rules, RAIRO, Theor. Informatics, 31, 4 (1997), 331--354.

(with J. Dassow, G. Rozenberg) Grammar systems, chapter 4 in vol. 2 of Handbook of Formal Languages (G. Rozenberg, A. Salomaa, eds.) Springer, 1997, 155--214.

(with J. Dassow, A. Salomaa) Grammars with controlled derivations, chapter 3 in vol. 2 of Handbook of Formal Languages (G. Rozenberg, A. Salomaa, eds.) Springer, 1997, 101--154.

(with A. Salomaa) Families generated by grammars and L systems, chapter 12 in vol. 1 of Handbook of Formal Languages (G. Rozenberg, A. Salomaa, eds.), Springer-Verlag, 1997, 811--861.

(with C. Martin-Vide, J. Miquel-Verges) Two-level contextual grammars: the internal case, Proc. Math. Found. Computer Sci. Conf., Bratislava, 1997, Lect. Notes in Computer Sci. 1295 (I. Privaner, P. Ruzicka, eds.), Springer-Verlag, 1997, 388--397.

(with G. Thierrin) Morphisms and primitivity, Bulletin of the EATCS, 61 (1997), 85--88.

(with G. Rozenberg, A. Salomaa) Computing by splicing. Programmed and evolving splicing systems, 1997 IEEE Intern. Conf. on Evolutionary Computing, Indianapolis, 1997, 273--277.

(with R. Freund, G. Rozenberg, A. Salomaa) Watson-Crick finite automata, Proc. 3rd DIMACS Workshop on DNA Based Computers, Philadelphia, 1997, 305--317.

(with J. Dassow, V. Mitrana) Point mutations in context-free languages, Proc. of Developments in Language Theory Conf., III, Thessaloniki, 1997 (S. Bozapalidis, ed.), Aristotle Univ. of Thessaloniki, 1997, 429--446.

(with L. Kari, G. Thierrin, S. Yu) At the crossroads of DNA computing and formal languages: Characterizing RE using insertion-deletion systems, Proc. 3rd DIMACS Workshop on DNA Based Computing, Philadelphia, 1997, 318--333.

DNA computing; Distributed architectures, in Structures in Logic and Computer Science. A Selection of Essays in Honor of A. Ehrenfeucht (J. Mycielski, G. Rozenberg, A. Salomaa, eds.), Lect. Notes in Computer Sci. 1261, Springer-Verlag, 1997, 353--370.

(with L. Polkowski, A. Skowron) Rough set approximations of languages, Fundamenta Informaticae, 32 (1997), 149--162.

Controlled H systems and Chomsky hierarchy, Fundamenta Informaticae, 30, 1 (1997), 45--57. (with N. Santean, G. Thierrin, S. Yu) On the robustness of primitive words, 1997.

Two-level distributed H systems, Proc. of Developments in Language Theory Conf., III Thessaloniki, 1997 (S. Bozapalidis, ed.), Aristotle Univ. of Thessaloniki, 1997, 309--327.

(DNA) Computing by carving, Technical Report CTS-97-17 Center for Theoretical Study at Charles Univ. and the Academy of Sciences of the Czech Republic, Prague, 1997, and Soft Computing, 3, 1 (1999), 30--36.

1998

(with A. Ehrenfeucht, G. Rozenberg), On representing RE languages by internal contextual languages, Theoretical Computer Sci., 205, 1-2 (1998), 61--83.

(with S. Marcus, C. Martin-Vide) Contextual grammars as generative models of natural languages, Computational Linguistics, 24, 2 (1998), 245--274.

(with A. Mateescu, G. Rozenberg, A. Salomaa) Simple splicing systems, Discrete Appl. Math., 84 (1998), 145--163.

String function based machines, Romanian J. Inform. Sci. Technology, 1, 1 (1998), 73--83.

(with C. Martin-Vide, J. Miquel-Verges, A. Salomaa) Attempting to define the ambiguity of internal contextual languages, Mathematical and Computational Analysis of Natural Language (C. Martin-Vide, ed.), John Benjamins, Amsterdam, 1998, 59--81.

(with C. Martin-Vide, A. Salomaa) Characterizations of RE languages by means of insertion grammars, Theoretical Computer Sci., 205, 1-2 (1998), 195--205.

(with Al. Mateescu, G. Rozenberg, A. Salomaa) Characterizations of recursively enumerable languages starting from internal contextual languages, Intern. J. Computer Math., 66 (1998), 179--197.

(with R. Freund, G. Rozenberg, A. Salomaa) Bidirectional sticker systems, Pacific Symp. on Biocomputing, Hawaii, 1998 (R. B. Altman, A. K. Dunker, L. Hunter, T. E. Klein, eds.), World Sci., Singapore, 1998, 535--546.

(with C. Martin-Vide) New topics in colonies theory, MFCS 98 Workshop on Grammar Systems (A. Kelemenova, ed.), Silesian Univ., Fac. of Philosophy and Sci., 1998, 39--51, si Grammars, 1 (1999), 209--223.

(with L. Kari, G. Rozenberg, A. Salomaa, S. Yu) DNA computing, sticker systems, and universality, Acta Informatica, 35, 5 (1998), 401--420.

(with C. Martin-Vide) Structured contextual grammars, Grammars, 1, 1 (1998), 33--55.

(with L. Kari, H. Lutfyya, C. Martin-Vide) Bringing PC grammar systems closer to Hoare's CSP's, in Grammatical Models of Multi-Agent Systems (Gh. P aun, A. Salomaa, eds.), Gordon and Breach, London, 1998, 64--85.

Distributed architectures in DNA computing based on splicing: Limiting the size of components, in Unconventional Models of Computation (C. S. Calude, J. Casti, M. J. Dinneen, eds.), Springer, Singapore, 1998, 323--335.

(with C. Martin-Vide, G. Rozenberg, A. Salomaa) Universality results for finite H systems and Watson-Crick finite automata, in Computing with Bio-Molecules. Theory and Experiments (Gh. P aun, ed.), Springer, Singapore, 1998, 200--220.

(with P. Bottoni, S. Levialdi) Successful visual human-computer interaction is undecidable, Inform. Processing Letters, 67, 1 (1998), 13--19.

(with P. Bottoni, G. Mauri, P. Mussio) Grammars working on layered strings, Acta Cybern., 13, 4 (1998), 339--358.

(with G. Rozenberg) Sticker systems, Theoretical Computer Sci., 204 (1998), 183--203. (with C. Martin-Vide, A. Mateescu) Chomsky-Marcus hybrid grammars, Bulletin of the EATCS, 64 (February 1998), 159--165.

(with J. Dassow, S. Marcus) Convex and anti-convex languages, Intern. J. Computer Math., 69, 1-2 (1998), 1--16.

(with C. Martin-Vide) PM-colonies, Computers and AI, 17, 6 (1998), 1--30.

(with C. Martin-Vide) Duplication grammars, The Linguistics of Biology and the Biology of Language Conf. Cuernavaca, Mexic, 1998, and Acta Cybernetica 13, 4 (1988).

(with V. Manca) Arithmetically controlled H systems, Computer Science J. of Moldova, 6, 2(17) (1998), 103--118.

(with P. Bottoni, A. Labella) Chomsky hierarchies of pattern languages, Ann. Univ. Buc., Matem.-Inform. Series, 47 (1998), 27--34

(with V. Manca, C. Martin-Vide) New computing paradigms suggested by DNA computing: Computing by carving, Proc. of the 4th Intern. Meeting on DNA Based Computers (L. Kari, H. Rubin, D. H. Wood, eds), Pennsylvania Univ., June 1998, 41--56, and BioSystems, 52, 1-3 (1999), 47--54.

(with C. Martin-Vide) On the power of erasing in external contextual grammars, Found. of Computing and Decision Sciences, 23, 4 (1998), 253--260.

(with G. Rozenberg, A. Salomaa) Complementarity versus universality. Keynotes on DNA computing, Complexity, 4, 1 (1998) 14--19.

Distributed H systems. A survey, Workshop on Molecular Computing December 1998, Chennai, India (K. Krithivasan, R. Rama, eds.), 60--75.

(with J. Dassow) Remarks on operations suggested by mutations in genomes, Fundamenta Informaticae, 36, 2-3 (1998), 183--200.

DNA computing based on splicing: universality results, Proc. of Second Intern. Colloq. Universal Machines and Computations Metz, 1998, vol. I, 67--91, si Theoretical Computer Sci., 231 (2000), 275--296.

1999

(with R. Freund, L. Kari) DNA computing based on splicing: The existence of universal computers, Theory of Computing Systems, 32 (1999), 69--112.

(with J. Dassow) Min of Mat is not necessarily Mat, Inform. Processing Letters, 71 (1999), 175--177.

(with A. Salomaa) Characterizations of recursively enumerable languages by using copy languages, Rev. Roum. Math. Pures Appl., 44, 3 (1999), 445--452.

(with J. Dassow, H. Fernau) On the leftmost restriction in matrix grammars, J. Found. of Computer Sci., 10, 1 (1999), 61--79.

(with S. Marcus, C. Martin-Vide) On internal contextual grammars with maximal use of selectors, Publicationes Mathematicae, Debrecen, 54 (1999), 933--947.

(with J. Dassow) On the power of membrane computing, J. of Universal Computer Science, 5, 2 (1999), 33--49. (with C. Martin-Vide) Cooperating distributed splicing systems, J. Automata Languages and Combinatorics, 4, 1 (1999), 3--16.

(with C. Martin-Vide, G. Rozenberg, A. Salomaa) X-Families: An approach to the study of families of syntactically similar languages, in Issues in Mathematical Linguistics (C. Martin-Vide, ed.), John Benjamins, Amsterdam, 1999, 145--163.

(with J. Dassow) On the regularity of evolutionary languages, Discrete Appl. Math., 92, 2-3 (1999), 205--209.

(with V. Manca, C. Martin-Vide) Iterated GSM mappings: A collapsing hierarchy, in Jewels Forever (J. Karhumaki, H. Maurer, Gh. P aun, G. Rozenberg, eds.), Springer-Verlag, 1999, 182--193.

Computing with membranes; An introduction, Bulletin of EATCS, 68 (Febr. 1999), 139--152.

(with G. Thierrin) Multiset processing by means of systems of finite state transducers, Pre-Proc. of Workshop on Implementing Automata WIA99, Potsdam, August 1999, Preprint 5/1999 of Univ. Potsdam (O. Boldt, H. Jurgensen, L. Robbins, eds.) XV 1-17.

(with S. Yu) On synchronization in P systems, Fundamenta Informaticae, 38, 4 (1999), 397--410.

(with T. Yokomori) Membrane computing based on splicing, Preliminary Proc. of Fifth Intern. Meeting on DNA Based Computers (E. Winfree, D. Gifford, eds.), MIT, June 1999, 213--227.

(with J. Dassow, V. Mitrana) On the regularity of duplication closure, Bulletin of the EATCS, 68 (1999), 133--136.

Computing with membranes. A correction, two problems, and some bibliographical remarks, Bulletin of the EATCS, 68 (1999), 141--144.



2000

DNA computing based on splicing: universality results, Theoretical Computer Sci., 231 (2000), 275--296. (with P. Bottoni, G. Mauri, P. Mussio) On the power of pictorial languages, Intern. J. Pattern Recognition and AI, 14, 6 (2000), 839--858.

(with J. Dassow, C. Martin-Vide, A. Rodriguez-Paton) Conditional concatenation, Fundamenta Informaticae, 44, 4 (2000), 353--372.

(with L. Ilie, G. Rozenberg, A. Salomaa) On strongly context-free languages, Discrete Appl. Math., 103 (2000), 153--165.

DNA computing by matching: Sticker systems and Watson-Crick automata, Pattern Formation in Biology, Vision and Dynamics (A. Carbone, M. Gromow, P. Prusinkiewicz, eds.), World Scientific, Singapore, 2000, 336--361. Computing with membranes, J. Computer and System Sciences, 61, 1 (2000), 108--143.

(with G. Rozenberg, A. Salomaa) Membrane computing with an external output, Fundamenta Informaticae, 41, 3 (2000), 313--340.

Computing with membranes: A variant, Intern. J. Found. of Computer Sci., 11, 1 (2000), 167--182.

(with T. Yokomori) Membrane computing based on splicing, Proc. of Fifth Intern. Meeting on DNA Based Computers (E. Winfree, D. Gifford, eds.), DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Vol. 54, American Math, Soc., 2000, 217--232).

(with T. Yokomori) Simulating H systems by P systems, J. Univ. Computer Sci., 6, 2 (2000), 178--193.

Computing with membranes (P Systems); Attacking NP-complete problems, Unconventional Models of Computation (I. Antoniou, C. S. Calude, M. J. Dinneen, eds.), Springer-Verlag, London, 2000, 94--115.

Computing with membranes (P systems): Twenty six research topics, Auckland University, CDMTCS Report No 119, 2000.

(with J. Castellanos, A. Rodriguez-Paton) Computing with membranes: P systems with worm-objects, IEEE 7th. Intern. Conf. on String Processing and Information Retrieval, SPIRE 2000, La Coruna, Spain, 64--74.

(with C. Martin-Vide) Computing with membranes: One more collapsing hierarchy, Bulletin of the EATCS, 72 (October 2000), 183--187.

(with M. Kudlek, C. Martin-Vide) Toward FMT (Formal Macroset Theory), Pre-proc. Workshop on Multiset Processing, Curtea de Arges, Romania, TR 140, CDMTCS, Univ. Auckland, 2000, 149--158.

(with C. Martin-Vide) String objects in P systems, Proc. of Algebraic Systems, Formal Languages and Computations Workshop, Kyoto, 2000, RIMS Kokyuroku Series, Kyoto Univ., 2000, 161--169.

(with C. Calude) Computing with cells and atoms in a nutshell, Complexity, 6, 1 (2000), 38--48.

(with J. Kelemen) Robustness of decentralized knowledge systems: A grammar-theoretic view, J. Experimental and Theoretical AI, 12, 1 (2000), 91--100.

Molecular computing and formal languages. A mutually beneficial cooperation, Proc. of Algebraic Methods in Language Processing -- Sixteenth Twente Workshop on Language Technology, Iowa City, 2000 (D. Heylen, A. Nijholt, G. Scollo, eds.), 161--178.

On the generative power of P systems, Theorietag 2000; Workshop on New Computing Paradigms (R. Freund, ed.), TU University Vienna, 2000, 59--78.

2001

(with P. Bottoni, G. Mauri, P. Mussio) Computing with shapes, J. of Visual Languages and Computing, 12, 4 (2001), 601--626.

Further research topics about P systems, Pre-proc. Workshop on Membrane Computing, Curtea de Arges, 2001, Technical Report 17/01 of Research Group on Mathematical Linguistics, Rovira i Virgili Univ., Tarragona, 2001, 243--250.

(with J. Dassow, G. Thierrin, S. Yu) Tree-systems of morphisms, Acta Informatica, 38, 2 (2001), 131--153. (with G. Thierrin) Multiset processing by means of systems of finite state transducers, Workshop on Implementing Automata WIA99, Potsdam, August 1999, LNCS 2214, Springer-Verlag, 2001, 140--157.

P systems with active membranes: Attacking NP-complete problems, J. Automata, Languages, and Combinatorics, 6, 1 (2001), 75--90.

(with J. Dassow) On P systems with communication based on concentration, Acta Cybernetica, 15, 1 (2001), 9--25.

(with C. Calude, M. Tataram) A glimpse into natural computing, J. of Multi-Valuate Logic, 7 (2001), 1--28. (with S. Kobayashi, V. Mitrana, G. Rozenberg) Formal properties of PA-matching, Theoretical Computer Sci., 262, 1-2 (2001), 117--131.

(with M. Ito, C. Martin-Vide) A characterization of Parikh sets of ET0L languages in terms of P systems, in Words, Semigroups, and Transductions (M. Ito, Gh. Paun, S. Yu, eds.), World Scientific, Singapore, 2001, 239--253.

From cells to computers: Computing with membranes (P systems), BioSystems, 59, 3 (2001), 139--158. (with Y. Suzuki, H. Tanaka) P systems with energy accounting, Int. J. Computer Math., 78, 3 (2001), 343--364.

(with V. Manca, C. Martin-Vide) On the power of P systems with replicated rewriting, J. Automata, Languages, Combinatorics, 6, 3 (2001), 359--374.

(with C. Martin-Vide) Computing with membranes (P systems): Universality results, Conf. on Universal Machines and Computations, Chisinau, 2001, LNCS 2055, 82--101.

(with R. Freund) On the number of non-terminals in graph-controlled, programmed, and matrix grammars, Conf. on Universal Machines and Computations, Chisinau, 2001, LNCS 2055, Springer-Verlag, 2001, 214--225

(with M. Margenstern, C. Martin-Vide) Computing with membranes; Variants with an enhanced membrane handling, Proc. 7th Intern. Meeting on DNA Based Computers (N. Jonoska, N.C. Seeman, eds.), Tampa, Florida, USA, 2001, 53--62.

(with S. Marcus, C. Martin-Vide, V. Mitrana) A new--old class of regulated grammars with a linguistical motivation, Computational Linguistics in the Netherlands, 2000, Rodopi, New York, 2001, 111--125.

(with C. Martin-Vide, A. Rodriguez-Paton) P systems with immediate communication, Romanian J. Information Sci. Technology, 4, 1-2 (2001), 171--182.

(with C. Martin-Vide, A. Rodriguez-Paton) On P systems with membrane creation, Computer Science J. of Moldova, 9, 2 (2001), 134--145.

(with G. Rozenberg, T. Yokomori) Hairpin languages, Intern. J. Found. Computer Sci., 12, 6 (2001), 849--857.

(with C. Martin-Vide) Language generating by means of membrane systems, Bulletin of the EATCS, 75 (Oct. 2001), 199--218.

Computing with nano-dominoes: DNA computing by self-assembly, in vol. Micro and Nanostructures (D. Dascalu, Gh. Paun, E. Pincovschi, Vl. Topa, V. Voicu, eds.), Ed. Academiei, Bucuresti, 2001, 215--231.

(with C. Martin-Vide) Elements of formal language thory for membrane computing, Technical Report 21/01, Research Group on Mathematical Linguistics, Rovira i Virgili University, Tarragona, November 2001.

(with A. Paun, A. Rodriguez-Paton) Further remarks on P systems with symport rules, Annals of Univ. Al.I. Cuza, Iasi, Series Mathematics-Informatics, 10 (2001), 3--18.

2002

(with N. Santean, G. Thierrin, S. Yu) On the robustness of primitive words, Discrete Applied Mathematics, 117, 1-3 (2002), 239--252.

(with Y. Sakakibara, T. Yokomori) P Systems on graphs of restricted forms, Publ. Math. Debrecen, 60 (2002), 635--660.

(with C. Martin-Vide) Normal forms for Watson-Crick finite automata, The Linguist's Linguist. A Collection of Papers in Honour of A. Manaster-Ramer (F. Cavoto, ed.), Lincon Europa, Munchen, 2002, 281--296.

(with C. Martin-Vide, G. Rozenberg) Membrane systems with carriers, Theoretical Computer Sci., 270 (2002), 779--796.

(with C. Martin-Vide) From old to new (and back) in theoretical computer science: Language and automata theory versus molecular computing, Gaceta de la Real Sociedat Matematica Espanola, 5, 1 (2002), 15--56.

(with M. Amos, G. Rozenberg, A. Salomaa) Topics in the theory of DNA computing, Theoretical Computer Sci., 287, 1 (2002), 3--38.

(with G. Rozenberg) A guide to membrane computing, Theoretical Computer Sci., 287, 1 (2002), 73--100. (with P. Bottoni, C. Martin-Vide, G. Rozenberg) Membrane systems with promoters/inhibitors, Acta Informatica, 38, 10 (2002), 695--720.

(with P. Bottoni, A. Labella, C. Martin-Vide), Rewriting P systems with conditional communication, in Formal and Natural Computing. Essays Dedicated to Grzegorz Rozenberg (W. Brauer, H. Ehrig, J. Karhumaki, A. Salomaa, eds.), Lecture Notes in Computer Science, 2300, Springer, Berlin, 2002, 325--353.

(with Cl. Ferretti, G. Mauri, Cl. Zandron) Three variants of P systems with string-objects, Theoretical Computer Sci., 2002.

(with C. Martin-Vide, V. Mitrana) On the power of P systems with valuation, Computacion y Sistemas, 5, 2 (2002), 120--127.

(with M. Margenstern, Y. Rogozhin) On the power of (molecular) crowd: Set-conditional string processing, Proc. AFL2002, 10th Intern. Conf. on Automata and Formal Languages, Debrecen, 2002.

(with F. Arroyo, A. Baranda, J. Castellanos) Membrane computing: The power of (rule) creation, J. Universal Computer Sci, 8, 3 (2002), 369--381.

(with C. Martin-Vide, J. Pazos, A. Rodriguez-Paton) A new class of symbolic abstract neural nets: Tissue P systems, Computing and Combinatorics, COCOON 2002, Singapore, LNCS 2387 (O.H. Ibarra, L. Zhang, eds.), Springer-Verlag, 2002, 290--299.

(with A. Paun) The power of communication: P systems with symport/antiport, New Generation Computing, 20, 3 (2002), 295--306.

(with M. Perez-Jimenez, F. Sancho-Caparrini) On the reachability problem for P systems with symport/antiport, 10th Intern. Conf. on Automata and Formal Languages, Debrecen, 2002.

(with C. Martin-Vide, A. Paun) On the power of P systems with symport rules, J. Universal Computer Sci., 8, 2 (2002), 317--331.

(with C. Martin-Vide, A. Paun, G. Rozenberg) Membrane systems with coupled transport: Universality and normal forms, Fundamenta Informaticae, 49, 1-3 (2002), 1--15.

(with A. Paun, G. Rozenberg) Computing by communication in networks of membranes, Intern. J. Found. of Computer Science, 13, 6 (2002), 779--798.

(with M. Ionescu, C. Martin-Vide) P systems with symport/antiport rules: The traces of objects, Grammars, 5 (2002), 65--79.

(with M. Ionescu, C. Martin-Vide, A. Paun) Membrane systems with symport/antiport: (Unexpected) universality results, Proc. Eight Intern. Meeting on DNA Based Computers, Sapporo 2002 (M. Hagiya, A. Ohuchi, eds.), 151--160.

(with C. Martin-Vide, A. Paun) Membrane computing: New results, new problems, Bulletin of the EATCS, 78 (Oct. 2002), 204--212.

2003

(with R. Freund, J. Kelemen) A note on emergence in multi-agent string processing systems, Computers and Informatics, 22 (2003), 623--637.

(with C. Martin-Vide, J. Pazos, A. Rodriguez-Paton) Tissue P systems, Theoretical Computer Sci., 296, 2 (2003), 295--326.

(with E. Csuhaj-Varju, G. Vaszil) PC grammar systems with five components can generate all recursively enumerable languages, Theoretical Computer Sci., 299, 1-3 (2003), 785--794.

(with M. Perez-Jimenez) Recent computing models inspired from Biology: DNA and membrane computing, Theoria, 18, 46 (2003), 71--84.

(with R. Freund, C. Martin-Vide, A. Obtulowicz) On three classes of automata-like P systems, Proc. DLT 2003, Szeged, Hungary, LNCS 2710, Springer, 2003, 292--303.

(with A. Obtulowicz) (In search of) Probabilistic P systems, BioSystems, 70, 2 (2003), 107--121.

(with E. Csuhaj-Varju, C. Martin-Vide, A. Salomaa) From Watson-Crick L systems to Darwinian P systems, Natural Computing, 2, 3 (2003), 299--318.

(with R. Ceterchi, K.G. Subramanian) Array-rewriting P systems, Natural Computing, 2, 3 (2003), 229--249. Membrane computing, in vol. Formal Languages and Applications (C. Martin-Vide, V. Mitrana, Gh. Paun, eds.), Physica-Verlag, 2003.

(with G. Ciobanu, Gh. Stefanescu) Sevilla carpets associated with P systems, Proc. Brainstorming Week on Membrane Computing (M. Cavaliere, C. Martin-Vide, Gh. Paun, eds.), Tarragona Univ., TR 26/03, 2003, 135--140.

Membrane computing, Proc. FCT 2003 (invited lecture), LNCS 2751 (A. Lingas, B.J. Nilsson, eds.), Springer, 2003, 284--295.

Descriptional complexity issues in membrane computing, Proc. DCFS Workshop, Budapest, Hungary, 2003, 66--77.

(with D. Besozzi, G. Mauri, C. Zandron) Gemmating P systems: collapsing hierarchies, Theoretical Computer Sci., 296, 2 (2003), 253--267.

(with M. Ionescu, C. Martin-Vide, A. Paun) Unexpected universality results for three classes of P systems with symport/antiport, Natural Computing, 2, 4 (2003), 337--348.

2004

(with J. Dassow, V. Mitrana, R. Stiebe) On differentiation functions, structure functions, and related languages of context-free grammars, RAIRO. Theoretical Informatics, 38, 3 (2004), 257--267.

(with Y. Suzuki, H. Tanaka, T. Yokomori) On the power of membrane division in P systems, Theoretical Computer Sci., 324, 1 (2004), 61--85.

(with R. Freund, C. Martin-Vide), Computing with membranes: Three more collapsing hierarchies, Theoretical Computer Sci., 312 (2004), 143--188.

(with C. Martin-Vide) P systems with symport/antiport rules; A survey, in Modeling in Molecular Biology (G. Ciobanu, G. Rozenbers, in Aspects of Molecular Computing (N. Jonoska, Gh. Paun, G. Rozenberg, eds.), LNCS 2950, Springer-Verlag, 2004, 322--337.

(with C. Calude) Bio-steps beyond Turing, BioSystems, 77 (2004), 175--194.

Further open problems in membrane computing, Brainstorming Week on Membrane Computing, Sevilla, February 2004, TR 01/04 of Research Group on Natural Computing, Sevilla University, 2004 (Brainstorming Week on Membrane Computing 2004), 354--365

Membrane computing: Main ideas, basic results, applications, Molecular Computational Models: Unconventional Approaches (M. Gheorghe, ed.), Idea Group Publ., London, 2004, 1--31.

(with A. Alhazov, R. Freund) P systems with active membranes and two polarizations, Brainstorming Week on Membrane Computing 2004, 20--36.

(with M. Perez-Jimenez, A. Riscos-Nunez) P systems with tables of rules, J. Karhumaki, H. Maurer, Gh. Paun, G. Rozenberg, eds., Theory is Forever. Essays Dedicated to Arto Salomaa, on the Occasion of His 70th Birthday, LNCS 3113, Springer-Verlag, Berlin, 2004, 235--249.

Learning new computing models from biology: Membrane computing, Proc. ICCC, Oradea, Ed. Univ. Oradea, 2004, 15--30.

(with M. Perez-Jimenez, A. Riscos-Nunez) Tissue P systems with cell division, Brainstorming Week on Membrane Computing 2004, 380--386.

Membrane computing (after the second Brainstorming Week, Sevilla, February 2004), Bulletin of the EATCS, 83 (June 2004), 159--170.

Membrane computing. Some recent results and current research topics, in Recent Results in Natural Computing (M. Perez-Jimenez, A. Romero-Jimenez, F. Sancho-Caparrini, eds.), Fenix Editora, Sevilla, 2004, 135--166. (with L. Colson, N. Jonoska, M. Margenstern), About P systems and lambda-calculus, Pre-proc. Fifth Workshop on Membrane Computing, Milano, 2004, 44--62.

Grammar systems vs. membrane computing: A preliminary approach, Workshop on Grammar Systems, MTA SZTAKI, Budapest, 2004, 225--245.

(with J. Kelemen, A. Kelemenova) Preview of P colonies -- a biochemically inspired computing model, Workshop on Artificial Chemistry, ALIFE9, Boston, USA, 2004, Workshops and Tutorial Proc. (M. Bedan et al, eds.), 82--86.

(with C. Calude) Computing with cells and atoms. After five years, CDMTCS Technical Report 246, Auckland Univ., 2004.

(with A. Di Nola, M.J. Perez-Jimenez, F. Rossello) (Imprecise topics about) Handling imprecision in P systems, Proc. Brainstorming Workshop on Uncertainty in Membrane Computing, Palma de Mallorca, Nov. 2004, 1--10.

(with M. Gheorghe, N. Krasnogor, G. Rozenberg) Membrane computing model for tiles self-assembly, First Intern. Symp. on Cellular Computing, Warwick, December 2004.

2005

(with M. Margenstern, Y. Rogozhin, S. Verlan) Context-free insertion-deletion systems, Theoretical Computer Sci., 330, 2 (2005), 339--348.

(with A. Alhazov, L. Pan), Trading polarizations for labels in P systems with active membranes, Acta Informatica, 41, 2-3 (2005), 111--144.

(with R. Freund, M. Perez-Jimenez) Tissue-like P systems with channel-states, Theoretical Computer Sci., 330, 1 (2005), 101--116.

Membrane computing: Power and efficiency (A quick overview), Proc DNA10, Milano, 2004 (C. Ferretti, G. Mauri, C. Zandron, eds.), LNCS 3384, Springer, 2005, 268--280.

(with E. Csuhaj-Varju, A. Di Nola, M.J. Perez-Jimenez, G. Vaszil) Editing configurations of P systems, Proc. Third Brainstorming Week on Membrane Computing, Sevilla, 2005, RGNC Report 01/2005, 131--155.

(with S.N. Krishna) P systems with mobile membranes, Natural Computing, 4, 3 (2005), 255--274.

Bio-inspired computing paradigms (natural computing), Pre-Proc. Unconventional Programming Paradigms, UPP04, Le Mont Saint-Michel, September 2004, LNCS 3566, Springer, Berlin, 2005, 155--160.

Membrane computing. An introduction, Pre-Proc. Unconventional Programming Paradigms, UPP04, Le Mont Saint-Michel, September 2004, LNCS 3566, Springer, Berlin, 2005, 188--195.

(with J. Pazos, M.J. Perez-Jimenez, A. Rodriguez-Paton) Symport/antiport P systems with three objects are universal, Fundamenta Informaticae, 64, 1--4 (2005), 353--367.

(with R. Freund, O.H. Ibarra, H.-C. Yen) Matrix languages, register machines, vector addition systems. Proc. Third Brainstorming Week on Membrane Computing, Sevilla, 2005, RGNC Report 01/2005, 155--168.

Further twenty six open problems in membrane computing, Proc. Third Brainstorming Week on Membrane Computing, Sevilla, 2005, RGNC Report 01/2005, 249--262.

(with M. Cavaliere, R. Freund, A. Leitsch) Event-related outputs of computations in P systems, Proc. Third Brainstorming Week on Membrane Computing, Sevilla, 2005, RGNC Report 01/2005, 107--122.

Membrane computing: power, efficiency, applications, New Computational Paradigms. First Conf. on Computability in Europe, CiE2005, Amsterdam (S. Barry Cooper, B. Lowe, L. Torenvliet, eds.), LNCS 3536, Springer, 2005, 396--407.

From cells to (silicon) computers, and back, Interdisciplinary Aspects of Human-Machine Co-existence and Co-operation. Czech-Argentine Biennale Workshop ``e-Golems", Czech Technical University in Praga, July 2005, 68--81.

(with A. Alhazov, R. Freund) Computational completeness of P systems with active membranes and two polarizations, Machines, Computations, and Universality. 4th Intern. Conf. Sankt Petersburg, Russia, 2004, LNCS 3354 (M. Margenstern, ed.), Springer, 2005, 82--92.

Membrane computing: Basic ideas, results, and applications, TAPS, Timisoara, 2005, 1--8.

(with R. Paun) Membrane computing as a framework for modeling economic processes, Proc. SYNASC 05, IEEE Press, 2005, 11--18.

2006 (with G. Ciobanu, Gh. Stefanescu) P transducers, New Generation Computing, 24, 1 (2006), 1--28.

(with E. Csuhaj-Varju, J. Kelemen, A. Kelemenova, G. Vaszil) Cells in environment: P colonies, 2004. Journal of Multiple-valued Logic and Soft Computing, 12, 3-4 (2006), 201--215

(with F. Bernardini, M. Gheorghe, N. Krasnogor) Turing machines with cells on the tape, Nanotechnology: Science and Computation (J. Chen, N. Jonoska, G. Rozenberg, eds.), Springer, Berlin, 2006, 335--348.

(with G. Ciobanu, M.J. Perez-Jimenez) On the branching complexity of P systems, Fundamenta Informaticae, 73, 1-2 (2006), 27--36.

(with L. Cardelli) An universality result for a (mem)brane calculus based on mate/drip operations, Intern. J. Found. Computer Sci., 17, 1 (2006), 49--68.

One more universality result for P systems with objects on membranes, Intern. J. of Computers, Communication and Control, 1, 1 (2006), 44--51.

(with M.J. Perez-Jimenez) Membrane computing: Brief introduction, recent results and applications, BioSystems, 85, 1 (2006), 11--22.

(with R. Paun) Membrane computing and economics: Numerical P systems, Fundamenta Informaticae, 73, 1-2 (2006), 213--227.

(with O.H. Ibarra) Characterizations of context-sensitive languages and other language classes in terms of symport/antiport P systems, Theoretical Computer Sci., 358, 1 (2006), 88--103.

(with M. Gheorghe) Computing by self-assembly: DNA molecules, polyominoes, cells, Systems Self-Assembly: Multidisciplinary Snapshots (N. Krasnogor, S. Gustafson, D. Pelta, J. Verdegay, eds.), Elsevier, 2006.

(with M. Ionescu, T. Yokomori) Spiking neural P systems, Fundamenta Informaticae, 71, 2-3 (2006), 279--308.

(with M.J. Perez-Jimenez, G. Rozenberg) Spike trains in spiking neural P systems, Intern. J. Found. Computer Sci., 17, 4 (2006), 975--1002.

(with O.H. Ibarra, A. Paun, A. Rodriguez-Paton, P. Sosik, S. Woodworth) Normal forms for spiking neural P systems, Brainstorming Week on Membrane Computing 2006.

2006 Research topics in membrane computing, Proc. Fourth Brainstorming Week on Membrane Computing, Sevilla, 2006, RGNC Report 02/2006, 235-252

(with H. Chen, R. Freund, M. Ionescu, M.J. Perez-Jimenez) On string languages generated by spiking neural P systems, Brainstorming Week on Membrane Computing 2006.

(with R. Paun) A membrane computing approach to economic modeling: The producer-retailer interactions and investments, Analiza si Prospectiva Economica, Part I: 3, 1 (2006), 30--37, Part II: 4, 2 (2006), 47--54

(with A. Paun) Small universal spiking neural P systems, Brainstorming Week on Membrane Computing 2006 and BioSystems, 2006.

(with H. Chen, M. Ionescu, A. Paun, B. Popa), On trace languages generated by spiking neural P systems, Eighth International Workshop on Descriptional Complexity of Formal Systems (DCFS 2006), June 21-23, 2006, Las Cruces, New Mexico, USA, 94--105

(with M. Ionescu, A. Paun, M.J. Perez-Jimenez) Computing with spiking neural P systems: Traces and small universal systems, Proc. DNA12 (C. Mao, Y. Yokomori, B.-T. Zhang, eds.), Seul, June 2006, 32--42.

(with D. Besozzi, D. Busi, G. Franco, R. Freund) Two universality results for (mem)brane systems, Proc. Fourth Brainstorming Week on Membrane Computing, Sevilla, 2006, RGNC Report 02/2006, 49--62

(with H. Chen, T.-O. Ishdorj, M.J. Perez-Jimenez) Spiking neural P systems with extended rules, Proc. Fourth Brainstorming Week on Membrane Computing, Sevilla, 2006, RGNC Report 02/2006, 241--266

Languages in membrane computing. Some details for spiking neural P systems, Proc. 10th DLT Conf. (invited talk), Santa Barbara, USA, 2006, LNCS 4036, Springer, Berlin, 2006, 20--35.

(with H. Chen, T.-O. Ishdorj) Computing along the axon, Brainstorming Week on Membrane Computing 2006 si Pre-proceedings BIC-TA, Wuhan, 2006, 60-70.

(with R. Paun) Membrane computing models for economics. An invitation-survey, Studii si Cercetari de Calcul Economic si Cibernetica Economica, 40, 1-2 (2006), 5-19

Membrane computing and brane calculi (some personal notes), Proc. MeCBIC 2006 (N. Busi, C. Zandron, eds.), Venetia, 2006, 1--9.

(with G. Ciobanu, L. Pan, M.J. Perez-Jimenez) P systems with minimal parallelism, Theoretical Computer Sci., 2006.

(with M.J. Perez-Jimenez, A. Salomaa) Bounding the indegree of spiking neural P systems, TUCS Technical Report 773, 2006

(with H. Chen, T.-O. Ishdorj, M.J. Perez-Jimenez) Handling languages with spiking neural P systems with extended rules, Romanian J. Information Sci. and Technology, 9, 3 (2006), 151--162

2007

(with E. Csuhaj-Varju, G. Vaszil) Grammar systems vs. membrane computing: The case of CD grammar systems, Fundamenta Informaticae, 76, 3 (2007), 271--292

(with E. Csuhaj-Varju, G. Vaszil) Tissue-like P systems communicating by request, Ramanujan Math. Soc. Lecture Notes Series, 3 (2007), 143--154

(with G. Ciobanu, L. Pan, M.J. Perez-Jimenez) P systems with minimal parallelism, Theoretical Computer Sci., 378, 1 (2007), 117--130

(with O.H. Ibarra, A. Paun, A. Rodriguez-Paton, P. Sosik, S. Woodworth) Normal forms for spiking neural P systems, Theoretical Computer Sci., 372, 2-3 (2007), 196--217

(with H. Chen, R. Freund, M. Ionescu, M.J. Perez-Jimenez) On string languages generated by spiking neural P systems, Fundamenta Informaticae, 75, 1-4 (2007), 141--162

(with A. Paun) Small universal spiking neural P systems, BioSystems, 90, 1 (2007), 48--60

(with M. Ionescu, A. Paun, M.J. Perez-Jimenez) Computing with spiking neural P systems: Traces and small universal systems, DNA Computing. 12th Intern. Meeting on DNA Computing, DNA12, Seoul, Korea, June 2006, Revised Selected Papers (C. Mao, T. Yokomori, eds.), LNCS 4287, Springer, 2007, 1--16

(with H. Chen, T.-O. Ishdorj) Computing along the axon, BWMC 2006 and Pre-proceedings BIC-TA, Wuhan, 2006, 60-70, Progress in Natural Science, 17, 4 (2007), 418--423

(with M.J. Perez-Jimenez, A. Salomaa) Spiking neural P systems. An early survey, Intern. J. Found. Computer Sci., 18 (2007), 435--456

Membrane computing and brane calculi (some personal notes), Proc. MeCBIC 2006 (N. Busi, C. Zandron, eds.), Vene\c tia, 2006, 1--9, and Electr. Notes Theor. Comput. Sci., 171, 2 (2007), 3--10

(with M. Ionescu, T. Yokomori) Spiking neural P systems with an exhaustive use of rules, Intern. J. Unconventional Computing, 3, 2 (2007), 135--154

(with R. Freund, M.J. Perez-Jimenez) Polarizationless P systems with active membranes working in the minimally parallel mode, Proc. Unconventional Computation 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007. Lecture Notes in Computer Science, 4618 (2007), 62--76

A quick overview of membrane computing with some details about spiking neural P systems, Frontiers of Computer Science in China, 1,1 (2007), 37--49

Spiking neural P systems. A tutorial, Bulletin of the EATCS, 91 (Febr. 2007), 145--159

(with M.J. Perez-Jimenez, G. Rozenberg) Computing morphisms by spiking neural P systems, Intern. J. Found. Computer Sci., 18, 6 (2007), 1371--1382

Spiking neural P systems. Power and efficiency, Bio-Inspired Modeling of Cognitive Tasks, Proc. IWINAC 2007 (J. Mira, J.R. Alvarez, eds.), Mar Menor, 2007, LNCS 4527, 153--169

Membrane computing as a framework for bio-modeling (an informal glimpse), Proc. Algebraic Biology 2007 (H. Anai, K. Horimoto, T. Kutsia, eds.), Castle Hagenburg, Austria, July 2007, LNCS 4545, Springer-Verlag, 2007, 23--35

(with M.J. Perez-Jimenez, T. Yokomori) Representations and characterizations of languages in Chomsky hierarchy by means of insertion-deletion systems, Proc. 9th Workshop on DCFS (V. Geffert, G. Pichizzini, eds.), High Tatras, 2007, 129--140

(with M. Cavaliere, E. Egecioglu, O.H. Ibarra, M. Ionescu, S. Woodworth) Asynchronous spiking neural P systems; decidability and undecidability, Proc. DNA13, LNCS 4848, Springer, 2007

(with V. Mitrana) DNA and membrane computing. A glimpse to Romanian contributions, Grigore C. Moisil and His Followers (A. Iorgulescu, S. Marcus, S. Rudeanu, D. Vaida, eds.), The Publ. House of the Romanian Academy, Bucharest, 2007, 193--200

(with V. Mitrana) Automata and formal language theory. More than 40 years of Romanian contribution, Grigore C. Moisil and His Followers (A. Iorgulescu, S. Marcus, S. Rudeanu, D. Vaida, eds.), The Publ. House of the Romanian Academy, Bucharest, 2007, 186--192

Spiking neural P systems used as acceptors and transducers, CIAA 2007, 12th Conf., Prague, July 2007, LNCS 4783 (J. Holub, J. Zdarek, eds.), Springer, Berlin, 2007, 1--4

Spiking neural P systems with astrocyte-like control, JUCS, 13, 11 (2007), 1707--1721

Tracing some open problems in membrane computing, ROMJIST, 10, 4 (2007), 303--314

2008

Gh. Paun, M. Perez-Jimenez, A. Riscos-Nunez: Tissue P systems with cell division, Intern. J. Computers, Communication and Control, 3, 3 (2008), 295--303.

E. Csuhaj-Varju, A. Di Nola, Gh. Paun, M.J. Perez-Jimenez, G. Vaszil: Editing configurations of P systems, Fundamenta Informaticae, 82, 1-2 (2008), 29--46.

Gh. Paun: From cells to (silicon) computers, and back, in vol. New Computational Paradigms. Changing Conceptions of what is Computable (B.S. Cooper, B. Lowe, A. Sorbi, eds.), Springer, New York, 2008, 343--371.

M. Gheorghe, Gh. Paun: Computing by self-assembly: DNA molecules, polyominoes, cells, in vol. Systems Self-Assembly: Multidisciplinary Snapshots (N. Krasnogor, S. Gustafson, D. Pelta, J. Verdegay, eds.), Elsevier, 2008, 49--78.

Gh. Paun: Membrane computing and brane calculi. Old, new, and future bridges, Theoretical Computer Sci., 404, 1-2 (2008), 19--25.

Gh. Paun, M.J. Perez-Jimenez, T. Yokomori: Representations and characterizations of languages in Chomsky hierarchy by means of insertion-deletion systems, Intern. J. Found. Computer Sci., 19 (2008), 859--871.

Gh. Paun: M.J. Perez-Jimenez: Spiking neural P systems. An overview, in vol. Advancing Artificial Intelligence through Biological Process Applications (Ana B. Porto, A. Pazos, W. Buno, eds.), Medical Information Science Reference, Hershey, New York, 2008, 60--73.

Gh. Paun, F.J. Romero-Campero: Membrane computing as a modeling framework. Cellular systems case studies, Lecture Notes in Computer Science 5012 (M. Bernardo, P. Degano, G. Zavattaro, eds.), Springer, 2008, 168--214.

P. Frisco, Gh. Paun: No cycles in compartments. Starting from conformon-P systems, Proc. Sixth. Brainstorming Week on Membrane Computing (D. Diaz-Pernil et al., eds.), Fenix Editora, Sevilla, 2008, 157--170.

Gh. Paun: Natural computing. Between necessity and fashion (extended abstract), Intern. J. Computers, Communication and Control, 3 (2008), 119--120.

E. Csuhaj-Varju, Gh. Paun, G. Vaszil: Tissue-like P systems with dynamically emerging requests, Intern. J. Found. Computer Sci., 19, 3 (2008), 729--745.

Gh. Paun: Membrane computing -- A framework for devising feasible solutions to computationally hard problems, Advanced Bio-Inspired Computational Methods (C. Enachescu, B. Iantovics, F. Filip, eds.), Ed. Univ. Petru Maior Tg. Mures, 2008, 9--23.

Gh. Paun: An introduction to MC, after 10 years, by means of a (partial) glossary, Proc. Second MeCBIC Workshop, Iasi, 2008 (G. Ciobanu, ed.), 1--9.

R. Gershoni, E. Keinan, Gh. Paun, R. Piran, T. Ratner, S. Shoshani: Research topics arising from the (planned) P systems implementation experiment in Technion, Proc. Sixth. Brainstorming Week on Membrane Computing (D. Diaz-Pernil et al., eds.), Fenix Editora, Sevilla, 2008, 183--192.

2009

Gh. Paun: Membrane computing: History and brief introduction, in vol. Fundamental Concepts in Computer Science (E. Gelembe, J.-P. Kahane, eds.), Imperial College Press, London, 2009, 17--41.

M. Cavaliere, E. Egecioglu, O.H. Ibarra, M. Ionescu, Gh. Paun, S. Woodworth: Asynchronous spiking neural P systems, Theoretical Computer Science, 410, 24-25 (2009), 2352--2364.

Gh. Paun, M.J. Perez-Jimenez: Spiking neural P systems. Recent results, research topics, in vol. Algorithmic Bioprocesses (A. Condon et al. eds.), Springer, Berlin, 2009, 273--291.

G. Ciobanu, S. Marcus, Gh. Paun: New strategies of using the rules of a P system in a maximal way. Power and complexity, Romjist, 12 (2009), 21--37.

L. Pan, Gh. Paun: New normal forms for spiking neural P systems, New normal forms for spiking neural P systems, Proceedings of the Seventh Brainstorming Week on Membrane Computing, Sevilla, February 2009, Fenix Editora, Sevilla, 2009, 127--138.

L. Pan, Gh. Paun: Spiking neural P systems with anti-spikes, Proceedings of the Seventh Brainstorming Week on Membrane Computing, Sevilla, February 2009, Fenix Editora, Sevilla, 2009, 139--150, and Intern. J. Computers, Comm. Control, 4, 3 (2009), 273--282.

L. Pan, Gh. Paun, M.J. Perez-Jimenez: Spiking neural P systems with neuron division and budding, Proceedings of the Seventh Brainstorming Week on Membrane Computing, Sevilla, February 2009, Fenix Editora, Sevilla, 2009, 151--167.

Gh. Paun: Some open problems collected during 7th BWMC, Proceedings of the Seventh Brainstorming Week on Membrane Computing, Sevilla, February 2009, Fenix Editora, Sevilla, 2009, 197--205.

Gh. Paun: Gh. Paun, A bibliography of spiking neural P systems, Proceedings of the Seventh Brainstorming Week on Membrane Computing, Sevilla, February 2009, Fenix Editora, Sevilla, 2009, 207--212.

J. Wang, H.J. Hoogeboom, L. Pan, Gh. Paun: Spiking neural P systems with weights and thresholds, Proc. WMC10, Curtea de Arges, Romania, August 2009, 514--533.