• Structura
• Colaboratori
• Publicaţii
• Proiecte
• Doctorat
• Conferinţe
• Noutăţi
• Ştiri Europene

Direcţii de cercetare

• Bazele teoretice ale informaticii (modele formale de calcul, gramatici şi limbaje formale, algebră computaţională);
• Procesarea limbajului natural;
• Modelare şi sisteme de simulare;
• Tehnologia elaborării produselor program (metode, medii avansate de dezvoltare a sistemelor de programare, metodologii şi tehnologii integrate pentru elaborarea produselor program, sisteme de prelucrare a datelor nestructurate).

Proiecte în derulare

• Proiectul instituţional „Sisteme informatice: teorie şi aplicaţii” (2006-2010), direcţia strategică “Valorificarea resurselor umane, naturale şi informaţionale pentru dezvoltarea durabilă a economiei ţării”, conducător dr. C. Ciubotaru, sursa de finanţare: CSŞDT RM.
• Proiectul internaţional STCU 4032 „Power and efficiency of natural computing: neural-like P (membrane) systems”, (2007-2010), conducător dr. hab. Iu. Rogojin.
• Proiectul internaţional STCU 4035 „Sistem informatic pentru diagnosticul ultrasonografic”, (2007-2010), conducător dr. hab, membru corespondent C. Gaindric.

Arhiva proiectelor

Proiecte internaţionale

• "Algebra computaţională necomutativă" în colaborare cu Institutul de Matematică al Universităţii Stockholm, Grant al Academiei Regale Suedeze, cond. S.Cojocaru, 1994-2007.
• INTAS № 97-1259 “Frontier and limitations in the Computer Science: formal models of Computers and computations”, (cond. Iu.Rogojin), 1998- 2001.
• NATO PST.CLG.976912 “Basic of Molecular Computing”, cond. Iu.Rogojin, 2000 – 2002.
• IST-2001-32008, 2001-2004 „MolCoNet – A Thematic Network on Molecular Computing“ European Commission Research Directorates, cond. Iu.Rogojin, 2001-2004.
• PNUD MOL/03/004 „Elaborarea strategiei naţionale de dezvoltare a societăţii informaţionale în Republica Moldova”, cond. C.Gaindric, 2004.
• CRDF-MRDA „Biocomputing – new computational possibilities“, cond. Iu.Rogojin, 2003 – 2005.
• CRDF-MRDA “Reusable resources for natural language technology”, cond. C.Ciubotaru, 2003-2005.
• CRDF-MRDA “Mathematical modeling of the process of solid waste biogaz generation for solid waste behavior forecasting, monitoring and management”, cond. B. Rîbachin, 2003-2005,
• INTAS № 05-104-7633 “RoLTech. Platformă pentru tehnologia limbii române: resurse, instrumente, interfeţe”, cond. C. Ciubotaru, 2006-2008,
• INTAS № 05-104-7553 „Instrumentar de generare a interfeţelor pentru sisteme de calcul calcul”, cond. S. Cojocaru), 2006-2008.
• 09.820.08.02 GA „Standardizarea imaginilor prin abordare de tip “Data Warehouse” pentru asistarea de calculator a examinării sonografice a zonei abdominale”, proiect în cadrul Programului comun de cercetare între Academia de Ştiinţe a Moldovei şi Ministerul Federal al Educaţiei şi Cercetării (BMBF) al Germaniei, 2009, conducător L. Burţeva.

Proiecte naţionale

• 3A “Instrumentar multimedia pentru facilitarea promovării artei moldoveneşti (arta muzicală)”, proiect în cadrul programului de stat “Elaborarea suportului ştiinţific şi tehnologic în edificarea societăţii informaţionale în Republica Moldova” (2008-2009), conducător S. Cojocaru.
• 1A “Sistem informaţional pentru managementul ştiinţific al instituţiei de cercetare”, proiect în cadrul programului de stat “Elaborarea suportului ştiinţific şi tehnologic în edificarea societăţii informaţionale în Republica Moldova” (2008-2009), conducător G. Magariu.

Rezultate importante

Bazele teoretice ale informaticii

Modele formale de calcul

• S-au obţinut rezultate importante privind universalitatea modelor formale de calcul (Maşini Turing, maşini Post, TVDH, P-sisteme). Rezultatele obţinute au fost publicate în ediţii prestigioase şi au fost înalt apreciate la diverse foruri internaţionale.
• S-a elaborat un sistem de calcul simbolic necomutativ, care efectuează calculul bazei Gröebner, al rezolutiei Anick, al seriilor Hilbert, prezice comportamentul mulţimii infinite de obstrucţii in baza unei părţi finite ale ei.

Tehnologia elaborarii produselor program

• În cadrul grantului „Elaborarea si implementarea sistemului de gestionare a proiectelor tehnico-ştiinţifice în Republica Moldova” finanţat de Consiliul Suprem pentru Cercetare şi Dezvoltare Tehnologică (2000-2001) a fost proiectată şi implementată baza de date „Ştiinţa Moldovei”;
• Au fost efectuate studii „Servicii electronice în sectorul administraţiei publice (e-government); Inviolabilitatea informaţiei personale şi dreptul la informaţie”; „Conectivitatea şi accesul public la tehnologiile Societăţii Informaţionale la nivel de comunitate”. În cadrul lor au fost înaintate propuneri pentru a fi incluse în Strategia edificării Societăţii Informaţionale în Moldova. Lucrările au fost susţinute de PNUD Moldova, grantul PNUD MOL/03/004 „Elaborarea strategiei naţionale de dezvoltare a societăţii informaţionale în Republica Moldova”, 2004. Aceste studii au fost utilizate la elaborarea „Strategiei Naţionale de edificare a societăţii informaţionale „Moldova electronică”, publicată în Monitorul Oficial nr. 46-50 din 25 martie 2005, p. 42-88.
• În cadrul proiectului INTAS Nr 05-104-7553 “Instrumentar de generare a interfeţelor pentru sistemele de calcul simbolic”, 2006-2008, au fost elaborate metode de intelectualizare a interfeţelor pentru sistemele de calcul simbolic.
• În cadrul proiectului 08.815.08.03A “Instrumentar multimedia pentru facilitarea promovării artei moldoveneşti (arta muzicală)”, a fost elaborat un instrumentar pentru crearea portalurilor, destinate promovării artei autohtone. Instrumentarul este bazat pe utilizarea surselor deschise gratuite, este destinat specialiştilor în arte şi conţine module pentru prelucrarea (în scop de plasare imediată pe web) a textelor, imaginilor, imprimărilor audio şi video.
• În cadrul proiectului 08.815.08.01A “Sistem informaţional pentru managementul ştiinţific al instituţiei de cercetare” a fost elaborat prototipul unui sistem informaţional-analitic pentru instituţii de cercetare. Sistemul asigură (i) accesibilitatea online la informaţia actuală despre activitatea ştiinţifică a instituţiei, (ii) vizualizarea în mod operativ a datelor în format solicitat, (iii) analiza stării curente a instituţiei în baza unui sistem de indicatori calculaţi conform informaţiei stocate.

Procesarea limbajului natural

• A fost elaborată o bază de date cu resurse lingvistice reutilizabile ale limbii române. Concomitent cu dicţionarul electronic în volum de circa 1 000000 de cuvinte, resursele inserează informaţie morfologică, sintactică, sinonime şi traduceri română-engleză, romană-rusă;
• În colaborare cu grupul editorial LITERA s-a editat în România discul compact cu corectorul ortografic RomSP modernizat.
• În cadrul proiectului INTAS Nr 05-104-7633 “RoLTech. Platform for Romanian language technology: resources, tools and interfaces” (cond. Dr. C.Ciubotaru, 2006-2008), s-a elaborat o tehnologie de creare a cursurilor de instruire asistată de calculator pentru morfologia limbii române.

Rezultate importante în cadrul proiectelor în derulare

