Dragos Vaida 1 iunie 1933-4 august 2020

Prezentare de prof. dr. Afrodita Iorgulescu
Domnul Profesor Dragoş Alexandru
Vaida
s-a născut la 1 iunie 1933, la Constanţa.
A absolvit Facultatea de Matematică-Fizică a Universităţii din Bucureşti în
1957,
cu diplomă de merit, având conducător ştiinţific pe academicianul Gr.C. Moisil
şiprofesori pe academicienii Caius Iacob şi Miron Nicolescu, pe Dan Barbilian.
Urmare a recomandării lui Gr.C. Moisil, face doctoratul în matematică cu
celebrul A.G. Kuroş, la Facultatea de Matematică-mecanică a universităţii
« M.V. Lomonosov » din Moscova, titlul tezei fiind:
« Unele rezultate relative la structuri algebrice parţial ordonate »,
teză susţinută în noiembrie 1964.
Alături de Gr.C. Moisil, este printre primii matematicieni din România care
s-au orientat spre informatică.
Domeniile sale de competenţă şi cercetare sunt:
- structuri algebrice ordonate în sintaxă şi semantică,
- limbaje formale şi limbaje de programare,
- limbaje formale şi algebra constructivă,

A fost:
- cercetător ştiinţific la Institutul de Fizică Atomică al Academiei (1957-1963),
- cadru didactic la Institutul de Construcţii din Bucureşti (1959-1963),
- cercetător şt. al Centrului de Calcul al Academiei de Studii Economice,
director adjunct ştiinţific (1966-1970) al Centrului de Calcul al
Academiei de Studii Economice şi
cadru didactic la Academia de Studii Economice (1963-1970),
- cadru didactic (conferenţiar, profesor) la Universitatea din Bucureşti,
Facultatea de matematică, Catedra de Fundamentele Informaticii (din 1970);
- visiting professor şi a avut cooperări cu universităţile din Bologna, Bordeaux,
Trento şi Napoli, cu École Normale Supérieure, cu Duke University (S.U.A.),
cu Departamentul de informatică - INESC – din Lisabona.
A ţinut prelegeri la universităţile din Milano, Oxford, Pisa, Genova,
Iowa, Kent,
North Carolina, “La Sapienta” din Roma.

A fost
- secretar ştiinţific al Comisiei de Cibernetică a Academiei Române (şeful
comisiei era Gr.C. Moisil),
- director general adjunct la Ministerul Educatiei şi Cercetării şi
- director adjunct al Centrului European UNESCO pentru Învăţământul Superior.
A fost membru în comitetele de redacţie la:
- Analele Universităţii Bucureşti – Informatică,
- Informatică şi Modele în Ştiinţele Sociale,
- European Journal of Education.
A fost membru al organizaţiilor profesionale ACM, UNESCO – Divizia
“Învăţământul Superior”.
A fost recenzent la Mathematical Reviews, Computing Reviews.
A primit în 2000 Premiul Gr.C. Moisil şi medalia Gr.C. Moisil de la Asociaţia
INFOREC (Asociaţia pentru Promovarea Învăţământului de Informatică
Economică) din A.S.E..

A scris următoarele monografii:
M1. Întocmirea planului de formare a trenurilor de marfă cu ajutorul
maşinilor electronice de calculat, Editura Transporturilor şi
Telecomunicaţiilor, Bucureşti,1963, 50 p.
(cu C. Tomescu, A. Cristache, V. Zinca, Gh. Lalescu).
M2. Programarea calculatoarelor electronice, Editura Academiei Române,
Bucureşti, 1967, 384 p.
M3. Descrierea proceselor de calcul pentru calculatoarele electronice mici,
Editura Tehnică, Bucureşti, 1967, 123 p.
M4. Elemente de informatică aplicată, Editura de Stat Didactică şi Pedagogică,
M5. Algoritmi de compilare, Editura de Stat Didactică şi Pedagogică,
M6. Structuri matematice discrete. Aplicaţii, Editura Academiei Române,
Bucureşti, 1989, 214 p. (cu A. Mateescu).

A fost unul din coordonatorii
volumului:
Grigore C. Moisil şi continuatorii săi/ Grigore C. Moisil and his followers,
Editura Academiei Române, Bucureşti, 2007
(cu A. Iorgulescu, S. Marcus, S. Rudeanu).

