×

zbMATH — the first resource for mathematics

Panangaden, Prakash

Compute Distance To:
Author ID: panangaden.prakash Recent zbMATH articles by "Panangaden, Prakash"
Published as: Panagaden, Prakash; Panangaden, P.; Panangaden, Prakash
Documents Indexed: 116 Publications since 1979, including 17 Books
Biographic References: 2 Publications
all top 5

Co-Authors

16 single-authored
11 Mardare, Radu
10 Desharnais, Josée
9 Danos, Vincent
8 Jagadeesan, Radha
7 Blute, Richard F.
7 Plotkin, Gordon D.
6 Gupta, Vineet
6 Kashefi, Elham
5 Coecke, Bob
5 Kozen, Dexter C.
5 Martin, Keye
4 Chatzikokolakis, Konstantinos
4 D’Hondt, Ellie
4 Knight, Sophia
4 Palamidessi, Catuscia
4 Precup, Doina
4 Shanbhogue, Vasant
3 Balle, Borja
3 Chaput, Philippe
3 Larsen, Kim Guldstrand
3 Selinger, Peter
2 Aceto, Luca
2 Bacci, Giorgio
2 Clerc, Florence
2 Cooper, Stuart Barry
2 Fijalkow, Nathanaël
2 Hasuo, Ichiro
2 Hildebrandt, Thomas T.
2 Ivanov, Ivan T.
2 Klin, Bartek
2 Smyth, Michael B.
2 Spreen, Dieter
2 Stark, Eugene W.
2 Winskel, Glynn
1 Abramsky, Samson
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 Furber, Robert D.
1 Furber, Robert W. J.
1 Gourdeau, Pascale
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 Keller, Robert M.
1 Kopperman, Ralph D.
1 Koppermann, Ralph
1 Kremer, Steve
1 Kupke, Clemens
1 Laviolette, François
1 Mackie, Ian
1 McAllester, David Allen
1 Mendler, Nax Paul
1 Nestmann, Uwe
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 Pucella, Riccardo
1 Rutten, Jan J. M. M.
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

