- A policy-based cloud broker for the VCL platformijcc, 2(2/3):288-303, 2013. [doi]

- Scientific Services on the CloudIn Borko Furht, Armando Escalante, editors, Handbook of Cloud Computing. pages 379-405, Springer, 2010. [doi]

- Space efficient quantization for distributed estimation by a multi-sensor fusion systeminffus, 5(4):299-308, 2004. [doi]
- Comparison of fault classes in specification-based testingINFSOF, 46(8):525-533, 2004. [doi]

- Quantization for distributed estimation using neural networksisci, 148(1-4):185-199, 2002. [doi]

- On the bisection width of the transposition networknetworks, 29(1):69-76, 1997. [doi]

- Efficient parallel algorithms for bipartite permutation graphsnetworks, 23(1):29-39, 1993. [doi]

- Parallel Recognition of the Consecutive Ones Property with Applicationsjal, 12(3):375-392, 1991.
- Resource Bounds for Parallel Computation of Threshold and Symmetric Functionsjcss, 42(1):119-137, 1991.

- On the Power of Concurrent-Write PRAMs With Read-Only Memoryiandc, 83(2):234-244, November 1989.
- New lower bounds for parallel computationJACM, 36(3):671-680, 1989. [doi]

- Parallel Recognitions and Decomposition of Two Terminal Series Parallel Graphsiandc, 75(1):15-38, October 1987.
- Separation and Lower Bounds for ROM and Nondeterministic Models of Parallel Computationiandc, 73(2):102-128, May 1987.

- The generalized Sprague-Grundy function and its invariance under certain mappingsJCT, 43(2):165-177, 1986. [doi]
- String-Matching Cannot be Done by a Two-Head One-Way Deterministic Finite Automationipl, 22(5):231-235, 1986.

- Computation Times of NP Sets of Different DensitiesTCS, 34:17-32, 1984.

- Complexity of Solving Algebraic Equationsipl, 10(4/5):178-179, 1980.

- Complexity of problems in games, graphs and algebraic equationsDAM, 1(1-2):15-30, 1979. [doi]