A scris următoarele Manuale şi Cursuri
universitare:
U1. Utilizări ale calculatoarelor electronice de la I.F.A., Editura Academiei Române,
Bucureşti, 1961.
U2. Programarea calculatoarelor electronice cu aplicaţii la ECONOMIST CIFA
102, Institutul de Ştiinţe Economice, Bucureşti, 1966.
U3. Programarea în ALGOL, Comitetul de Stat pentru Construcţii, Arhitectură şi
Sistematizare, Bucureşti, 1967.
U4. Elemente de teoria limbajelor de programare -- Formalizarea sintaxei şi
semanticii limbajelor, Centrul de multiplicare al Universităţii Bucureşti, 1973.
U5. Special chapters on mathematical modelling, University of Bucharest, 1975
(UNESCO post-graduate course).
U6. Limbaje formale şi tehnici de compilare, Centrul de Multiplicare al Universităţii
Bucureşti, 1976.
U7. Special chapters on computers programming, Universitatea Bucureşti, 1978.
U8. Special chapters on computers programming. Aplications of lattice theory in
informatics, Universitatea Bucureşti, 1978.
U9. Special chapters on computers programming. Aplications of language theory
to compiler design, Universitatea Bucureşti, 1979.
U10. Limbaje formale şi tehnici de compilare. Aplicaţii ale algebrelor multisortate
în informatică, Centrul de Multiplicare al Universităţii Bucureşti, 1982.
U11. Limbaje formale şi tehnici de compilare -- Capitole speciale de limbaje
formale, Universitatea Bucureşti, 1984 (cu A. Mateescu).

Articole:
1. Întrebuinţarea imaginarelor lui Galois în teoria algebrică a
mecanismelor automate, Bul. St. Sect. Mat. Fiz., VIII, 1, 1956, 21--29.
2. Extensiunea teoremei de aproximare a lui K. Weierstrass la funcţiile
hiperbolic continue de două variabile, Com. Acad. RPR, VI, 10, 1956,
173--1178.
3. Caracterizarea laticelor modulare prin sisteme cu axiome
independente, St. Cercet. Mat., VIII, 3-4 , 1957, 457--466.
4. Calculul polinoamelor ireductibile modulo 2 cu maşina electronică
de calcul CIFA-1, St. Cercet. Mat., X, 2, 1959, 447--458.
5. Asupra corpurilor parţial ordonate, Com. Acad. RPR, IX, 12, 1959,
1243--1248.

6. Asupra unei ecuaţii funcţionale, An. Univ. C.I. Parhon, St. Mat.
Fiz., 25, 1960, 21--24 (cu V. Vâlcovici).
7. Asupra existenţei unor soluţii olomorfe pentru ecuaţia
f(alpha z)=g(z)f(z), Com. Acad. RPR, X, 5, 1960, 403—407
(cu V. Vâlcovici).
8. Asupra subgrupurilor izolate ale unui grup reticulat necomutativ,
Com. Acad. RPR, X, 11, 1960, 935--939.
9. Caracterizări ale laticilor distributive, Com. Acad. RPR, XI, 7, 1961,
797--800.
10. Rezolvarea unor probleme de transport cu calculatorul electronic
CIFA 2, Com. Acad. RPR, X, 1961, 1147--1149.


11. Relaţii de recurenţă pentru funcţionarea în timp a unor circuite
electronice, Com. Acad. RPR, XII, 2, 1962, 189--194.
12. Un problème de G. Birkhoff, Comptes Rendus Acad. Bulg. Sci., 15, 1962,
801--803.
13. Le cas limite du critère de Wittmeyer pour la mèthode de Gauss-
Seidel, C.R. Acad. Sci. Paris, 255, 2, 1962, 235--237, şi Bull. Math. Soc.
Sci. Math. Phys. RPR, 4 (52), 3-4, 1960, 3--18 (cu I. Barbălat).
14. Idèaux isolès gauches nilpotents et radical isolè, Bull. Math.
Soc. Sci. Math. Phys. RPR, 6 (52), 3-4, 1962, 257--260.
15. Groupes ordonnès dont les èlèments admettent une decomposition
jordanienne generalise, a. Bericht von der Tagung uber Geordnete
Mengen, Brno, Nov. 1963, Publ. Fasc. Sci. Univ. J.E.Purkynè, A 28, 1964/9,
494; b. C.R. Acad. Sci. Paris, 257, 1963, 2053—2055; c. C.R. Acad. Sci.
Paris, 257, 1963, 2222—2223; d. Buc. Instit. Phys. At., EC/2, 1963,
(preprint).

