dblp.uni-trier.dewww.uni-trier.de

Dragos Vaida

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
6EEDragos Vaida: Note on Some Order Properties Related to Processes Semantics (I). Fundam. Inform. 73(1-2): 307-319 (2006)
2004
5EESergiu Rudeanu, Dragos Vaida: Semirings in Operations Research and Computer Science: More Algebra. Fundam. Inform. 61(1): 61-85 (2004)
2000
4EEDragos 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

Coauthor Index

1Cristian S. Calude (Cristian Calude) [1]
2Jonathan S. Golan [3]
3Alexandru Mateescu [3]
4Sergiu Rudeanu [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)