Ehrenfeucht Test Set Theorem and Hilbert Basis Theorem: A Constructive Glimpse. - Cristian Calude; Dragos Vaida (MFCS, 1989)

Iteration Conditions of W. Ogden's Type and Applications to Programming Languages (II). - Dragos Vaida (Developments in Language Theory, 1993)

Applied Semirings: Some Examples Related to Fuzzy Theory and Languages. - Dragos Vaida (Mathematical Aspects of Natural and Formal Languages, 1994)

Semirings and Parallel Composition of Processes. - Jonathan S. Golan; Alexandru Mateescu; Dragos Vaida (J. Autom. Lang. Comb., 1996)

Notes on Partially-Ordered Structures in Computer Science: I. PA-Ordered Semirings and Some Related Structures. - Dragos Vaida (J. Univers. Comput. Sci., 2000)

Semirings in Operations Research and Computer Science: More Algebra. - Sergiu Rudeanu; Dragos Vaida (Fundam. Informaticae, 2004)

Note on Some Order Properties Related to Processes Semantics (I). - Dragos Vaida (Fundam. Informaticae, 2006)

Note on a More General Setting for Complemented Elements (I) (Remarks from Semirings Theory). - Dragos Vaida (J. Multiple Valued Log. Soft Comput., 2006)

Revisiting the Works of Mihail Benado. - Sergiu Rudeanu; Dragos Vaida (J. Multiple Valued Log. Soft Comput., 2013)

Indexed Grammars, ET0L Systems and Programming Languages. - Radu Nicolescu; Dragos Vaida (Discrete Mathematics and Computer Science, 2014)

On Partially Ordered Semiring-Like Structures. - Dragos Vaida (Discrete Mathematics and Computer Science, 2014)

An extension of a Y. C. Yang theorem. - Dragos Vaida (Soft Comput., 2017)