16. Solving transport problems in the railways field with digital computers,
Buc. Inst. At. Phys., EC/1, 1963, 17 p. (preprint) (cu V. Toma).
17. Metode de calcul programate la calculatoarele CIFA pentru rezolvarea
unor probleme din economia transporturilor, Editura Academiei
Române, 1964, 859--861 (cu G. Meiltz, I. Zamfirescu).
18. Groupes ordonné dont les éléments admettent une decomposition
jordanienne géneralisée, Rev. Roumaine Math. Pures Appl. 9, 1964,
929--948.
19. Metode de programare automată. Rutine interpretative, Buc. Inst. Fiz.
At., MC-6, 1964, 22 p. (preprint),
(cu I. Cavadia, G. Meiltz, N. Moldovan, I. Zamfirescu).
20. Nekotoryie rezultaty otnositel'no algebraicheskih chastichno
uporyadochenyh sistem, Buc. Inst. At. Phys., EC/7, 1964, Bul. Inst. Math.,
IX, 227--236.

21. Operatori şi scheme logice pentru descrierea proceselor de calcul,
St. Cercet. Fiz., XVIII, 5, 1966, 525--584.
22. Un limbaj informaţional nou pentru descrierea algoritmică a proceselor
de calcul, St. Cercet. Calcul Econ. Cib. Econ., 1, 1966, 67--76.
23. La langue algorithmique ALGOL pour les ordinateurs petits et moyens,
Econ. Comput. Econ. Cyb. St. Res., 3-4, 1966, 37--45.
24. Limbajul de programare automată elaborat de GAMS, Buc. Inst. Fiz. At.
al Acad. RSR, Limbajul algoritmic elaborat de GAMS, Aut. Elec., 10, 3, 1966,
133--136.
25. Rezolvarea problemelor cu ajutorul calculatorului electronic
ECONOMIST CIFA 102, St. Cercet. Calcul. Econ. Cib. Econ., 3, 1967,
21--42.

26. Numerical methods and programming techniques in economic
informatics, Proc. 5-e Congres Internat. de Cyb., Namur (Belgia), 1968,
433--447.
27. Metode numerice şi tehnici de programare în informatica economică,
St. Cerc. Calcul Econ. Cib. Econ., 1, 1968, 25--47.
28. Aplicaţii ale polinoamelor ortogonale la inversarea matricelor, Aut.
Electron., 12, 2, 1968, 70--72.
29. ALGOL programs on English Electric System, Kidsgrove, International
Comp. Limited, 1968 (UN fellowship), 22 p.
30. Metoda PERT la calculatorul electronic NEAC-1240, St. Cerc. Calcul
Econ. Cib. Econ., 1, 1969, 87--89
(cu C. Ciochină, G. Fabian, St. Mustăţea, Gh. Weisz).

31. Algoritm şi program pentru inversarea de matrice cu aplicaţii la
matricea de balanţă, St. Cerc. Calcul Econ. Cib. Econ., 4, 1969, 71--85
(cu D. Duţă).
32. Utilizări ale maşinilor electronice în calcul economic, St. Cerc. Econ.,
vol. III, 111--120 (cu L. Tovissi).
33. Organizarea informaţiei de conectare în compilarea procedurilor, St.
Cerc. Calcul Econ. Cib. Econ., 6, 1969, 23--28.
34. Implementing a software translation, Proc. Internat. Congress Cyb.
(J. Rose, ed.) London Sept. 1969, Gordon and Breach, 1970, 833--840.
35. Compiler validation for ALGOL like language, Bull. Math. Soc. Sci. Math.
RSR, 14 (62), 4, 1970, 487--502.

36. Programe pentru testarea unui compilator ALGOL 60, St. Cerc. Mat., 24,
2, 1972, 291--313.
37. Modele matematice de clasificare, Inf. Modele Mat. St. Soc., I, 1, 1972,
36--56.
38. Observaţii asupra unor algoritmi iterativi din algebra liniară, Informatică
şi Modele Matematice în Ştinţele Sociale, 2, 1972, 26--35.
39. Metode de calcul pentru inversarea matricelor mari, Inf. Modele Mat. St.
Soc., 11, 1, 1973, 19--32.
40. Modeles mathematiques dans la datalogie des systemes educationnels,
Inf. Sci. Humaines, 17, 1973, 7--25.

