Staff Profile

    Isi Mitrani studied Mathematics at the Universities of Sofia and Moscow (Diploma, 1965), and Operations Research at the Technion, Haifa (MSc, 1967). He joined the University of Newcastle in 1968 as a Programming Advisor, became a Lecturer in 1969 (PhD, 1973), Reader in 1986 and Professor in 1991. He has held several visiting positions, including sabbatical years at INRIA (Le Chesnay) and Bell Laboratories (Murray Hill). His research interests are in the areas of probabilistic modelling, performance evaluation and optimization. Publications include 4 authored books, 3 edited books, numerous journal and conference papers and one patent.

• Ezhilchelvan P, Mitrani I, Webber J. Modeling the Gradual Degradation of Eventually-Consistent Distributed Graph Databases. Queueing Models and Service Management 2020, 3(2), 235-253.
• Waudby J, Ezhilchelvan P, Webber J, Mitrani I. Preserving Reciprocal Consistency in Distributed Graph Databases. In: 7th Workshop on Principles and Practice of Consistency for Distributed Data. 2020, Heraklion, Crete, Greece: ACM Press.
• Marin A, Mitrani I, Elahi M, Williamson C. The SRPT Service Policy with Frequency Scaling: Modeling, Evaluation and Optimization. Markov Processes And Related Fields 2020, 26(4), 687-710.
• Cooper T, Ezhilchelvan PD, Mitrani I. A Queuing Model of a Stream-Processing Server. In: 27th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2019). 2019, Rennes, France: IEEE.
• Ezhilchelvan P, Mitrani I, Waudby J, Webber J. Design and Evaluation of an Edge Concurrency Control Protocol for Distributed Graph Databases. In: 16th European Performance Engineering Workshop (EPEW 2019). 2019, Lecture Notes in Computer Science: Springer.
• Ezhilchelvan P, Mitrani I. Multi-class resource sharing with batch arrivals. Probability in the Engineering and Informational Sciences 2019, 33(3), 348-366.
• Marin A, Mitrani I, Elahi M, Williamson C. Control and optimization of the SRPT service policy by frequency scaling. In: QEST 2018 International Conference on Quantitative Evaluation of Systems. 2018, Beijing, China: Springer Verlag.
• Mitrani I. Multi-class resource sharing with preemptive priorities. Probability in the Engineering and Informational Sciences 2018, 32(3), 323-339.
• Ezhilchelvan Paul, Mitrani Isi, Webber Jim. On the degradation of distributed graph databases with eventual consistency. Newcastle upon Tyne: School of Computing, Newcastle University, 2018. School of Computing Technical report Series 1522.
• Ezhilchelvan P, Mitrani I, Webber J. On the degradation of distributed graph databases with eventual consistency. In: 15th European Performance Engineering Workshop (EPEW 2018). 2018, Paris, France: Springer Verlag.
• Ezhilchelvan P, Mitrani I. Evaluating the Probability of Malicious Co-residency in Public Clouds. IEEE Transactions on Cloud Computing 2017, 5(3), 420-427.
• Ezhilchelvan P, Mitrani I. Multi-class Resource Sharing with Batch Arrivals and Complete Blocking. In: International Conference on Quantitative Evaluation of Systems (QEST 2017). 2017, Berlin, Germany: Springer Verlag.
• Ezhilchelvan P, Mitrani I. Optimal provisioning of servers for hosting services of multiple types. Simulation Modelling Practice and Theory 2017, 75, 17-28.
• Ezhilchelvan P, Mitrani I. Optimal provision of multiple service types. In: IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS). 2016, London, UK: IEEE Computer Society.
• Ezhilchelvan P, Mitrani I. Static and Dynamic Hosting of Cloud Servers. In: 12th European Performance Engineering Workshop. 2015, Madrid, Spain: Springer.
• McGough AS, Mitrani I. Optimal Hiring of Cloud Servers. In: European Performance Engineering Workshop. 2014, Florence: Springer.
• Aidarov K, Ezhilchelvan P, Mitrani I. Energy-aware Management of Customer Streams. Electronic Notes in Theoretical Computer Science 2013, 296, 199–210.
• Mitrani I. Managing performance and power consumption in a server farm. Annals of Operations Research 2013, 202(1), 121-134.
• Aidarov K, Ezhilchelvan P, Mitrani I. Energy-aware management of customer streams. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1330.
• Aidarov K, Ezhilchelvan P, Mitrani I. Energy-aware management of customer streams. In: Sixth International Workshop on Practical Applications of Stochastic Modelling. 2012, Imperial College, London.
• Xia F, Mokhov A, Zhou Y, Chen Y, Mitrani I, Shang D, Sokolov D, Yakovlev A. Towards power-elastic systems through concurrency management. IET Computers and Digital Techniques 2012, 6(1), 33-42.
• Mitrani I. Trading Power Consumption Against Performance by Reserving Blocks of Servers. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012.
• Mitrani I. Service center trade-offs between customer impatience and power consumption. Performance Evaluation 2011, 68(11), 1222-1231.
• Chen Y, Mitrani I, Shang D, Xia F, Yakovlev A. Stochastic analysis of power, latency and the degree of concurrency. In: IEEE International Symposium on Circuits and Systems: Nano-Bio Circuit Fabrics and Systems (ISCAS). 2010, Paris, France: IEEE.
• Cooper DE, Ezhilchelvan P, Mitrani I. Encounter-Based Message Propagation in Mobile Ad-Hoc Networks. Ad Hoc Networks 2009, 7(7), 1271-1284.
• Ezhilchelvan P, Clarke D, Mitrani I, Shrivastava S. Sustaining Intrusion-Tolerance by Proactive Replacement. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1146.
• Cooper DE, Ezhilchelvan PD, Mitrani I. A Real World Evaluation of Encounter Gossip. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1090.
• Mazzucco M, Mitrani I, Fisher M, McKee P. Allocation and Admission Policies for Service Streams. In: 16th Annual IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2008). 2008, Baltimore, MD, USA: IEEE.
• Martin SP, Mitrani I. Analysis of job transfer policies in systems with unreliable servers. Annals of Operations Research 2008, 162(1), 127-141.
• Slegers J, Thomas N, Mitrani I. Dynamic Server Allocation for Power and Performance. In: Performance Evaluation: Metrics, Models and Benchmarks. SPEC International Performance Evaluation Workshop (SIPEW). 2008, Darmstadt, Germany: Springer-Verlag.
• Slegers J, Mitrani I, Thomas N. Optimal Dynamic Server Allocation in Systems with On/Off Sources. In: Formal Methods and Stochastic Models for Performance Evaluation. Fourth European Performance Engineering Workshop (EPEW). 2007, Berlin, Germany: Springer-Verlag.
• Palmer J, Mitrani I, Mazzucco M, Mckee P, Fisher M. Optimizing revenue service provisioning systems with QoS contracts. In: ICE-B: Proceedings of the Second International Conference on e-Business. 2007, Barcelona, Spain: INSTICC.
• Palmer J, Mitrani I, Mazzucco M, McKee P, Fisher M. Optimizing revenue: Service Provisioning Systems with QoS Contracts. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1023.
• Mazzucco M, Mitrani I, Palmer J, Fisher M, McKee P. Web Service Hosting and Revenue Maximization. In: Proceedings of the 5th IEEE European Conference on Web Services, ECOWS 07. 2007, Halle, Germany: IEEE.
• Mazzucco M, Mitrani I, Palmer J, Fisher M, McKee P. Web Service Hosting and Revenue Maximization. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1047.
• Palmer J, Mitrani I. Empirical and Analytical Evaluation of Systems with Multiple Unreliable Servers. In: International Conference on Dependable Systems and Networks (DSN). 2006, Philadelphia, Pennsylvania: IEEE Computer Society.
• Ferrari G, Ezhilchelvan PD, Mitrani I. Performance Modeling and Evaluation of E-Business Systems. In: 39th Annual Simulation Symposium. 2006, Huntsville, Alabama, USA: IEEE.
• Ferrari G, Ezhilchelvan P, Mitrani I. Performance Modelling and Evaluation of E-Business Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 954.
• Slegers J, Mitrani I, Thomas N. Server allocation in Grid systems with on/off sources. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 982.
• Slegers J, Mitrani I, Thomas N. Server Allocation in Grid Systems with On/Off Sources. In: Frontiers of High Performance Computing and Networking - ISPA 2006 Workshops. 2006, Sorrento, Italy: Springer-Verlag.
• Cooper DE, Ezhilchelvan P, Mitrani I. A Family of Encounter-Based Broadcast Protocols for Mobile Ad-hoc Networks. In: Wireless Systems and Mobility in Next Generation Internet: 1st International Workshop of the EURO-NGI Network of Excellence. 2005, Dagstuhl Castle, Germany: Springer-Verlag.
• Mitrani I. Approximate Solutions for Heavily Loaded Markov-Modulated Queues. Performance Evaluation 2005, 62(1-4), 117-131.
• Palmer J, Mitrani I. Empirical and Analytical Evaluation of Systems with Multiple Unreliable Servers. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 936.
• Palmer J, Mitrani I. Optimal and heuristic policies for dynamic server allocation. Journal of Parallel and Distributed Computing 2005, 65(10), 1204-1211.
• Palmer J, Mitrani I. Optimal tree structures for large service networks. In: 1st EuroNGI Conference on Next Generation Internet Networks (NGI). 2005, Rome, Italy: IEEE.
• Palmer J, Mitrani I. Optimal tree structures for large service networks. In: Next Generation Internet Networks: 1st Conference on Next Generation Internet Networks Traffic Engineering. 2005, Rome, Italy: IEEE.
• Cooper DE, Ezhilchelvan P, Mitrani I, Vollset E. Optimization of encounter gossip propagation in mobile ad-hoc networks. In: 13th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems. 2005, Atlanta, GA: IEEE Computer Society.
• Cooper DE, Ezhilchelvan P, Mitrani I, Vollset E. Optimization of Encounter Gossip Propagation in Mobile Ad-Hoc Networks. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 921.
• Di Ferdinando A, Ezhilchelvan P, Mitrani I. Design and Evaluation of a QoS-Adaptive System for Reliable Multicasting. In: 23rd IEEE International Symposium on Reliable Distributed Systems (SRDS '04). 2004, Florianpolis, Brazil: IEEE Computer Society Press.
• Di Ferdinando A, Ezhilchelvan PD, Mitrani I. Design and Evaluation of a QoS-Adaptive System for Reliable Multicasting. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 833.
• Fisher M, Kubicek C, McKee P, Mitrani I, Palmer J, Smith R. Dynamic Allocation of Servers in a Grid Hosting Environment. In: Fifth IEEE/ACM International Workshop on Grid Computing. 2004, Pittsburgh, Pennsylvania: IEEE Computer Society.
• Fisher M, Kubicek C, McKee P, Mitrani I, Palmer J, Smith R. Dynamic Allocation of Servers in a Grid Hosting Environment. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 845.
• Martin S, Mitrani I. Dynamic Routing Between Two Queues with Unreliable Servers. International Journal of Simulation 2004, 5(5), 38-48.
• Cooper DE, Ezhilchelvan P, Mitrani I. High coverage broadcasting for mobile Ad Hoc networks. In: NETWORKING 2004: Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications: 3rd International IFIP-TC6 Networking Conference. 2004, Athens, Greece: Springer-Verlag.
• Mitrani I, Robert P. On the ASTA property in a feedback processor-sharing queue. Performance Evaluation 2004, 58(1), 81-85.
• Palmer J, Mitrani I. Optimal Server Allocation in Reconfigurable Clusters with Multiple Job Types. In: Computational Science and Its Applications (ICCSA 2004). 2004, Assisi, Italy: Springer-Verlag.
• Palmer J, Mitrani I. Optimal Tree Structures for Large Service Networks. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 866.
• Palmer J, Mitrani I. Optimal Tree Structures for Large-Scale Grids. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 847.
• Palmer J, Mitrani I. Optimal Tree Structures for Large-Scale Grids. In: UK e-Science All Hands Meeting. 2004, Nottingham, UK: EPSRC.
• Palmer J, Mitrani I. Dynamic Server Allocation in Heterogeneous Clusters. In: First International Working Conference on Performance Modelling and Evaluation of Heterogeneous Networks (HETNETs). 2003, University of Bradford, UK.
• Palmer J, Mitrani I. Dynamic Server Allocation in Heterogeneous Clusters. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 799.
• Cooper DE, Ezhilchelvan PD, Mitrani I. High Coverage Multicasting for Mobile Ad-hoc Networks. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 804.
• Palmer J, Mitrani I. Optimal Server Allocation in Reconfigurable Clusters with Multiple Job Types. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 823.
• Kumar L, Misra M, Mitrani I. Analysis of a Transaction System with Checkpointing, Failures and Rollback. In: 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools (TOOLS). 2002, London, UK: Springer-Verlag.
• Kumar L, Misra M, Mitrani I. Analysis of a transaction system with checkpointing, failures, and rollback. In: Computer Performance Evaluation: 12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS). 2002, London, UK: Springer.
• Hamilton MD, McKee P, Mitrani I. Distributed Systems with Different Degrees of Multicasting. In: 3rd International Workshop on Software and Performance Evaluation. 2002, Rome, Italy: ACM Press.
• McGough AS, Mitrani I. Efficient parallel simulation of a sliding window protocol. Performance Evaluation 2002, 48(1-4), 237-246.
• Mitrani I. Spectral expansion solutions for Markov-Modulated queues. In: Performance Evaluation of Complex Systems: Techniques and Tools: Performance. 2002, Rome, Italy: Springer.
• Misra M, Mitrani I. Eigenvalue Analysis of a Transaction System with Failures & Rollback. In: 11th INFORMS Applied Probability Conference. 2001, Columbia University, New York, USA: INFORMS.
• Dantzer J-F, Mitrani I, Robert Ph. Large scale and heavy traffic asymptotics for systems with unreliable servers. Queueing Systems 2001, 38(1), 5-24.
• Hamilton MD, McKee P, Mitrani I. Optimal caching policies for web objects. In: High-Performance Computing and Networking: 9th International Conference (HPCN). 2001, Amsterdam, Netherlands: Springer.
• Hamilton MD, McKee P, Mitrani I. Optimal Caching Policies for Web Objects. In: 9th International Conference High-Performance Computing and Networking (HPCN Europe). 2001, Amsterdam, The Netherlands: Springer-Verlag.
• Mitrani I. Queues with Breakdowns. In: Haverkort, B.R., Marie, R., Rubino, G., Trivedi, K, ed. Performability Modelling: Techniques and Tools. Chichester: Wiley-Blackwell, 2001, pp.320.
• Ansell PS, Glazebroo KD, Mitrani I. Threshold policies for a single-server queuing network. Probability in the Engineering and Informational Sciences 2001, 15(1), 15-33.
• McGough AS, Mitrani I. Efficient distributed simulation of a communication switch with bursty sources and losses. In: 14th Workshop on Parallel and Distributed Simulation. 2000, University of Bologna, Italy: IEEE.
• McGough SA, Mitrani I. Efficient Parallel Simulation of a Sliding Window Protocol. In: 7th IFIP International Conference on ATM Networks, Ilkley, UK, 2000. 2000.
• Hamilton MD, McKee P, Mitrani I. Loads and Delays in Distributed Systems using Multicast. In: 16th Annual UK Performance Engineering Workshop (UKPEW). 2000, Durham, UK: Department of Computer Science, University of Durham.
• Hamilton MD, Mitrani I. Optimal allocation policies for mobile agents. In: 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools (TOOLS 2000). 2000, Schaumburg, IL, USA: Springer-Verlag.
• Hamilton MD, Mitrani I. Optimal Allocation Policies for Mobile Agents. In: 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools (TOOLS). 2000, Schaumburg, IL, USA: Springer-Verlag.
• McGough AS, Mitrani I. Parallel Simulation of ATM Switches Using Relaxation. Performance Evaluation (Special Issue on ATM Networks: Performance Modelling and Analysis) 2000, 41(2-3), 149-164.
• Ansell PS, Glazebrook KD, Mitrani I, Nino-Mora J. A Semidefinite Programming Approach to the Optimal Control of a Single Server Queueing System with Imposed Second Moment Constraints. In: 10th INFORMS Applied Probability Conference. 1999, Ulm, Germany: INFORMS.
• Hamilton MD, Liu B, Mitrani I. Analysis and Optimization of a Distributed Directory. In: 10th GI/ITG Special Interest Conference (MMB). 1999, Trier, Germany: VDE Verlag GmbH, Berlin.
• Dantzer J-F, Mitrani I, Puhalskii AA, Robert P. Large Scale and Heavy Traffic Asymptotics for Systems with Unreliable Servers. In: 10th INFORMS Applied Probability Conference. 1999, Ulm, Germany: INFORMS.
• Misra M, Mitrani I. On the propagation of updates in distributed replicated systems. Performance Evaluation 1999, 35(3), 131-144.
• Ansell PS, Glazebrook KD, Mitrani I, Nino-Mora J. Semidefinite programming approach to the optimal control of a single server queueing system with imposed second moment constraints. Journal of the Operational Research Society 1999, 50(7), 765-773.
• Thomas N, Mitrani I. Approximate Solution of a Pipeline with Server Vacations. In: 12th European Simulation Multiconference: Simulation Past, Present and Future (ESM). 1998, Manchester, UK: SCS Publishing House.
• Misra M, Mitrani I. On the Propagation of Updates in Distributed Replicated Systems. In: 3rd IEEE International Computer Performance and Dependability Symposium (IPDS). 1998, Durham, NC, USA: IEEE Computer Society Press.
• McGough SA, Mitrani I. Parallel Simulation of ATM Switches Using Relaxation. In: 6th IFIP International Conference on ATM Networks (IFIP ATM). 1998, Ilkley, West Yorkshire, UK.
• Mitrani I. Probabilistic Modelling. London: Cambridge University Press, 1998.
• Mitrani I, Yakovlev A. Tree Arbiter with Nearest-Neighbour Scheduling. In: 13th International Symposium on Computer and Information Sciences: Advances in Computer and Information Sciences (ISCIS). 1998, Ankara, Turkey: IOS Press.
• Mitrani I, Yakovlev A. Tree Arbiter With Nearest-Neighbour Scheduling. In: 13th UK Workshop on Performance Engineering of Computer and Telecommunication Systems (UKPEW). 1997, Ilkley, West Yorkshire, UK: UK Performance Engineering Workshop/Edinburgh University Press.
• Mitrani I, Yakovlev A. Tree Arbiter With Nearest-Neighbour Scheduling. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 563.
• Misra M, Mitrani I. Analysis of Data Replication with Two Levels of Consistency. In: 2nd IEEE International Performance and Dependability Symposium (IPDS). 1996, Urbana-Champaign, IL, USA: IEEE Computer Society Press.
• Ansell PS, Glazebrook KD, Mitrani I. Server allocation subject to variance constraints. Performance Evaluation 1996, 27-28, 147-158.
• Greenberg AG, Lubachevsky BD, Mitrani I. Superfast Parallel Discrete Event Simulations. ACM Transactions on Modelling and Computer Simulation 1996, 6(2), 107-136.
• Boxma OJ, Koole GM, Mitrani I. A Two-Queue Polling Model with Threshold Service Policy. In: 3rd International Workshop on Modeling, Analysis, and Simulation (MASCOTS). 1995, Durham, North Carolina, USA: IEEE Computer Society Press.
• Boxma OJ, Koole GM, Mitrani I. Polling Models with Threshold Switching. In: Baccelli, F., Jean-Marie, A., Mitrani, I, ed. Quantitative Methods in Parallel Systems. Berlin; New York: Springer-Verlag, 1995, pp.129-140.
• Baccelli F, Jean-Marie A, Mitrani I, ed. Quantitative Methods in Parallel Systems. Berlin; New York: Springer-Verlag, 1995.
• Thomas N, Mitrani I. Routing Among Different Nodes Where Servers Break Down Without Losing Jobs. In: 1st IEEE International Computer Performance and Dependability Symposium (IPDS). 1995, Erlangen, Germany: IEEE Computer Society Press.
• Thomas N, Mitrani I. Routing Among Servers with Breakdowns and Retained Queues. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 527.
• Mitrani I, Chakka R. Spectral Expansion Solution for a Class of Markov Models: Application and Comparison with the Matrix-Geometric Method. Performance Evaluation 1995, 23(3), 241-260.
• Mitrani I. The Spectral Expansion Solution Method for Markov Processes on Lattice Strips. In: Dshalalow, J.H, ed. Advances in Queueing Theory, Methods, and Open Problems. London: CRC Press, 1995, pp.528.
• Mitrani I, Ost A, Rettelbach M. TIPP and the Spectral Expansion Method. In: Baccelli, F., Jean-Marie, A., Mitrani, I, ed. Quantitative Methods in Parallel Systems. Berlin; New York: Springer-Verlag, 1995, pp.298.
• Ettl M, Mitrani I. Applying Spectral Expansion in Evaluating the Performance of Multiprocessor Systems. In: 3rd Quantitative Modeling in Parallel Systems (QMIPS) Workshop: Performance Evaluation of Parallel and Distributed Systems: Solution Methods. 1994, Torino, Italy: CWI, Amsterdam.
• Mitra D, Mitrani I. Efficient Window Flow Control for High Speed Data Networks with Small Buffers. Annals of Operations Research 1994, 49(1), 1-24.
• Chakka R, Mitrani I. Heterogeneous Multiprocessor Systems with Breakdowns: Performance and Optimal Repair Strategies. Theoretical Computer Science: Special Issue on Probabilistic Modelling 1994, 125(1), 91-109.
• Ametistova A, Mitrani I. Modelling and Evaluation of Cache Coherence Protocols in Multiprocessor Systems. In: 9th UK Performance Engineering Workshop for Computer and Telecommunication Systems: Computer and Telecommunication Systems Performance Engineering. 1994, Loughborough University, UK: Pentech Press, London.
• Mitrani I, Wright PE. On the Interaction of Unreliable Routes. In: Kelly, F.P, ed. Probability, Statistics and Optimization: A Tribute to Peter Whittle. Chichester: Wiley, 1994.
• Mitrani I, Gelenbe E. Preface: Special Issue on Probabilistic Modelling. Theoretical Computer Science: Special Issue on Probabilistic Modelling 1994, 125(1), 1-174.
• Mitrani I, Wright PE. Routing in the Presence of Breakdowns. Performance Evaluation: Special Issue on Performance '93 1994, 20(1-3), 151-164.
• Greenberg AG, Lubachevsky BD, Mitrani I. Unboundedly Parallel Simulations. U.S: AT&T Corp, 5.375.074, 1994, 23-01-1990.
• Chakka R, Mitrani I. A Numerical Solution Method for Multiprocessor Systems with General Breakdowns and Repairs. In: 6th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation. Computer Performance Evaluation '92: Modelling Techniques and Tools. 1993, Edinburgh, UK: Edinburgh University Press.
• Mitrani I, Puhalskii A. Limiting Results for Multiprocessor Systems with Breakdowns and Repairs. Queueing Systems - Theory and Applications 1993, 14(3-4), 293-311.
• Mitrani I, Mitra D. A Spectral Expansion Method for Random Walks on Semi-Infinite Strips. In: IMACS International Symposium on Iterative Methods in Linear Algebra. 1992, Brussels, Belgium: North-Holland Publishing.
• Mitrani I. Computer System Models. In: Coffman, E.G., Lenstra, J.K., Rinooy Kan, A.H.G, ed. Computing. Amsterdam; London: North-Holland Publishing, 1992.
• Mitra D, Mitrani I, Ramakrishnan KG, Seery JB, Weiss A. A Unified Set of Proposals for Control and Design of High Speed Data Networks. Queueing Systems - Theory and Applications 1991, 9(1-2), 215-234.
• Greenberg AG, Lubachevsky BD, Mitrani I. Algorithms for Unboundedly Parallel Simulations. ACM Transactions on Computer Systems 1991, 9(3), 201-221.
• Fendick KW, Mitra D, Mitrani I, Rodrigues MA, Seery JB, Weiss A. An Approach to High-Performance, High-Speed Data Networks. IEEE Communications Magazine 1991, 29(10), 74-82.
• Mitra D, Mitrani I. Analysis of a Kanban Discipline for Cell Coordination in Production Lines, II: Stochastic Demands. Operations Research 1991, 39(5), 807-823.
• Mitra D, Mitrani I, ed. Communication Systems. J.C. Baltzer, 1991.
• Chakka R, Mitrani I. Heterogeneous Multiprocessor Systems wilh Breakdowns: Performance and Optimal Repair Strategies. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 369.
• Greenberg AG, Mitrani I. Massively Parallel Algorithms for Network Partition Functions. In: International Conference on Parallel Processing (ICPP). 1991, Austin, Texas, USA: CRC Press.
• Mitrani I. Queueing Theory. In: McDermid, J. A, ed. Software Engineer's Reference Book. London: Butterworth-Heinemann, 1991, pp.Chapter 7.
• Ezhilchelvan PD, Mitrani I, Shrivastava SK. A Performance Evaluation Study of Pipelined TMR Systems. IEEE Transactions on Parallel and Distributed Systems 1990, 1(4), 442-456.
• Mitra D, Mitrani I. Analysis of a Kanban Discipline for Cell Coordination in Production Lines. Management Science 1990, 36(12), 1548-1566.
• Mitra D, Mitrani I. Asymptotic Optimality of the Go-back-n Protocol in High-Speed Data Networks with Small Buffers. In: 4th International Conference on Data Communication Systems. 1990, Barcelona, Spain.
• King PJB, Mitrani I, Pooley R, ed. Performance '90, Proceedings of the 14th IFIP WG 7.3 International Symposium on Computer Performance Modelling, Measurement and Evaluation. Edinburgh, UK. 12-14 September 1990. North-Holland: Elsevier BV, 1990.
• Greenberg AG, Lubachevsky BD, Mitrani I. Unboundedly Parallel Simulations Via Recurrence Relations for Network and Reliability Problems. In: 22nd Winter Simulation Conference (WSC). 1990, New Orleans, Louisiana, USA: IEEE Press.
• Ezhilchelvan PD, Mitrani I, Shrivastava SK. An Empirical Study of the Performance of Distributed Replicated Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1989. Computing Laboratory Technical Report Series 278.
• Mitra D, Mitrani I. Control and Coordination Policies for Systems with Buffers. In: International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS/Performance). 1989, Berkeley, California, USA: ACM Press.
• Mitra D, Mitrani I. The Kanban Policy in Production Lines. In: ORSA-TIMS Conference. 1989, Tokyo, Japan.
• Robert P, Mitrani I, King PJB. An Intermittently Served Discrete Time Queue with Applications to Meteor Scatter Communications. Queueing Systems - Theory and Applications 1988, 3(1), 25-40.
• Coffman EG, Flatto L, Knessl C, Mitrani I, Shepp LA. Stochastic Models of Queue Storage. Probability in the Engineering and Informational Sciences 1988, 2(1), 75-93.
• Mitra D, Mitrani I. Analysis and Optimal Performance of Two Message-Passing Parallel Processors Synchronized by Rollback. Performance Evaluation 1987, 7(2), 111-124.
• Robert P, Mitrani I, King PJB. Analysis of a Meteor Scatter Communication Protocol. In: 12th IFIP WG 7.3 International Symposium on Computer Performance Modelling, Measurement and Evaluation (Performance '87). 1987, Brussels, Belgium: North-Holland.
• Greenberg AG, Mitrani I. Analysis of Snooping Caches. In: 12th IFIP WG 7.3 International Symposium on Computer Performance Modelling, Measurement and Evaluation (Performance '87). 1987, Brussels, Belgium: North-Holland.
• King PJB, Mitrani I. Modelling a Slotted Ring Local Area Network. IEEE Transactions on Computers 1987, 36(5), 554-561.
• Mitrani I. Modelling of Computer and Communication Systems. Cambridge, UK: Cambridge University Press, 1987.
• Mitrani I. Multiprocessor Systems with Reserves and Preferences. Queueing Systems - Theory and Applications 1987, 2(3), 245-259.
• Coffman EG, Fayolle G, Mitrani I. Two Queues with Alternating Service Periods. In: 12th IFIP WG 7.3 International Symposium on Computer Performance Modelling, Measurement and Evaluation (Performance '87). 1987, Brussels, Belgium: North-Holland.
• Montaser-Kohsari A, Mitrani I, Betteridge T. Software Monitoring of UNIX Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1986. Computing Laboratory Technical Report Series 215.
• Coffman EG, Fayolle G, Mitrani I. Sojourn Times in a Tandem Queue with Overtaking: Reduction to a Boundary Value Problem. Stochastic Models 1986, 2(1), 43-65.
• Mitrani I. Response Time Problems in Communication Networks. Journal of the Royal Statistical Society: Series B 1985, 47(3), 396-406.
• Mitra D, Mitrani I. Analysis and Optimal Performance of Two Message-Passing Parallel Processors Synchronized by Rollback. In: 10th International Conference on Modelling and Performance Evaluation. 1984, Paris, France.
• Mitrani I, King PJB. Multiserver Systems Subject to Breakdowns: An Empirical Study. IEEE Transactions on Computers 1983, 23(1), 96-98.
• Fayolle G, King PJB, Mitrani I. On the Execution of Programs by Many Processors. In: Performance '83 Conference. 1983, North-Holland Publishing.
• Chesnais A, Gelenbe E, Mitrani I. On the Modelling of Parallel Access to Shared Data. Communications of the ACM 1983, 26(3), 196-202.
• Fayolle G, Iasnogorodski R, Mitrani I. The Distribution of Sojourn Times in a Queueing Network with Overtaking: Reduction to a Boundary Value Problem. In: Performance '83 Conference. 1983, University of Maryland, Balitmore, USA: North-Holland Publishing.
• Badr HG, Mitrani I, Spirn JR. An Adaptive Priority Queue. In: ORSA-TIMS Conference. 1982, Atlantic University, Boca Raton, Florida, USA: Birkhauser, Boston.
• Gelenbe E, Mitrani I. Control Policies in CSMA Local Area Networks: Ethernet Controls. ACM SIGMETRICS Peformance Evaluation Review 1982, 11(4), 233-240.
• King PJB, Mitrani I. Modelling the Cambridge Ring. ACM SIGMETRICS Performance Evaluation Review 1982, 11(4), 250-258.
• Mitrani I. Simulation Techniques for Discrete Event Systems. Cambridge: Cambridge University Press, 1982.
• King PJB, Mitrani I. The Effect of Breakdowns on the Performance of Multiprocessor Systems. In: 8th International Conference on Modelling and Performance Evaluation (Performance). 1982, Amsterdam, The Netherlands: North-Holland Publishing.
• Fayolle G, King PJB, Mitrani I. The Solution of Certain Two-Dimensional Markov Models. Advances in Applied Probability 1982, 14(2), 295-308.
• Mitrani I, King PJB. Multiprocessor Systems with Preemptive Priorities. Performance Evaluation 1981, 1(2), 118-125.
• Sevcik KC, Mitrani I. The Distribution of Queueing Network States at Input and Output Instants. Journal of the ACM 1981, 28(2), 358-371.
• Coffman EG, Mitrani I. A Characterisation of Waiting Time Performance by Single Server Queues. Operations Research 1980, 28(3), 810-821.
• Gelenbe E, Mitrani I. Analysis and Synthesis of Computer Systems. London, UK: Academic Press, 1980.
• King PJB, Mitrani I. Numerical Methods for Infinite Markov Processes. In: 7th International Symposium on Computer Performance Modelling, Measurement and Evaluation (Performance '80). 1980, Toronto, Ontario, Canada: ACM Press, New York.
• Fayolle G, Iasnogorodski R, Mitrani I. Sharing a Processor Among Many Job Classes. Journal of the ACM 1980, 27(3), 519-532.
• Fayolle G, King PJB, Mitrani I. The Solution of Certain Two-Dimensional Markov Models. In: 7th International Symposium on Computer Performance Modelling, Measurement and Evaluation (Performance '80). 1980, Toronto, Ontario, Canada: ACM Press, New York.
• Mitrani I. A Critical Note on a Result by Lemoine. Management Science 1979, 25(10), 1026-1027.
• Mitrani I, Sevcik KC. Evaluating the Trade-Offs Between Centralised and Distributed Computing. In: 1st International Conference on Distributed Computing Systems. 1979, Huntsville, Alabama, USA.
• Hine JH, Mitrani I, Tsur S. The Control of Response Times in Multi-Class Systems by Memory Allocation. Communications of the ACM 1979, 22(7), 415-423.
• Sevcik KC, Mitrani I. The Distribution of Queueing Network States at Input and Output Instants. In: 4th International Conference on Modelling and Performance Evaluation of Computer Systems. 1979, Vienna, Austria: North-Holland Publishing.
• Gelenbe E, Kurinckx A, Mitrani I. The Rate Control Policy in Virtual Memory Management. In: 2nd International Conference on Operating Systems. 1978, Paris, France.
• Mitrani I, Hine JH. Complete Parameterized Families of Job Scheduling Strategies. Acta Informatica 1977, 8, 61-73.
• Clowes JS, Mitrani I, Wilson LB. Level Number Sequences for Binary Trees. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1977. Computing Laboratory Technical Report Series 112.
• Hine JH, Mitrani I, Tsur S. The Control of Response Times in Multi-class Systems by Memory. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1977. Computing Laboratory Technical Report Series 98.
• Hine JH, Mitrani I, Tsur S. The Use of Memory Allocation to Control Response Times in Paged Computer Systems. In: 2nd IFIP WG 7.3 International Conference on Modelling and Performance Evaluation of Computer Systems. 1977, Stresa, Italy: North-Holland Publishing.
• Mitrani I, Hine JH. Complete Parameterized Families of Job Scheduling Strategies. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1975. Computing Laboratory Technical Report Series 81.
• Coffman EG, Mitrani I. Selecting a Scheduling Rule That Meets Pre-Specified Response Time Demands. In: 5th ACM Symposium on Operating Systems Principles (SOSP). 1975, Austin, Texas, USA: ACM Press.
• Mitrani I. Networks of Unreliable Computers. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1974. Computing Laboratory Technical Report Series 62.
• Mitrani I. A Queueing Model of Priority Multiprogramming. In: International Conference on Computer Architecture. 1973, Grenoble, France.
• Mitrani I. [PhD Thesis] Congestion Problems in Computing Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1972.
• Mitrani I. A Queueing Model of Priority Multi-programming. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1972. Computing Laboratory Technical Report Series 41.
• Mitrani I. Non-Priority Multiprogramming Systems Under Heavy Demand Conditions. Journal of the ACM 1972, 19(3), 445-452.
• Mitrani I. Multi-Programming Systems with One Processor and Many Input-Output Devices. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1971. Computing Laboratory Technical Report Series 22.
• Mitrani I. Non-Priority Multi-Programming Systems Under Heavy Demand Conditions From a Customer's Point of View. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1970. Computing Laboratory Technical Report Series 11.
• Mitrani I, Avi-Itzhak B. A Many Server Queue With Service Interruptions. Operations Research 1968, 16(3), 628-638.