• Proiectul instituţional „Sisteme informatice: teorie şi aplicaţii” (2006-2010), direcţia strategică “Valorificarea resurselor umane, naturale şi informaţionale pentru dezvoltarea durabilă a economiei ţării”.
  • S-a demonstrat că orice limbaj recursiv enumerabil poate fi generat de o reţea de procesoare evolutive în care se admit două tipuri de noduri cu o operaţie de deleţie şi una de inserţie. Reţelele cu un număr arbitrar de noduri cu deleţie şi inserţie generează doar limbaje finite, iar reţelele cu un numar arbitrar de noduri cu inserţie şi substituţie generează doar limbaje senzitive de context.
  • Pentru fundamentarea construirii calculatoarelor biomoleculare s-au propus modele noi care se bazează pe recombinaţii contextuale sau pe perechi de consecutivităţi nedeterministe. S-a demonstrat că unele variante ale modelelor sunt Turing universale, iar altele pot fi utilizate pentru a soluţiona eficient probleme de cea mai înalta complexitate. S-au propus criterii noi, bazate pe teoria grafurilor, pentru evaluarea algoritmică a noţiunii de complexitate paralelă a procesului de asamblare a genelor.
  • Au fost formulate principiile de evidenţiere a cunoştinţelor caracteristice situaţiilor de urgenţă şi stărilor critice în baza de cunoştinţe existentă. A fost modificată matricea decizională ce reprezintă baza de cunoştinţe a domeniului examinării ultrasonografice cu scopul utilizării acesteia in cadrul unui sistem pentru suportul deciziilor destinat situaţiilor de urgenţă şi stărilor critice. Au fost elaboraţi algoritmi efectivi pentru modulul de inferenţă logică şi căutare rapidă a informaţiei în baza matricei decizionale modificate.
• În cadrul proiectului internaţional STCU 4032, „Power and efficiency of natural computing: neural-like P (membrane) systems”
  • S-a construit o reţea universală RHPE completă cu 7 noduri care modelează maşinile Post circulare şi s-a demonstrat că această reţea poate genera orice limbaj recursiv enumerabil. Astfel a fost soluţionată problema despre posibilitatea generării limbajelor recursiv enumerabile peste un vocabular V cu o RHPE completă de dimensiune mai mică decât 27 +3•card(V) , formulată de E.Csuhaj-Varjú, C.Martín-Vide şi V.Mitrana (2005).
  • S-a demonstrat, că familia RHPE cu 2 noduri nu este computaţional completă.
  • S-a propus un model nou de procesare a arborilor prefixaţi folosind sisteme formale de calcul cu şiruri şi membrane active. S-a demonstrat posibilitatea aplicării acestui model la soluţionarea efectivă a problemelor ce ţin de lingvistica computaţională: crearea, completarea şi gestionarea resurselor lingvistice.
• În cadrul proiectului internaţional STCU 4035 “Sistem informatic pentru diagnosticul ultrasonografic”
  • A fost elaborat prototipul sistemului informatic de diagnosticare, destinat suportului examinării ultasonografice pas cu pas pentru un organ – colecistul. În cadrul sistemului au fost elaborate şi completate baza de cunoştinţe, baza unificată (colecţii de imagini, adnotări etc.), interfaţa cu utilizatorul, o variantă a generatorului de rapoarte.

Implementări

• RomSP – Corector ortografic pentru limba Română, CD editat de editura Litera International, Bucureşti. Baza lingvistica – circa 1 000 000 de cuvinte.
• La comanda Consiliului Suprem pentru Cercetare şi Dezvoltare Tehnologica (2000-2001) a fost proiectata si implementata prima versiune a bazei de date „Ştiinţa Moldovei”. Ulterior această bază a fost preluată şi modificată în cadrul unui proiect MRDA, adresa electronică: http://science.mrda.md/
• Cu suportul fundaţiei CRDF-MRDA, grantul “Reusable resources for natural language technology”, 2003-2005, a fost elaborată o bază de date cu resurse lingvistice reutilizabile ale limbii române. De rând cu dicţionarul electronic în volum de circa 1 000 000 de cuvinte, resursele inserează informaţie morfologică, sintactică, sinonime şi traduceri română-engleză, română-rusă.

Lucrări de referinţă

Monografii şi capitole în monografii editate peste hotare

1. L.Malahova, A.Colesnicov, G.Holban, N.Curteanu. LATEX prin exemple. Iași, Ed. Moldova, 1995.
2. S. Cojocaru, A. Podoplelov, V. Ufnarovski. Non-Commutative Groebner Bases and Anick's resolution. In: Progress in Mathematics, vol.173, Chapter 7, Birkhäuser Verlag, 1999, p.139-159.
3. M. Margenstern, Yu. Rogozhin. Time-varying distributed H systems of degree 1 generate all recursively enumerable languages. In: „Words, Semigroups, and Transductions. Festschrift in Honor of Gabriel Thierrin” (M. Ito, Gh. Păun, Sh. Yu, Eds.), World Scientific, 2001, 329-340.
4. M. Margenstern, Yu. Rogozhin. Time-varying distributed H systems of degree 2 generate all recursively enumerable languages. In: “Where Mathematics, Computer Science, Linguistics and Biology Meet”, Chapter 35, Kluwer Academic publishers, 2001, pp. 399-407.
5. J. Backelin, S. Cojocaru, V. Ufnarovski. BERGMAN. In: “Computer Algebra Handbook”. J.Grabmeier, E.Kaltofen, V.Weispfenning (Eds.). Springer, 2003, pp. 349-352.
6. A. Alhazov, C. Martín-Vide, L. Pan. Solving Graph Problems by P Systems with Restricted Elementary Active Membranes. In: N. Jonoska, Gh. Păun, G. Rozenberg: Aspects of Molecular Computing - Essays dedicated to Tom Head on the occasion of his 70th birthday, Lecture Notes in Computer Science, vol. 2950, Festschrift, Springer, 2004, pp. 1-22.
7. A. Alhazov, D. Sburlan. Static Sorting P Systems. In: G. Ciobanu, Gh. Păun, M.J. Pérez-Jiménez: “Applications of Membrane Computing, Natural Computing Series”, Springer-Verlag, Berlin, 2005, pp. 215-252.
8. J. Backelin, S. Cojocaru, V Ufnarovski. Mathematical computations using Bergman. Lund University, Sweden, 2005, ISBN 91-631-7203-8, 206 p.
9. L.Burţeva, S.Cojocaru, C.Gaindric, G.Magariu, T.Verlan. Digital divide: A glance at the problem in Moldova, în monografia Information technologies communication and human development:Opportunities and challenges, Idea group Inc.2006 , Hershey, London, Melbourne, Singapore, pp. 77-115 (Reeditat în Information Communication Technologies: Concepts, Methodologies, Tools and Applications, IGI global, (6 Volumes). Edited by Craig Van Slyke, University of Central Florida, IGI Global, Hershey, New York, USA, 2008, Volume IV, Chapter 5.21, pp.2531- 2565).
10. L.Burţeva, S.Cojocaru, C.Gaindric, G.Magariu, T.Verlan. Digital divide: Introduction to the problem, în monografia Information technologies communication and human development:Opportunities and challenges, Idea group Inc.2006 , Hershey, London, Melbourne, Singapore, pp.57-76. (Reeditat în: 1.Information Communication Technologies: Concepts, Methodologies, Tools and Applications, (6 Volumes). Edited by Craig Van Slyke, University of Central Florida, IGI Global, Hershey, New York, USA, 2008 ,Volume I, Chapter 1.6, pp.74-90.2. Selected Readings on Global Information technology. Contemporary Applications, Section I, Fundamental Concepts and Theories, Chapter II, Edited by Rahman, Hakikur, ISBN: 9781605661162, pp. 21-36).
11. S. Cojocaru. Interfeţe inteligente. Subcapitolul 4.4.4.3 în monografia F.G. Filip „Sisteme suport pentru decizii”, Editura tehnică, Bucureşti, 2007, pp. 213-215.

Monografii editate în ţară

1. М.В. Евстюнин, С.К. Кожокарь, А.Н. Терехов, В.А. Уфнаровский. Как Паскаль и Оберон попадают на Самсон или искусство построения трансляторов. Кишинев, Штиинца, 1991, 304 c.
2. S. Cojocaru, C. Gaindric. Considerente asupra edificării societăţii informaţionale în Moldova, Chişinău, Institutul de Matematică şi Informatică, 2003, 95 p.
3. L.Burţeva, S.Cojocaru, C.Gaindric, G.Magariu, T.Verlan. Servicii electronice în sectorul administraţiei publice (e-government); Inviolabilitatea informaţiei personale şi dreptul la informaţie. Chişinău, Institutul de Matematică şi Informatică, 2004, 72 p.

Participări la editarea culegerilor

1. Machines, Computations and Universality. M. Margenstern, Yu. Rogozhin (Editors). Lecture Notes in Computer Science, Springer, vol. 2055, Third International Conference, MCU 2001 Chişinău, Moldavia, May 23-27, 2001, Proceedings, 320 p.
2. Computational Commutative and Non-Commutative Algebraic Geometry. S. Cojocaru, G. Pfister, V. Ufnarovski (Editors). NATO Sciene Series. Series III: Computer and Systems Sciences – Vol.196, IOS Press, 2005, 325 p.