41. Mathematical models for educational systems analysis, Proc. Internat.
Congress Cyb. Syst., Bucharest, 1975, 25--29.
42. Inverting large-sized matrices, Math. Structures, Computational Math-
Math. Modelling, Sofia, Publ. House of Bulg. Acad. of Sci., 1975, 497--500.
43. Tehniques for speeding up the convergence for Schultz algorithm, Univ.
Buc., 1977, 18 p. (preprint).
44. Mathematical models applied in the management of education, Proc. Int.
Seminar on trends in math. Modelling, Warszawa, Polish. Acad. Sci.
Ossolineum, 1978, 83--90.
45. Inverting matrices - Aplications to speeding up the convergence and
extensions, Univ. Buc., 1978 (preprint).

46. Speeding up the convergence in inverting matrices, Univ. Buc.1979, In
Proc. Internat. Symp. Appl. Math. Syst., Theory Balkan Union Math. Univ.
Braşov, 1978, 259--266.
47. Computer-oriented modelling cu applications in social sciences, Paris
UNESCO, 1978, 14--15.
48. Inverting elements in partially ordered rings, Univ. Buc., 1980, 9 p.
(preprint).
49. Inele ordonate şi numere reale, Pro. INFO-Iaşi 1981, Univ. Al.I. Cuza
Iaşi, 1981, 718--719.
50. Condiţii de iterativitate de tip W. Ogden şi aplicaţii la limbaje
de programare, Proc. INFO—Iaşi '83, Lucrările celui de-al IV-lea Colocviu
de Informatică, Universitatea Al.I. Cuza, Iaşi, 27--29 Octombrie 1983,
551--587.

51. Structuri algebrice în semantică, Proc. INFO-Iaşi '85, Lucrările celui de-al
V-lea Colocviu de Informatică, Universitatea Al. I. Cuza, Iaşi, 18--19
Octombrie 1985, vol. I, 1--13.
52. Dezvoltări recente în informatica matematică, Matematica în lumea de azi
şi de mâine (C. Iacob, coord.), Editura Academiei Române, 1985, 261--267.
53. Languages, effectivity and constructive mathematics, Al II-lea Colocv.
Nat. de Lb. Logică, Lingv. Mat., 1988, Braşov, 47--57 (cu C. Calude).
54. Structuri algebrice ordonate în bazele informaticii, Al VII-lea Colocviu
de Inf., 19--21 oct. 1989, Univ. Al.I. Cuza, Iaşi, 1989, 441--457.
55. Ehrenfeucht Test Set Theorem and Hilbert Basis Theorem, A
Constructive Glimpse, Lecture Notes in Computer Science, Springer, Berlin,
vol. 379, 1989, 177--184 (cu C. Calude).

56. Iteration Conditions of W. Ogden's Type and Applications to
Programming Languages (II), Developments in Language Theory. At the
Crossroads of Mathematics, Computer Science and Biology (G. Rozenberg
and A. Salomaa, eds.), World Scientific, Singapore, 1994, 44--50 ( Proc.
Conf. on Developments in Language Theory, 1993).
57. Applied Semirings: Some Examples Related to Fuzzy Theory and
Languages, Mathematical Aspects of Natural and Formal Languages
(Gh. Păun, ed.), World Scientific, Singapore, 1994, 457--471.
58. Structures Related to Fuzzy Logic Approach in Modelling, New Trends
in Fuzzy Logic ( A. Bonarini, D. Mancini, F. Masulli and A. Petrosino, eds.),
World Scientific, Singapore, 1996 ( Proc. of WILF '95--Italian Workshop
on Fuzzy Logic, Naples, Italy 21--22 September 1995)
(cu Mario Fedrizzi şi A.G.S. Ventre).
59. Fuzzy Adjacency Languages and Applications to Spatial Reasoning,
IEEE International Conference on Fuzzy Systems, New Orleans, September
8--11, 1996 (cu Eph.P. Glinert şi J.A.P. Jorge).
60. A Fuzzy Relational Path Algebra for Distances and Directions,
European Conference on Artificial Intelligence (ECAI-96), Representation and
Processing of Spatial Expressions, Budapest, 1996 (cu J.A.P. Jorge) .

