English Version



Sesiunea ianuarie 2019



Calendarul alegerilor pentru reprezentantii studentilor in Consiliul Facultatii, sesiunea ianuarie 2019, este urmatorul:

  • 7-11 ianuarie 2019 - Depunere candidaturi (prin e-mail la adresa secretariat@fmi.unibuc.ro in perioada prevazuta mai sus sau la dra secretar sef in aceeasi perioada, in intervalul de lucru al Secretariatului)
  • 12-14 ianuarie 2019 - Campanie electorala
  • 15 ianuarie 2019, intre orele 10:00-18:00 - Primul tur
  • 18 ianuarie 2019, intre orele 10:00-18:00 - Al doilea tur (daca nu se intruneste cvorumul la primul tur)
  • 21 ianuarie 2019 - Validarea alegerilor in Consiliul Facultatii (vot electronic)
  • 23 ianuarie 2019 - Validarea alegerilor in Senatul Universitatii din Bucuresti
Alegerile se desfasoara pentru 1 loc in Consiliul Facultatii, astfel:
  • 1 loc pentru anii I si II Calculatoare si Tehnologia Informatiei - Candidati: Nitu Cristina, anul II CTI si Radulescu Adrian-Radu, anul I CTI
Rezultate turul I:
Pentru locul de reprezentare in Consiliul Facultatii a studentilor de la anii I si II Calculatoare si Tehnologia Informatiei, procentul de prezenta la vot a fost de 44% (mai mare de 33%+1 din numarul studentilor reprezentati).
Studenti alesi in turul I:
  • In Consiliul Facultatii:
    • Nitu Cristina (anul II CTI), aleasa de 68% din alegatorii prezenti


Nota: Daca nu se inscrie niciun candidat, nu se organizeaza alegeri. Pot vota doar studentii din anii si domeniul carora le corespunde locul.
Nota: Regulamentul general de alegeri al Universitatii este disponibil aici.



Sesiunea octombrie 2018



Calendarul alegerilor pentru reprezentantii studentilor in Consiliul Facultatii si in Senatul Universitatii, sesiunea octombrie 2018, este urmatorul:

  • 12-16 octombrie 2018 - Depunere candidaturi, conform metodologiei
  • 17-22 octombrie 2018 - Campanie electorala
  • 23 octombrie 2018, intre orele 9:00-19:00 - Primul tur. Intre orele 10:00-18:00 se va organiza o sectie de vot la Magurele.
  • 25 octombrie 2018, intre orele 9:00-19:00 - Al doilea tur (pentru toate locurile de reprezentare neocupate in primul tur).
  • 29 octombrie 2018, intre orele 9:00-19:00 - Al treilea tur (pentru locul de reprezentare de la anul III Informatica).
  • 5 noiembrie 2018 - Validarea alegerilor in Consiliul Facultatii (vot electronic)
  • 14 noiembrie 2018 - Validarea alegerilor in Senatul Universitatii din Bucuresti (vot electronic)
Alegerile se desfasoara pentru 8 locuri in Consiliul Facultatii si 2 locuri in Senatul Universitatii, astfel:
  • 1 loc pentru anul I Matematica si Informatica - Candidat: Stoleru Vlad-Stefan, anul I Informatica
  • 1 loc pentru anul II Matematica - Candidat: Dumitru Nicoleta, anul II Matematici aplicate
  • 1 loc pentru anul II Informatica - Candidat: Anei Alexandra Gabriela, anul II Informatica
  • 1 loc pentru anii I si II Calculatoare si Tehnologia Informatiei - niciun candidat
  • 1 loc pentru anul III Matematica - Candidat: Gusatu Marian, anul III Matematica-Informatica
  • 1 loc pentru anul III Informatica - Candidat: Petrescu Ana Maria, anul III Informatica
  • 1 loc pentru anii III si IV Calculatoare si Tehnologia Informatiei - Candidat: Adam Iuliana Alexandra, anul IV Calculatoare si Tehnologia Informatiei
  • 1 loc pentru reprezentarea tuturor studentilor, indiferent de ciclu de studii, an, program sau forma de invatamant - Cristea Rares, anul I master Inginerie Software
  • 2 locuri in Senatul Universitatii - Candidati*: Cristea Rares, anul I master Inginerie Software; Istoc Ramona, anul II Informatica
*Lista de candidati afisata initial pentru locurile din Senatul Universitatii continea, din greseala, un candidat in plus.

Rezultate turul III:
Pentru locul de reprezentare in Consiliul Facultatii a studentilor de la anul III Informatica, procentul de prezenta la vot a fost mai mare de 15%+1 din numarul studentilor reprezentati.
Studenti alesi:
  • In Consiliul Facultatii:
    • Petrescu Ana Maria (anul III Informatica), aleasa de 95% din alegatorii prezenti
Rezultate turul II:
Pentru toate locurile de reprezentare in Consiliul Facultatii, cu exceptia celui de la anul III Informatica precum si pentru locurile de reprezentare in Senatul Universitatii, a fost intrunit cvorumul de participare si au fost declarati alesi studentii candidati. Pentru locul de reprezentare in Consiliul Facultatii de la anul III Informatica, alegerile se vor fi relua in turul III.
Studenti alesi in turul II:
  • In Consiliul Facultatii:
    • Stoleru Vlad-Stefan (anul I Informatica), ales de 97% din alegatorii prezenti
    • Gusatu Marian (anul III Matematica)), ales de 100% din alegatorii prezenti
    • Adam Iuliana Alexandra (anul III-IV CTI), ales de 100% din alegatorii prezenti
    • Cristea Rares (toti anii de studiu), ales de 95% din alegatorii prezenti
  • In Senatul Universitatii:
    • Cristea Rares, ales de 86% din alegatorii prezenti
    • Istoc Ramona, ales de 73% din alegatorii prezenti