Publicații în ediţii internaţionale de serie

1. M. Kudlek, Yu. Rogozhin. New small universal circular Post machines. Lecture Notes in Computer Science, vol. 2138, Springer, 2001, pp. 217-227.
2. M. Margenstern, Yu. Rogozhin. About time-varying distributed H systems. Lecture Notes in Computer Science, vol. 2054, Springer, 2001, pp. 53-62.
3. M. Kudlek, Yu. Rogozhin. A Universal Turing Machine with 3 States and 9 symbols. Lecture Notes in Computer Science, vol. 2295, Springer, 2002, pp. 311-318.
4. M. Margenstern, Yu. Rogozhin. A universal time-varying distributed H system of degree 1. Lecture Notes in Computer Science, vol. 2340, Springer, 2002, 371-380.
5. M. Margenstern, Yu. Rogozhin, S. Verlan. Time-Varying Distributed H Systems of Degree 2 Can Carry Out Parallel Computations. Lecture Notes in Computer Science, vol. 2568, Springer, 2003, pp. 326-336.
6. A. Alhazov, M. Cavaliere: Proton Pumping P Systems. In: C. Martín-Vide, G. Mauri, Gh. Păun, G. Rozenberg, A. Salomaa. Membrane Computing, International Workshop, WMC 2003, Tarragona, 2003, Revised Papers, Lecture Notes in Computer Science, vol. 2933, Springer, 2004, pp. 1-18.
7. V. Rogozhin, E. Boian. Simulation of mobile ambients by P systems. Part 1. Lecture Notes in Computer Science, vol. 2933, Springer, Berlin, 2004, pp. 304–319.
8. F. Freund, R. Freund, M. Oswald, M. Margenstern, Yu. Rogozhin, S. Verlan. P Systems with Cutting/Recombination Rules Assigned to Membranes. Lecture Notes in Computer Science, vol. 2933, Springer, 2004, pp. 191-202.
9. M. Margenstern, Yu. Rogozhin, S. Verlan. Time-varying distributed H systems with parallel computations: the problem is solved. Lecture Notes in Computer Science, vol. 2943, Springer, 2004, pp. 48-53.
10. A. Alhazov, M. Cavaliere: Computing by Observing Bio-Systems: the Case of Sticker Systems. In: C. Ferretti, G. Mauri, C. Zandron: DNA Computing: 10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Papers, Lecture Notes in Computer Science, vol. 3384, Springer, 2005, pp. 1-13.
11. A. Alhazov, R. Freund. On the Efficiency of P Systems with Active Membranes and Two Polarizations. In: G. Mauri, Gh. Păun, M.J. Pérez-Jiménez, G. Rozenberg, A. Salomaa: Membrane Computing, International Workshop, WMC 2004, Milan, 2004, Revised Selected and Invited Papers, Lecture Notes in Computer Science, vol. 3365, Springer, 2005, pp. 146-160.
12. A. Alhazov, R. Freund, M. Oswald: Tissue P Systems with Antiport Rules and Small Numbers of Symbols and Cells. In: C. De Felice, A. Restivo: Developments in Language Theory: 9th International Conference, DLT 2005, Palermo, Italy, 2005, Proceedings, Lecture Notes in Computer Science, vol. 3572, Springer, 2005, pp. 100-111.
13. A. Alhazov, R. Freund, Gh. Păun. Computational Completeness of P Systems with Active Membranes and Two Polarizations. In: M. Margenstern: Machines, Computations, and Universality, International Conference, MCU 2004, Saint Petersburg, 2004, Revised Selected Papers, Lecture Notes in Computer Science, vol. 3354, Springer, 2005, pp. 82-92.
14. A. Alhazov, M. Margenstern, V. Rogozhin, Yu. Rogozhin, S. Verlan. Communicative P Systems with Minimal Cooperation. In: G. Mauri, Gh. Păun, M.J. Pérez-Jiménez, G. Rozenberg, A. Salomaa: Membrane Computing, International Workshop, WMC 2004, Milan, 2004, Revised Selected and Invited Papers, Lecture Notes in Computer Science, vol. 3365, Springer, 2005, pp. 161 - 177.
15. A. Alhazov, D. Sburlan. Ultimately Confluent Rewriting Systems. Parallel Multiset-Rewriting with Permitting or Forbidding Contexts. In: G. Mauri, Gh. Păun, M.J. Pérez-Jiménez, G. Rozenberg, A. Salomaa: Membrane Computing, International Workshop, WMC 2004, Milan, 2004, Revised Selected and Invited Papers, Lecture Notes in Computer Science, vol. 3365, Springer, 2005, pp. 178-189.
16. A. Alhazov. Number of Protons/Bi-stable Catalysts and Membranes in P Systems. Time-Freeness. In: R. Freund, Gh. Păun, G. Rozenberg, A. Salomaa: Membrane Computing, International Workshop, WMC 2005, Vienna, 2005, Revised Selected and Invited Papers, Lecture Notes in Computer Science, vol. 3850, Springer, 2006, pp. 79-95.
17. A. Alhazov, R. Freund, M. Oswald. Symbol / Membrane Complexity of P Systems with Symport / Antiport Rules. In: R. Freund, Gh. Păun, G. Rozenberg, A. Salomaa: Membrane Computing, International Workshop, WMC 2005, Vienna, 2005, Revised Selected and Invited Papers, Lecture Notes in Computer Science, vol. 3850, Springer, 2006, pp. 96-113.
18. A. Alhazov, R. Freund, M. Oswald, M. Slavkovik. Extended Spiking Neural P Systems.In: H.J. Hoogeboom, Gh. Păun, G. Rozenberg, A. Salomaa: Membrane Computing, International Workshop, WMC 2006, Leiden, The Netherlands, 2006, Revised Selected and Invited Papers, Lecture Notes in Computer Science, vol. 4361, Springer, 2006, pp. 123-134.
19. A. Alhazov, R. Freund, Yu. Rogozhin. Computational Power of Symport/Antiport: History, Advances, and Open Problems. In: R. Freund, Gh. Păun, G. Rozenberg, A. Salomaa: Membrane Computing, International Workshop, WMC 2005, Vienna, 2005, Revised Selected and Invited Papers, Lecture Notes in Computer Science, vol. 3850, Springer, 2006, pp. 1-30.
20. A. Alhazov, Yu. Rogozhin. Towards a Characterization of P Systems with Minimal Symport/Antiport and Two membranes. In: H.J. Hoogeboom, Gh. Păun, G. Rozenberg, A. Salomaa: Membrane Computing, International Workshop, WMC 2006, Leiden, The Netherlands, 2006, Revised Selected and Invited Papers, Lecture Notes in Computer Science, vol. 4361, Springer, 2006, pp. 135 - 153.
21. S. Cojocaru, A. Colesnicov, L. Malahova. Providing Modern Software Environments to Computer Algebra Systems. Computer Algebra in Scientific Computing. Lecture Notes in Computer Science, vol. 4194, Springer, 2006, pp. 129-140.
22. Yu. Rogozhin, S. Verlan. On the Rule Complexity of Universal Tissue P Systems. Lecture Notes in Computer Science, vol. 3850, Springer, 2006, pp. 356-362.
23. A. Alhazov, R. Freund, M. Oswald, S. Verlan. Partial Halting in P Systems Using Membrane Rules with Permitting Contexts. In: J. Durand-Lose, M. Margenstern (Eds.), Machines, Computations, and Universality, 5th International Conference, MCU 2007, Orléans, Lecture Notes in Computer Science, vol. 4664, Springer, 2007, pp. 110-121.
24. A. Alhazov, M.J. Pérez-Jiménez. Uniform Solution of QSAT Using Polarizationless Active Membranes. In: J. Durand-Lose, M. Margenstern (Eds.), Machines, Computations, and Universality, 5th International Conference, MCU 2007, Orléans, Lecture Notes in Computer Science, vol. 4664, Springer, 2007, pp. 122-133.
25. A. Alhazov, Yu. Rogozhin. Skin Output in P Systems with Minimal Symport/Antiport and Two Membranes. In: G. Eleftherakis, P. Kefalas, Gh. Păun, G. Rozenberg, A. Salomaa (Eds.), Membrane Computing, 8th International Workshop, WMC 2007 Thessaloniki, 2007, Revised Selected and Invited Papers. Lecture Notes in Computer Science, vol. 4860, Springer, 2007, pp. 97-112.
26. A. Matveevici, Yu. Rogozhin, S. Verlan. Insertion-Deletion Systems with One-Sided Contexts. Lecture Notes in Computer Science, vol. 4664, Springer, 2007, pp. 205-217.
27. A. Alhazov, E. Csuhaj-Varjú, C. Martín-Vide, Iu. Rogozhin. About Universal Hybrid Networks of Evolutionary Processors of Small size. Lecture Notes in Computer Science, Springer, 5196, 2008, pp. 28-39.
28. A. Krassovitskiy, Yu. Rogozhin, S. Verlan. Further results on insertion-deletion systems with one-sided contexts. Lecture Notes in Computer Science, Springer, 5196, 2008, pp. 333-344.
29. A. Alhazov, L. Burtseva, S. Cojocaru, Yu. Rogozhin: Solving PP-Complete and #P-Complete Problems by P Systems with Active Membranes. In: D.W. Corne, P. Frisco, Gh. Păun, G. Rozenberg, A. Salomaa: Membrane Computing - 9th International Workshop, WMC 2008, Edinburgh, Revised Selected and Invited Papers, Lecture Notes in Computer Science, 5391, Springer, 2009, p. 108-117. http://www.springerlink.com/content/d2w18l6067254726/.
30. M. Petic. Completarea automată a resurselor lingvistice româneşti, In: Lucrările Atelierului „Resurse Lingvistice şi Instrumente pentru prelucrarea limbii române”, Ed. Universităţii „Alexandru Ioan Cuza”, Iaşi, 2008, p. 151-160.
31. A. Alhazov, M. Margenstern, S. Verlan: Fast Synchronization in P Systems. In: D.W. Corne, P. Frisco, Gh. Păun, G. Rozenberg, A. Salomaa: Membrane Computing - 9th International Workshop, WMC 2008, Edinburgh, Revised Selected and Invited Papers, Lecture Notes in Computer Science, 5391, Springer, 2009, p. 118-128. http://www.springerlink.com/content/0932812w05548831/.
32. A. Alhazov, G. Bel-Enguix, Yu. Rogozhin: Obligatory Hybrid Networks of Evolutionary Processors. In: International Conference on Agents and Artificial Intelligence, Porto, 2009, p. 613 - 618. http://www.icaart.org/Abstracts/2009/SpecialSessionNEPS_2009_Abstracts.htm
33. A. Alhazov, E. Boian, S. Cojocaru. Modelling Inflections in Romanian Language by P Systems with String Replication. In: Proc. of the 10th Workshop on Membrane Computing, WMC10, Curtea de Arges (Romania), August 24 – 27, 2009, p.116 -128. http://www.gcn.us.es/?q=node/442
34. Alhazov, S. Cojocaru, L. Malahova, Yu. Rogozhin. Dictionary Search and Update by P Systems with String-Objects and Active Membranes. In: Proceedings of the 7th Brainstorming Week on Membrane Computing, (R. Gutiérrez-Escudero et. al., eds.) Fénix Editora, Sevilla, 2009, vol. I, p. 1-8. http://www.gcn.us.es/?q=node/414
35. A. Alhazov, A. Krassovitskiy, Yu. Rogozhin, S. Verlan. P Systems with Minimal Insertion and Deletion. In: Proceedings of the 7th Brainstorming Week on Membrane Computing, (R. Gutiérrez-Escudero et. al., eds.) Fénix Editora, Sevilla, 2009, vol. I, pp. 9-21. http://www.gcn.us.es/?q=node/414
36. A. Alhazov, A. Krassovitskiy, S. Verlan. A Note on P Systems with Small-Size Insertion and Deletion. In: A Note on P Systems with Small-Size Insertion and Deletion. In: Proc. of the 10th Workshop on Membrane Computing, WMC10, Curtea de Arges (Romania), August 24 – 27, 2009, p. 534 – 537, http://www.gcn.us.es/?q=node/442
37. A. Alhazov, K. Morita. A Short Note on Reversibility in P Systems. In: Proceedings of the 7th Brainstorming Week on Membrane Computing, (R. Gutiérrez-Escudero et. al., eds.) Fénix Editora, Sevilla, 2009, vol. I, p. 23-28. http://www.gcn.us.es/?q=node/414
38. A. Alhazov, K. Morita: On Reversibility and Determinism in P Systems. In: Preproceedings of the 10th Workshop on Membrane Computing, WMC10, Curtea de Argeş (Romania), 2009, p. 129-140. http://www.gcn.us.es/?q=node/442
39. Bruc N., Grabov E., Macari V., Magariu G., Verlan T. On information analytical system for scientific institution scientific activity. In: Proceedings of the 4-th International Scientific and Technical Conference "Computer science and information technologies 2009". Lviv, 2009, p. 260 – 263.
40. S. Cojocaru, E. Boian, M. Petic. Derivational morphology mechanisms in automatic lexical information acquisition. - In: Proceedings of the International Conference on Knowledge Engineering, Principles and Techniques, KEPT2009, Cluj-Napoca (Romania), July 2–4, 2009, p. 25–32.
41. S. Cojocaru, E. Boian, M. Petic, Stages in automatic derivational morphology processing, In: Proceedings of the International Conference on Knowledge Engineering, Principles and Techniques, KEPT2009, Cluj-Napoca (Romania), July 2–4, 2009, Selected Papers, Cluj-Napoca, July 2 - 4, 2009, p. 97-104.
42. Ts. Ogiro, A. Alhazov, Ts. Tanizawa, K. Morita. Universality of 2-State 3-Symbol Reversible Logic Elements – A Direct Simulation Method of a Rotary Element. In: Proceedings of the 4th International Workshop on Natural Computing, Himeji (Japonia), 2009, p. 220-227.

