×

Chandy, Kanianthra Mani

Author ID: chandy.k-mani Recent zbMATH articles by "Chandy, Kanianthra Mani"
Published as: Chandy, K. Mani; Chandy, K. M.
External Links: MGP · Wikidata · dblp · GND · IdRef

Publications by Year

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 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

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.