61. Semirings and Parallel Composition of Processes, Journal of Automata,
Languages and Combinatorics, 1, 3, 1996, 199--217
(cu J.S. Golan şi A. Mateescu).
62. On Some Order Structures in Fuzzy Modelling, New Trends in Fuzzy
Systems: Proc. Internat. Joint Workshop on Current Issues Fuzzy
Technologies/Methods and Environments for Planning and Programming
CIFT/MEPP '96 (D. Mancini, M. Squillante and A.G.S. Ventre, eds.), Naple,
Italy, 10--11 Oct. 1997, World Scientific, Singapore, 205—212
(cu Mario Fedrizzi şi Michele Fedrizzi) - invited paper.
63. Towards a Structural Fuzzy Approach to Group Decision: Valued Fuzzy
Preference Relations and Measuring Consensus, Workshop in Fuzzy
Systems: Proc. Internat. Joint Workshop on Current Issues Fuzzy
Technologies/Methods and Environments for Planning and Programming
CIFT/MEPP '96 (D. Mancini, M. Squillante and A.G.S. Ventre, eds.), Naple,
Italy, 10--11 Oct. 1997, World Scientific, Singapore, 213—223
(cu Mario Fedrizzi) -- invited paper.
64. Ordered Semirings and Rings, Proc. of the Fourth International
Symposium on Economic Informatics, May 1999, Academy of Economic
Studies, Section Algebra of Logic and Applications, 1054--1060.
65. Ordered structures for visual data: An algebraic–oriented approach to
visual interaction, Rapporto di Ricerca, SI 2000/08, Dipartimento di Scienze
dell’Informazione, Universita degli Studi La Sapienza, Roma, 2000
(cu P. Bottoni, S. Levialdi).

66. Notes on Partially-Ordered Structures in Computer Science: I. PA-
Ordered Semirings and Some Related Structures, Journal of Universal
Computer, 1, 2000, (C. Calude and Gh. Ştefănescu, guest eds.)
(Dedicated to Professor S. Rudeanu at His 65th Anniversary).
67. On Partially Additive Semirings and Applications, Journal of
Multiple-Valued Logics, 6, 2001, 251--256 (S. Rudeanu, guest ed.)
(Dedicated to Professor Gr.C. Moisil, in memoriam).
68. Semirings in Operations Research and Computer Science: More
Algebra, Fundamenta Informaticae, 61, 2004, 61 – 85 (cu S. Rudeanu).
69. Note on some order properties related to processes semantics. I.,
Fundam. Inform. 73, No. 1-2, 2006, pp. 307-319.
70. Note on more general setting for complemented elements (I) (Remarks
from Semirings Theory), J. of Mult-Valued Logic & Soft Comput., 12,
2006, 275--284.

71. Multilattices în Informatics: Two Introductory examples (with some
remarks on modelling), Revista de Logică (online), Nr. 4, 2009
(cu S. Rudeanu).
72. A note of Gr.C. Moisil concerning semirings and some further
annotation, Revista de Logică (on line), Nr. 1, 2011.
73. Dan Barbilian – Ion Barbu după 50 de ani (I), CONGMATRO 7 – Braşov,
29 Iunie – 5 Iulie 2011 şi Revista de Logică (on line), nr. 2, 2011.
74. Ani de studiu (1952 - 1957) : Începuturi ale structurilor algebrice
(I. Alexandru Froda, Mihail Benado, Dan Barbilian - Amintiri, reflecții),
Revista de Logică (on line), nr. 2, 2012.
75. Revisiting the works of Mihail Benado, J. of Mult-Valued Logic & Soft
Comput., Vol. 20, 2013, no. 3-4, 265-334 (cu S. Rudeanu).

Citări ale publicaţiilor profesorului
Dragoş Vaida
(exemple)
C1. M.E. Anderson, T.H. Feil: [1988] Lattice-ordered Groups: An
Introduction, Springer (190 pages)
([8] la p. 182, 183).
C2. G. Birkhoff: [1973] Lattice Theory, Third Edition, Second Printing, Amer.
Math. Soc., Providence, R.I. [First Edition, 1940; Second (Revised Edition),
1948] (Amer. Math. Soc., Coll. Publ. vol. XXV)
([9], [12]).
C3. S. Bistarelli, F. Gadducci: [2006] Enhancing constraints manipulation in
semiring-based formalism, 17th European Conference on Artificial
Intelligence,
([68] cu S. Rudeanu).
C4. F. Bonchi: [2008] Abstract semantics by observable contacts, PhD
Thesis, Univ. of Pisa, Dip. di Inform.
C5. P. Bottoni, M. F. Costabile: [1998] Visual Language Theory, Springer
([65] cu P. Bottoni şi S. Levialdi).
C6. P. Bottoni, M.F. Costabile, S. Levialdi, P. Mussio: [1998] Specification of

