An Integrated Algorithm for Probabilistic Protocol Verification and Evaluation. - Dragomir D. Dimitrijevic; Mon-Song Chen (INFOCOM, 1989)

Routing in Multiple Domain Networks. - Dragomir D. Dimitrijevic; Basil S. Maglaris; Robert R. Boorstyn (INFOCOM, 1989)

Dynamic State Exploration in Quantitative Protocol Analysis. - Dragomir D. Dimitrijevic; Mon-Song Chen (PSTV, 1989)

Routing in Multi-Domain Networks. - Dragomir D. Dimitrijevic; Basil S. Maglaris; Robert R. Boorstyn (INFOCOM, 1991)

A procedure for probabilistic protocol verification. - Dragomir D. Dimitrijevic; Mon-Song Chen (IEEE Trans. Commun., 1992)

Hierarchical Simulation of Layered Protocol Architectures Using Formal Specifications. - Adrian E. Conway; Dragomir D. Dimitrijevic; R. Hwang (Data Communication Networks and their Performance, 1993)

Routing in multidomain networks. - Dragomir D. Dimitrijevic; Basil S. Maglaris; Robert R. Boorstyn (IEEE/ACM Trans. Netw., 1994)

Inferring most likely queue length from transactional data. - Dragomir D. Dimitrijevic (Oper. Res. Lett., 1996)

A solution to mean delay in the SigmaMc/Gck/1 cyclic priority queue with cycle (k) and class (c) dependent feedback and service times. - Dragomir D. Dimitrijevic (Oper. Res. Lett., 1999)