![]() | ![]() |
2006 | ||
---|---|---|
6 | EE | Dragos Vaida: Note on Some Order Properties Related to Processes Semantics (I). Fundam. Inform. 73(1-2): 307-319 (2006) |
2004 | ||
5 | EE | Sergiu Rudeanu, Dragos Vaida: Semirings in Operations Research and Computer Science: More Algebra. Fundam. Inform. 61(1): 61-85 (2004) |
2000 | ||
4 | EE | Dragos Vaida: Notes on Partially-Ordered Structures in Computer Science: I. PA-Ordered Semirings and Some Related Structures. J. UCS 6(1): 201-211 (2000) |
1996 | ||
3 | Jonathan S. Golan, Alexandru Mateescu, Dragos Vaida: Semirings and Parallel Composition of Processes. Journal of Automata, Languages and Combinatorics 1(3): 199-218 (1996) | |
1993 | ||
2 | Dragos Vaida: Iteration Conditions of W. Ogden's Type and Applications to Programming Languages (II). Developments in Language Theory 1993: 44-50 | |
1989 | ||
1 | Cristian Calude, Dragos Vaida: Ehrenfeucht Test Set Theorem and Hilbert Basis Theorem: A Constructive Glimpse. MFCS 1989: 177-184 |
1 | Cristian S. Calude (Cristian Calude) | [1] |
2 | Jonathan S. Golan | [3] |
3 | Alexandru Mateescu | [3] |
4 | Sergiu Rudeanu | [5] |