Publicații în reviste internaţionale

1. M. Kudlek, Yu. Rogozhin. Small universal Turing and circular Post machines. PU.M.A. Pure Mathematics and Applications, Budapest University of Economics, University of Siena, HU ISSN 1218-4586, 13, no.1-2, 2002, pp. 197-210.
2. M. Margenstern, Yu. Rogozhin. Self-describing Turing machines. Fundamenta Informaticae, 50, no.3-4, IOS Press, 2002, pp. 285-303.
3. A. Alhazov, C. Martín-Vide, L. Pan. Solving a PSPACE-Complete Problem by P Systems with Restricted Active Membranes. Fundamenta Informaticae, volume 58, number 2, IOS Press, 2003, pp. 67-77.
4. A. Alhazov. Minimizing Evolution-Communication P Systems and Automata. New Generation Computing, volume 22, number 4, Ohmsha Ltd., Springer, 2004, pp. 299-310.
5. A. Alhazov. On Determinism of Evolution-Communication P Systems. Journal of Universal Computer Science, volume 10, number 5, Graz University of Technology, 2004, pp. 502-508.
6. A. Alhazov, L. Pan. Polarizationless P Systems with Active Membranes. Grammars, volume 7, 2004, pp. 141-159.
7. A. Alhazov, L. Pan, Gh. Păun. Trading Polarizations for Labels in P Systems with Active Membranes. Acta Informatica, volume 41, numbers 2-3, Springer, 2004, pp. 111-144.
8. M. Margenstern, G.h. Păun, Yu. Rogozhin. On the power of the (molecular) crowd: set-conditional string processing. Publicationes Mathematicae, Debrecen (Hungary), vol.65, 2004, pp. 575 – 590.
9. E. Boian, C.Ciubotaru, S. Cojocaru, A. Colesnicov, V. Demidova, L. Malahova. Lexical Resources for Romanian. Academia Română. Memoriile secţiilor ştiinţifice. Seria IV, tomul XXVI, 2003, Editura Academiei Române, Bucureşti, 2005, pp. 267-278.
10. M. Margenstern, Gh. Păun, Yu. Rogozhin, S. Verlan. Context-free insertion-deletion systems. Theoretical Computer Science, vol.330, issue 2, Elsevier, 2005, pp. 339 - 348.
11. M. Margenstern, S. Verlan, Yu. Rogozhin. Time-Varying Distributed H Systems: An Overview. Fundamenta Informaticae, vol. 64, IOS Press, 2005, pp. 291 - 306.
12. L. Pan, A. Alhazov, T.-O. Ishdorj. Further Remarks on P Systems with Active Membranes, Separation, Merging, and Release Rules. Soft Computing. A Fusion of Foundations, Methodologies and Applications, volume 9, number 9, Springer, 2005, pp. 686-690.
13. E. Rîbac, S. Cojocaru,C. Gaindric, S.Puiu, V.Turcanu. The user interface design for a decision support system in sonographic investigation, Revista de inventica, N48, v.IХ AN ХV-2005 pp. 7-12.
14. A. Alhazov. P Systems without Multiplicities of Symbol-Objects. Information Processing Letters, volume 100, number 3, Elsevier, 2006, pp. 124-129.
15. A. Alhazov, R. Freund, A. Leporati, M. Oswald, C. Zandron. (Tissue) P Systems with Unit Rules and Energy Assigned to Membranes. Fundamenta Informaticae, volume 74, number 4, IOS Press, 2006, pp. 391-408.
16. A. Alhazov, R. Freund, M. Oswald. Cell / Symbol Complexity of Tissue P Systems with Symport / Antiport Rules. International Journal of Foundations of Computer Science, volume 17, number 1, World Scientific, 2006, pp. 3-26.
17. A. Alhazov, R. Freund, A. Riscos-Núñez. Membrane Division, Restricted Membrane Creation and Object Complexity in P Systems. International Journal of Computer Mathematics, volume 83, number 7, Taylor & Francis, 2006, pp. 529-548.
18. A. Alhazov, C. Martín-Vide, Yu. Rogozhin. On the Number of Nodes in Universal Networks of Evolutionary Processors. Acta Informatica, volume 43, number 5, Springer, 2006. pp. 331-339.
19. E. Boian, C.Ciubotaru, S. Cojocaru, A. Colesnicov, L. Malahova. Lexical resources for Romanian: creation, word inflection, checking. Revista de Inventica. Romanian Journal for Creativity in Engineering and Technology – Research and Education Reports. Nr.53,vol. X., an XVI-2006, p. 27-32.
20. L. Pan, A. Alhazov. Solving HPP and SAT by P Systems with Active Membranes and Separation Rules. Acta Informatica, volume 43, number 2, Springer, 2006, pp. 131-145.
21. A. Alhazov, Yu. Rogozhin, S. Verlan: Minimal Cooperation in Symport/Antiport Tissue P Systems. International Journal of Foundations of Computer Science, volume 18, number 1, World Scientific, 2007, pp. 163-180.
22. A. Alhazov. Distributed Ciliate Operations without Context in a Membrane Computing Framework. Romanian Journal of Information Science and Technology, vol.10, no.4, 2007, pp. 315-322.
23. S. Cojocaru. Computational environment generation for Computer Algebra systems. Studies in Informatics and Control. Vol.17, Nr.2, ICI Bucharest, 2008, pp. 231-236.
24. A. Alhazov, I. Petre, V. Rogojin. Solutions to Computational Problems through Gene Assembly. Natural Computing, http://dx.doi.org/10.1007/s11047-008-9074-z, Springer, 2008.
25. E. Csuhaj-Varju, S. Verlan. On length-separating test tube systems. Natural Computing 7(2), 2008, pp.167-181.
26. T. Harju, I. Petre, V. Rogojin, G. Rozenberg. Patterns of Simple Gene Assembly. Discrete Applied Mathematics, 156 (14), Elsevier, 2008, pp. 2581-2597.
27. T. Ishdorj, I. Petre, V. Rogojin. Computational Power of Intramolecular Gene Assembly. International Journal of Foundations of Computer Science, 18 (5), World Scientific, 2007, pp.1123-1136.
28. I. Petre, V. Rogojin. Decision problems for shuffled genes. Information and Computation, 206 (11), Elsevier, 2008, pp.1346-1352.
29. S. Verlan, F. Bernardini, M. Gheorghe, M. Margenstern. Generalized communicating P systems. Theoretical Computer Science 404(1-2), 2008, pp. 170-184.
30. A. Alhazov, E. Csuhaj-Varju, C. Martin-Vide, Yu. Rogozhin. On the Size of Computationally Complete Hybrid Networks of Evolutionary Processors. Theoretical Computer Science, Elsevier, 2009, vol. 410, p.3188-3197. doi:10.1016/j.tcs.2009.05.003.
31. A. Alhazov, J. Dassow, C. Martín-Vide, Yu. Rogozhin, B. Truthe. On Networks of Evolutionary Processors with Nodes of Two Types. Fundamenta Informaticae, 91 (1), 2009, p. 1-15. http://iospress.metapress.com/content/334516mq0331136k/.
32. A. Alhazov, R. Freund, M. Oswald, S. Verlan. Partial Halting and Minimal Parallelism Based on Arbitrary Rule Partitions. Fundamenta Informaticae, 91 (1), 2009, p. 17-34. http://iospress.metapress.com/content/u5q8536868207185/.
33. A. Alhazov, I. Petre, V. Rogojin. The Parallel Complexity of Signed Graphs: Some Decidability Results and an Improved Algorithm. Theoretical Computer Science, 410, 24-25, 2009, p. 2308-2315. http://dx.doi.org/10.1016/j.tcs.2009.02.028.
34. Alhazov, S. Cojocaru, L. Malahova, Yu. Rogozhin. Dictionary Search and Update by P Systems with String-Objects and Active Membranes. International Journal of Computers, Comunications & Control (IJCCC), Vol IV(2009),No 3 p. 206-213, http://www.journal.univagora.ro/?page=article_list&volume=IV&nr=3
35. Krassovitskiy A., Rogozhin Yu., Verlan S. Computational Power of P Systems with Small size Insertion and Deletion Rules. In: EPTCS (Electronic Proceedings in Theoretical Computer Science), 2009, nr 1, p. 108-117, doi:10.4204/EPTCS.1.10 www.eptcs.org
36. V. Rogojin. Successful elementary gene assembly strategies. International Journal of Foundations of Computer Science 20, 3, 2009, p. 455-477. http://dx.doi.org/10.1142/S0129054109006681
37. Rogozhin Yu., Verlan S. New choice for small universal devices: Communication P systems. In: EPTCS (Electronic Proceedings in Theoretical Computer Science), 2009, nr 1, p. 235-242, doi:10.4204/EPTCS.1.23 www.eptcs.org

