# zbMATH — the first resource for mathematics

Compute Distance To:
 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
all top 5

#### Serials

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

 81 Computer science (68-XX) 28 Quantum theory (81-XX) 26 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) 8 Category theory; homological algebra (18-XX) 7 Relativity and gravitational theory (83-XX) 3 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 Operator theory (47-XX) 2 Differential geometry (53-XX) 1 History and biography (01-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)

#### 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
2002
Metrics for labelled Markov processes. Zbl 1068.68093
2004
Metrics for labeled Markov systems. Zbl 0939.68081
1999
Labelled Markov processes. Zbl 1190.60001
2009
Approximating labelled Markov processes. Zbl 1028.68091
2003
The measurement calculus. Zbl 1311.81076
Danos, Vincent; Kashefi, Elham; Panangaden, Prakash
2007
Anonymity protocols as noisy channels. Zbl 1147.68394
Chatzikokolakis, Konstantinos; Palamidessi, Catuscia; Panangaden, Prakash
2008
Bisimulation and cocongruence for probabilistic systems. Zbl 1110.68083
Danos, Vincent; Desharnais, Josée; Laviolette, François; Panangaden, Prakash
2006
Weak bisimulation is sound and complete for pCTL*. Zbl 1012.68139
2002
Nuclear and trace ideals in tensored $$^*$$-categories. Zbl 0946.18004
Abramsky, Samson; Blute, Richard; Panangaden, Prakash
1999
Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. Zbl 1053.68065
2003
Quantum weakest preconditions. Zbl 1122.68058
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
2014
The computational power of the W and GHZ states. Zbl 1152.81703
2006
A domain of spacetime intervals in general relativity. Zbl 1188.83071
2006
Computations, residuals, and the power of indeterminacy. Zbl 0649.68019
1988
Bisimulation metrics for continuous Markov decision processes. Zbl 1253.39018
Ferns, Norm; Panangaden, Prakash; Precup, Doina
2011
Minimization via duality. Zbl 1361.68157
Bezhanishvili, Nick; Kupke, Clemens; Panangaden, Prakash
2012
Stone duality for Markov processes. Zbl 1433.06006
2013
Quantum communication in Rindler spacetime. Zbl 1257.83003
Brádler, Kamil; Hayden, Patrick; Panangaden, Prakash
2012
Spatial and epistemic modalities in constraint-based process calculi. Zbl 1364.68290
Knight, Sophia; Palamidessi, Catuscia; Panangaden, Prakash; Valencia, Frank D.
2012
Weak bisimulation is sound and complete for pCTL$$^*$$. Zbl 1189.68080
2010
Discrete quantum causal dynamics. Zbl 1037.81012
Blute, Richard F.; Ivanov, Ivan T.; Panangaden, Prakash
2003
Concurrent common knowledge: Defining agreement for asynchronous systems. Zbl 0773.68009
1992
The one way to quantum computation. Zbl 1133.68342
Danos, Vincent; Kashefi, Elham; Panangaden, Prakash
2006
The expressive power of indeterminate dataflow primitives. Zbl 0754.68082
1992
Stability and sequentiality in dataflow networks. Zbl 0766.68090
Panangaden, Prakash; Shanbhogue, Vasant; Stark, Eugene W.
1990
Taking it to the limit: approximate reasoning for Markov processes. Zbl 1365.68344
2012
Approximating Markov processes by averaging. Zbl 1248.68322
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
2009
Anonymity protocols as noisy channels. Zbl 1211.94025
Chatzikokolakis, Konstantinos; Palamidessi, Catuscia; Panangaden, Prakash
2007
Measure and probability for concurrency theorists. Zbl 0956.68058
2001
A logical view of concurrent constraint programming. Zbl 0839.68020
Mendler, Nax P.; Panangaden, Prakash; Scott, P. J.; Seely, R. A. G.
1995
Quantitative algebraic reasoning. Zbl 1391.68021
2016
A categorical presentation of quantum computation with anyons. Zbl 1218.81036
2011
Mathematical techniques for analyzing concurrent and probabilistic systems. Zbl 1069.68074
Panangaden, Prakash (ed.); van Breugel, Franck (ed.)
2004
Conditional expectation and the approximation of labelled Markov processes. Zbl 1274.68265
Danos, Vincent; Desharnais, Josée; Panangaden, Prakash
2003
Approximating Markov processes by averaging. Zbl 1295.68167
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
2014
Strong completeness for Markovian logics. Zbl 06210010
2013
Extended measurement calculus. Zbl 1209.68250
Danos, Vincent; Kashefi, Elham; Panangaden, Prakash; Perdrix, Simon
2010
Approximate reasoning for real-time probabilistic processes. Zbl 1126.68055
2006
A relational model of non-deterministic dataflow. Zbl 0940.68078
Hildebrandt, Thomas; Panangaden, Prakash; Winskel, Glynn
1998
Type theory and concurrency. Zbl 0678.68017
1988
A canonical form for weighted automata and applications to approximate minimization. Zbl 1401.68145
Balle, Borja; Panangaden, Prakash; Precup, Doina
2015
Dagger categories and formal distributions. Zbl 1253.81006
2011
A technique for verifying measurements. Zbl 1286.06011
2008
Game semantics for quantum stores. Zbl 1286.81044
2008
A fully abstract semantics for a functional language with logic variables. Zbl 0716.68061
1989
Causality in physics and computation. Zbl 1360.68634
2014
Fair reactive programming. Zbl 1284.68127
Cave, Andrew; Ferreira, Francisco; Panangaden, Prakash; Pientka, Brigitte
2014
Spacetime geometry from causal structure and a measurement. Zbl 1260.83073
2012
Domain theory and general relativity. Zbl 1218.83016
2011
Approximating labelled Markov processes again! Zbl 1239.68050
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
2009
Distributed measurement-based quantum computation. Zbl 1277.68174
Danos, Vincent; D’Hondt, Ellie; Kashefi, Elham; Panangaden, Prakash
2007
Reasoning about quantum knowledge. Zbl 1172.68622
2005
A relational model of non-deterministic dataflow. Zbl 1093.68063
Hildebrandt, Thomas T.; Panagaden, Prakash; Winskel, Glynn
2004
The category of Markov kernels. Zbl 0920.68067
1998
The expressive power of indeterminate primitives in asynchronous computation. Zbl 1354.68080
1995
McCarthy’s amb cannot implement fair merge. Zbl 0667.68035
1988
Semantics of networks containing indeterminate operators. Zbl 0565.68004
1985
Positive and negative frequency decompositions in curved spacetime. Zbl 0448.58028
1979
Bicategories of Markov processes. Zbl 1431.18013
Clerc, Florence; Humphrey, Harrison; Panangaden, Prakash
2017
An exact expression for photon polarization in Kerr geometry. Zbl 1309.83055
Farooqui, Anusar; Kamran, Niky; Panangaden, Prakash
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
2014
Deep inference and probabilistic coherence spaces. Zbl 1260.03117
Blute, Richard; Panangaden, Prakash; Slavnov, Sergey
2012
Learning in a changing world, an algebraic modal logical approach. Zbl 1308.68111
2011
Epistemic strategies and games on concurrent processes. Zbl 1206.68211
Chatzikokolakis, Konstantinos; Knight, Sophia; Panangaden, Prakash
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.)
2006
Nonexpressibility of fairness and signaling. Zbl 0801.68112
McAllester, David; Panangaden, Prakash; Shanbhogue, Vasant
1993
A domain-theoretic model for a higher-order process calculus. Zbl 0766.68089
1990
Abstract interpretation and indeterminacy. Zbl 0565.68005
1985
Bicategories of Markov processes. Zbl 1431.18013
Clerc, Florence; Humphrey, Harrison; Panangaden, Prakash
2017
Quantitative algebraic reasoning. Zbl 1391.68021
2016
A canonical form for weighted automata and applications to approximate minimization. Zbl 1401.68145
Balle, Borja; Panangaden, Prakash; Precup, Doina
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
2014
Approximating Markov processes by averaging. Zbl 1295.68167
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
2014
Causality in physics and computation. Zbl 1360.68634
2014
Fair reactive programming. Zbl 1284.68127
Cave, Andrew; Ferreira, Francisco; Panangaden, Prakash; Pientka, Brigitte
2014
An exact expression for photon polarization in Kerr geometry. Zbl 1309.83055
Farooqui, Anusar; Kamran, Niky; Panangaden, Prakash
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
2014
Stone duality for Markov processes. Zbl 1433.06006
2013
Strong completeness for Markovian logics. Zbl 06210010
2013
Minimization via duality. Zbl 1361.68157
Bezhanishvili, Nick; Kupke, Clemens; Panangaden, Prakash
2012
Quantum communication in Rindler spacetime. Zbl 1257.83003
Brádler, Kamil; Hayden, Patrick; Panangaden, Prakash
2012
Spatial and epistemic modalities in constraint-based process calculi. Zbl 1364.68290
Knight, Sophia; Palamidessi, Catuscia; Panangaden, Prakash; Valencia, Frank D.
2012
Taking it to the limit: approximate reasoning for Markov processes. Zbl 1365.68344
2012
Spacetime geometry from causal structure and a measurement. Zbl 1260.83073
2012
Deep inference and probabilistic coherence spaces. Zbl 1260.03117
Blute, Richard; Panangaden, Prakash; Slavnov, Sergey
2012
Bisimulation metrics for continuous Markov decision processes. Zbl 1253.39018
Ferns, Norm; Panangaden, Prakash; Precup, Doina
2011
A categorical presentation of quantum computation with anyons. Zbl 1218.81036
2011
Dagger categories and formal distributions. Zbl 1253.81006
2011
Domain theory and general relativity. Zbl 1218.83016
2011
Learning in a changing world, an algebraic modal logical approach. Zbl 1308.68111
2011
Weak bisimulation is sound and complete for pCTL$$^*$$. Zbl 1189.68080
2010
Extended measurement calculus. Zbl 1209.68250
Danos, Vincent; Kashefi, Elham; Panangaden, Prakash; Perdrix, Simon
2010
Labelled Markov processes. Zbl 1190.60001
2009
Approximating Markov processes by averaging. Zbl 1248.68322
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
2009
Approximating labelled Markov processes again! Zbl 1239.68050
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
2009
Epistemic strategies and games on concurrent processes. Zbl 1206.68211
Chatzikokolakis, Konstantinos; Knight, Sophia; Panangaden, Prakash
2009
Anonymity protocols as noisy channels. Zbl 1147.68394
Chatzikokolakis, Konstantinos; Palamidessi, Catuscia; Panangaden, Prakash
2008
A technique for verifying measurements. Zbl 1286.06011
2008
Game semantics for quantum stores. Zbl 1286.81044
2008
The measurement calculus. Zbl 1311.81076
Danos, Vincent; Kashefi, Elham; Panangaden, Prakash
2007
Anonymity protocols as noisy channels. Zbl 1211.94025
Chatzikokolakis, Konstantinos; Palamidessi, Catuscia; Panangaden, Prakash
2007
Distributed measurement-based quantum computation. Zbl 1277.68174
Danos, Vincent; D’Hondt, Ellie; Kashefi, Elham; Panangaden, Prakash
2007
Bisimulation and cocongruence for probabilistic systems. Zbl 1110.68083
Danos, Vincent; Desharnais, Josée; Laviolette, François; Panangaden, Prakash
2006
Quantum weakest preconditions. Zbl 1122.68058
2006
The computational power of the W and GHZ states. Zbl 1152.81703
2006
A domain of spacetime intervals in general relativity. Zbl 1188.83071
2006
The one way to quantum computation. Zbl 1133.68342
Danos, Vincent; Kashefi, Elham; Panangaden, Prakash
2006
Approximate reasoning for real-time probabilistic processes. Zbl 1126.68055
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.)
2006
Reasoning about quantum knowledge. Zbl 1172.68622
2005
Metrics for labelled Markov processes. Zbl 1068.68093
2004
Mathematical techniques for analyzing concurrent and probabilistic systems. Zbl 1069.68074
Panangaden, Prakash (ed.); van Breugel, Franck (ed.)
2004
A relational model of non-deterministic dataflow. Zbl 1093.68063
Hildebrandt, Thomas T.; Panagaden, Prakash; Winskel, Glynn
2004
Approximating labelled Markov processes. Zbl 1028.68091
2003
Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. Zbl 1053.68065
2003
Discrete quantum causal dynamics. Zbl 1037.81012
Blute, Richard F.; Ivanov, Ivan T.; Panangaden, Prakash
2003
Conditional expectation and the approximation of labelled Markov processes. Zbl 1274.68265
Danos, Vincent; Desharnais, Josée; Panangaden, Prakash
2003
Bisimulation for labelled Markov processes. Zbl 1096.68103
Desharnais, Josée; Edalat, Abbas; Panangaden, Prakash
2002
Weak bisimulation is sound and complete for pCTL*. Zbl 1012.68139
2002
Measure and probability for concurrency theorists. Zbl 0956.68058
2001
Metrics for labeled Markov systems. Zbl 0939.68081
1999
Nuclear and trace ideals in tensored $$^*$$-categories. Zbl 0946.18004
Abramsky, Samson; Blute, Richard; Panangaden, Prakash
1999
A relational model of non-deterministic dataflow. Zbl 0940.68078
Hildebrandt, Thomas; Panangaden, Prakash; Winskel, Glynn
1998
The category of Markov kernels. Zbl 0920.68067
1998
A logical view of concurrent constraint programming. Zbl 0839.68020
Mendler, Nax P.; Panangaden, Prakash; Scott, P. J.; Seely, R. A. G.
1995
The expressive power of indeterminate primitives in asynchronous computation. Zbl 1354.68080
1995
Nonexpressibility of fairness and signaling. Zbl 0801.68112
McAllester, David; Panangaden, Prakash; Shanbhogue, Vasant
1993
Concurrent common knowledge: Defining agreement for asynchronous systems. Zbl 0773.68009
1992
The expressive power of indeterminate dataflow primitives. Zbl 0754.68082
1992
Stability and sequentiality in dataflow networks. Zbl 0766.68090
Panangaden, Prakash; Shanbhogue, Vasant; Stark, Eugene W.
1990
A domain-theoretic model for a higher-order process calculus. Zbl 0766.68089
1990
A fully abstract semantics for a functional language with logic variables. Zbl 0716.68061
1989
Computations, residuals, and the power of indeterminacy. Zbl 0649.68019
1988
Type theory and concurrency. Zbl 0678.68017
1988
McCarthy’s amb cannot implement fair merge. Zbl 0667.68035
1988
Semantics of networks containing indeterminate operators. Zbl 0565.68004
1985
Abstract interpretation and indeterminacy. Zbl 0565.68005
1985
Positive and negative frequency decompositions in curved spacetime. Zbl 0448.58028
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)