Dragomir D. Dimitrijevic

Publication Activity (10 Years)

Years Active: 1989-1999
Publications (10 Years): 0

Publications

Dragomir D. Dimitrijevic
) dependent feedback and service times. Oper. Res. Lett. 25 (3) (1999)
Dragomir D. Dimitrijevic
Inferring most likely queue length from transactional data. Oper. Res. Lett. 19 (4) (1996)
Dragomir D. Dimitrijevic, Basil S. Maglaris, Robert R. Boorstyn
Routing in multidomain networks. IEEE/ACM Trans. Netw. 2 (3) (1994)
Adrian E. Conway, Dragomir D. Dimitrijevic, R. Hwang
Hierarchical Simulation of Layered Protocol Architectures Using Formal Specifications. Data Communication Networks and their Performance (1993)
Dragomir D. Dimitrijevic, Mon-Song Chen
A procedure for probabilistic protocol verification. IEEE Trans. Commun. 40 (7) (1992)
Dragomir D. Dimitrijevic, Basil S. Maglaris, Robert R. Boorstyn
Routing in Multi-Domain Networks. INFOCOM (1991)
Dragomir D. Dimitrijevic, Basil S. Maglaris, Robert R. Boorstyn
Routing in Multiple Domain Networks. INFOCOM (1989)
Dragomir D. Dimitrijevic, Mon-Song Chen
Dynamic State Exploration in Quantitative Protocol Analysis. PSTV (1989)
Dragomir D. Dimitrijevic, Mon-Song Chen
An Integrated Algorithm for Probabilistic Protocol Verification and Evaluation. INFOCOM (1989)