| 1999 | ||
|---|---|---|
| 2 | Neli S. Dimitrova, Svetoslav M. Markov: Verified Computation of Fast Decreasing Polynomials. Reliable Computing 5(3): 229-240 (1999) | |
| 1997 | ||
| 1 | Svetoslav M. Markov: Isomorphic Embeddings of Abstract Interval Systems. Reliable Computing 3(3): 199-207 (1997) | |
| 1 | Neli S. Dimitrova | [2] |