Compute Distance To:
 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)

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