Publicații în reviste naţionale

1. S. Cojocaru, V. Ufnarovski. Non-commutative computer algebra and molecular computing. Computer Science Journal of Moldova, ISSN 1561-4042, vol.9, no.3, 2001, pp. 369-377.
2. M. Kudlek, Yu. Rogozhin. Small Universal Circular Post Machines. Computer Science Journal of Moldova, ISSN 1561-4042, vol. 9, no.1, 2001, pp. 34-52.
3. A. Alhazov, M. Kudlek, Yu. Rogozhin. Nine Universal Circular Post Machines. Computer Science Journal of Moldova, ISSN 1561-4042, vol. 10, no. 3(30), 2002, pp. 247-262.
4. I. Attali, C. Ciubotaru, N. Meergus. Experimental functional realization of attribute grammar systems. Computer Science Journal of Moldova, ISSN 1561-4042, vol.10, no. 2(29), 2002, pp. 190–203.
5. S. Cojocaru, A. Colesnicov, L. Malahova. Network version of the computebra system bergman. Computer Science Journal of Moldova, ISSN 1561-4042, vol.10, no.2, 2002, pp. 216-222.
6. C. Gaindric. The digital technologies as the chanse for sustainable development of Moldova, Computer Science Journal of Moldova, ISSN 1561-4042, vol. 10, no. 1(28), 2002, pp. 53-58.
7. E. Boian, S. Cojocaru, V. Demidova. Resurse lexico-gramaticale şi instrumentare pentru aplicaţii de limbaj natural. Economica, Nr.2 (42), 2003, Editura ASEM, pp. 99-103.
8. L. Burtseva. The comparative analysis of implementation practices of e-government services, Computer Science Journal of Moldova, ISSN 1561-4042, vol.12, no. 3(36), 2004, pp. 457-466.
9. L. Burţeva, S. Cojocaru, C. Gaindric, G. Magariu, T. Verlan. Services in Public Administration (e-government); Privacy and Freedom of Information (review of study mode for situation in Moldova), Computer Science Journal of Moldova, ISSN 1561-4042, vol.12 no. 3 (36), 2004, pp. 467-496.
10. S. Cojocaru, A. Colesnicov, L. Malahova. Interfaces to symbolic computation systems: reconsidering experience of Bergman. Computer Science Journal of Moldova, ISSN 1561-4042, vol. 13, no.2, 2005, pp. 232-244.
11. A. Alhazov, Yu. Rogozhin. Generating Languages by P Systems with Minimal Symport/Antiport. Computer Science Journal of Moldova, ISSN 1561-4042, vol. 14, no. 3(42), 2006, pp. 299-323.
12. S. Cojocaru. The assesment of the inflexion models for Romanian. Computer Science Journal of Moldova, ISSN 1561-4042, vol.14, no.1(40), 2006, pp. 103-112.
13. S. Cojocaru, A. Colesnicov, L. Malahova. Integrity and correctness checking of a lexical database. Computer Science Journal of Moldova, ISSN 1561-4042, vol.14, no. 1(40), 2006, pp. 138-151.
14. L. Burtseva, S. Cojocaru, C. Gaindric, E.Jantuan, SONARES-A decision support system in ultra sound investigation. Computer Science Journal of Moldova ISSN 1561-4042, vol.15, no.2 (44), 2007, pp. 153-177.
15. A. Alhazov, E. Boian, L. Burțeva, C. Ciubotaru, S. Cojocaru., A. Colesnicov, C. Gaindric, G. Magariu, Iu. Rogojin, T. Verlan. Summary of researches being performed in the Institute of Mathematics and Computer Science on computer science and information technologies, Computer Science Journal of Moldova v.16 N2 (47), 2008, pp.298-320.
16. Alhazov, A., Iu. Rogojin About Precise Characterization of Languages Generated by Hybrid Networks of Evolutionary Processors with One Node, Computer Science Journal of Moldova, 16, no.3(48), 2008, pp. 364 -376.
17. S. Cojocaru., A. Colesnicov, V. Demidova, L. MAalahov, L. Burțeva, M. Petic. Instrumentar multimedia pentru facilitarea promovării artei muzicale. Studia Universitatis, seria “Ştiinţe exacte şi economice”, Nr.3 (13), Chisinau, Moldova, 2008, pp.82-85.
18. A. Colesnicov, S. Cojocaru., L. Malahov. Approaches to automated construction of graphical shells for computer algebra systems. Computer Science Journal of Moldova vol.16, N21(46), 2008, pp.146-156.
19. M. Petic. Specific features in automatic processing of the formations with prefixes. Computer Science Journal of Moldova, vol. 16, no. 2(47), 2008, pp. 209-222.
20. A. Alhazov, E. Boian, S. Cojocaru. Modelling Inflections in Romanian Language by P Systems with String Replication. In: Computer Science Journal of Moldova, v.17, n.2(50), 2009, p. 160-178.