70 Publications have been cited 728 times in 474 Documents Cited by Year
Bisimulation for labelled Markov processes. Zbl 1096.68103
Desharnais, Josée; Edalat, Abbas; Panangaden, Prakash
88
2002
Metrics for labelled Markov processes. Zbl 1068.68093
Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash
59
2004
Metrics for labeled Markov systems. Zbl 0939.68081
Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash
40
1999
Labelled Markov processes. Zbl 1190.60001
Panangaden, Prakash
38
2009
Approximating labelled Markov processes. Zbl 1028.68091
Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash
33
2003
The measurement calculus. Zbl 1311.81076
Danos, Vincent; Kashefi, Elham; Panangaden, Prakash
32
2007
Anonymity protocols as noisy channels. Zbl 1147.68394
Chatzikokolakis, Konstantinos; Palamidessi, Catuscia; Panangaden, Prakash
28
2008
Bisimulation and cocongruence for probabilistic systems. Zbl 1110.68083
Danos, Vincent; Desharnais, Josée; Laviolette, François; Panangaden, Prakash
26
2006
Weak bisimulation is sound and complete for pCTL*. Zbl 1012.68139
Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash
24
2002
Nuclear and trace ideals in tensored \(^*\)-categories. Zbl 0946.18004
Abramsky, Samson; Blute, Richard; Panangaden, Prakash
20
1999
Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. Zbl 1053.68065
Desharnais, Josée; Panangaden, Prakash
19
2003
Quantum weakest preconditions. Zbl 1122.68058
D’Hondt, Ellie; Panangaden, Prakash
18
2006
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
16
2014
The computational power of the W and GHZ states. Zbl 1152.81703
D’Hondt, E.; Panangaden, P.
15
2006
A domain of spacetime intervals in general relativity. Zbl 1188.83071
Martin, Keye; Panangaden, Prakash
14
2006
Computations, residuals, and the power of indeterminacy. Zbl 0649.68019
Panangaden, Prakash; Stark, Eugene W.
14
1988
Bisimulation metrics for continuous Markov decision processes. Zbl 1253.39018
Ferns, Norm; Panangaden, Prakash; Precup, Doina
12
2011
Minimization via duality. Zbl 1361.68157
Bezhanishvili, Nick; Kupke, Clemens; Panangaden, Prakash
11
2012
Stone duality for Markov processes. Zbl 1433.06006
Kozen, Dexter; Larsen, Kim G.; Mardare, Radu; Panangaden, Prakash
10
2013
Quantum communication in Rindler spacetime. Zbl 1257.83003
Brádler, Kamil; Hayden, Patrick; Panangaden, Prakash
9
2012
Spatial and epistemic modalities in constraint-based process calculi. Zbl 1364.68290
Knight, Sophia; Palamidessi, Catuscia; Panangaden, Prakash; Valencia, Frank D.
9
2012
Weak bisimulation is sound and complete for pCTL\(^*\). Zbl 1189.68080
Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash
9
2010
Discrete quantum causal dynamics. Zbl 1037.81012
Blute, Richard F.; Ivanov, Ivan T.; Panangaden, Prakash
9
2003
Concurrent common knowledge: Defining agreement for asynchronous systems. Zbl 0773.68009
Panangaden, Prakash; Taylor, Kim
9
1992
The one way to quantum computation. Zbl 1133.68342
Danos, Vincent; Kashefi, Elham; Panangaden, Prakash
8
2006
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
Taking it to the limit: approximate reasoning for Markov processes. Zbl 1365.68344
Larsen, Kim Guldstrand; Mardare, Radu; Panangaden, Prakash
7
2012
Approximating Markov processes by averaging. Zbl 1248.68322
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
7
2009
Anonymity protocols as noisy channels. Zbl 1211.94025
Chatzikokolakis, Konstantinos; Palamidessi, Catuscia; Panangaden, Prakash
7
2007
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
Quantitative algebraic reasoning. Zbl 1391.68021
Mardare, Radu; Panangaden, Prakash; Plotkin, Gordon
6
2016
A categorical presentation of quantum computation with anyons. Zbl 1218.81036
Panangaden, P.; Paquette, É. O.
6
2011
Mathematical techniques for analyzing concurrent and probabilistic systems. Zbl 1069.68074
Panangaden, Prakash (ed.); van Breugel, Franck (ed.)
6
2004
Conditional expectation and the approximation of labelled Markov processes. Zbl 1274.68265
Danos, Vincent; Desharnais, Josée; Panangaden, Prakash
6
2003
Approximating Markov processes by averaging. Zbl 1295.68167
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
5
2014
Strong completeness for Markovian logics. Zbl 06210010
Kozen, Dexter; Mardare, Radu; Panangaden, Prakash
5
2013
Extended measurement calculus. Zbl 1209.68250
Danos, Vincent; Kashefi, Elham; Panangaden, Prakash; Perdrix, Simon
5
2010
Approximate reasoning for real-time probabilistic processes. Zbl 1126.68055
Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash
5
2006
A relational model of non-deterministic dataflow. Zbl 0940.68078
Hildebrandt, Thomas; Panangaden, Prakash; Winskel, Glynn
5
1998
Type theory and concurrency. Zbl 0678.68017
Cleaveland, Rance; Panangaden, Prakash
5
1988
A canonical form for weighted automata and applications to approximate minimization. Zbl 1401.68145
Balle, Borja; Panangaden, Prakash; Precup, Doina
4
2015
Dagger categories and formal distributions. Zbl 1253.81006
Blute, R.; Panangaden, P.
4
2011
A technique for verifying measurements. Zbl 1286.06011
Martin, Keye; Panangaden, Prakash
3
2008
Game semantics for quantum stores. Zbl 1286.81044
Delbecque, Yannick; Panagaden, Prakash
3
2008
A fully abstract semantics for a functional language with logic variables. Zbl 0716.68061
Jagadeesan, Radha; Panangaden, Prakash; Pingali, Keshav
3
1989
Causality in physics and computation. Zbl 1360.68634
Panangaden, Prakash
2
2014
Fair reactive programming. Zbl 1284.68127
Cave, Andrew; Ferreira, Francisco; Panangaden, Prakash; Pientka, Brigitte
2
2014
Spacetime geometry from causal structure and a measurement. Zbl 1260.83073
Martin, Keye; Panangaden, Prakash
2
2012
Domain theory and general relativity. Zbl 1218.83016
Martin, K.; Panangaden, P.
2
2011
Approximating labelled Markov processes again! Zbl 1239.68050
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
2
2009
Distributed measurement-based quantum computation. Zbl 1277.68174
Danos, Vincent; D’Hondt, Ellie; Kashefi, Elham; Panangaden, Prakash
2
2007
Reasoning about quantum knowledge. Zbl 1172.68622
D’Hondt, Ellie; Panangaden, Prakash
2
2005
A relational model of non-deterministic dataflow. Zbl 1093.68063
Hildebrandt, Thomas T.; Panagaden, Prakash; Winskel, Glynn
2
2004
The category of Markov kernels. Zbl 0920.68067
Panangaden, Prakash
2
1998
The expressive power of indeterminate primitives in asynchronous computation. Zbl 1354.68080
Panangaden, Prakash
2
1995
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
2
1985
Positive and negative frequency decompositions in curved spacetime. Zbl 0448.58028
Panangaden, Prakash
2
1979
Bicategories of Markov processes. Zbl 1431.18013
Clerc, Florence; Humphrey, Harrison; Panangaden, Prakash
1
2017
An exact expression for photon polarization in Kerr geometry. Zbl 1309.83055
Farooqui, Anusar; Kamran, Niky; Panangaden, Prakash
1
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
1
2014
Deep inference and probabilistic coherence spaces. Zbl 1260.03117
Blute, Richard; Panangaden, Prakash; Slavnov, Sergey
1
2012
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
Special issue: Spatial representation: Discrete vs. continuous computational models. Papers of the workshop, Schloss Dagstuhl, Germany, August 2004. Zbl 1125.68312
Koppermann, Ralph (ed.); Panangaden, Prakash (ed.); Smyth, Michael B. (ed.); Spreen, Dieter (ed.); Webster, Julian (ed.)
1
2006
Nonexpressibility of fairness and signaling. Zbl 0801.68112
McAllester, David; Panangaden, Prakash; Shanbhogue, Vasant
1
1993
A domain-theoretic model for a higher-order process calculus. Zbl 0766.68089
Jagadeesan, Radha; Panangaden, Prakash
1
1990
Abstract interpretation and indeterminacy. Zbl 0565.68005
Panangaden, Prakash
1
1985
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
6
2016
A canonical form for weighted automata and applications to approximate minimization. Zbl 1401.68145
Balle, Borja; Panangaden, Prakash; Precup, Doina
4
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
16
2014
Approximating Markov processes by averaging. Zbl 1295.68167
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
5
2014
Causality in physics and computation. Zbl 1360.68634
Panangaden, Prakash
2
2014
Fair reactive programming. Zbl 1284.68127
Cave, Andrew; Ferreira, Francisco; Panangaden, Prakash; Pientka, Brigitte
2
2014
An exact expression for photon polarization in Kerr geometry. Zbl 1309.83055
Farooqui, Anusar; Kamran, Niky; Panangaden, Prakash
1
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
1
2014
Stone duality for Markov processes. Zbl 1433.06006
Kozen, Dexter; Larsen, Kim G.; Mardare, Radu; Panangaden, Prakash
10
2013
Strong completeness for Markovian logics. Zbl 06210010
Kozen, Dexter; Mardare, Radu; Panangaden, Prakash
5
2013
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
Spatial and epistemic modalities in constraint-based process calculi. Zbl 1364.68290
Knight, Sophia; Palamidessi, Catuscia; Panangaden, Prakash; Valencia, Frank D.
9
2012
Taking it to the limit: approximate reasoning for Markov processes. Zbl 1365.68344
Larsen, Kim Guldstrand; Mardare, Radu; Panangaden, Prakash
7
2012
Spacetime geometry from causal structure and a measurement. Zbl 1260.83073
Martin, Keye; Panangaden, Prakash
2
2012
Deep inference and probabilistic coherence spaces. Zbl 1260.03117
Blute, Richard; Panangaden, Prakash; Slavnov, Sergey
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.
6
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
9
2010
Extended measurement calculus. Zbl 1209.68250
Danos, Vincent; Kashefi, Elham; Panangaden, Prakash; Perdrix, Simon
5
2010
Labelled Markov processes. Zbl 1190.60001
Panangaden, Prakash
38
2009
Approximating Markov processes by averaging. Zbl 1248.68322
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
7
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
A technique for verifying measurements. Zbl 1286.06011
Martin, Keye; Panangaden, Prakash
3
2008
Game semantics for quantum stores. Zbl 1286.81044
Delbecque, Yannick; Panagaden, Prakash
3
2008
The measurement calculus. Zbl 1311.81076
Danos, Vincent; Kashefi, Elham; Panangaden, Prakash
32
2007
Anonymity protocols as noisy channels. Zbl 1211.94025
Chatzikokolakis, Konstantinos; Palamidessi, Catuscia; Panangaden, Prakash
7
2007
Distributed measurement-based quantum computation. Zbl 1277.68174
Danos, Vincent; D’Hondt, Ellie; Kashefi, Elham; Panangaden, Prakash
2
2007
Bisimulation and cocongruence for probabilistic systems. Zbl 1110.68083
Danos, Vincent; Desharnais, Josée; Laviolette, François; Panangaden, Prakash
26
2006
Quantum weakest preconditions. Zbl 1122.68058
D’Hondt, Ellie; Panangaden, Prakash
18
2006
The computational power of the W and GHZ states. Zbl 1152.81703
D’Hondt, E.; Panangaden, P.
15
2006
A domain of spacetime intervals in general relativity. Zbl 1188.83071
Martin, Keye; Panangaden, Prakash
14
2006
The one way to quantum computation. Zbl 1133.68342
Danos, Vincent; Kashefi, Elham; Panangaden, Prakash
8
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
Koppermann, Ralph (ed.); Panangaden, Prakash (ed.); Smyth, Michael B. (ed.); Spreen, Dieter (ed.); Webster, Julian (ed.)
1
2006
Reasoning about quantum knowledge. Zbl 1172.68622
D’Hondt, Ellie; Panangaden, Prakash
2
2005
Metrics for labelled Markov processes. Zbl 1068.68093
Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash
59
2004
Mathematical techniques for analyzing concurrent and probabilistic systems. Zbl 1069.68074
Panangaden, Prakash (ed.); van Breugel, Franck (ed.)
6
2004
A relational model of non-deterministic dataflow. Zbl 1093.68063
Hildebrandt, Thomas T.; Panagaden, Prakash; Winskel, Glynn
2
2004
Approximating labelled Markov processes. Zbl 1028.68091
Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash
33
2003
Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. Zbl 1053.68065
Desharnais, Josée; Panangaden, Prakash
19
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
88
2002
Weak bisimulation is sound and complete for pCTL*. Zbl 1012.68139
Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash
24
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
40
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
2
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
3
1989
Computations, residuals, and the power of indeterminacy. Zbl 0649.68019
Panangaden, Prakash; Stark, Eugene W.
14
1988
Type theory and concurrency. Zbl 0678.68017
Cleaveland, Rance; Panangaden, Prakash
5
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
2
1985
Abstract interpretation and indeterminacy. Zbl 0565.68005
Panangaden, Prakash
1
1985
Positive and negative frequency decompositions in curved spacetime. Zbl 0448.58028
Panangaden, Prakash
2
1979
all top 5

