Edit Profile (opens in new tab) Panangaden, Prakash Compute Distance To: Compute Author ID: panangaden.prakash Published as: Panangaden, Prakash; Panangaden, P.; Panagaden, Prakash Documents Indexed: 105 Publications since 1979, including 1 Book 19 Contributions as Editor Biographic References: 2 Publications Co-Authors: 94 Co-Authors with 106 Joint Publications 2,036 Co-Co-Authors all top 5 Co-Authors 17 single-authored 12 Mardare, Radu 10 Desharnais, Josée 9 Danos, Vincent 8 Jagadeesan, Radha 8 Plotkin, Gordon D. 7 Blute, Richard F. 6 Gupta, Vineet 6 Kashefi, Elham 5 Coecke, Bob 5 Kozen, Dexter C. 5 Martin, Keye 4 Balle, Borja 4 Chatzikokolakis, Konstantinos 4 Clerc, Florence 4 D’Hondt, Ellie 4 Knight, Sophia 4 Palamidessi, Catuscia 4 Precup, Doina 4 Shanbhogue, Vasant 3 Bacci, Giorgio 3 Chaput, Philippe 3 Larsen, Kim Guldstrand 3 Selinger, Peter 2 Aceto, Luca 2 Chen, Linan 2 Cooper, Stuart Barry 2 Fijalkow, Nathanaël 2 Gourdeau, Pascale 2 Hasuo, Ichiro 2 Hildebrandt, Thomas T. 2 Ivanov, Ivan T. 2 Klin, Bartek 2 Kopperman, Ralph David 2 Rutten, Jan J. M. M. 2 Smyth, Michael B. 2 Spreen, Dieter 2 Stark, Eugene W. 2 Winskel, Glynn 1 Abramsky, Samson 1 Bădescu, Costin 1 Bezhanishvili, Nick 1 Bonchi, Filippo 1 Bonsangue, Marcello Maria 1 Brádler, Kamil 1 Cave, Andrew 1 Chen, Yixiang 1 Cleaveland, Rance 1 Critchlov, C. 1 Critchlow, Carol 1 Delbecque, Yannick 1 Dinculescu, Monica 1 Duncan, Ross 1 Edalat, Abbas 1 Farooqui, Anusar 1 Ferns, Norm 1 Ferreira, Francisco H. G. 1 Gagné, Nicolas 1 Guglielmi, Alessio 1 Hansen, Helle Hvid 1 Hayden, Patrick M. 1 Hoban, Matty J. 1 Humphrey, Harrison 1 Hundt, Christopher 1 Jacobs, Bart 1 Kamran, Niky 1 Kaznatcheev, Artem 1 Keller, Robert M. 1 Kremer, Steve 1 Kupke, Clemens 1 Kwiatkowska, Marta Z. 1 Laviolette, François 1 Mackie, Ian 1 McAllester, David Allen 1 Mendler, Nax Paul 1 Nestmann, Uwe 1 Norman, Gethin 1 Ong, Luke 1 Paquette, Éric Oliver 1 Perdrix, Simon 1 Pientka, Brigitte 1 Pineau, Joelle 1 Pingali, Keshav K. 1 Pronk, Dorette A. 1 Sadrzadeh, Mehrnoosh 1 Scott, Dana Stewart 1 Scott, Philip J. 1 Seely, Robert A. G. 1 Silva, Alexandra 1 Slavnov, Sergey 1 Straßburger, Lutz 1 Taylor, Kim 1 Valencia, Frank D. 1 van Breugel, Franck 1 Verbrugge, Clark 1 Webster, Julian 1 Zhang, Guoqing all top 5 Serials 9 Information and Computation 7 Theoretical Computer Science 7 Electronic Notes in Theoretical Computer Science 4 MSCS. Mathematical Structures in Computer Science 3 Electronic Proceedings in Theoretical Computer Science (EPTCS) 2 Acta Informatica 2 Communications in Mathematical Physics 2 Nordic Journal of Computing 2 Journal of the ACM 2 ACM Transactions on Computational Logic 2 Logical Methods in Computer Science 1 International Journal of Theoretical Physics 1 Information Processing Letters 1 Journal of Mathematical Physics 1 Journal of Computer and System Sciences 1 Journal of Pure and Applied Algebra 1 SIAM Journal on Computing 1 New Generation Computing 1 International Journal of Parallel Programming 1 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 Distributed Computing 1 Applied Categorical Structures 1 Advances in Theoretical and Mathematical Physics 1 The Journal of Logic and Algebraic Programming 1 Foundations of Physics 1 CRM Monograph Series 1 Lecture Notes in Computer Science 1 Quantum Information & Computation all top 5 Fields 91 Computer science (68-XX) 29 Quantum theory (81-XX) 25 Mathematical logic and foundations (03-XX) 18 General and overarching topics; collections (00-XX) 14 Probability theory and stochastic processes (60-XX) 9 Order, lattices, ordered algebraic structures (06-XX) 9 Category theory; homological algebra (18-XX) 7 Relativity and gravitational theory (83-XX) 4 General algebraic systems (08-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Information and communication theory, circuits (94-XX) 2 History and biography (01-XX) 2 Operator theory (47-XX) 2 Differential geometry (53-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Measure and integration (28-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Difference and functional equations (39-XX) 1 Functional analysis (46-XX) 1 General topology (54-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Astronomy and astrophysics (85-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 73 Publications have been cited 751 times in 507 Documents Cited by ▼ Year ▼ Bisimulation for labelled Markov processes. Zbl 1096.68103Desharnais, Josée; Edalat, Abbas; Panangaden, Prakash 89 2002 Metrics for labelled Markov processes. Zbl 1068.68093Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash 70 2004 Labelled Markov processes. Zbl 1190.60001Panangaden, Prakash 45 2009 Metrics for labeled Markov systems. Zbl 0939.68081Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash 41 1999 Approximating labelled Markov processes. Zbl 1028.68091Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash 31 2003 Bisimulation and cocongruence for probabilistic systems. Zbl 1110.68083Danos, Vincent; Desharnais, Josée; Laviolette, François; Panangaden, Prakash 29 2006 The measurement calculus. Zbl 1311.81076Danos, Vincent; Kashefi, Elham; Panangaden, Prakash 29 2007 Anonymity protocols as noisy channels. Zbl 1147.68394Chatzikokolakis, Konstantinos; Palamidessi, Catuscia; Panangaden, Prakash 28 2008 Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. Zbl 1053.68065Desharnais, Josée; Panangaden, Prakash 21 2003 Quantum weakest preconditions. Zbl 1122.68058D’Hondt, Ellie; Panangaden, Prakash 21 2006 Nuclear and trace ideals in tensored \(^*\)-categories. Zbl 0946.18004Abramsky, Samson; Blute, Richard; Panangaden, Prakash 20 1999 Algebra-coalgebra duality in Brzozowski’s minimization algorithm. Zbl 1288.68174Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra 18 2014 Weak bisimulation is sound and complete for pCTL*. Zbl 1012.68139Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash 17 2002 A domain of spacetime intervals in general relativity. Zbl 1188.83071Martin, Keye; Panangaden, Prakash 16 2006 The computational power of the W and GHZ states. Zbl 1152.81703D’Hondt, E.; Panangaden, P. 15 2006 Quantitative algebraic reasoning. Zbl 1391.68021Mardare, Radu; Panangaden, Prakash; Plotkin, Gordon 13 2016 Bisimulation metrics for continuous Markov decision processes. Zbl 1253.39018Ferns, Norm; Panangaden, Prakash; Precup, Doina 12 2011 Stone duality for Markov processes. Zbl 1433.06006Kozen, Dexter; Larsen, Kim G.; Mardare, Radu; Panangaden, Prakash 11 2013 Spatial and epistemic modalities in constraint-based process calculi. Zbl 1364.68290Knight, Sophia; Palamidessi, Catuscia; Panangaden, Prakash; Valencia, Frank D. 11 2012 Minimization via duality. Zbl 1361.68157Bezhanishvili, Nick; Kupke, Clemens; Panangaden, Prakash 11 2012 Concurrent common knowledge: Defining agreement for asynchronous systems. Zbl 0773.68009Panangaden, Prakash; Taylor, Kim 9 1992 Discrete quantum causal dynamics. Zbl 1037.81012Blute, Richard F.; Ivanov, Ivan T.; Panangaden, Prakash 9 2003 Approximating Markov processes by averaging. Zbl 1248.68322Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon 9 2009 Quantum communication in Rindler spacetime. Zbl 1257.83003Brádler, Kamil; Hayden, Patrick; Panangaden, Prakash 9 2012 The expressive power of indeterminate dataflow primitives. Zbl 0754.68082Panangaden, Prakash; Shanbhogue, Vasant 8 1992 Stability and sequentiality in dataflow networks. Zbl 0766.68090Panangaden, Prakash; Shanbhogue, Vasant; Stark, Eugene W. 8 1990 Weak bisimulation is sound and complete for pCTL\(^*\). Zbl 1189.68080Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash 8 2010 Taking it to the limit: approximate reasoning for Markov processes. Zbl 1365.68344Larsen, Kim Guldstrand; Mardare, Radu; Panangaden, Prakash 8 2012 Measure and probability for concurrency theorists. Zbl 0956.68058Panangaden, P. 7 2001 A logical view of concurrent constraint programming. Zbl 0839.68020Mendler, Nax P.; Panangaden, Prakash; Scott, P. J.; Seely, R. A. G. 7 1995 A categorical presentation of quantum computation with anyons. Zbl 1218.81036Panangaden, P.; Paquette, É. O. 7 2011 A canonical form for weighted automata and applications to approximate minimization. Zbl 1401.68145Balle, Borja; Panangaden, Prakash; Precup, Doina 6 2015 Conditional expectation and the approximation of labelled Markov processes. Zbl 1274.68265Danos, Vincent; Desharnais, Josée; Panangaden, Prakash 6 2003 Extended measurement calculus. Zbl 1209.68250Danos, Vincent; Kashefi, Elham; Panangaden, Prakash; Perdrix, Simon 6 2010 A relational model of non-deterministic dataflow. Zbl 0940.68078Hildebrandt, Thomas; Panangaden, Prakash; Winskel, Glynn 5 1998 The one way to quantum computation. Zbl 1133.68342Danos, Vincent; Kashefi, Elham; Panangaden, Prakash 5 2006 Approximate reasoning for real-time probabilistic processes. Zbl 1126.68055Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash 5 2006 Anonymity protocols as noisy channels. Zbl 1211.94025Chatzikokolakis, Konstantinos; Palamidessi, Catuscia; Panangaden, Prakash 5 2007 Strong completeness for Markovian logics. Zbl 06210010Kozen, Dexter; Mardare, Radu; Panangaden, Prakash 5 2013 Type theory and concurrency. Zbl 0678.68017Cleaveland, Rance; Panangaden, Prakash 5 1988 Dagger categories and formal distributions. Zbl 1253.81006Blute, R.; Panangaden, P. 4 2011 Fair reactive programming. Zbl 1284.68127Cave, Andrew; Ferreira, Francisco; Panangaden, Prakash; Pientka, Brigitte 4 2014 Game semantics for quantum stores. Zbl 1286.81044Delbecque, Yannick; Panagaden, Prakash 4 2008 Approximating Markov processes by averaging. Zbl 1295.68167Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon 4 2014 Computations, residuals, and the power of indeterminacy. Zbl 0649.68019Panangaden, Prakash; Stark, Eugene W. 4 1988 Expressiveness of probabilistic modal logics: a gradual approach. Zbl 1422.68167Clerc, Florence; Fijalkow, Nathanaël; Klin, Bartek; Panangaden, Prakash 3 2019 A relational model of non-deterministic dataflow. Zbl 1093.68063Hildebrandt, Thomas T.; Panagaden, Prakash; Winskel, Glynn 3 2004 A technique for verifying measurements. Zbl 1286.06011Martin, Keye; Panangaden, Prakash 3 2008 Expressiveness of probabilistic modal logics. Zbl 1442.68137Fijalkow, Nathanaël; Klin, Bartek; Panangaden, Prakash 3 2017 On the axiomatizability of quantitative algebras. Zbl 1452.08005Mardare, Radu; Panangaden, Prakash; Plotkin, Gordon 2 2017 Positive and negative frequency decompositions in curved spacetime. Zbl 0448.58028Panangaden, Prakash 2 1979 Domain theory and general relativity. Zbl 1218.83016Martin, K.; Panangaden, P. 2 2011 A logical basis for quantum evolution and entanglement. Zbl 1286.81013Blute, Richard F.; Guglielmi, Alessio; Ivanov, Ivan T.; Panangaden, Prakash; Straßburger, Lutz 2 2014 Causality in physics and computation. Zbl 1360.68634Panangaden, Prakash 2 2014 Deep inference and probabilistic coherence spaces. Zbl 1260.03117Blute, Richard; Panangaden, Prakash; Slavnov, Sergey 2 2012 Spacetime geometry from causal structure and a measurement. Zbl 1260.83073Martin, Keye; Panangaden, Prakash 2 2012 McCarthy’s amb cannot implement fair merge. Zbl 0667.68035Panagaden, Prakash; Shanbhogue, Vasant 2 1988 The expressive power of indeterminate primitives in asynchronous computation. Zbl 1354.68080Panangaden, Prakash 2 1995 Approximating labelled Markov processes again! Zbl 1239.68050Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon 2 2009 Unrestricted Stone duality for Markov processes. Zbl 1452.06009Furber, Robert; Kozen, Dexter; Larsen, Kim; Mardare, Radu; Panangaden, Prakash 1 2017 A domain-theoretic model for a higher-order process calculus. Zbl 0766.68089Jagadeesan, Radha; Panangaden, Prakash 1 1990 Nonexpressibility of fairness and signaling. Zbl 0801.68112McAllester, David; Panangaden, Prakash; Shanbhogue, Vasant 1 1993 The category of Markov kernels. Zbl 0920.68067Panangaden, Prakash 1 1998 Mathematical techniques for analyzing concurrent and probabilistic systems. Zbl 1069.68074 1 2004 Special issue: Spatial representation: Discrete vs. continuous computational models. Papers of the workshop, Schloss Dagstuhl, Germany, August 2004. Zbl 1125.68312 1 2006 Learning in a changing world, an algebraic modal logical approach. Zbl 1308.68111Panangaden, Prakash; Sadrzadeh, Mehrnoosh 1 2011 Epistemic strategies and games on concurrent processes. Zbl 1206.68211Chatzikokolakis, Konstantinos; Knight, Sophia; Panangaden, Prakash 1 2009 An exact expression for photon polarization in Kerr geometry. Zbl 1309.83055Farooqui, Anusar; Kamran, Niky; Panangaden, Prakash 1 2014 Probabilistic bisimulation. Zbl 1285.68109Panangaden, Prakash 1 2012 Distributed measurement-based quantum computation. Zbl 1277.68174Danos, Vincent; D’Hondt, Ellie; Kashefi, Elham; Panangaden, Prakash 1 2007 A fully abstract semantics for a functional language with logic variables. Zbl 0716.68061Jagadeesan, Radha; Panangaden, Prakash; Pingali, Keshav 1 1989 Bicategories of Markov processes. Zbl 1431.18013Clerc, Florence; Humphrey, Harrison; Panangaden, Prakash 1 2017 Semantics of networks containing indeterminate operators. Zbl 0565.68004Keller, Robert M.; Panangaden, Prakash 1 1985 Expressiveness of probabilistic modal logics: a gradual approach. Zbl 1422.68167Clerc, Florence; Fijalkow, Nathanaël; Klin, Bartek; Panangaden, Prakash 3 2019 Expressiveness of probabilistic modal logics. Zbl 1442.68137Fijalkow, Nathanaël; Klin, Bartek; Panangaden, Prakash 3 2017 On the axiomatizability of quantitative algebras. Zbl 1452.08005Mardare, Radu; Panangaden, Prakash; Plotkin, Gordon 2 2017 Unrestricted Stone duality for Markov processes. Zbl 1452.06009Furber, Robert; Kozen, Dexter; Larsen, Kim; Mardare, Radu; Panangaden, Prakash 1 2017 Bicategories of Markov processes. Zbl 1431.18013Clerc, Florence; Humphrey, Harrison; Panangaden, Prakash 1 2017 Quantitative algebraic reasoning. Zbl 1391.68021Mardare, Radu; Panangaden, Prakash; Plotkin, Gordon 13 2016 A canonical form for weighted automata and applications to approximate minimization. Zbl 1401.68145Balle, Borja; Panangaden, Prakash; Precup, Doina 6 2015 Algebra-coalgebra duality in Brzozowski’s minimization algorithm. Zbl 1288.68174Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra 18 2014 Fair reactive programming. Zbl 1284.68127Cave, Andrew; Ferreira, Francisco; Panangaden, Prakash; Pientka, Brigitte 4 2014 Approximating Markov processes by averaging. Zbl 1295.68167Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon 4 2014 A logical basis for quantum evolution and entanglement. Zbl 1286.81013Blute, Richard F.; Guglielmi, Alessio; Ivanov, Ivan T.; Panangaden, Prakash; Straßburger, Lutz 2 2014 Causality in physics and computation. Zbl 1360.68634Panangaden, Prakash 2 2014 An exact expression for photon polarization in Kerr geometry. Zbl 1309.83055Farooqui, Anusar; Kamran, Niky; Panangaden, Prakash 1 2014 Stone duality for Markov processes. Zbl 1433.06006Kozen, Dexter; Larsen, Kim G.; Mardare, Radu; Panangaden, Prakash 11 2013 Strong completeness for Markovian logics. Zbl 06210010Kozen, Dexter; Mardare, Radu; Panangaden, Prakash 5 2013 Spatial and epistemic modalities in constraint-based process calculi. Zbl 1364.68290Knight, Sophia; Palamidessi, Catuscia; Panangaden, Prakash; Valencia, Frank D. 11 2012 Minimization via duality. Zbl 1361.68157Bezhanishvili, Nick; Kupke, Clemens; Panangaden, Prakash 11 2012 Quantum communication in Rindler spacetime. Zbl 1257.83003Brádler, Kamil; Hayden, Patrick; Panangaden, Prakash 9 2012 Taking it to the limit: approximate reasoning for Markov processes. Zbl 1365.68344Larsen, Kim Guldstrand; Mardare, Radu; Panangaden, Prakash 8 2012 Deep inference and probabilistic coherence spaces. Zbl 1260.03117Blute, Richard; Panangaden, Prakash; Slavnov, Sergey 2 2012 Spacetime geometry from causal structure and a measurement. Zbl 1260.83073Martin, Keye; Panangaden, Prakash 2 2012 Probabilistic bisimulation. Zbl 1285.68109Panangaden, Prakash 1 2012 Bisimulation metrics for continuous Markov decision processes. Zbl 1253.39018Ferns, Norm; Panangaden, Prakash; Precup, Doina 12 2011 A categorical presentation of quantum computation with anyons. Zbl 1218.81036Panangaden, P.; Paquette, É. O. 7 2011 Dagger categories and formal distributions. Zbl 1253.81006Blute, R.; Panangaden, P. 4 2011 Domain theory and general relativity. Zbl 1218.83016Martin, K.; Panangaden, P. 2 2011 Learning in a changing world, an algebraic modal logical approach. Zbl 1308.68111Panangaden, Prakash; Sadrzadeh, Mehrnoosh 1 2011 Weak bisimulation is sound and complete for pCTL\(^*\). Zbl 1189.68080Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash 8 2010 Extended measurement calculus. Zbl 1209.68250Danos, Vincent; Kashefi, Elham; Panangaden, Prakash; Perdrix, Simon 6 2010 Labelled Markov processes. Zbl 1190.60001Panangaden, Prakash 45 2009 Approximating Markov processes by averaging. Zbl 1248.68322Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon 9 2009 Approximating labelled Markov processes again! Zbl 1239.68050Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon 2 2009 Epistemic strategies and games on concurrent processes. Zbl 1206.68211Chatzikokolakis, Konstantinos; Knight, Sophia; Panangaden, Prakash 1 2009 Anonymity protocols as noisy channels. Zbl 1147.68394Chatzikokolakis, Konstantinos; Palamidessi, Catuscia; Panangaden, Prakash 28 2008 Game semantics for quantum stores. Zbl 1286.81044Delbecque, Yannick; Panagaden, Prakash 4 2008 A technique for verifying measurements. Zbl 1286.06011Martin, Keye; Panangaden, Prakash 3 2008 The measurement calculus. Zbl 1311.81076Danos, Vincent; Kashefi, Elham; Panangaden, Prakash 29 2007 Anonymity protocols as noisy channels. Zbl 1211.94025Chatzikokolakis, Konstantinos; Palamidessi, Catuscia; Panangaden, Prakash 5 2007 Distributed measurement-based quantum computation. Zbl 1277.68174Danos, Vincent; D’Hondt, Ellie; Kashefi, Elham; Panangaden, Prakash 1 2007 Bisimulation and cocongruence for probabilistic systems. Zbl 1110.68083Danos, Vincent; Desharnais, Josée; Laviolette, François; Panangaden, Prakash 29 2006 Quantum weakest preconditions. Zbl 1122.68058D’Hondt, Ellie; Panangaden, Prakash 21 2006 A domain of spacetime intervals in general relativity. Zbl 1188.83071Martin, Keye; Panangaden, Prakash 16 2006 The computational power of the W and GHZ states. Zbl 1152.81703D’Hondt, E.; Panangaden, P. 15 2006 The one way to quantum computation. Zbl 1133.68342Danos, Vincent; Kashefi, Elham; Panangaden, Prakash 5 2006 Approximate reasoning for real-time probabilistic processes. Zbl 1126.68055Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash 5 2006 Special issue: Spatial representation: Discrete vs. continuous computational models. Papers of the workshop, Schloss Dagstuhl, Germany, August 2004. Zbl 1125.68312 1 2006 Metrics for labelled Markov processes. Zbl 1068.68093Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash 70 2004 A relational model of non-deterministic dataflow. Zbl 1093.68063Hildebrandt, Thomas T.; Panagaden, Prakash; Winskel, Glynn 3 2004 Mathematical techniques for analyzing concurrent and probabilistic systems. Zbl 1069.68074 1 2004 Approximating labelled Markov processes. Zbl 1028.68091Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash 31 2003 Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. Zbl 1053.68065Desharnais, Josée; Panangaden, Prakash 21 2003 Discrete quantum causal dynamics. Zbl 1037.81012Blute, Richard F.; Ivanov, Ivan T.; Panangaden, Prakash 9 2003 Conditional expectation and the approximation of labelled Markov processes. Zbl 1274.68265Danos, Vincent; Desharnais, Josée; Panangaden, Prakash 6 2003 Bisimulation for labelled Markov processes. Zbl 1096.68103Desharnais, Josée; Edalat, Abbas; Panangaden, Prakash 89 2002 Weak bisimulation is sound and complete for pCTL*. Zbl 1012.68139Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash 17 2002 Measure and probability for concurrency theorists. Zbl 0956.68058Panangaden, P. 7 2001 Metrics for labeled Markov systems. Zbl 0939.68081Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash 41 1999 Nuclear and trace ideals in tensored \(^*\)-categories. Zbl 0946.18004Abramsky, Samson; Blute, Richard; Panangaden, Prakash 20 1999 A relational model of non-deterministic dataflow. Zbl 0940.68078Hildebrandt, Thomas; Panangaden, Prakash; Winskel, Glynn 5 1998 The category of Markov kernels. Zbl 0920.68067Panangaden, Prakash 1 1998 A logical view of concurrent constraint programming. Zbl 0839.68020Mendler, Nax P.; Panangaden, Prakash; Scott, P. J.; Seely, R. A. G. 7 1995 The expressive power of indeterminate primitives in asynchronous computation. Zbl 1354.68080Panangaden, Prakash 2 1995 Nonexpressibility of fairness and signaling. Zbl 0801.68112McAllester, David; Panangaden, Prakash; Shanbhogue, Vasant 1 1993 Concurrent common knowledge: Defining agreement for asynchronous systems. Zbl 0773.68009Panangaden, Prakash; Taylor, Kim 9 1992 The expressive power of indeterminate dataflow primitives. Zbl 0754.68082Panangaden, Prakash; Shanbhogue, Vasant 8 1992 Stability and sequentiality in dataflow networks. Zbl 0766.68090Panangaden, Prakash; Shanbhogue, Vasant; Stark, Eugene W. 8 1990 A domain-theoretic model for a higher-order process calculus. Zbl 0766.68089Jagadeesan, Radha; Panangaden, Prakash 1 1990 A fully abstract semantics for a functional language with logic variables. Zbl 0716.68061Jagadeesan, Radha; Panangaden, Prakash; Pingali, Keshav 1 1989 Type theory and concurrency. Zbl 0678.68017Cleaveland, Rance; Panangaden, Prakash 5 1988 Computations, residuals, and the power of indeterminacy. Zbl 0649.68019Panangaden, Prakash; Stark, Eugene W. 4 1988 McCarthy’s amb cannot implement fair merge. Zbl 0667.68035Panagaden, Prakash; Shanbhogue, Vasant 2 1988 Semantics of networks containing indeterminate operators. Zbl 0565.68004Keller, Robert M.; Panangaden, Prakash 1 1985 Positive and negative frequency decompositions in curved spacetime. Zbl 0448.58028Panangaden, Prakash 2 1979 all cited Publications top 5 cited Publications all top 5 Cited by 688 Authors 31 Panangaden, Prakash 20 Larsen, Kim Guldstrand 15 Doberkat, Ernst-Erich 14 Mardare, Radu 13 Kashefi, Elham 13 Palamidessi, Catuscia 12 Danos, Vincent 12 Jacobs, Bart 12 van Breugel, Franck 10 Tini, Simone 8 Bacci, Giorgio 8 Baier, Christel 8 Chatzikokolakis, Konstantinos 8 Desharnais, Josée 8 Legay, Axel 8 Olarte, Carlos 8 Ying, Mingsheng 7 Valencia, Frank D. 7 Worrell, James B. 6 Bacci, Giovanni 6 Dal Lago, Ugo 6 Deng, Yuxin 6 Fahrenberg, Uli 6 Hermanns, Holger 6 Jagadeesan, Radha 6 Perdrix, Simon 5 Abate, Alessandro 5 Adámek, Jiří 5 Balle, Borja 5 Bernardo, Marco 5 Boreale, Michele 5 Cao, Yongzhi 5 Castiglioni, Valentina 5 D’Argenio, Pedro Rubén 5 D’Hondt, Ellie 5 Feng, Yuan 5 Gebler, Daniel E. 5 Gupta, Vineet 5 Guzmán, Michell 5 Henzinger, Thomas A. 5 Heunen, Chris 5 Katoen, Joost-Pieter 5 Lanotte, Ruggero 5 Milius, Stefan 5 Rueda, Camilo 5 Silva, Alexandra 5 Winskel, Glynn 5 Zhang, Lijun 4 Bertrand, Nathalie 4 Blute, Richard F. 4 Clerc, Florence 4 Coecke, Bob 4 Falaschi, Moreno 4 Garnier, Ilias 4 Jung, Achim 4 Knight, Sophia 4 Laviolette, François 4 Loreti, Michele 4 Malacaria, Pasquale 4 Martin, Keye 4 Miculan, Marino 4 Mislove, Michael W. 4 Petrisan, Daniela Luan 4 Pimentel, Elaine 4 Rutten, Jan J. M. M. 4 Sánchez Terraf, Pedro 4 Schröder, Lutz 4 Staton, Sam 4 Tang, Qiyi 3 Alvim, Mário S. 3 Andova, Suzana 3 Biondi, Fabrizio 3 Blass, Andreas Raphael 3 Cardelli, Luca 3 Černý, Pavol 3 Crafa, Silvia 3 Dahlqvist, Fredrik 3 de Beaudrap, Niel 3 De Nicola, Rocco 3 Fritz, Tobias 3 Gabbrielli, Maurizio 3 Girard, Antoine 3 Gurevich, Yuri 3 Haghverdi, Esfandiar 3 Hasuo, Ichiro 3 Jansen, David N. 3 Keimel, Klaus 3 Kozen, Dexter C. 3 Mhalla, Mehdi 3 Moshier, M. Andrew 3 Nigam, Vivek 3 Pappas, George J. 3 Perchy, Salim 3 Radhakrishna, Arjun 3 Ranzato, Francesco 3 Rot, Jurriaan 3 Sack, Joshua 3 Sawerwain, Marek 3 Schnoebelen, Philippe 3 Schubert, Christoph ...and 588 more Authors all top 5 Cited in 72 Serials 81 Theoretical Computer Science 41 Information and Computation 27 MSCS. Mathematical Structures in Computer Science 19 Logical Methods in Computer Science 17 Journal of Logical and Algebraic Methods in Programming 14 Quantum Information Processing 9 Acta Informatica 8 Formal Aspects of Computing 7 Information Processing Letters 7 Journal of Computer and System Sciences 7 Annals of Pure and Applied Logic 6 Formal Methods in System Design 5 International Journal of Theoretical Physics 4 Journal of Pure and Applied Algebra 4 Distributed Computing 4 Applied Categorical Structures 3 Communications in Mathematical Physics 3 New Generation Computing 3 International Journal of Approximate Reasoning 3 New Journal of Physics 3 The Journal of Logic and Algebraic Programming 3 International Journal of Quantum Information 3 Foundations of Physics 3 Journal of Physics A: Mathematical and Theoretical 2 Classical and Quantum Gravity 2 Journal of Mathematical Physics 2 Automatica 2 Fuzzy Sets and Systems 2 Information Sciences 2 Journal of Automated Reasoning 2 Discrete Event Dynamic Systems 2 Soft Computing 2 Journal of the ACM 2 International Journal of Applied Mathematics and Computer Science 2 Journal of High Energy Physics 2 ACM Transactions on Computational Logic 2 Journal of Applied Logic 2 Logica Universalis 1 Artificial Intelligence 1 Computers & Mathematics with Applications 1 Discrete Mathematics 1 International Journal of Systems Science 1 Reports on Mathematical Physics 1 Acta Mathematica 1 Advances in Mathematics 1 Journal of Mathematical Psychology 1 Journal of Number Theory 1 The Journal of Symbolic Logic 1 SIAM Journal on Control and Optimization 1 Science of Computer Programming 1 Circuits, Systems, and Signal Processing 1 Annals of Global Analysis and Geometry 1 Physica D 1 International Journal of Parallel Programming 1 Annals of Operations Research 1 Machine Learning 1 Linear Algebra and its Applications 1 Theory and Applications of Categories 1 Constraints 1 European Journal of Control 1 Mathematical Physics, Analysis and Geometry 1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 Fundamenta Informaticae 1 Living Reviews in Relativity 1 Gravitation & Cosmology 1 Theory and Practice of Logic Programming 1 Journal of Machine Learning Research (JMLR) 1 Natural Computing 1 Journal of Dynamical Systems and Geometric Theories 1 Nonlinear Analysis. Hybrid Systems 1 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics 1 Frontiers of Computer Science all top 5 Cited in 39 Fields 383 Computer science (68-XX) 111 Mathematical logic and foundations (03-XX) 101 Quantum theory (81-XX) 66 Category theory; homological algebra (18-XX) 34 Probability theory and stochastic processes (60-XX) 31 Information and communication theory, circuits (94-XX) 17 Relativity and gravitational theory (83-XX) 17 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 15 Order, lattices, ordered algebraic structures (06-XX) 14 Systems theory; control (93-XX) 11 Functional analysis (46-XX) 10 Statistics (62-XX) 9 General topology (54-XX) 6 Measure and integration (28-XX) 6 Differential geometry (53-XX) 6 Operations research, mathematical programming (90-XX) 6 Biology and other natural sciences (92-XX) 4 Combinatorics (05-XX) 4 Operator theory (47-XX) 3 General algebraic systems (08-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Associative rings and algebras (16-XX) 3 Ordinary differential equations (34-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Mechanics of particles and systems (70-XX) 3 Statistical mechanics, structure of matter (82-XX) 2 General and overarching topics; collections (00-XX) 2 Algebraic geometry (14-XX) 2 Group theory and generalizations (20-XX) 2 Topological groups, Lie groups (22-XX) 2 Algebraic topology (55-XX) 2 Optics, electromagnetic theory (78-XX) 1 Number theory (11-XX) 1 Commutative algebra (13-XX) 1 \(K\)-theory (19-XX) 1 Real functions (26-XX) 1 Convex and discrete geometry (52-XX) 1 Manifolds and cell complexes (57-XX) 1 Astronomy and astrophysics (85-XX) Citations by Year