C7. W. Brauer, C. Freksa, M. Jantzen, R. Valk: [1997] Foundations of
Computer Science: Potential-theory-cognition, Springer (514 pages)
([60], [61] la p. 104, 397).
C8. M.G. Buscemi, U. Montanari: [2008] Open bisimulation for the concurrent
constrained pi-calculus. Programming Languages and Systems, 17th
European Symposium on Programming, ESOP, Springer, Berlin, p. 254-268
C9. M.G. Buscemi, U. Montanari: [2011] Qos negotiation in service
composition. J. Logic Algebraic Programming 80, No.1, 13-24
C10. M.G. Buscemi, U. Montanari: [2011] CC-Pi: a constraint language for
service negotiation and composition. Rigorous Software Enegineering to
Service-Oriented Systems, LNCS 6582,Springer, 262-281
C11. I. P. Cabrera, P. Cordero, G. Gutiérrez, J. Martinez, M. Ojeda-Aciego:
[2009] Fuzzy congruence relations on nd-groupoids, International Journal of
Computer mathematics-IJCM, Taylor & Francis, vol. 86, no. 10&11,
p. 1684-1695 (este citată co-operarea cu Vaida).
C12. I. P. Cabrera, P. Cordero, G. Gutiérrez, J. Martinez, M. Ojeda-Aciego:
[2010] A coalgebraic approach to non-determinism: Applications to
multilattice, Information Sciences - ISCI, vol. 180, no. 22, pp. 4323-4335
([69]).

