×

Panangaden, Prakash

Compute Distance To:
Author ID: panangaden.prakash Recent zbMATH articles by "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

Publications by Year

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.68103
Desharnais, Josée; Edalat, Abbas; Panangaden, Prakash
89
2002
Metrics for labelled Markov processes. Zbl 1068.68093
Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash
70
2004
Labelled Markov processes. Zbl 1190.60001
Panangaden, Prakash
45
2009
Metrics for labeled Markov systems. Zbl 0939.68081
Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash
41
1999
Approximating labelled Markov processes. Zbl 1028.68091
Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash
31
2003
Bisimulation and cocongruence for probabilistic systems. Zbl 1110.68083
Danos, Vincent; Desharnais, Josée; Laviolette, François; Panangaden, Prakash
29
2006
The measurement calculus. Zbl 1311.81076
Danos, Vincent; Kashefi, Elham; Panangaden, Prakash
29
2007
Anonymity protocols as noisy channels. Zbl 1147.68394
Chatzikokolakis, Konstantinos; Palamidessi, Catuscia; Panangaden, Prakash
28
2008
Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. Zbl 1053.68065
Desharnais, Josée; Panangaden, Prakash
21
2003
Quantum weakest preconditions. Zbl 1122.68058
D’Hondt, Ellie; Panangaden, Prakash
21
2006
Nuclear and trace ideals in tensored \(^*\)-categories. Zbl 0946.18004
Abramsky, Samson; Blute, Richard; Panangaden, Prakash
20
1999
Algebra-coalgebra duality in Brzozowski’s minimization algorithm. Zbl 1288.68174
Bonchi, 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.68139
Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash
17
2002
A domain of spacetime intervals in general relativity. Zbl 1188.83071
Martin, Keye; Panangaden, Prakash
16
2006
The computational power of the W and GHZ states. Zbl 1152.81703
D’Hondt, E.; Panangaden, P.
15
2006
Quantitative algebraic reasoning. Zbl 1391.68021
Mardare, Radu; Panangaden, Prakash; Plotkin, Gordon
13
2016
Bisimulation metrics for continuous Markov decision processes. Zbl 1253.39018
Ferns, Norm; Panangaden, Prakash; Precup, Doina
12
2011
Stone duality for Markov processes. Zbl 1433.06006
Kozen, Dexter; Larsen, Kim G.; Mardare, Radu; Panangaden, Prakash
11
2013
Spatial and epistemic modalities in constraint-based process calculi. Zbl 1364.68290
Knight, Sophia; Palamidessi, Catuscia; Panangaden, Prakash; Valencia, Frank D.
11
2012
Minimization via duality. Zbl 1361.68157
Bezhanishvili, Nick; Kupke, Clemens; Panangaden, Prakash
11
2012
Concurrent common knowledge: Defining agreement for asynchronous systems. Zbl 0773.68009
Panangaden, Prakash; Taylor, Kim
9
1992
Discrete quantum causal dynamics. Zbl 1037.81012
Blute, Richard F.; Ivanov, Ivan T.; Panangaden, Prakash
9
2003
Approximating Markov processes by averaging. Zbl 1248.68322
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
9
2009
Quantum communication in Rindler spacetime. Zbl 1257.83003
Brádler, Kamil; Hayden, Patrick; Panangaden, Prakash
9
2012
The expressive power of indeterminate dataflow primitives. Zbl 0754.68082
Panangaden, Prakash; Shanbhogue, Vasant
8
1992
Stability and sequentiality in dataflow networks. Zbl 0766.68090
Panangaden, Prakash; Shanbhogue, Vasant; Stark, Eugene W.
8
1990
Weak bisimulation is sound and complete for pCTL\(^*\). Zbl 1189.68080
Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash
8
2010
Taking it to the limit: approximate reasoning for Markov processes. Zbl 1365.68344
Larsen, Kim Guldstrand; Mardare, Radu; Panangaden, Prakash
8
2012
Measure and probability for concurrency theorists. Zbl 0956.68058
Panangaden, P.
7
2001
A logical view of concurrent constraint programming. Zbl 0839.68020
Mendler, Nax P.; Panangaden, Prakash; Scott, P. J.; Seely, R. A. G.
7
1995
A categorical presentation of quantum computation with anyons. Zbl 1218.81036
Panangaden, P.; Paquette, É. O.
7
2011
A canonical form for weighted automata and applications to approximate minimization. Zbl 1401.68145
Balle, Borja; Panangaden, Prakash; Precup, Doina
6
2015
Conditional expectation and the approximation of labelled Markov processes. Zbl 1274.68265
Danos, Vincent; Desharnais, Josée; Panangaden, Prakash
6
2003
Extended measurement calculus. Zbl 1209.68250
Danos, Vincent; Kashefi, Elham; Panangaden, Prakash; Perdrix, Simon
6
2010
A relational model of non-deterministic dataflow. Zbl 0940.68078
Hildebrandt, Thomas; Panangaden, Prakash; Winskel, Glynn
5
1998
The one way to quantum computation. Zbl 1133.68342
Danos, Vincent; Kashefi, Elham; Panangaden, Prakash
5
2006
Approximate reasoning for real-time probabilistic processes. Zbl 1126.68055
Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash
5
2006
Anonymity protocols as noisy channels. Zbl 1211.94025
Chatzikokolakis, Konstantinos; Palamidessi, Catuscia; Panangaden, Prakash
5
2007
Strong completeness for Markovian logics. Zbl 06210010
Kozen, Dexter; Mardare, Radu; Panangaden, Prakash
5
2013
Type theory and concurrency. Zbl 0678.68017
Cleaveland, Rance; Panangaden, Prakash
5
1988
Dagger categories and formal distributions. Zbl 1253.81006
Blute, R.; Panangaden, P.
4
2011
Fair reactive programming. Zbl 1284.68127
Cave, Andrew; Ferreira, Francisco; Panangaden, Prakash; Pientka, Brigitte
4
2014
Game semantics for quantum stores. Zbl 1286.81044
Delbecque, Yannick; Panagaden, Prakash
4
2008
Approximating Markov processes by averaging. Zbl 1295.68167
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
4
2014
Computations, residuals, and the power of indeterminacy. Zbl 0649.68019
Panangaden, Prakash; Stark, Eugene W.
4
1988
Expressiveness of probabilistic modal logics: a gradual approach. Zbl 1422.68167
Clerc, Florence; Fijalkow, Nathanaël; Klin, Bartek; Panangaden, Prakash
3
2019
A relational model of non-deterministic dataflow. Zbl 1093.68063
Hildebrandt, Thomas T.; Panagaden, Prakash; Winskel, Glynn
3
2004
A technique for verifying measurements. Zbl 1286.06011
Martin, Keye; Panangaden, Prakash
3
2008
Expressiveness of probabilistic modal logics. Zbl 1442.68137
Fijalkow, Nathanaël; Klin, Bartek; Panangaden, Prakash
3
2017
On the axiomatizability of quantitative algebras. Zbl 1452.08005
Mardare, Radu; Panangaden, Prakash; Plotkin, Gordon
2
2017
Positive and negative frequency decompositions in curved spacetime. Zbl 0448.58028
Panangaden, Prakash
2
1979
Domain theory and general relativity. Zbl 1218.83016
Martin, K.; Panangaden, P.
2
2011
A logical basis for quantum evolution and entanglement. Zbl 1286.81013
Blute, Richard F.; Guglielmi, Alessio; Ivanov, Ivan T.; Panangaden, Prakash; Straßburger, Lutz
2
2014
Causality in physics and computation. Zbl 1360.68634
Panangaden, Prakash
2
2014
Deep inference and probabilistic coherence spaces. Zbl 1260.03117
Blute, Richard; Panangaden, Prakash; Slavnov, Sergey
2
2012
Spacetime geometry from causal structure and a measurement. Zbl 1260.83073
Martin, Keye; Panangaden, Prakash
2
2012
McCarthy’s amb cannot implement fair merge. Zbl 0667.68035
Panagaden, Prakash; Shanbhogue, Vasant
2
1988
The expressive power of indeterminate primitives in asynchronous computation. Zbl 1354.68080
Panangaden, Prakash
2
1995
Approximating labelled Markov processes again! Zbl 1239.68050
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
2
2009
Unrestricted Stone duality for Markov processes. Zbl 1452.06009
Furber, Robert; Kozen, Dexter; Larsen, Kim; Mardare, Radu; Panangaden, Prakash
1
2017
A domain-theoretic model for a higher-order process calculus. Zbl 0766.68089
Jagadeesan, Radha; Panangaden, Prakash
1
1990
Nonexpressibility of fairness and signaling. Zbl 0801.68112
McAllester, David; Panangaden, Prakash; Shanbhogue, Vasant
1
1993
The category of Markov kernels. Zbl 0920.68067
Panangaden, 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.68111
Panangaden, Prakash; Sadrzadeh, Mehrnoosh
1
2011
Epistemic strategies and games on concurrent processes. Zbl 1206.68211
Chatzikokolakis, Konstantinos; Knight, Sophia; Panangaden, Prakash
1
2009
An exact expression for photon polarization in Kerr geometry. Zbl 1309.83055
Farooqui, Anusar; Kamran, Niky; Panangaden, Prakash
1
2014
Probabilistic bisimulation. Zbl 1285.68109
Panangaden, Prakash
1
2012
Distributed measurement-based quantum computation. Zbl 1277.68174
Danos, Vincent; D’Hondt, Ellie; Kashefi, Elham; Panangaden, Prakash
1
2007
A fully abstract semantics for a functional language with logic variables. Zbl 0716.68061
Jagadeesan, Radha; Panangaden, Prakash; Pingali, Keshav
1
1989
Bicategories of Markov processes. Zbl 1431.18013
Clerc, Florence; Humphrey, Harrison; Panangaden, Prakash
1
2017
Semantics of networks containing indeterminate operators. Zbl 0565.68004
Keller, Robert M.; Panangaden, Prakash
1
1985
Expressiveness of probabilistic modal logics: a gradual approach. Zbl 1422.68167
Clerc, Florence; Fijalkow, Nathanaël; Klin, Bartek; Panangaden, Prakash
3
2019
Expressiveness of probabilistic modal logics. Zbl 1442.68137
Fijalkow, Nathanaël; Klin, Bartek; Panangaden, Prakash
3
2017
On the axiomatizability of quantitative algebras. Zbl 1452.08005
Mardare, Radu; Panangaden, Prakash; Plotkin, Gordon
2
2017
Unrestricted Stone duality for Markov processes. Zbl 1452.06009
Furber, Robert; Kozen, Dexter; Larsen, Kim; Mardare, Radu; Panangaden, Prakash
1
2017
Bicategories of Markov processes. Zbl 1431.18013
Clerc, Florence; Humphrey, Harrison; Panangaden, Prakash
1
2017
Quantitative algebraic reasoning. Zbl 1391.68021
Mardare, Radu; Panangaden, Prakash; Plotkin, Gordon
13
2016
A canonical form for weighted automata and applications to approximate minimization. Zbl 1401.68145
Balle, Borja; Panangaden, Prakash; Precup, Doina
6
2015
Algebra-coalgebra duality in Brzozowski’s minimization algorithm. Zbl 1288.68174
Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra
18
2014
Fair reactive programming. Zbl 1284.68127
Cave, Andrew; Ferreira, Francisco; Panangaden, Prakash; Pientka, Brigitte
4
2014
Approximating Markov processes by averaging. Zbl 1295.68167
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
4
2014
A logical basis for quantum evolution and entanglement. Zbl 1286.81013
Blute, Richard F.; Guglielmi, Alessio; Ivanov, Ivan T.; Panangaden, Prakash; Straßburger, Lutz
2
2014
Causality in physics and computation. Zbl 1360.68634
Panangaden, Prakash
2
2014
An exact expression for photon polarization in Kerr geometry. Zbl 1309.83055
Farooqui, Anusar; Kamran, Niky; Panangaden, Prakash
1
2014
Stone duality for Markov processes. Zbl 1433.06006
Kozen, Dexter; Larsen, Kim G.; Mardare, Radu; Panangaden, Prakash
11
2013
Strong completeness for Markovian logics. Zbl 06210010
Kozen, Dexter; Mardare, Radu; Panangaden, Prakash
5
2013
Spatial and epistemic modalities in constraint-based process calculi. Zbl 1364.68290
Knight, Sophia; Palamidessi, Catuscia; Panangaden, Prakash; Valencia, Frank D.
11
2012
Minimization via duality. Zbl 1361.68157
Bezhanishvili, Nick; Kupke, Clemens; Panangaden, Prakash
11
2012
Quantum communication in Rindler spacetime. Zbl 1257.83003
Brádler, Kamil; Hayden, Patrick; Panangaden, Prakash
9
2012
Taking it to the limit: approximate reasoning for Markov processes. Zbl 1365.68344
Larsen, Kim Guldstrand; Mardare, Radu; Panangaden, Prakash
8
2012
Deep inference and probabilistic coherence spaces. Zbl 1260.03117
Blute, Richard; Panangaden, Prakash; Slavnov, Sergey
2
2012
Spacetime geometry from causal structure and a measurement. Zbl 1260.83073
Martin, Keye; Panangaden, Prakash
2
2012
Probabilistic bisimulation. Zbl 1285.68109
Panangaden, Prakash
1
2012
Bisimulation metrics for continuous Markov decision processes. Zbl 1253.39018
Ferns, Norm; Panangaden, Prakash; Precup, Doina
12
2011
A categorical presentation of quantum computation with anyons. Zbl 1218.81036
Panangaden, P.; Paquette, É. O.
7
2011
Dagger categories and formal distributions. Zbl 1253.81006
Blute, R.; Panangaden, P.
4
2011
Domain theory and general relativity. Zbl 1218.83016
Martin, K.; Panangaden, P.
2
2011
Learning in a changing world, an algebraic modal logical approach. Zbl 1308.68111
Panangaden, Prakash; Sadrzadeh, Mehrnoosh
1
2011
Weak bisimulation is sound and complete for pCTL\(^*\). Zbl 1189.68080
Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash
8
2010
Extended measurement calculus. Zbl 1209.68250
Danos, Vincent; Kashefi, Elham; Panangaden, Prakash; Perdrix, Simon
6
2010
Labelled Markov processes. Zbl 1190.60001
Panangaden, Prakash
45
2009
Approximating Markov processes by averaging. Zbl 1248.68322
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
9
2009
Approximating labelled Markov processes again! Zbl 1239.68050
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
2
2009
Epistemic strategies and games on concurrent processes. Zbl 1206.68211
Chatzikokolakis, Konstantinos; Knight, Sophia; Panangaden, Prakash
1
2009
Anonymity protocols as noisy channels. Zbl 1147.68394
Chatzikokolakis, Konstantinos; Palamidessi, Catuscia; Panangaden, Prakash
28
2008
Game semantics for quantum stores. Zbl 1286.81044
Delbecque, Yannick; Panagaden, Prakash
4
2008
A technique for verifying measurements. Zbl 1286.06011
Martin, Keye; Panangaden, Prakash
3
2008
The measurement calculus. Zbl 1311.81076
Danos, Vincent; Kashefi, Elham; Panangaden, Prakash
29
2007
Anonymity protocols as noisy channels. Zbl 1211.94025
Chatzikokolakis, Konstantinos; Palamidessi, Catuscia; Panangaden, Prakash
5
2007
Distributed measurement-based quantum computation. Zbl 1277.68174
Danos, Vincent; D’Hondt, Ellie; Kashefi, Elham; Panangaden, Prakash
1
2007
Bisimulation and cocongruence for probabilistic systems. Zbl 1110.68083
Danos, Vincent; Desharnais, Josée; Laviolette, François; Panangaden, Prakash
29
2006
Quantum weakest preconditions. Zbl 1122.68058
D’Hondt, Ellie; Panangaden, Prakash
21
2006
A domain of spacetime intervals in general relativity. Zbl 1188.83071
Martin, Keye; Panangaden, Prakash
16
2006
The computational power of the W and GHZ states. Zbl 1152.81703
D’Hondt, E.; Panangaden, P.
15
2006
The one way to quantum computation. Zbl 1133.68342
Danos, Vincent; Kashefi, Elham; Panangaden, Prakash
5
2006
Approximate reasoning for real-time probabilistic processes. Zbl 1126.68055
Gupta, 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.68093
Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash
70
2004
A relational model of non-deterministic dataflow. Zbl 1093.68063
Hildebrandt, 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.68091
Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash
31
2003
Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. Zbl 1053.68065
Desharnais, Josée; Panangaden, Prakash
21
2003
Discrete quantum causal dynamics. Zbl 1037.81012
Blute, Richard F.; Ivanov, Ivan T.; Panangaden, Prakash
9
2003
Conditional expectation and the approximation of labelled Markov processes. Zbl 1274.68265
Danos, Vincent; Desharnais, Josée; Panangaden, Prakash
6
2003
Bisimulation for labelled Markov processes. Zbl 1096.68103
Desharnais, Josée; Edalat, Abbas; Panangaden, Prakash
89
2002
Weak bisimulation is sound and complete for pCTL*. Zbl 1012.68139
Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash
17
2002
Measure and probability for concurrency theorists. Zbl 0956.68058
Panangaden, P.
7
2001
Metrics for labeled Markov systems. Zbl 0939.68081
Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash
41
1999
Nuclear and trace ideals in tensored \(^*\)-categories. Zbl 0946.18004
Abramsky, Samson; Blute, Richard; Panangaden, Prakash
20
1999
A relational model of non-deterministic dataflow. Zbl 0940.68078
Hildebrandt, Thomas; Panangaden, Prakash; Winskel, Glynn
5
1998
The category of Markov kernels. Zbl 0920.68067
Panangaden, Prakash
1
1998
A logical view of concurrent constraint programming. Zbl 0839.68020
Mendler, Nax P.; Panangaden, Prakash; Scott, P. J.; Seely, R. A. G.
7
1995
The expressive power of indeterminate primitives in asynchronous computation. Zbl 1354.68080
Panangaden, Prakash
2
1995
Nonexpressibility of fairness and signaling. Zbl 0801.68112
McAllester, David; Panangaden, Prakash; Shanbhogue, Vasant
1
1993
Concurrent common knowledge: Defining agreement for asynchronous systems. Zbl 0773.68009
Panangaden, Prakash; Taylor, Kim
9
1992
The expressive power of indeterminate dataflow primitives. Zbl 0754.68082
Panangaden, Prakash; Shanbhogue, Vasant
8
1992
Stability and sequentiality in dataflow networks. Zbl 0766.68090
Panangaden, Prakash; Shanbhogue, Vasant; Stark, Eugene W.
8
1990
A domain-theoretic model for a higher-order process calculus. Zbl 0766.68089
Jagadeesan, Radha; Panangaden, Prakash
1
1990
A fully abstract semantics for a functional language with logic variables. Zbl 0716.68061
Jagadeesan, Radha; Panangaden, Prakash; Pingali, Keshav
1
1989
Type theory and concurrency. Zbl 0678.68017
Cleaveland, Rance; Panangaden, Prakash
5
1988
Computations, residuals, and the power of indeterminacy. Zbl 0649.68019
Panangaden, Prakash; Stark, Eugene W.
4
1988
McCarthy’s amb cannot implement fair merge. Zbl 0667.68035
Panagaden, Prakash; Shanbhogue, Vasant
2
1988
Semantics of networks containing indeterminate operators. Zbl 0565.68004
Keller, Robert M.; Panangaden, Prakash
1
1985
Positive and negative frequency decompositions in curved spacetime. Zbl 0448.58028
Panangaden, Prakash
2
1979
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