Cited by 652 Authors

27 Panangaden, Prakash
18 Larsen, Kim Guldstrand
15 Doberkat, Ernst-Erich
13 Danos, Vincent
13 Palamidessi, Catuscia
12 Mardare, Radu
11 Jacobs, Bart
11 Kashefi, Elham
10 van Breugel, Franck
9 Chatzikokolakis, Konstantinos
9 Legay, Axel
8 Baier, Christel
8 Desharnais, Josée
8 Tini, Simone
7 Olarte, Carlos
7 Worrell, James B.
7 Ying, Mingsheng
6 Bacci, Giorgio
6 Deng, Yuxin
6 Fahrenberg, Uli
6 Hermanns, Holger
6 Jagadeesan, Radha
6 Perdrix, Simon
6 Valencia, Frank D.
5 Abate, Alessandro
5 Bernardo, Marco
5 Boreale, Michele
5 Cao, Yongzhi
5 D’Argenio, Pedro Rubén
5 D’Hondt, Ellie
5 Gebler, Daniel E.
5 Gupta, Vineet
5 Henzinger, Thomas A.
5 Katoen, Joost-Pieter
5 Winskel, Glynn
5 Zhang, Lijun
4 Bacci, Giovanni
4 Bertrand, Nathalie
4 Blute, Richard F.
4 Castiglioni, Valentina
4 Coecke, Bob
4 Feng, Yuan
4 Garnier, Ilias
4 Guzmán, Michell
4 Haghverdi, Esfandiar
4 Hasan, Osman
4 Hasuo, Ichiro
4 Jung, Achim
4 Laviolette, François
4 Loreti, Michele
4 Malacaria, Pasquale
4 Martin, Keye
4 Miculan, Marino
4 Milius, Stefan
4 Mislove, Michael W.
4 Pappas, George J.
4 Pimentel, Elaine
4 Rueda, Camilo
4 Rutten, Jan J. M. M.
4 Sánchez Terraf, Pedro
4 Tahar, Sofiène
4 Tribastone, Mirco
3 Adámek, Jiří
3 Alvim, Mário S.
3 Andova, Suzana
3 Balle, Borja
3 Biondi, Fabrizio
3 Blass, Andreas Raphael
3 Cardelli, Luca
3 Černý, Pavol
3 Crafa, Silvia
3 Dal Lago, Ugo
3 De Nicola, Rocco
3 Droste, Manfred
3 Falaschi, Moreno
3 Fritz, Tobias
3 Girard, Antoine
3 Gurevich, Yuri
3 Hennessy, Matthew C. B.
3 Heunen, Chris
3 Jansen, David N.
3 Keimel, Klaus
3 Knight, Sophia
3 Lanotte, Ruggero
3 Lynch, Nancy Ann
3 Mhalla, Mehdi
3 Morgan, Carroll C.
3 Moshier, M. Andrew
3 Nigam, Vivek
3 Perchy, Salim
3 Petrisan, Daniela Luan
3 Radhakrishna, Arjun
3 Ranzato, Francesco
3 Sack, Joshua
3 Sawerwain, Marek
3 Schnoebelen, Philippe
3 Schubert, Christoph
3 Scott, Philip J.
3 Silva, Alexandra
3 Sokolova, Ana
...and 552 more Authors
all top 5