Publicații la conferinţe internaţionale

1. E. Boian, S. Cojocaru, L. Malahova. Instrumentar pentru aplicaţii lingvistice. Terminologia în România şi Republica Moldova. "Clusium", România, 2000, p.38-41.
2. E. Boian, S. Cojocaru, L. Malahova. Instruments pour applications linguistiques. La terminologie en Roumanie et en Republique de Moldova, Hors serie, N4, 2000, p.42-44.
3. J. Backelin, S. Cojocaru, V. Ufnarovski. The Computer Algebra Package Bergman: Current State. Commutative Algebra, Singularities and Computer Algebra.NATO Science Series, II Mathematics, Physics and Chemistry, Vol. 115, Kluwer Academic Publishers, Dordrecht, The Netherlands, 2003, pp. 75-100.
4. E. Boian, C.Ciubotaru, S. Cojocaru, A. Colesnicov, V. Demidova, L. Malahova. Lexical resources for Romanian - a project overview. Symposium on Intelligent Systems and Applications, September 19-20, 2003, Iasi, Romania. Eds.: H.N.Teodorescu, G.Gaindric, E.Sofron. Publisher: Tehnici si Tehnologii, Iasi. ISBN 973-97737-2-9 (CD).
5. S. Cojocaru, V. Ufnarovski. Non-Commutaive Computer Algebra and Molecular Computing. 2nd Annual Meeting of Project MolCoNet IST-2001-32008. November 27-29, 2003, Wien. Vienna University of Technology, 4 pp.
6. O.Popcova, S. Cojocaru, C. Gaindric. Image processing in ultrasound diagnostic system. 8th International Symposium on Automatic Control and Computer Science, SACCS 2004. Iaşi, România. ISBN 973-621-086-3 (CD).
7. V. Rogojin, E. Boian. Simulation of Mobile Ambients by tissue P systems with a dynamic network of membranes. In: I. Dzitac, T. Maghiar, C. Popescu (Eds.), Proceedings of the International Conference on Computers and Communications - ICCC 2004, pp. 377-382, Editura Universitatii din Oradea, 2004.
8. A. Alhazov. Maximally Parallel Multiset-Rewriting Systems: Browsing the Configurations. In: M.A. Gutiérrez-Naranjo, A. Riscos-Núñez, F.J. Romero-Campero, D. Sburlan. RGNC Report, ISBN: 84-609-67719-9, University of Seville, Third Brainstorming Week on Membrane Computing, Fénix Editora, Sevilla, 2005, pp. 1-10.
9. A. Alhazov. Solving SAT by Symport/Antiport P Systems with Membrane Division. In: M.A. Gutiérrez-Naranjo, Gh. Păun, M.J. Pérez-Jiménez: Cellular Computing (Complexity Aspects), ESF PESC Exploratory Workshop, ISBN: 84-609-5338-6, Fénix Editora, Sevilla, 2005, pp. 1-6.
10. A. Alhazov, M. Cavaliere. Evolution-Communication P Systems: Time-freeness. In: M.A. Gutiérrez-Naranjo, A. Riscos-Núñez, F.J. Romero-Campero, D. Sburlan. RGNC Report, ISBN: 84-609-67719-9, University of Seville, Third Brainstorming Week on Membrane Computing, Fénix Editora, Sevilla, 2005, pp. 11-18.
11. A. Alhazov, R. Freund. P Systems with One Membrane and Symport/ Antiport Rules of Five Symbols are Computationally Complete. In: M.A. Gutiérrez-Naranjo, A. Riscos-Núñez, F.J. Romero-Campero, D. Sburlan: RGNC Report, ISBN: 84-609-67719-9, University of Seville, Third Brainstorming Week on Membrane Computing, Fénix Editora, Sevilla, 2005, pp. 19-28.
12. A. Alhazov, R. Freund, M. Oswald. Tissue P Systems with Antiport Rules and Small Number of Symbols and Cells. In: M.A. Gutiérrez-Naranjo, Gh. Păun, M.J. Pérez-Jiménez: Cellular Computing (Complexity Aspects), ESF PESC Exploratory Workshop, ISBN: 84-609-5338-6, Fénix Editora, Sevilla, 2005, pp. 7-22.
13. A. Alhazov, R. Freund, A. Riscos-Núñez. One and Two Polarizations, Membrane Creation and Objects Complexity in P Systems. Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05), IEEE Computer Society, 2005, pp. 385-394.
14. A. Alhazov, R. Freund, Yu. Rogozhin. Some optimal results on symport/antiport P systems with minimal cooperation. Cellular Computing (Complexity aspects). ESF PESC Exploratory Workshop, ISBN: 84-609-5338-6, Fénix Editora, Sevilla, Spain, January 31 – February 2, 2005, pp. 23 – 36.
15. A. Alhazov, Yu. Rogozhin. Minimal Cooperation in Symport/Antiport P Systems with one membrane. In: M.A. Gutiérrez-Naranjo, A. Riscos-Núñez, F.J. Romero-Campero, D. Sburlan: RGNC Report, ISBN: 84-609-67719-9, University of Seville, Third Brainstorming Week on Membrane Computing, Fénix Editora, Sevilla, 2005, pp. 29 - 34.
16. A. Alhazov, Yu. Rogozhin, S. Verlan. Symport/antiport tissue P systems with minimal cooperation. Cellular Computing (Complexity aspects). ESF PESC Exploratory Workshop, ISBN: 84-609-5338-6, Fénix Editora, Sevilla, Spain, January 31 – February 2, 2005, 37 – 52.
17. A. Alhazov, S. Verlan. Sevilla Carpets of Deterministic Non-cooperative P Systems. In: M.A. Gutiérrez-Naranjo, Gh. Păun, M.J. Pérez-Jiménez: Cellular Computing (Complexity Aspects), ESF PESC Exploratory Workshop, ISBN: 84-609-5338-6, Fénix Editora, Sevilla, 2005, pp. 53-60.
18. S. Cojocaru, A. Colesnicov, L. Malahova, V. Ufnarovski. Problems in interaction with the Computer Algebra System Bergman. Computational Commutative and Non-Commutative Algebraic Geometry . NATO Sciene Series. SeriesIII: Computer and Systems Sciences – Vol.196, Eds.: S. Cojocaru, G. Pfister, V. Ufnarovski. IOS Press, 2005, pp. 185-198.
19. E. Rîbac, S. Cojocaru, C. Gaindric, S. Puiu, V. Turcanu. The process of designing and implementing the examination support in sonogfaphic investigations.The International conference „Advanced information and telemedicine technolo gies for health”, Nov.8-10, 2005, Minsk, Belarus.Proceedings, vol.2, pp. 44-47.
20. B. Rybakin, G..Maffia, G. Magariu, L. Burtseva, T. Verlan. Компьютерное моделирование физических и биохимических процессов разложения органики на полигонах ТБО Тезисы, 4-й Международный конгресс по управлению отходами ВэйстТэк-2005, 31 мая - 3 июня 2005 г., Москва, стр. 246-247.
21. A. Alhazov, C. Bonchiş, G. Ciobanu, C. Isbaşa: Encodings and Arithmetic Operations in P Systems. In: M.A. Gutiérrez-Naranjo, Gh. Păun, A. Riscos-Núñez, F.J. Romero-Campero: RGNC Report, ISBN: 84-611-0681-4, University of Seville, Fourth Brainstorming Week on Membrane Computing, volume 1, Fénix Editora, Sevilla, 2006, pp. 1-28.
22. A. Alhazov, M.J. Pérez-Jiménez. Uniform Solution to QSAT Using Polarizationless Active Membranes. In: M.A. Gutiérrez-Naranjo, Gh. Păun, A. Riscos-Núñez, F.J. Romero-Campero. RGNC Report, ISBN: 84-611-0681-4, University of Seville, Fourth Brainstorming Week on Membrane Computing, volume 1, Fénix Editora, Sevilla, 2006, pp. 29-40.
23. C. Ciubotaru, E. Boian, S. Cojocaru, A. Colesnicov, V. Demidova, L. Malahova, O. Burlaca.Resurse lingvistice reutilizabile. Lucrările atelierului „Resurse lingvistice şi instrumente pentru prelucrarea limbii române”, Iaşi, Editura Universităţii „A.I.Cuza”, 2006, pp. 75-79.
24. C. Ciubotaru, E. Boian, S. Cojocaru, G. Magariu, T. Verlan, Iu. Rogojin. Sistem de instruire asistată de calculator pentru morfologia limbii române. Lucrările atelierului „Resurse lingvistice şi instrumente pentru prelucrarea limbii române”, Iaşi, Editura Universităţii „A.I.Cuza”, 2006, pp. 135-139.
25. A. Alhazov, R. Freund, M. Oswald, S. Verlan: Partial Versus Total Halting in P Systems. In: M.A. Gutiérrez-Naranjo, Gh. Păun, A. Romero-Jiménez, A. Riscos-Núñez: RGNC Report, ISBN: 978-84-611-6776-0, University of Seville, Fifth Brainstorming Week on Membrane Computing, Fénix Editora, Sevilla, 2007, pp. 1-20.
26. A. Alhazov, L. Burtseva, S. Cojocaru., Iu. Rogojin. Computing Solutions of #P-complete Problems by P Systems with Active Membranes. In: Proc. of the 9th Workshop on Membrane Computing, WMC9, Edinburgh (UK), July 28 – 31, 2008, 59 -70.
27. A. Alhazov, E. Csuhaj-Varjú, C. Martin-Vide, Iu. Rogozhin. Computational Completeness of Hybrid Networks of Evolutionary Processors with Seven Nodes. Proceedings of the 10th International Workshop on Descriptional Complexity of Formal Systems, Charlottetown, CANADA July 16-18, 2008, pp. 38 – 47.
28. A. Alhazov, M. Margenstern, S. Verlan. Fast synchronization in P systems. Pre-proceedings of WMC9 (P. Frisco, D. W. Corne, G. Paun eds.), Edinburgh, 2008, pp. 71-85.
29. A. Alhazov, I. Petre, V. Rogojin. Solutions to Computational Problems Through Gene Assembly. In: Max Garzon, Hao Yan (Eds.), DNA Computing, 13th International Meeting on DNA Computing, Springer, Lecture Notes in Computer Science, 4848, 2008, pp.36-45.
30. N. Bruc, O. Burlaca, S. Cojocaru., C. Gaindric, E. Grabov, V. Macari, G. Magariu, T. Verlan. Concepts of research institute information-analytical system development. Proceedings ECIT 2008- 5th European Conference on Intelligent Systems and Technologies, Iasi, Romania, July 10 -12, 2008, CD, Performantica.
31. C. Ciubotaru, S. Cojocaru., E. Boian, A. Colesnicov, L. Malahov, G. Magariu, M. Petic, T. Verlan, O. Burlaca. Contribuţii la proiectul „RoL Tech: platformă pentru tehnologia limbii române: resurse, instrumente, interfeţe”. Lucrările atelierului „Resurse lingvistice şi instrumente pentru prelucrarea limbii române” Editura universităţii „A.I.Cuza”, 2008, pp.171-177.
32. S. Cojocaru., L. Malahov, A. Colesnicov, V. Ufnarovski. Information System on Non-commutative Applications of Computer Algebra Systems. Proceedings ECIT 2008- 5th European Conference on Intelligent Systems and Technologies, Iasi, Romania, July 10 -12, 2008, CD, Performantica.
33. S. Cojocaru., C. Gaindric, E. Jantuan, G. Magariu, T. Verlan. Ultrasonographic diagnostics system SonaRes: concept and prototype of user-interface. Proceedings II international Conference Advanced information and telemedicine technologies for health — AITTH-2008, October 1-3, 2008, Minsk, Belarus, 2008, pp.41-46.
34. R. Freud, S. Verlan. (Tissue) P systems working in the k-restricted minimally parallel derivation mode. Pre-proceedings of International Workshop on Computing with Bio-Molecules, CBM2008, Vienna, Austria, Österreichische Computer Gesellschaft, Druckerei Riegelnik, Erzsébet Csuhaj-Varjú, Rudolf Freund, Marion Oswald, and Kai Salomaa (eds.)2008, pp.43-52.
35. A. Krassovitskiy, Yu. Rogozhin, S. Verlan. One-sided Insertion and Deletion: Traditional and P Systems Case. Proceedings of the International Workshop on Computing with Biomolecules, Wien, Austria, August 27th, 2008, pp. 53–64.
36. A. Krassovitskiy, Yu. Rogozhin, S. Verlan. Further Results on Insertion-Deletion Systems with One-Sided Contexts. LATA 2008, pp. 333-344..
37. S. Cojocaru, C. Gaindric. Decision support system in ultrasound investigations, Proceedings XIII-th International conference KDS-2007, vol.1, ITHEA, Sofia, 2007, pp. 241-246.
38. Боян Е.Т., Кожокару С.К., Колесников А.Е., Малахова Л.А., Чуботару К.С. О применении Р систем в компьютерной лингвистике. – In: Megaling 2009 "Горизонты прикладной лингвистики и лингвистических технологий", Международная научная конференция 21-26 сентября, 2009, Киев,с.53.