Rezultate turul I:
Pentru locurile de reprezentare in Consiliul Facultatii a studentilor de la anul II Matematica si anul II Informatica, procentul de prezenta la vot a fost mai mare de 33%+1 din numarul studentilor reprezentati (42,15%, respectiv 38,93%). Pentru celelalte locuri de reprezentare in Consiliul Facultatii, precum si pentru locurile de reprezentare in Senatul Universitatii, alegerile se vor fi relua in turul II.
Studenti alesi in turul I:
  • In Consiliul Facultatii:
    • Dumitru Nicoleta (anul II Matematica), aleasa de 94% din alegatorii prezenti
    • Anei Alexandra Gabriela (anul II Informatica), aleasa de 97% din alegatorii prezenti


Nota: Pentru locurile pentru care nu se inscrie niciun candidat, nu se organizeaza alegeri. Pentru locurile in Consiliul Facultatii pentru care se inscriu candidati pot vota doar studentii din anul si domeniul carora le corespunde fiecare loc. Pentru locurile in Senatul Universitatii pot vota toti studentii, indiferent de ciclu de studii, an, specializare sau forma de invatamant.
Nota: Regulamentul de alegeri al Facultatii este disponibil aici.
Nota: Regulamentul general de alegeri al Universitatii este disponibil aici.



Prof.dr. Mitrana Victor

  


Data si locul nasterii: 26 iunie 1958, Bucuresti.

Educatia: Absolvent al Facultatii de Matematica, Universitatea Bucuresti, 1986.