Cited in 67 Serials

85 Theoretical Computer Science
40 Information and Computation
25 MSCS. Mathematical Structures in Computer Science
16 Journal of Logical and Algebraic Methods in Programming
14 Quantum Information Processing
14 Logical Methods in Computer Science
9 Acta Informatica
9 Journal of Computer and System Sciences
8 Annals of Pure and Applied Logic
8 Formal Aspects of Computing
6 Information Processing Letters
6 Formal Methods in System Design
5 International Journal of Theoretical Physics
4 Distributed Computing
4 Applied Categorical Structures
4 Journal of Applied Logic
3 Journal of Pure and Applied Algebra
3 New Generation Computing
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 Communications in Mathematical Physics
2 Journal of Mathematical Physics
2 Automatica
2 Fuzzy Sets and Systems
2 Information Sciences
2 Journal of Automated Reasoning
2 International Journal of Approximate Reasoning
2 Discrete Event Dynamic Systems
2 Soft Computing
2 Journal of the ACM
2 New Journal of Physics
2 International Journal of Applied Mathematics and Computer Science
2 Journal of High Energy Physics
2 ACM Transactions on Computational Logic
2 Logica Universalis
1 Artificial Intelligence
1 Classical and Quantum Gravity
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 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 Living Reviews in Relativity
1 Gravitation & Cosmology
1 Theory and Practice of Logic Programming
1 Natural Computing
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 38 Fields

365 Computer science (68-XX)
93 Mathematical logic and foundations (03-XX)
92 Quantum theory (81-XX)
61 Category theory; homological algebra (18-XX)
35 Information and communication theory, circuits (94-XX)
34 Probability theory and stochastic processes (60-XX)
15 Relativity and gravitational theory (83-XX)
14 Order, lattices, ordered algebraic structures (06-XX)
14 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
13 Systems theory; control (93-XX)
10 Statistics (62-XX)
8 Functional analysis (46-XX)
8 General topology (54-XX)
6 Measure and integration (28-XX)
6 Operations research, mathematical programming (90-XX)
6 Biology and other natural sciences (92-XX)
5 Differential geometry (53-XX)
4 Combinatorics (05-XX)
3 General algebraic systems (08-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 Linear and multilinear algebra; matrix theory (15-XX)
2 Topological groups, Lie groups (22-XX)
2 Operator theory (47-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 Group theory and generalizations (20-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