C13. I.P. Cabrera, P. Cordero, M. Ojeda-Aciego: [2011] Non-deterministic
Algebraic Structures for Soft Computing, Advances in Computational…, Springer
([69]).
C14. I.P. Cabrera, P. Cordero, G. Gutiérrez, J. Martínez …: [2012] Finitary
coalgebraic multisemilattices and multilattices, Applied Mathematics …, Elsevier
([69]).
C15. C. Calude: [1976] Quelques arguments pour le caracte`re non-formel des
langages de programmation, Rev. Roumaine de Linguistique, XIII, 1
([M5], [U4]).
C16. C. Calude, H. Jürgensen, S. Legg: [2000] Solving Problems with Finite
Test Sets, Finite Versus Infinite, Springer
([55] cu C. Calude).
C17. R.O. Canham, S.L. Smith, A.M. Tyrrell: [2000] Recognition and Grading of
Severely Distorted Geometric Shapes from within a Complex Figure, Pattern
Analysis & Applications, Springer
([59] cu Eph.P. Glinert şi J.A.P. Jorge).
C18. E. Clementini, P.D. Felice, D. Hernández: [1997] Qualitative representation
of positional information, Artificial Intelligence, Elsevier
([60] cu J.A.P. Jorge).

C19. M. R. Darnel: [1995] Theoryof Lattice-Ordered Groups, Monographs and
Textbooks in Pure and Applied Mathematics, 187. Marcel Dekker, Inc.,
New York (539 pages)
([8] la p. 526).
C20. S. Drossopoulou (Ed.): [2008] Programming Languages and Systems,
17th European Symposium on Programming, ESOP Held as Part of the Joint
European Conferences on Theory and Practice of Software, ETAPS 2008,
Budapest, Hungary, March 29-April 6, 2008, Proceedings
C21. P. B. Fellgett: [1971] Book review: J. Rose (ed.): [1970] Progress of
Cybernetics Vols. I-III, Gordon&Breach (521 pages)
([34], “Vaida has a paper on ALGOL 60 implementation and translation which
would not be out of place in Computer Journal”, p. 403).
C22. H. Fernau: [2003] Parallel grammars: a phenomenology, Grammars, Springer
([61] cu J.S. Golan şi A. Mateescu).
C23. N. D. Filipov: [1970] Ten Papers on Algebra and Functional Analysis, Amer.
Math. Soc. Trans., Series 2, vol. 96 (254 pages)
([8], [12], [15], [18], la p. 76, 79, 81, 86, 117, 129, 136, în articolele lui A.A.
Vinogradov).
C24. R. V. Gamkrelidze: [1969] Progress in Mathematics, Plenum Press
([15], [18] la p. 97, 125).

C25. B.J. Gardner, M.M. Parmenter: [2009] Some classes of directoid groups,
J. Algebra and Discrete Mathematics, Number 1. p. 44 – 58
([18]).
C26. K. Glazek: [2002] A guide to the literature on semirings and their
applications in mathematics and information sciences: with complete
bibliography, Kluwer Acad. Publ., Dordrecht
([M6], [9], [57], [60], [61], [64], [66], la p. 19, 33, 50, 55, 62, 64, 83, 84, 86,
87, 200, 235, 275, 352).
C27. T. Harju, M. Lipponen, A. Mateescu: [1996] Flatwords and Post
Correspondence Problem, Theoretical Computer Science, Elsevier
C28. U. Hebisch, H.J. Weinert: [1998] Semirings: algebraic theory and
applications in computer science
C29. J. Jakubìk: [1964] Über halbgeordnete Gruppen mit verallgemeinerter
Jordanscher Zerlegung, Rev. Roumaine Math. Pures Appl. 9(1964), 187-190
([18]).
C30. M. Kudlek, A. Mateescu: [1997] On mix operation, New Trends in Formal
Languages, Springer

C31. M. Kudlek, A. Mateescu: [1998] Algebraic, linear and rational languages
defined by mix operation, Fundamenta Informaticae, IOS Press
C32. W. Kuich: [1997] Semirings and Formal Power Series: Their Relevance to
Formal Languages and Automata, Handbook of formal languages, Springer
C33. P. Li: [2009] Fuzzy relational equations. Resolution and Optimization.
NCSU Institutional Repository, NC States Theses and Dissertation, Diss.,
C34. D.B. McAllister: [1965] On multilattice groups Proc. Cambridge Philos. Soc.
61, 621-638
([15]) (“Această direcție de cercetări a fost inițiată de Benado și Vaida”).
C35. A. Mateescu, G. Rozenberg, A. Salomaa: [1997] Syntactic and semantic
aspects of parallelism, Foundations of Computer Science, Springer
C36. G. Rozenberg, A. Salomaa (Eds.): [1997] Handbook of Formal Languages
(vol. 1): Word, language, grammar, Springer (873 pages) (vol. 1-3, 2051 p.)
([M6] cu A. Mateescu şi [61] cu J.S. Golan şi A. Mateescu la p. 37, 249, 671).

C37. A. Salomaa, A. Mateescu: [1996] Parallel composition of words with re-
entrant symbols An. Univ. Buch. Math-Info 1, 71-80
C38. A. Salomaa, A. Mateescu, G. Rozenberg: [1998] Shuffle on trajectories:
syntactic constraints, Theoretical Comput. Sci. 197(1998), nr. 1-2, 1-56
C39. S. Zhao, X. Wang: [2010] Inversible matrices and semilinear spaces over
commutative semirings. Inf. Sci. 180, no.24, 5115-6124
C40. *** Annales Societatis Mathematicae Polonae Machine theory. Formal
languages. Artificial intelligence: [2004] by Polskie Towarzystwo
Matematycze, Publ. by Panstwowe Wydawn Naukowe
([68] cu S. Rudeanu la p. 84).
C41. *** Warsaw Polska Akademia Nauk: [2007] Monografie Matematyczne
PWN – Polish Scientific Publishers
([7] cu V. Vâlcovici).

Aprecieri şi ecouri
ALGAMS în Wikipedia - Limbajul ALGAMS a fost elaborat şi implementat de o
echipă internaţională, denumită GAMS, din care D. Vaida a făcut parte,
condusă de A. Mazurkiewicz şi Bl. Sendov, vezi [24].
Includerea în secţiunea Proeminent ALGOLers şi citarea cărţii Algoritmi de
compilare ([M5]), în G. Ledin Jr.: [1972] Comprehensive ALGOL
Programming, Hayden Book Co., New York (comunicare personală D. Vaida).
D. E. Knuth, Comunicare Lubliana – Algoritmul de transpunere din [M5]
(comunicare personală D. Vaida).

Dragos Vaida 1 iunie 1933-4 august 2020

Recommended

Recommended

More Related Content

Featured

Featured (20)

Dragos Vaida 1 iunie 1933-4 august 2020