Teza de doctorat: 1993, "Sisteme distribuite de gramatici", Cond. stiintific: Dr. Gheorghe Paun.


 Pozitii academice:
   - Asistent 1991-1994,
   - Lector 1994-1999,
   - Conferentiar 1999-2002,
   - Profesor din 2002
   - Conducator de doctorat din 2005

 Cursuri predate:
   - Sisteme de gramatici,
   - L sisteme si aplicatii in generarea imaginilor,
   - Informatica,
   - Notiuni introductive de bioinformatica,
   - Bazele informaticii,
   - Algoritmica,
   - Tehnici de programare,
   - Limbaje formale si automate,
   - Calculabilitate si complexitate,
   - Algoritmica secventelor,
   - Structuri de date,
   - Algoritmi si programare,
   - Tehnici de programare,
   - Modele de calcul neconventional

 Domenii de interes stiintific: Limbaje formale si automate, complexitatea algoritmilor, modele de calcul inspirat din biologie, combinatorica pe cuvinte si secvente infinite, calculabilitate si decidabilitate.

 Premii si distinctii:
   - Premiul "Gheorghe Lazar" al Academiei Romane pe anul 1997
   - Bursa "Alexander von Humboldt" obtinuta prin competitie internationala
   - Bursa "Ramon y Cajal" obtinuta prin competitie internationala
   - Bursa NATO obtinuta prin competitie internationala
   - Pozitie de profesor invitat la Universitatea din Pisa pentru un an, obtinuta prin competitie internationala (declinata)
   - Bursa a guvernului spaniol obtinuta prin competitie internationala

 Membru in comisii, asociatii, colective de redactie:
   - Editor asociat la International Journal of Computational and Applied Mathematics
   - Editor la Journal of Universal Computer Science
   - Editor la Journal of Computer Science
   - Editor la International Journal of Applied Mathematics and Engineering Sciences
   - Editor la Analele Universitatii Bucuresti, seria Informatica
   - Membru in comisia din MEC privind acreditarea titlurilor de doctor, calitatii de conducator de doctorat, IOSUD
   - Membru in PC la cateva conferinte academice internationale: (ICWLC'2000, ECAI 2004 - Workshop on Symbolic Networks, DCFS 2004, IWINAC 2005, CIAA 2005, DCFS 2006, IWINAC 2007, LATA 2007, DCFS 2007).

 Activitate stiintifica:
   - Autor a doua carti in limba romana si o carte in limba engleza
   - Co-editor la patru carti publicate la Kluwer Academic, Taylor and Francis si Springer-Verlag (2).
   - Autor sau co-autor la 157 de lucrari publicate in jurnale, lucrari ale unor conferinte, carti colective
   - 55 articole in publicatii ISI
   - 89 articole in publicatii recenzate MathSciNet
   - 96 articole in publicatii recenzate Zentrallblatt Math
   - 86 artocole in publicatii recenzate DBLP
   - autor unic pentru 31 lucrari
   - 41 co-autori
   - 289 citari in 181 lucrari cu 135 autori

- Conferinte la universitati din Germania (Magdeburg, Frankfurt, Hamburg), Finlanda (Turku), Japonia (Kyoto, Tokyo), Italia (Rome, Pisa), Spania (Tarragona, Madrid, Valencia, Sevilia), Ungaria (Budapesta, Szeged), Belgia (Ghent, Bruxelles), Cehia (Praga, Opava), Olanda (Leiden), Austria (Viena), Turcia (Istanbul).

Carti

  1. V. Mitrana: Provocarea algoritmilor. Editura Agni, Bucuresti, 1995, 160 pagini.
  2. V. Mitrana: Bioinformatica. Editura L&S Infomat, Bucuresti, 1998, 196 pagini.
  3. V. Mitrana: New Developments in Formal Language Theory Inspired from Biology, Editura Universitatii din Bucuresti, 2001, 215 pagini.

Capitole in carti colective:

  1. C. Martin-Vide, V. Mitrana: Networks of Evolutionary Processors: Results and Perspectives. In Molecular Computational Models: Unconventional Approaches, Idea Group Publishing, Hershey, 2005, 78-114.

Carti editate:

  1. C. Martin-Vide, V. Mitrana: Where Do Mathematics, Computer Science, Linguistics and Biology Meet, Kluwer Academic, Dordrecht, 2000, 448 pagini.
  2. C. Martin-Vide, V. Mitrana: Grammars and Automata for String Processing. From Mathematics and Computer Science to Biology and Back, Taylor and Francis, London, 2003, 422 pagini.
  3. C. Martin-Vide, V. Mitrana, G. Paun: Formal Languages and Applications, Springer Verlag, Berlin, 2003, 624 pagini.
  4. Z. Esik, C. Martin-Vide, V. Mitrana: Recent Advances in Formal Languages and Applications, Springer-Verlag, Berlin, 2006, 351 pagini.

Numere speciale de jurnale ca editor invitat:

  1. V. Mitrana, Special Issue on the 1st International PhD School on Formal Languages and Applications, GRAMMARS vol.7 (2004).

Articole in jurnale:

  1. A. Atanasiu, V. Mitrana: The modular grammars. International Journal of Computer Mathematics, 30 (1989), 17-35.
  2. V. Mitrana: Grammar-gsm pairs. Annals of the University of Bucharest, Series Mathematics-Informatics, 3 (1990-1991), 64-71.
  3. V. Mitrana: Valence grammars on a free generated group. Bulletin of the EATCS, 47 (1992), 174-179.
  4. V. Mitrana: On languages satisfying the "interchange lemma". R.A.I.R.O./ Theoretical Informatics and Applications, 27, 1 (1993), 71-79.
  5. V. Mitrana: Some remarks on Paun-Salomaa sequences. Bulletin of the EATCS, 49 (1993), 175-178.
  6. V. Mitrana: Cooperating/distributed grammar systems with total activation. Studii Cercetari Matematice, 45, 1 (1993), 31-37.
  7. V. Mitrana: Hybrid cooperating/distributed grammar systems. Computers and Artificial Intelligence, 12, 1 (1993), 83-88.
  8. J. Dassow, V. Mitrana, Gh. Paun: Szilard languages associated to a cooperating distributed grammar system. Studii Cercetari Matematice, 45, 5 (1993), 403-413.
  9. E. Csuhaj-Varju, J. Dassow, V. Mitrana, Gh. Paun: Cooperation in grammar systems: universality, similarity, timing. Cybernetica, 36, 4 (1993), 271-286.
  10. A. Atanasiu, V. Mitrana: Parallel substitution on words and languages. Annals of the University Al.I.Cuza, Iasi, Inf., 2 (1993), 37-43.
  11. A. Mateescu, V. Mitrana, A. Salomaa: Dynamical teams in cooperating distributed grammar systems. Annals of the University of Bucharest, (1993-1994), 3-14.
  12. V. Mitrana, Gh. Paun, G. Rozenberg: Structuring grammar systems by priority and hierarchies. Acta Cybernetica, 11, 3 (1994), 189-204.
  13. V. Mitrana: Similarity in grammar systems. Fundamenta Informaticae, 24 (1995), 3, 251-257.
  14. V. Mitrana: Distributed catenation versus shuffle. Bulletin of the EATCS, 58 (1996), 163-167.
  15. V. Mitrana, Gh. Paun, G. Rozenberg, A. Salomaa: Pattern systems. Theoretical Computer Science, 154, 2 (1996), 183-201.
  16. J. Dassow, V. Mitrana: Splicing grammar systems, Computers and Artificial Intelligence, 15 (1996), 2-3, 109-122.
  17. J. Dassow, V. Mitrana, Gh. Paun, S. Vicolov: On determinism in cooperating distributed grammar systems. Publicationes Mathematicae, 48 (1996), 3-4, 217-231.
  18. J. Dassow, V. Mitrana: "Call by name" and "call by value" strategies in grammar systems. Annals of the University of Bucharest, 1 (1996), 29-40.
  19. L.Ilie, V. Mitrana: Binary self-adding languages and sequences. International Journal of Computer Mathematics, 62 (1996), 171-181.
  20. V. Mitrana: Iterated pattern languages. Journal of Automata, Languages and Combinatorics, 1 (1996), 4, 305-311.
  21. J. Dassow, V. Mitrana: Fairness in grammar systems. Acta Cybernetica 12 (1996), 331-345.
  22. V. Mitrana: On the interdependence between shuffle and crossing-over operations. Acta Informatica, 34 (1997), 257-267.
  23. J. Dassow, V. Mitrana: Cooperation in context-free grammar, Theoretical Computer Science, 180 (1997) 353-361.
  24. V. Mitrana: Some remarks on morphisms and primitivity. Bulletin of the EATCS, 62 (1997), 213-216.
  25. V. Mitrana: Crossover systems. A generalization of splicing systems. Journal of Automata, Languages and Combinatorics, 2 (1997), 3, 151-160.
  26. V. Mitrana: Primitive morphisms. Information Processing Letters, 64 (1997) 277-281.
  27. J. Dassow, V. Mitrana, A. Salomaa: Context-free evolutionary grammars and the structural language of nucleic acids. BioSystems, 4 (1997) 169-177.
  28. J. Dassow, V. Mitrana: On the leftmost derivations in cooperating grammar systems. Revue Roumaine de Mathematiques Pures et Appliquees, 43, 3-4 (1998), 361-374.
  29. V. Mitrana: Parallelism in contextual grammars. Fundamenta Informaticae, 33 (1998), 281-294.
  30. V. Mitrana: Chomsky-Schutzenberger type characterizations based on contextual languages, GRAMMARS, 1 (1988), 167-176.
  31. A. Atanasiu, V. Mitrana: On the error-tolerant closure of languages, Annals of the University of Bucharest, Mathematics-Informatics Series, 47 (1998) 5-14.
  32. C. Martin-Vide, V. Mitrana: Cooperation in contextual grammars, Romanian Journal of Information Science and Technology, 3 (1998) 231-241.
  33. J. Dassow, V. Mitrana: Stack cooperation in multi-stack pushdown automata, Journal of Computer and System Sciences, 58 (1999), 611-621.
  34. V. Mitrana, G. Rozenberg: Some properties of duplication grammars. Acta Cybernetica, 14, 1 (1999), 165-177.
  35. J. Dassow, V. Mitrana: D0L-pattern systems, Publicationes Mathematicae, 54 (1999), 653-666.
  36. V. Mitrana: Patterns and languages: An overview, GRAMMARS, 2, 2 (1999), 149-173.
  37. J. Dassow, V. Mitrana, Gh. Paun: On the regularity of duplication closure, Bulletin of the EATCS, 69 (1999), 133-137.
  38. E. Csuhaj-Varju, V. Mitrana: Evolutionary systems: A language generating device inspired by evolving communities of cells, Acta Informatica, 36, 11 (2000), 913-926.
  39. V. Mitrana: On the degree of communication in parallel communicating finite automata, Journal of Automata, Languages and Combinatorics, 5, 3 (2000), 301-314.
  40. J. Dassow, V. Mitrana: Finite automata over the free generated groups, International Journal of Algebra and Computation, 10, 6 (2000), 725-738.
  41. E. Csuhaj-Varju, C. Martin-Vide, V. Mitrana, G. Vaszil: Parallel communicating pushdown automata systems, International Journal of Foundations of Computer Science, 11, 4 (2000), 633-650.
  42. C. Martin-Vide, V. Mitrana: Parallel communicating automata systems. A survey. Invited article in Korean Journal of Computational and Applied Mathematics. An International Journal, 7 (2), 2000, 237-257.
  43. J. Kelemen, A. Kelemenova, C. Martin-Vide, V. Mitrana: Colonies with limited activation of components, Theoretical Computer Science, 244, 1-2 (2000), 289-298.
  44. E. Csuhaj-Varju, V. Mitrana: Dynamical teams in eco-grammar systems. Fundamenta Informaticae, 44, 1-2 (2000), 83-94.
  45. C. Martin-Vide, V. Mitrana: Uniquely parsable CD grammar systems, Journal of Universal Computer Science, 6, 9 (2000), 850-861.
  46. V. Mitrana, R. Stiebe: Extended finite automata over groups. Discrete Applied Mathematics, 108, 3 (2001), 247-260.
  47. S. Kobayashi, V.Mitrana, Gh. Paun, G. Rozenberg: Formal properties of PA-Matching, Theoretical Computer Science, 262, 1-2 (2001), 117-131.
  48. C. Martin-Vide, V. Mitrana: Some undecidable problems for parallel communicating finite automata systems, Information Processing Letters, 77, 5-6 (2001), 239-245.
  49. A. Kelemenova, J. Kelemen, V. Mitrana: Towards Biolinguistics. New developments in formal language theory inspired from biology, GRAMMARS, 4, 3 (2001), 187-203.
  50. M. Ito, C. Martin-Vide, V. Mitrana: Group weighted finite transducers, Acta Informatica, 38 (2001), 117-129.
  51. C. Martin-Vide, V. Mitrana, Gh. Paun: On the power of valuations in P systems, Computacion y Sistemas, 5,2 (2001), 120-128.
  52. M. Kudlek, V. Mitrana: Closure properties of multiset languages, Fundamenta Informaticae, 49, 1-3 (2001), 191-203.
  53. J. Dassow, V. Mitrana, A. Salomaa: Operations and language generating devices suggested by the genome evolution, Theoretical Computer Science, 270, 1-2 (2002), 701-738.
  54. R. Freund, C. Martin-Vide, V. Mitrana: On some operations suggested by gene assembly in ciliates. New Generation Computing, 20, 3 (2002), 279-293.
  55. C. Martin-Vide, A. Mateescu, V. Mitrana: Parallel finite automata systems communicating by states, International Journal of Foundation of Computer Science, 13, 5 (2002), 733-749.
  56. C. Martin-Vide, V. Mitrana: Grammars with bounded-life resources, Journal of Automata, Languages, and Combinatorics, 7, 4 (2002), 561-570.
  57. C. Martin-Vide, V. Mitrana, R. Stiebe: Weighted grammars and automata with threshold interpretation, Journal of Automata, Languages, and Combinatorics, 8, 2 (2003), 303-318.
  58. C. Martin-Vide, V. Mitrana: Networks of evolutionary processors: a survey, Theoria, 18 (2003), no.46, 59-70.
  59. M. Kudlek, C. Martin-Vide, V. Mitrana: Multiple pattern interpretations, GRAMMARS, 5 (2002), 223-238.
  60. J. Castellanos, C. Martin-Vide, V. Mitrana, J. Sempere: Networks of evolutionary processors, Acta Informatica, 39 (2003), 517-529.
  61. V. Mitrana, K.G. Subramanian, M. Tataram: Pictural Networks of Evolutionary Processors, Romanian Journal of Information Science and Technology, 6 (2003), no.1-2, 189-199.
  62. A. Atanasiu, C. Martin-Vide, V. Mitrana: On the sentence valuation in a semiring. Information Sciences, 151 (2003), 107-124.
  63. M. Kudlek, C. Martin-Vide, A. Mateescu, V. Mitrana: Contexts and the concept of mild context-sensitivity, Linguistics and Philosophy, 26, 6 (2003), 703-725.
  64. M. ter Beek, E. Csuhaj-Varju, V. Mitrana: Teams of pushdown automata, International Journal of Computer Mathematics, 81, 2 (2004), 141-156.
  65. I. Ardelean, M. Gheorghe, C. Martin-Vide, V. Mitrana: A computational model for cell differentiation, BioSystems, 76(2004), 1-3, 169-176.
  66. M. Gheorghe, V. Mitrana: A formal language based approach in biology, Comparative and Functional Genomics 5 (2004), 91-94.
  67. J. Dassow, V. Mitrana, G. Paun, R. Stiebe: On functions and related languages of context-free grammars, RAIRO/Theoretical Informatics and Applications, 38 (2004), 257-267.
  68. J. Castellanos, P. Leupold, V. Mitrana: On the size complexity of hybrid networks of evolutionary processors, Theoretical Computer Science, 330, 2 (2005) 205-220.
  69. P. Bottoni, A. Labella, V. Manca, V. Mitrana: Superposition Based on Watson-Cricklike complementarity, Theory of Computing Systems, 39, 4 (2006), 503-524.
  70. P. Leupold, C. Martin-Vide, V. Mitrana: Uniformly bounded duplication languages, Discrete Applied Mathematics, 146, 3 (2005), 301-310.
  71. V. Mitrana: Marcus external contextual grammars: from one to many dimensions, Fundamenta Informaticae, 54, 1-4 (2005), 307-316.
  72. E. Csuhaj-Varju, C. Martin-Vide, V. Mitrana: Hybrid NEPs are computationally complete, Acta Informatica, 41, 4-5 (2005), 257-272.
  73. M. ter Beek, C. Martin-Vide, V. Mitrana: Synchronized shuffles, Theoretical Computer Science, 341 (2005), 263-275.
  74. M. A. Grando, V. Mitrana: A possible connection between two theories: grammar systems and concurrent programming, Fundamenta Informatica, 76, 3 (2007), 325-336.
  75. F. Manea, C. Martin-Vide, V. Mitrana: Accepting networks of splicing processors: complexity results, Theoretical Computer Science, 371(2007), 72-82.
  76. F. Manea, V. Mitrana, D.C. Voinescu: Synchronized shuffle on backbones, Fundamenta Informaticae, 73, 1-2 (2006), 191-202.
  77. A. Choundary, K. Krithivasan, V. Mitrana: Returning and non-returning PCFA are equivalent, RAIRO/Theoretical Informatics and Applications, in press.
  78. F. Manea, C. Martin-Vide, V. Mitrana: On the size complexity of universal accepting hybrid networks of evolutionary processors, Mathematical Structures in Computer Science, in press.
  79. R. Loos, V. Mitrana: Non-preserving splicing with delay, International Journal of Computer Mathematics, in press.
  80. C. Martin-Vide, V. Mitrana: Remarks on multiple pattern interpretations, Information Processing Letters, 101, 5 (2007), 209-214.
  81. P. Leupold, V. Mitrana: Uniformly bounded duplication codes, RAIRO Theoretical Informatics and Applications, in press.
  82. F. Manea, V. Mitrana: All NP-problems can be solved in polynomial time by accepting hybrid networks of evolutionary processors of constant size, Information Processing Letters, in press.

Articole in lucrarile unor conferinte academice

  1. A. Atanasiu, V. Mitrana: O structura de convergenta pe spatiul seriilor formale de puteri, Proc. of the 6th National Symp. "Info-Iasi", Iasi, Romania, 1987, 41-49.
  2. A. Atanasiu, V. Mitrana: Queue automata. Decisions problems. Proc. of the Second Colloquium on Logics, Languages, Math. Linguistics, Brasov, Romania, 1988, 1-6.
  3. A. Atanasiu, V. Mitrana: Modular grammars. Generative power and properties of closure. Proc. of the Second Colloquium on Logics, Languages, Math. Linguistics, Brasov, Romania, 1988, 161-168.
  4. V. Mitrana: Leftmost derivation in modular grammars, Proc. of the 7th National Symp. "Info-Iasi", Iasi, Romania, 1989, 83-88.
  5. V. Mitrana: On grammatical interpretattion. Proc. of the Third Colloquium on Logics, Languages, Math. Linguistics, Brasov, Romania, 1991, 86-93.
  6. V. Mitrana: On grammatical similarity. Proc.of "Salodays in Computer Science", Hyperion Press, Bucharest, l993, 126-134.
  7. A. Atanasiu, V. Mitrana: Parallel substitution on words and languages. Proc. of the 9th ROSYCS '93, Iasi, 1993, 24-30.
  8. V. Mitrana: On some classes of grammar systems. Developments in Theoretical Computer Science, Proc. of the 7th IMYCS '92, Gordon and Breach Science Publishers, 1994, 153-162.
  9. A. Atanasiu, V. Mitrana: Substitution on words and languages. in Developments in language theory. At the Crossroads of Mathematics, Computer Science and Biology (A.Salomaa, G.Rozenberg, eds.), World Scientific Publishing, 1994, 51-60.
  10. A. Atanasiu, V. Mitrana: Formal cryptation systems. Proc. of COMP-Sec '94, Technical Military Academy of Romania, 1995, 29-36.
  11. V. Mitrana: Binary self-adding sequences. Developments in Language Theory. At the Crossroads of Mathematics, Computer Science and Biology, World Scientific Publishing, 1996, 62-68.
  12. L.Ilie, V. Mitrana: Crossing-over on languages. A formal representation of the recombination of genes in a chromosome. German Conference on Bioinformatics GCB '96, Leipzig, Germany, 1996, 87-93.
  13. J. Dassow, V. Mitrana: Evolutionary grammars: a grammatical model for genome evolution. Bioinformatics. Proceedings of GCB '96, Lecture Notes in Computer Science, 1278, Springer-Verlag, 1997, 199-209.
  14. J. Dassow, V. Mitrana: On some operations suggested by the genome evolution. Pacific Symposium on Biocomputing '97, Hawaii, 1997, 97-108.
  15. J. Dassow, V. Mitrana: The degree of parallelism in contextual grammars with the strategy of minimal competence. In Mathematical and Computational Analysys of Natural Language, Studies in Functional and Structural Linguistics 45, John Benjamins, Amsterdam, 1998, 3-16.
  16. J. Dassow, V. Mitrana, G. Paun: Point mutations in context-free languages. Proc. of DLT '97, 1997, 429-446.
  17. C. Martin-Vide, V. Mitrana: Cooperation in contextual grammars. In MFCS '98 Workshop on Grammar Systems. Proceedings, Silesian University, Institute of Computer Science, 1998, 289-302.
  18. A. Atanasiu, V. Mitrana: Distributed encryption systems. In Proc. of ROSYCS '98, 1998, 47-56.
  19. C. Martin-Vide, V. Mitrana: An algebraic model of synonymy. In MFCS '98 Workshop on Mathematical Linguisitics. Proceedings, University of Hamburg, Fachbereich Informatik, Bericht 213/1998, 107-115.
  20. V. Mitrana: On the degree of communication in parallel communicating finite automata, Workshop on Descriptional Complexity of Automata, Grammars and Related Structures, Otto-von-Guericke Universitat, 155-165, 1999.
  21. V. Mitrana, R. Stiebe: Extended finite automata over groups. Proc. of the 1st Conference on Semigroups and Algebraic Engineering, Aizu, World Scientific, 1999, 317-329.
  22. C. Martin-Vide, V. Mitrana: Uniquely parsable CD grammar systems, Sixth Intern. Workshop on Parsing Technologies IWPT 2000, 2000, 313-315.
  23. V. Mitrana: Parsability approaches in CD grammar systems, Proceedings of the Workshop in Grammar Systems, Bad Ischl, 2000, 165-185.
  24. C. Martin-Vide, V. Mitrana: P Systems with valuations, Proceedings of the Second International Conference on Unconventional Models of Computation UMC '2K, Springer Verlag, London, 2000, 154-166.
  25. V. Mitrana: Parallel communicating finite automata systems, Proc. of Algebraic Systems, Formal Languages and Computations, RIMS Kokyuroku, 2000, 178-191.
  26. J. Castellanos, C. Martin-Vide, V. Mitrana, J. Sempere: Solving NP-complete problems with networks of evolutionary processors, Proc. of the 6th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2001, Lecture Notes in Computer Science 2048, Springer Verlag, Berlin, 2001, 621-628.
  27. E. Csuhaj-Varju, C. Martin-Vide, V. Mitrana: Multiset automata, Multiset Processing, Lecture Notes in Computer Science 2235, 2001, 69-84.
  28. M. Ito, C. Martin-Vide, V. Mitrana: Chomsky-Schutzenberger type characterizations of poly-slender and Parikh slender context-free languages, Proceedings of Formal Grammars/Mathematics of Languages FGMOL '01, 2001, 104-112.
  29. M. Kudlek, V. Mitrana: Normal forms for multiset grammars, Multiset Processing, Lecture Notes in Computer Science 2235, 2001, 135-146.
  30. C. Martin-Vide, V. Mitrana: Grammars with bounded-life resources, Proc. Descriptional Complexity of Automata, Grammars and Related Structures, DCAGRS '01, 2001, 214-222.
  31. S. Marcus, C. Martin-Vide, V. Mitrana, Gh. Paun: A new-old class of linguistically motivated regulated grammars, 7th International Conference on Computational Linguistics in Netherlands, CLIN 2001, Rodopi, Amsterdam, 2001, 111-125.
  32. M. Kudlek, V. Mitrana: Closure properties of multiset languages, Workshop on Membrane Computing, WMC2001, Curtea de Arges, August 20-25, 2001, 157-168.
  33. C. Martin-Vide, V. Mitrana, R. Stiebe: Weighted grammars and automata with maximum interpretation, Weighted Automata: Theory and Applications 2002, TUD-FI 20-02, 32-35.
  34. M. Kudlek, V. Mitrana: Considerations on a multiset model for membrane computing, Proc. Workshop in Membrane Computing (WMC 2002), Lecture Notes in Computer Science 2597, Springer Verlag, Berlin, 2003, 352-358.
  35. A. Atanasiu, C. Martin-Vide, V. Mitrana: On the sentence valuations in a semiring, (Invited lecture) Proc. International Conference Words, Languages and Combinatorics III, World Scientific, Singapore, 2003, 22-39.
  36. E. Csuhaj-Varju, V. Mitrana, G. Vaszil: Distributed automata systems: computational power, Developments in Language Theory (DLT 2003), Lecture Notes in Computer Science 2710, Springer Verlag, Berlin, 2003, 218-229.
  37. C. Martin-Vide, V. Mitrana, M.J. Perez-Jimenez, F. Sancho-Caparrini: Hybrid networks of evolutionary processors, Genetic and Evolutionary Computation Conference (GECCO 2003), Lecture Notes in Computer Science 2723, Springer Verlag, Berlin, 2003,401-412.
  38. M. Gheorghe, C. Martin-Vide, V. Mitrana, M.J. Perez-Jimenez: An agent based approach of collective foraging, International Work-Conference on Artificial and Natural Neural Networks (IWANN 2003), Lecture Notes in Computer Science 2686, Springer Verlag, Berlin, 2003, 638-645.
  39. M. ter Beek, E. Csuhaj-Varju, V. Mitrana: Teams of pushdown automata, International Conference on Perspectives of System Informatics (PSI 2003), Lecture Notes in Computer Science 2890, Springer-Verlag, Berlin, 2003, 329-337.
  40. I. Ardelean, M. Gheorghe, C. Martin-Vide, V. Mitrana: A computational model for cell differentiation, Workshop Pre-Proceedings, IPCAT2003, Lausanne, Switzerland, 2003, 275-287.
  41. C. Martin-Vide, V. Mitrana: Some remarks on multiple pattern interpretations, Proceeding of Mathematics of Languages (MOL 8), 2003, 105-117.
  42. V. Mitrana: Some complexity aspects of hybrid networks of evolutionary processors, Proc. Descriptional Complexity of Formal Systems (DCFS 2003) (Invited plenary lecture), 2003, 5-20.
  43. E. Csuhaj-Varju, C. Martin-Vide, V. Mitrana: Parallel communicating finite transducer systems, Computational Linguistics in the Netherlands (CLIN 2002), Language and Computers: Studies in Practical Linguistics, Rodopi, Amsterdam-NY, 2003, 9-24.
  44. C. Martin-Vide, V. Mitrana: A new uniform translocation distance, Structural, Syntactic, and Statistical Pattern Recognition SSPR 2004, LNCS 3138 (2004).
  45. M. Margenstern, V. Mitrana, M. Perez-Jimenez: Accepting hybrid networks of evolutionary systems, Proc. DNA Based Computers DNA 10, LNCS 3384 (2005), 235-246.
  46. M. A. Grando, V. Mitrana: Can PC grammar systems benefit from concurrent programming?, Grammar System Week, Budapest, 2004, 200-211.
  47. F. Manea, C. Martin-Vide, V. Mitrana: Solving 3CNF-SAT in linear time with WWW, Machines, Computability, Universality, MCU 2004, LNCS 3354, 2005, 269-280.
  48. F. Manea, C. Martin-Vide, V. Mitrana: Accepting networks of splicing processors, Computation in Europe CiE 2005, LNCS 3526 (2005) , 300-309.
  49. C. Martin-Vide, V. Mitrana: Contextual information systems, CONTEXT '05, LNAI 3554, 2005, 304-315.
  50. C. Martin-Vide, V. Mitrana: Remarks on multiple pattern interpretations, Automata and Formal Languages AFL05, 2005, 200-212.
  51. R. Loos, V. Mitrana: Non-preserving splicing with delay, DNA Based Computers DNA11, 2005, 237-249.
  52. F. Manea, C. Martin-Vide, V. Mitrana: A universal accepting hybrid network of evolutionary processors, First International Workshop on Developments in Computational Models, DCM '05, ENTCS 93 (2006), 15-24.
  53. C. Martin-Vide, V. Mitrana: Further properties of path-controlled grammars, Formal Grammars/Mathematics of Languages, FG-MOL10, CSLI Publications 2005, 139-150.
  54. D. Cheptea, C. Martin-Vide, V. Mitrana: A new operation on words suggested by DNA biochemistry: hairpin completion, Transgressive Computing, 2006, 216-228.
  55. C. Martin-Vide, V. Mitrana: Descriptional and computational aspects of generating and accepting hybrid networks of evolutionary processors, Proc. Conference on Algebraic Informatics CAI’05, 2005, 207-220.
  56. Florin Manea, Carlos Martin-Vide, Victor Mitrana: All NP-Problems can be solved in polynomial time by ANSP of constant size, DNA Based Computers DNA 12, LNCS 4287, 2006, 47-57.
  57. Remco Loos, Carlos Martin-Vide, Victor Mitrana: Solving SAT and HPP with accepting splicing systems, Parallel Problem Solving from Nature PPSN IX, LNCS 4193, 2006, 771-777.
  58. J. Castellanos, L.F. de Mingo Lopez, V. Mitrana: Solving SAT by accepting networks of splicing processors with filtered connections, 15th International Conference on Computing CIC 2006, IEEE Computer Society, 2006, 260-265.
  59. Florin Manea, Carlos Martin-Vide, Victor Mitrana: On some algorithmic problems regarding the hairpin completion, Optimal Discrete Structures and Algorithms ODSA 2006, Electronic Notes in Discrete Mathematics 27 (2006) 7172.
  60. F. Manea, V. Mitrana: Hairpin completion versus hairpin reduction, Computation in Europe CiE 2007, in press.

Articole in carti colective

  1. V Mitrana: Contextual grammars: the strategy of minimal competence. Mathematical Aspects of Natural and Formal Languages, World Scientific Publishing, 1994, 319-331.
  2. V. Mitrana: Contextual insertion and deletion. Mathematical Linguistics and Related Topics, The Publishing House of the Romanian Academy, 1994, 271-278.
  3. V. Mitrana: Eco-pattern systems. Artificial Life. Grammatical Models., The Black Sea Univ. Press, 1995, 202-209.
  4. V. Mitrana, R. Stiebe: The accepting power of finite automata over groups. New Trends in Formal Languages. Control, Cooperation, Combinatorics. LNCS 1218, Springer, 1997, 39-48.
  5. V. Mihalache, V. Mitrana: Deterministic cooperating distributed grammar systems. New Trends in Formal Languages. Control, Cooperation, Combinatorics. LNCS 1218, Springer, 1997, 137-149.
  6. V. Mitrana: On the degree of cooperation in CD grammar systems. Grammatical Models of Multi-Agent Systems, Gordon and Breach, 1999, 33-40.
  7. J. Dassow, V. Mitrana: Self-crossing-over systems. Computing with Bio-Molecules, Springer-Verlag Singapore, 1998, 283-294.
  8. A. Atanasiu, V. Mitrana: About symbolic encryption. Separable encryption systems. Grammatical Models of Multi-Agent Systems, Gordon and Breach, 1999, 218-225.
  9. C. Martin-Vide, V. Mitrana: On context-free duplications, Recent topics in mathematical and computational linguistics, The Publishing House of the Romanian Academy, 2000, 196-206.
  10. J. Kelemen, A. Kelemenova, V. Mitrana: Neo-modularity and colonies, Where Linguistics, Computer Science and Biology Do Meet, Kluwer Academic Publisher, 2000, 63-74.
  11. J. Castellanos, V. Mitrana: Some remarks on hairpin and loop languages, Words, Semigroups, and Tranlations, World Scientific, Singapore, 2001 47-59.
  12. L. Ilie, V. Mitrana: Crossing-over on languages. A formal representation of chromosomes recombination. In Grammars and Automata for String Processing. From Mathematics and Computer Science to Biology and Back, Gordon and Breach, 2003, 289-302.
  13. P. Leupold, V. Mitrana, J. Sempere: Formal languages arising from gene repeated duplication. Aspects of Molecular Computing, Lecture Notes in Computer Science 2950, Springer Verlag, Berlin, 2003, 297-308.
  14. P. Domosi, C. Martin-Vide, V. Mitrana: Remarks on sublanguages consisting of primitive words of slender regular and context-free languages, Theory Is Forever LNCS 3113, 2004, 60-68.
  15. J. Dassow, C. Martin-Vide, V. Mitrana: Free generating hybrid networks of evolutionary processors, Formal Models, Languages and Applications Series in Machine Perception and Artificial Intelligence vol. 66, 2006, World Scientific, Singapore, 65-78.

Rapoarte tehnice

  1. E. Csuhaj-Varju, J. Dassow, V. Mitrana, Gh. Paun: Cooperation in grammar systems: universality, similarity, timing. Technische Universit¨at "Otto von Guericke" Magdeburg, INF-4-93, 1993.
  2. L.Ilie, V. Mitrana: Crossing-over on languages. A formal representation of the recombination of genes in a chromosome. Turku Centre for Computer Science, TR 32, 1995.
  3. J. Dassow, V. Mitrana, A. Salomaa: Context-free evolutionary grammars and the structural language of nucleic acids. Turku Centre for Computer Science, TR 68, 1996.
  4. V. Mitrana: On morphisms preserving primitive words. Turku Centre for Computer Science, TR 69, 1996.
  5. V. Mitrana, Gh. Paun, G. Rozenberg, A. Salomaa: Pattern systems. Technical Report 94-20 (1994), University of Leiden, The Netherlands.
  6. V. Mitrana, R. Stiebe: The accepting power of finite automata over groups. Turku Centre for Computer Science, TR 70, 1996.
  7. V. Mihalache, V. Mitrana: Deterministic cooperating distributed grammar systems. Turku Centre for Computer Science, TR 63, 1996.
  8. V. Mitrana, G. Rozenberg, A. Salomaa: On the crossover distance, TUCS Technical Report No 223, 1998.
  9. A. Atanasiu, C. Martin-Vide, V. Mitrana: On the sentence valuations in a semiring. An approach to the study of synonymy, TUCS Technical Report No 224, 1998.
  10. M. ter Beek, C. Martin-Vide, V. Mitrana: Synchronized shuffles, Technical Report 2003-TR-40, Istituto di Scienza e Tecnologie dell 'Informazione, Consiglio Nazionale delle Ricerche, 2003.



Actualizat: 23 martie 2007



2002 - 2015 -- Facultatea de Matematica si Informatica, Universitatea din Bucuresti
Str. Academiei nr. 14, sector 1, C.P. 010014, Bucuresti, Romania
Tel: (4-021) 314 2863, Fax: (4-021) 315 6990, secretariat fmi.unibuc.ro