Edit Profile (opens in new tab) Chandy, Kanianthra Mani Co-Author Distance Author ID: chandy.k-mani Published as: Chandy, K. Mani; Chandy, K. M. External Links: MGP · Wikidata · dblp · GND · IdRef Documents Indexed: 52 Publications since 1968, including 2 Books 1 Contribution as Editor Co-Authors: 36 Co-Authors with 45 Joint Publications 714 Co-Co-Authors all top 5 Co-Authors 3 single-authored 12 Misra, Jayadev 5 Sauer, Charles H. 4 Charpentier, Michel 4 Ramamoorthy, Chitoor V. 3 Mitra, Sayan 3 Towsley, Donald Fred 2 Browne, James C. 2 Howard, John H. jun. 2 Pilotto, Concetta 1 Adam, Thomas L. 1 Bagrodia, Rajive L. 1 Baskett, Forest 1 Blelloch, Guy E. 1 Bose, Subhonmesh 1 Dabdub, Donald 1 Dickson, J. R. 1 Foster, Ian T. 1 Gayme, Dennice F. 1 Go, Brian 1 Gonzales, Mario J. jun. 1 Herman, Ted 1 Hewett, Thomas T. 1 Hogarth, J. E. 1 Holmes, Victor 1 Jagannathan, Suresh 1 Keller, T. W. 1 Kiniry, Joseph R. 1 Liao, Wen Toh 1 Lo, Tachen 1 Low, Steven H. 1 Muntz, Richard R. 1 Palacios, Fernando G. 1 Rifkin, Adam 1 Sanders, Beverly A. 1 van Sickle, Lawrence 1 White, Jerome all top 5 Serials 6 Communications of the ACM 4 Journal of the Association for Computing Machinery 4 IBM Journal of Research and Development 3 IEEE Transactions on Software Engineering 2 Information Processing Letters 2 IEEE Transactions on Computers 2 ACM Transactions on Programming Languages and Systems 2 Science of Computer Programming 2 Formal Aspects of Computing 2 Distributed Computing 1 Acta Informatica 1 Computer 1 Computer Networks 1 Information and Control 1 Networks 1 Parallel Computing 1 Journal of Parallel and Distributed Computing 1 Computing Surveys 1 Formal Methods in System Design 1 ACM Transactions on Modeling and Computer Simulation 1 DIMACS. Series in Discrete Mathematics and Theoretical Computer Science 1 IEEE Transactions on Control of Network Systems all top 5 Fields 48 Computer science (68-XX) 5 Probability theory and stochastic processes (60-XX) 5 Operations research, mathematical programming (90-XX) 5 Information and communication theory, circuits (94-XX) 2 Numerical analysis (65-XX) 1 General and overarching topics; collections (00-XX) 1 Combinatorics (05-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 38 Publications have been cited 841 times in 715 Documents Cited by ▼ Year ▼ Open, closed, and mixed networks of queues with different classes of customers. Zbl 0313.68055 Baskett, Forest; Chandy, K. Mani; Muntz, Richard R.; Palacios, Fernando G. 248 1975 Parallel program design. A foundation. Zbl 0717.68034 Chandy, K. Mani; Misra, Jayadev 184 1988 Proofs of networks of processes. Zbl 0468.68030 Misra, Jayadev; Chandy, K. Mani 57 1981 How processes learn. Zbl 0602.68026 Chandy, K. M.; Misra, Jayadev 47 1986 Parametric analysis of queuing networks. Zbl 0294.90026 Chandy, K. M.; Herzog, U.; Woo, L. 32 1975 Product form and local balance in queueing networks. Zbl 0356.68074 Chandy, K. Mani; Howard, John H. jun.; Towsley, Donald F. 21 1977 A characterization of product-form queueing networks. Zbl 0512.68030 Chandy, K. M.; Martin, A. J. 19 1983 Approximate analysis of general queuing networks. Zbl 0293.90021 Chandy, K. M.; Herzog, U.; Woo, L. 19 1975 A comparison of list schedules for parallel processing systems. Zbl 0293.68047 Adam, Thomas L.; Chandy, K. M.; Dickson, J. R. 17 1974 Distributed computation on graphs: shortest path algorithms. Zbl 0491.68064 Chandy, K. M.; Misra, J. 16 1982 A survey of analytic models of rollback and recovery strategies. Zbl 0307.68044 Chandy, K. M. 16 1975 The capacitated minimum spanning tree. Zbl 0256.90016 Chandy, K. M.; Lo, Tachen 14 1973 Solution of queuing problems by a recursive technique. Zbl 0307.68043 Herzog, U.; Woo, L.; Chandy, K. M. 14 1975 Quadratically constrained quadratic programs on acyclic graphs with application to power flow. Zbl 1370.90168 Bose, Subhonmesh; Gayme, Dennice F.; Chandy, K. Mani; Low, Steven H. 14 2015 Optimal scheduling strategies in a multiprocessor system. Zbl 0232.68014 Ramamoorthy, C. V.; Chandy, K. M.; Gonzales, Mario J. jun. 13 1972 Distributed simulation: A case study in design and verification of distributed programs. Zbl 0416.68014 Chandy, K. Mani; Misra, Jayadev 13 1979 Deadlock absence proofs for networks of communicating processes. Zbl 0456.68030 Chandy, K. M.; Misra, J. 12 1979 Approximate analysis of central server models. Zbl 0302.68080 Sauer, C. H.; Chandy, K. M. 11 1975 Approximate methods for analyzing queueing network models of computing systems. Zbl 0385.68039 Chandy, K. Mani; Sauer, Charles H. 11 1978 Rollback and recovery strategies for computer programs. Zbl 0235.68008 Chandy, K. M.; Ramamoorthy, C. V. 10 1972 A distributed graph algorithm: Knot detection. Zbl 0489.68061 Misra, J.; Chandy, K. M. 9 1982 Computational algorithms for product form queueing networks. Zbl 0443.68027 Chandy, K. Mani; Sauer, Charles H. 6 1980 Predicate transformers for reasoning about concurrent computation. Zbl 0939.68645 Chandy, K. Mani; Sanders, Beverly A. 5 1995 A unifying framework for distributed simulation. Zbl 0842.68101 Bagrodia, R.; Chandy, K. M.; Liao, Wen Toh 5 1991 Termination detection of diffusing computations in communicating sequential processes. Zbl 0479.68025 Misra, Jayadev; Chandy, K. M. 4 1982 A formalized theory for verifying stability and convergence of automata in PVS. Zbl 1165.68394 Mitra, Sayan; Chandy, K. Mani 4 2008 Systolic algorithms as programs. Zbl 0609.68024 Chandy, K. Mani; Misra, J. 4 1986 Models for parallel processing within programs: Application to CPU:I/O and I/O:I/O overlap. Zbl 0386.68029 Towsley, D.; Chandy, K. M.; Browne, J. C. 3 1978 Selecting capacities in computer communication systems. Zbl 0359.68075 Chandy, K. Mani; Hogarth, J.; Sauer, Charles H. 2 1977 Optimization of memory hierarchies in multiprogrammed systems. Zbl 0258.68016 Ramamoorthy, C. V.; Chandy, K. M. 2 1970 A paradigm for detecting quiescent properties in distributed computations. Zbl 0578.68022 Chandy, K. Mani; Misra, Jayadev 2 1985 FORTRAN M: A language for modular parallel programming. Zbl 0826.68028 Foster, Ian T.; Chandy, K. Mani 1 1995 An introduction to parallel programming. Zbl 0824.68026 Chandy, K. Mani; Taylor, Stephen 1 1992 Product form and local balance in queueing networks. Zbl 0359.68064 Chandy, K. Mani; Howard, John H. jun.; Towsley, Donald F. 1 1977 Convergence verification: From shared memory to partially synchronous systems. Zbl 1171.68547 Chandy, K. Mani; Mitra, Sayan; Pilotto, Concetta 1 2008 Reasoning about continuous systems. Zbl 0705.68072 Chandy, K. Mani 1 1990 The impact of distributions and disciplines on multiple processor systems. Zbl 0388.68025 Sauer, Charles H.; Chandy, K. Mani 1 1979 Verification of distributed systems with local-global predicates. Zbl 1242.68155 Chandy, K. Mani; Go, Brian; Mitra, Sayan; Pilotto, Concetta; White, Jerome 1 2011 Quadratically constrained quadratic programs on acyclic graphs with application to power flow. Zbl 1370.90168 Bose, Subhonmesh; Gayme, Dennice F.; Chandy, K. Mani; Low, Steven H. 14 2015 Verification of distributed systems with local-global predicates. Zbl 1242.68155 Chandy, K. Mani; Go, Brian; Mitra, Sayan; Pilotto, Concetta; White, Jerome 1 2011 A formalized theory for verifying stability and convergence of automata in PVS. Zbl 1165.68394 Mitra, Sayan; Chandy, K. Mani 4 2008 Convergence verification: From shared memory to partially synchronous systems. Zbl 1171.68547 Chandy, K. Mani; Mitra, Sayan; Pilotto, Concetta 1 2008 Predicate transformers for reasoning about concurrent computation. Zbl 0939.68645 Chandy, K. Mani; Sanders, Beverly A. 5 1995 FORTRAN M: A language for modular parallel programming. Zbl 0826.68028 Foster, Ian T.; Chandy, K. Mani 1 1995 An introduction to parallel programming. Zbl 0824.68026 Chandy, K. Mani; Taylor, Stephen 1 1992 A unifying framework for distributed simulation. Zbl 0842.68101 Bagrodia, R.; Chandy, K. M.; Liao, Wen Toh 5 1991 Reasoning about continuous systems. Zbl 0705.68072 Chandy, K. Mani 1 1990 Parallel program design. A foundation. Zbl 0717.68034 Chandy, K. Mani; Misra, Jayadev 184 1988 How processes learn. Zbl 0602.68026 Chandy, K. M.; Misra, Jayadev 47 1986 Systolic algorithms as programs. Zbl 0609.68024 Chandy, K. Mani; Misra, J. 4 1986 A paradigm for detecting quiescent properties in distributed computations. Zbl 0578.68022 Chandy, K. Mani; Misra, Jayadev 2 1985 A characterization of product-form queueing networks. Zbl 0512.68030 Chandy, K. M.; Martin, A. J. 19 1983 Distributed computation on graphs: shortest path algorithms. Zbl 0491.68064 Chandy, K. M.; Misra, J. 16 1982 A distributed graph algorithm: Knot detection. Zbl 0489.68061 Misra, J.; Chandy, K. M. 9 1982 Termination detection of diffusing computations in communicating sequential processes. Zbl 0479.68025 Misra, Jayadev; Chandy, K. M. 4 1982 Proofs of networks of processes. Zbl 0468.68030 Misra, Jayadev; Chandy, K. Mani 57 1981 Computational algorithms for product form queueing networks. Zbl 0443.68027 Chandy, K. Mani; Sauer, Charles H. 6 1980 Distributed simulation: A case study in design and verification of distributed programs. Zbl 0416.68014 Chandy, K. Mani; Misra, Jayadev 13 1979 Deadlock absence proofs for networks of communicating processes. Zbl 0456.68030 Chandy, K. M.; Misra, J. 12 1979 The impact of distributions and disciplines on multiple processor systems. Zbl 0388.68025 Sauer, Charles H.; Chandy, K. Mani 1 1979 Approximate methods for analyzing queueing network models of computing systems. Zbl 0385.68039 Chandy, K. Mani; Sauer, Charles H. 11 1978 Models for parallel processing within programs: Application to CPU:I/O and I/O:I/O overlap. Zbl 0386.68029 Towsley, D.; Chandy, K. M.; Browne, J. C. 3 1978 Product form and local balance in queueing networks. Zbl 0356.68074 Chandy, K. Mani; Howard, John H. jun.; Towsley, Donald F. 21 1977 Selecting capacities in computer communication systems. Zbl 0359.68075 Chandy, K. Mani; Hogarth, J.; Sauer, Charles H. 2 1977 Product form and local balance in queueing networks. Zbl 0359.68064 Chandy, K. Mani; Howard, John H. jun.; Towsley, Donald F. 1 1977 Open, closed, and mixed networks of queues with different classes of customers. Zbl 0313.68055 Baskett, Forest; Chandy, K. Mani; Muntz, Richard R.; Palacios, Fernando G. 248 1975 Parametric analysis of queuing networks. Zbl 0294.90026 Chandy, K. M.; Herzog, U.; Woo, L. 32 1975 Approximate analysis of general queuing networks. Zbl 0293.90021 Chandy, K. M.; Herzog, U.; Woo, L. 19 1975 A survey of analytic models of rollback and recovery strategies. Zbl 0307.68044 Chandy, K. M. 16 1975 Solution of queuing problems by a recursive technique. Zbl 0307.68043 Herzog, U.; Woo, L.; Chandy, K. M. 14 1975 Approximate analysis of central server models. Zbl 0302.68080 Sauer, C. H.; Chandy, K. M. 11 1975 A comparison of list schedules for parallel processing systems. Zbl 0293.68047 Adam, Thomas L.; Chandy, K. M.; Dickson, J. R. 17 1974 The capacitated minimum spanning tree. Zbl 0256.90016 Chandy, K. M.; Lo, Tachen 14 1973 Optimal scheduling strategies in a multiprocessor system. Zbl 0232.68014 Ramamoorthy, C. V.; Chandy, K. M.; Gonzales, Mario J. jun. 13 1972 Rollback and recovery strategies for computer programs. Zbl 0235.68008 Chandy, K. M.; Ramamoorthy, C. V. 10 1972 Optimization of memory hierarchies in multiprogrammed systems. Zbl 0258.68016 Ramamoorthy, C. V.; Chandy, K. M. 2 1970 all cited Publications top 5 cited Publications all top 5 Cited by 1,114 Authors 14 Hesselink, Wim H. 10 Daduna, Hans 10 Roy, Debjit 10 van Dijk, Nico M. 8 Gelenbe, Sami Erol 8 Moses, Yoram 7 Boucherie, Richard J. 7 Boxma, Onno Johan 7 Grumberg, Orna 7 Kouvatsos, Demetres D. 7 Marin, Andrea 7 Misra, Jayadev 6 de Koster, René B. M. 6 Halpern, Joseph Yehuda 6 Parikh, Rohit 5 Akyildiz, Ian Fuat 5 Balsamo, Simonetta 5 Buzacott, John Alan 5 Cao, Xi-Ren 5 Collette, Pierre 5 Dallery, Yves 5 Henderson, William 5 Jonsson, Bengt 5 Schassberger, Rolf 5 Taylor, Peter Gerrard 4 Bramson, Maury D. 4 Chandy, Kanianthra Mani 4 Fourneau, Jean-Michel 4 Futatsugi, Kokichi 4 Harrison, John Michael 4 Heragu, Sunderesh S. 4 Kameda, Hisao 4 Krenzler, Ruslan 4 Krzesinski, Anthony E. 4 Olderog, Ernst-Rüdiger 4 Păsăreanu, Corina S. 4 Shanthikumar, Jeyaveerasingam George 4 Singh, Ambuj K. 4 Smith, James MacGregor 4 Taubenfeld, Gadi 3 Adan, Ivo J. B. F. 3 Anderson, James H. 3 Attie, Paul C. 3 Ben-Zvi, Ido 3 Bocharov, Pavel Petrovich 3 Brandwajn, Alexandre 3 Casale, Giuliano 3 Charron-Bost, Bernadette 3 Chen, Hong 3 Costa, José Félix 3 Damodaran, Purushothaman 3 D’Apice, Ciro 3 de Roever, Willem-Paul 3 Dongol, Brijesh 3 Fagin, Ronald 3 Fiadeiro, José Luiz 3 Francez, Nissim 3 Groote, Jan Friso 3 Hoare, C. A. R. Tony 3 Hooman, Jozef Johannes Maria 3 Horváth, András 3 Kawatra, Rakesh 3 Kindler, Ekkart 3 Knapp, Edgar 3 Kok, Joost N. 3 Krishnamurthy, Ananth 3 Kumawat, Govind Lal 3 Liu, Zhiming 3 McIver, Annabelle K. 3 Meseguer Guaita, José 3 Mitra, Sayan 3 Namjoshi, Kedar S. 3 Otten, Sonja 3 Pearce, Charles Edward Miller 3 Prasetya, I. S. W. B. 3 Sanders, Beverly A. 3 Serfozo, Richard F. 3 Sifakis, Joseph 3 Swierstra, S. Doaitse 3 Tribastone, Mirco 3 Tsay, Yih-Kuen 3 van de Pol, Jan Cornelis 3 van Houtum, Geert-Jan 3 von Brand, Horst 3 Walton, Neil S. 2 Abd Elkader, Karam 2 Abdulla, Parosh Aziz 2 Adamatzky, Andrew I. 2 Aledo, Juan Ángel 2 Altinkemer, Kemal 2 Altiok, Tayfur 2 Angius, Alessio 2 Aravind, Alex A. 2 Back, Ralph-Johan 2 Balbo, Gianfranco 2 Bansal, Vishal 2 Benlic, Una 2 Bensalem, Saddek 2 Berezner, S. A. 2 Bhaskar, Vidhyacharan ...and 1,014 more Authors all top 5 Cited in 137 Serials 52 Theoretical Computer Science 48 European Journal of Operational Research 42 Queueing Systems 36 Information Processing Letters 35 Formal Aspects of Computing 35 Distributed Computing 32 Acta Informatica 30 Annals of Operations Research 23 Computers & Operations Research 11 Operations Research Letters 9 Computers & Mathematics with Applications 9 Formal Methods in System Design 8 International Journal of Systems Science 8 Probability in the Engineering and Informational Sciences 7 Journal of Soviet Mathematics 7 Information and Computation 7 Discrete Event Dynamic Systems 6 Applied Mathematics and Computation 6 Computing 6 International Journal of Production Research 5 International Journal of Computer & Information Sciences 5 Operations Research 5 Science of Computer Programming 5 The Journal of Logic and Algebraic Programming 4 Journal of Computer Science and Technology 4 International Journal of Parallel Programming 4 Mathematical and Computer Modelling 4 International Journal of Foundations of Computer Science 4 Stochastic Processes and their Applications 4 Stochastic Models 3 Information Sciences 3 Journal of Applied Probability 3 OR Spektrum 3 Optimization 3 Algorithmica 3 Journal of Parallel and Distributed Computing 3 The Annals of Applied Probability 3 Applied Mathematical Modelling 3 Automation and Remote Control 3 Zeitschrift für Operations Research. Serie A: Theorie 3 SIAM Journal on Optimization 3 ACM Transactions on Modeling and Computer Simulation 3 Journal of Scheduling 3 Wuhan University Journal of Natural Sciences (WUJNS) 3 Sādhanā 3 Stochastic Systems 2 Artificial Intelligence 2 Journal of the Franklin Institute 2 Journal of Mathematical Analysis and Applications 2 Chaos, Solitons and Fractals 2 Journal of Computer and System Sciences 2 Kybernetes 2 Mathematics and Computers in Simulation 2 Naval Research Logistics 2 Opsearch 2 Journal of Information & Optimization Sciences 2 Systems & Control Letters 2 Annals of Pure and Applied Logic 2 Annales Scientifiques de l’Université de Clermont-Ferrand II. Probabilités et Applications 2 Journal of Automated Reasoning 2 MSCS. Mathematical Structures in Computer Science 2 Journal of Global Optimization 2 Linear Algebra and its Applications 2 Annals of Mathematics and Artificial Intelligence 2 Mathematical Problems in Engineering 2 Parallel Algorithms and Applications 2 Mathematical Methods of Operations Research 2 RAIRO. Operations Research 2 International Journal of Parallel, Emergent and Distributed Systems 2 Science China. Information Sciences 2 Journal of Logical and Algebraic Methods in Programming 1 Advances in Applied Probability 1 The Canadian Journal of Statistics 1 Journal of Computational Physics 1 Stochastics 1 Automatica 1 BIT 1 INFOR 1 Journal of Computational and Applied Mathematics 1 Journal of Economic Theory 1 Journal of Optimization Theory and Applications 1 Journal of Philosophical Logic 1 Networks 1 SIAM Journal on Control and Optimization 1 Statistica Neerlandica 1 Synthese 1 Cybernetics 1 Cybernetics and Systems 1 SIAM Journal on Algebraic and Discrete Methods 1 American Journal of Mathematical and Management Sciences 1 Journal of Symbolic Computation 1 International Journal of Approximate Reasoning 1 Applied Mathematics Letters 1 Real-Time Systems 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 Neural Computation 1 The Journal of Supercomputing 1 Annales de l’Institut Henri Poincaré. Nouvelle Série. Section B. Calcul des Probabilités et Statistique 1 International Journal of Computer Mathematics 1 SIAM Review ...and 37 more Serials all top 5 Cited in 25 Fields 446 Computer science (68-XX) 270 Operations research, mathematical programming (90-XX) 176 Probability theory and stochastic processes (60-XX) 47 Mathematical logic and foundations (03-XX) 19 Numerical analysis (65-XX) 19 Information and communication theory, circuits (94-XX) 17 Systems theory; control (93-XX) 10 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 9 Combinatorics (05-XX) 5 Statistics (62-XX) 5 Biology and other natural sciences (92-XX) 3 General and overarching topics; collections (00-XX) 3 History and biography (01-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Dynamical systems and ergodic theory (37-XX) 2 Ordinary differential equations (34-XX) 2 Quantum theory (81-XX) 1 Commutative algebra (13-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Nonassociative rings and algebras (17-XX) 1 Category theory; homological algebra (18-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Fluid mechanics (76-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Statistical mechanics, structure of matter (82-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.