Publicații la conferinţe naţionale

1. I. Attali, C. Ciubotaru. Functional realization of attribute grammar systems. Proceedings of the 3-rd International Conference “Microelectronics and Computer Science”, Technical University of Moldova, Chişinău, September 26-28, 2002, vol. II, p.87-91.
2. L.Burţeva, T.Verlan, C.Gaindric, S.Cojocaru, G.Magariu, C.Ciubotaru. Informational analitical system „Scientific potential of Moldova”, BIT+, III International Conference „Informational Technologies – 2003”, April 7-11, 2003, Chisinau, Moldova, V.3, pp.174-179.
3. G. Magariu, L. Burtseva. Simulation in bank management process. Trends in the development of the information and communication technologies in education and management. International conference. March 20-21, 2003. Chsinau, ASEM, 2003, pp. 182-185.
4. L. Burţeva, T. Verlan, C. Gaindric, S. Cojocaru, G. Magariu. Сравнительный анализ различных подходов к реализации е-правительства: услуги электронного правительства, BIT+ IV International Conference on Informational Technologies 2004, 3-7 mai, 2004, pp. 66-68.
5. S. Cojocaru, C. Gaindric. Moldova – căi de integrare digitală, BIT+ IV International Conference on Informational Technologies 2004, 3-7 mai, 2004, pp. 23-28.
6. J. Maffia, B.P. Rybakin, G..A. Magariu, L.V. Burtseva, T.B.Verlan. SoWaDec: Computer modeling of biogas generation processes. Proceedings of the Second Conference of the Mathematical Society of the Republic of Moldova, Chişinău, August 17-19, 2004, pp. 274-278.
7. E. Boian, C.Ciubotaru, S. Cojocaru, A. Colesnicov, V. Demidova, L. Malahova. Technologization of Romanian: linguistic resources, applications, tools. Proceedings of the 4rd International Conference on Microelectronics and Computer Science. Vol.II, 2005, pp. 519-522.
8. E. Boian, S. Cojocaru, A. Colesnicov, L. Malahova, T.Baltaga. Development of Tools to inflect compound words in Romanian. Proceedings of the 4rd International Conference on Microelectronics and Computer Science. Vol.II, 2005, pp. 465-469.
9. L. Burţeva , S. Cojocaru, C. Gaindric, G. Magariu, T. Verlan. Digital divide: a glance at the problem in Moldova Proceedings of the 4rd International Conference on Microelectronics and Computer Science. Vol.II, 2005, pp. 23-29.
10. E. Rîbac, S. Cojocaru, C. Gaindric, S. Puiu, V. Turcanu. The examination support in sonographic investigations Proceedings of the 4rd International Conference on Microelectronics and Computer Science. Technical University of Moldova, Chişinău Vol.II, 2005, pp. 271-274.
11. B. Rybakin, G. Magariu, L. Burtseva, T.Verlan, G. Maffia. The comparative analysis of some models of biogas generation processes Proceedings of the 4th International Conference on “Microelectronics and Computer Science” (Volume II), Technical University of Moldova, Chişinău, September 15-17, 2005, pp. 44-48.
12. E.Boian, C.Ciubotaru, S.Cojocaru, G.Magariu, T.Verlan. On grammar material stating in e-learning course on Romanian language: how and why. Culegerea de abstracte BIT+, Ediţia a VII-a, 24-26 aprilie 2007, Chişinău, Moldova, 2007, pp. 17-19.
13. C.Ciubotaru, E. Boian, S. Cojocaru, A. Colesnicov, V. Demidova, L. Malahova, G. Magariu, T. Verlan. Tehnologii pentru generarea sistemelor de instruire, dicţionarelor electronice specializate şi ghidurilor lingvistice. Proceedings of the 5th International Conference on Microelectronics and Computer Science ICMCS-2007, vol.I, Chişinău, Technical University of Moldova, 2007, pp. 20-23.
14. M. Petic. Derivarea automată cu prefixele ne- şi re- pentru adjective şi verbe. Proceedings of the International Conference BIT+2007, Chişinău, Moldova, 24-26 aprilie 2007, pp. 54-56
15. A.Colesnicov, L.Malahova. Engine independent checks in the calculator model shells for computer algebra systems, International Conference of Informational Technologies, in Abstracts BiT+, VIII edition, 15-17 april, 2008, pp.58-60.
16. E.Boian, C.Ciubotaru, L.Malahova., A.Colesnicov, E.Burca. Development of the lexical reusable resources for Romanian. Abstracts of Conference Mathematics & Information technologies: Recearch and education (MITRE - 2008), CECMI, Chisinau, 2008, pp. 50-52.
17. M. Petic, Generarea automată a verbelor cu sufixul lexical –iza. The 2nd International Conference „Telecommunications, Electronics and Informatics”. Procedeengs. Chisinau, Moldova, 15-18 mai 2008, Volume I, 2008, pp. 441-446.
18. M. Petic. Probleme în popularea resurselor lingvistice electronice prin derivarea automată cu sufixul lexical verbal –iza. Proceedings of the International Conference BIT+2008, Chişinău, Moldova, 15-17 aprilie 2008, pp. 88-91.
19. M.Petic. Automatic derivation as a model of exical acquisition, In: Abstracts of the Conference ”Mathenatics & Information technologies: research and education” (MITRE – 2009), Chişinău, Moldova, 8 - 9 October, 2008, p. 67-68.
20. M. Petic, Aspecte informatice în procesul de derivare lexicală. International Conference of Young Researchers. Chişinău, Moldova, 6-7 noiembrie 2008, Scientific Abstracts, p. 120.
21. S.Cojocaru, L.Bueţeva, A.Colesnicov, V.Demidova, L.Malahova, M.Petic. Specific features of multimedia tool implementation for an informational portal. Abstracts of Conference “Mathematics&Information technologies: research and education”, CECMI, Chisinau, October 1-4, 2008, pp.52-54.
22. S.Cojocaru, L.Burţeva, A.Colesnicov, L.Malahova, V.Ufnarovski. Manipulating mathematical objects in the interface generating toolkit for symbolic computation systems, International Conference of Informational Technologies. Abstracts BiT+, VII edition, 24-26 april, 2007, pp. 22-23 E. Boian, C. Ciubotaru, S.Cojocaru, A. Colesnicov, V. Demidova, L.Malahova. Aplicarea P-sistemelor la solutionarea unor probleme din lingvistica computaţională. In: Proceedings of the International Conference "Information and Communication Thechnologies - 2009", 1st Edition, Chisinau, Repuplic of Moldova, 2009, 18-19 may, p.30 - 33.
23. E. Boian, Iu. Secrieru, D. Verlan. Modulul de asistenţă şi ghidul enciclopedic în sistemul Sonares. In: Proceedings of the International Conference "Information and Communication Thechnologies - 2009", 1st Edition, Chisinau, Repuplic of Moldova, 18-19 may, 2009, p.34-37.
24. Н. Брук. Способы аннотирования изображений и их применение в системе Sonares. In: Proceedings of the International Conference ICT+ “Information and Communication Technologies - 2009”, 18-21 May 2009, Chişinău, Republic of Moldova, Ed. 1-a. -Ch.: S.n., 2009, ISBN 978-9975-66-134-8, p. 125-128.
25. E. Burca. Parsarea arborilor de sensuri din intrările de dicţionar. In: Proceedings of the International Conference "Information and Communication Thechnologies - 2009", 1st Edition, Chisinau, Repuplic of Moldova, 2009, 18-19 may, 2009, p.38-41.
26. Л. Бурцева, Ю. Секриеру, О. Попкова, Д. Верлан. Организация пользовательского интерфейса в системах принятия решений в плохо формализованных областях. In: Proceedings of the International Conference “Information and Communication Technologies – 2009”, 1st Edition, 18-21 May 2009, Chisinau, Repuplic of Moldova, p.129-132.
27. V. Macari. "Test based development", In: Proceedings of the International Conference ICT+ “Information and Communication Technologies - 2009”, 18-21 May 2009, Chişinău, Republic of Moldova, Ed. 1-a. 133-135.
28. M. Petic. Automatizarea mecanismelor morfologice de generare a derivatelor, In: Proceedings of the International Conference „Information and Communication Technologies – 2009” ICT+, Chişinău, 2009, p. 121-124.
29. S.Cojocaru, A.Colesnicov, L.Malahov. Development of the technological tools for support of musical e-culture Proceedings of the 6-th International Conference on “Microelectronics and Computer Science”, ICMCS-2009, Chisinau,October 1-3, 2009, p. 499-502
30. G. Magariu, T. Verlan. Some specific features of information analitical system for scientific institution. In: Con. Mathematics &IT: Research and Education (MITRE-2009), Chişinău, 2009, p. 63-64.
31. V. Macari, N. Bruc, E. Grabov. Some technological solutions on implementation of information analytical system for scientific institution, In: Abstracts of the Conference ”Mathematics & Information Technologies: Research and Education” (MITRE-2009), October 8-9, 2009, Chisinau, Moldova, USM, ISBN
32. M. Petic. Particularităţile afixelor în automatizarea procesului de derivare – In: International Conference of Young Researchers. Scientific Abstracts, Chişinău, 2009, p.
33. A.Colesnicov, L.Malahov. Problems of digitalization of scientific and didactic literature In: Abstracts of the Conference ”Mathematics & Information Technologies: Research and Education” (MITRE-2009), October 8-9, 2009, Chisinau, Moldova, p. 58.

Colaboratori

1. Ciubotaru Constantin
2. Rogojin Iurie
3. Boian Elena
4. Burţeva Liudmila
5. Colesnicov Alexandru
6. Magariu Galina
7. Verlan Serghei
8. Demidova Valentina
9. Malahov Ludmila
10. Verlan Tatiana
11. Tofan Tatiana
12. Rogojin Vladimir
13. Alhazov Artiom
14. Bruc Natalia
15. Ivanov Sergiu
16. Macari Veaceslav
17. Gâscă Veronica
18. Palade Olga
19. Petic Mircea
20. Lotutovici Serghei
21. Chiciuc Ecaterina

 

Copyright © 2001–2012 Institutul de Matematică şi Informatică
Tel: (373 22) 72-59-82, Fax: (373 22) 73-80-27, Email:
Adresa: MD 2028, Chişinău, str. Academiei 5