×

zbMATH — the first resource for mathematics

Plotkin, Gordon D.

Compute Distance To:
Author ID: plotkin.gordon-d Recent zbMATH articles by "Plotkin, Gordon D."
Published as: Plotkin, G.; Plotkin, G. D.; Plotkin, Gordon; Plotkin, Gordon D.
Documents Indexed: 100 Publications since 1969, including 10 Books
Biographic References: 1 Publication

Publications by Year

Citations contained in zbMATH

85 Publications have been cited 2,365 times in 1,752 Documents Cited by Year
LCF considered as a programming language. Zbl 0369.68006
Plotkin, G. D.
201
1978
Call-by-name, call-by-value and the \(\lambda\)-calculus. Zbl 0325.68006
Plotkin, G. D.
190
1975
A framework for defining logics. Zbl 0778.03004
Harper, Robert; Honsell, Furio; Plotkin, Gordon
183
1993
A powerdomain construction. Zbl 0355.68015
Plotkin, G. D.
175
1976
Petri nets, event structures and domains. I. Zbl 0452.68067
Nielsen, Mogens; Plotkin, Gordon; Winskel, Glynn
170
1981
A structural approach to operational semantics. Zbl 1082.68062
Plotkin, Gordon D.
143
2004
The category-theoretic solution of recursive domain equations. Zbl 0493.68022
Smyth, M. B.; Plotkin, G. D.
133
1982
Building-in equational theories. Zbl 0262.68036
Plotkin, G. D.
88
1972
A probabilistic powerdomain of evaluations. Zbl 0716.06003
Jones, C.; Plotkin, G. D.
79
1989
A note on inductive generalization. Zbl 0219.68045
Plotkin, G. D.
66
1969
Full abstraction for a simple parallel programming language. Zbl 0457.68006
Hennessy, M. C. B.; Plotkin, G. D.
63
1979
An operational semantics for CSP. Zbl 0512.68012
Plotkin, G. D.
53
1983
The origins of structural operational semantics. Zbl 1072.68063
Plotkin, Gordon D.
48
2004
\(\mathbb{T}^\omega\) as a universal domain. Zbl 0419.03007
Plotkin, G.
44
1978
Notions of computation determine monads. Zbl 1077.68676
Plotkin, Gordon; Power, John
43
2002
Countable nondeterminism and random assignment. Zbl 0627.68015
Apt, K. R.; Plotkin, G. D.
42
1986
Combining effects: sum and tensor. Zbl 1096.68088
Hyland, Martin; Plotkin, Gordon; Power, John
38
2006
An ideal model for recursive polymorphic types. Zbl 0636.68016
MacQueen, David; Plotkin, Gordon; Sethi, Ravi
36
1986
Algebraic operations and generic effects. Zbl 1023.18006
Plotkin, Gordon; Power, John
28
2003
Configuration structures, event structures and Petri nets. Zbl 1187.68329
Van Glabbeek, R. J.; Plotkin, G. D.
26
2009
Adequacy for algebraic effects. Zbl 0986.68055
Plotkin, Gordon; Power, John
25
2001
Concrete domains. Zbl 0809.68085
Kahn, G.; Plotkin, G. D.
25
1993
Dijkstra’s predicate transformers and Smyth’s power domains. Zbl 0467.68011
Plotkin, G. D.
25
1980
A further note on inductive generalization. Zbl 0261.68042
Plotkin, G. D.
25
1971
Computational effects and operations: an overview. Zbl 1273.68213
Plotkin, Gordon; Power, John
22
2004
Set-theoretical and other elementary models of the \(\lambda\)-calculus. Zbl 0790.03014
Plotkin, Gordon D.
22
1993
A logic for parametric polymorphism. Zbl 0788.68091
Plotkin, Gordon; Abadi, Martín
21
1993
Retracted: Semantic domains for combining probability and non-determinism. Zbl 1271.68004
Tix, Regina; Keimel, Klaus; Plotkin, Gordon D.
20
2005
A term model for CCS. Zbl 0479.68011
Hennessy, M. C. B.; Plotkin, G. D.
18
1980
Handling algebraic effects. Zbl 1314.68191
Plotkin, Gordon D.; Pretnar, Matija
17
2013
Semantics for algebraic operations. Zbl 1260.68220
Plotkin, Gordon; Power, John
17
2001
Semantic domains for combining probability and non-determinism. Zbl 1271.68005
Tix, Regina; Keimel, Klaus; Plotkin, Gordon D.
16
2009
A Cook’s tour of countable nondeterminism (extended abstract). Zbl 0465.68002
Apt, Krysztof R.; Plotkin, G. D.
14
1981
Handlers of algebraic effects. Zbl 1234.68059
Plotkin, Gordon; Pretnar, Matija
13
2009
A logical view of composition. Zbl 0778.68061
Abadi, Martín; Plotkin, Gordon D.
12
1993
A powerdomain for countable non-determinism (extended abstract). Zbl 0511.68032
Plotkin, G. D.
12
1982
The \(\lambda\)-calculus is \(\omega\)-incomplete. Zbl 0299.02029
Plotkin, G. D.
12
1974
Combining algebraic effects with continuations. Zbl 1111.68067
Hyland, Martin; Levy, Paul Blain; Plotkin, Gordon; Power, John
11
2007
Petri nets, event structures and domains. Zbl 0418.68056
Nielsen, Mogens; Plotkin, Gordon; Winskel, Glynn
11
1979
Mixed powerdomains for probability and nondeterminism. Zbl 1448.06002
Keimel, Klaus; Plotkin, Gordon D.
10
2017
A language for biochemical systems: design and formal specification. Zbl 1275.92020
Pedersen, Michael; Plotkin, Gordon D.
9
2010
Lax logical relations. Zbl 0973.03016
Plotkin, Gordon; Power, John; Sannella, Donald; Tennent, Robert
8
2000
On functors expressible in the polymorphic typed lambda calculus. Zbl 0785.03004
Reynolds, John C.; Plotkin, Gordon D.
8
1993
Approximating Markov processes by averaging. Zbl 1248.68322
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
7
2009
Predicate transformers for extended probability and non-determinism. Zbl 1175.68253
Keimel, Klaus; Plotkin, Gordon D.
7
2009
A semantics for static type inference. Zbl 0803.68067
Plotkin, Gordon
7
1994
Quantitative algebraic reasoning. Zbl 1391.68021
Mardare, Radu; Panangaden, Prakash; Plotkin, Gordon
6
2016
Tensors of comodels and models for operational semantics. Zbl 1286.68303
Plotkin, Gordon; Power, John
6
2008
Finite dimensional vector spaces are complete for traced symmetric monoidal categories. Zbl 1134.18003
Hasegawa, Masahito; Hofmann, Martin; Plotkin, Gordon
6
2008
Event structures for resolvable conflict. Zbl 1096.68114
van Glabbeek, Rob; Plotkin, Gordon
6
2004
Full abstraction, totality and PCF. Zbl 0923.68087
Plotkin, Gordon
6
1999
Uncountable limits and the lambda calculus. Zbl 0839.68059
Di Gianantonio, Pietro; Honsell, Furio; Plotkin, Gordon
6
1995
Approximating Markov processes by averaging. Zbl 1295.68167
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
5
2014
Algebraic foundations for effect-dependent optimisations. Zbl 1321.68200
Kammar, Ohad; Plotkin, Gordon D.
5
2012
A domain-theoretic Banach-Alaoglu theorem. Zbl 1107.06006
Plotkin, Gordon
5
2006
Computational logic. Essays in honor of Alan Robinson. Zbl 0793.03002
Lassez, Jean-Louis (ed.); Plotkin, Gordon (ed.)
5
1991
Finite conjunctive nondeterminism. Zbl 0649.03013
Hennessy, M.; Plotkin, G.
5
1987
On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs. Zbl 1320.68125
Bruni, Roberto; Montanari, Ugo; Plotkin, Gordon; Terreni, Daniele
4
2014
Multi-level modelling via stochastic multi-level multiset rewriting. Zbl 1318.92015
Oury, Nicolas; Plotkin, Gordon
4
2013
From action calculi to linear logic. Zbl 0908.03031
Barber, Andrew; Gardner, Philippa; Hasegawa, Masahito; Plotkin, Gordon
4
1998
An extension of models of axiomatic domain theory to models of synthetic domain theory. Zbl 0884.18009
Fiore, Marcelo P.; Plotkin, Gordon D.
4
1997
On a question of H. Friedman. Zbl 0853.68127
Plotkin, Gordon
4
1996
Logical frameworks. Proceedings of the first annual workshop ”Logical frameworks: design, implementation and experiment”, held in Sophia- Antipolis, France, May 7-11, 1990. Zbl 0741.00063
Huet, Gérard (ed.); Plotkin, Gordon (ed.)
4
1991
Some varieties of equational logic (extended abstract). Zbl 1132.08300
Plotkin, Gordon
3
2006
Logical full abstraction and PCF. Zbl 0961.68081
Longley, John; Plotkin, Gordon
3
1998
Bistructures, bidomains and linear logic. Zbl 1422.03130
Plotkin, Gordon; Winskel, Glynn
3
1994
Dependent types and fibred computational effects. Zbl 06591812
Ahman, Danel; Ghani, Neil; Plotkin, Gordon D.
2
2016
A model of cooperative threads. Zbl 1315.68079
Abadi, Martin; Plotkin, Gordon
2
2009
Approximating labelled Markov processes again! Zbl 1239.68050
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
2
2009
Bialgebraic semantics and recursion (extended abstract). Zbl 1260.68219
Plotkin, Gordon
2
2001
Proof, language, and interaction. Essays in honour of Robin Milner. Zbl 0968.68018
Plotkin, Gordon (ed.); Stirling, Colin (ed.); Tofte, Mads (ed.)
2
2000
Faithful ideal models for recursive polymorphic types. Zbl 0741.68026
Abadi, Martín; Pierce, Benjamin; Plotkin, Gordon
2
1991
Semantics of data types. International Symposium, Sophia-Antipolis, France, June 27-29, 1984. Proceedings. Zbl 0534.00019
Kahn, G. (ed.); MacQueen, D. B. (ed.); Plotkin, G. (ed.)
2
1984
An operational semantics for CSP (extended abstract). Zbl 0506.68025
Plotkin, Gordon
2
1983
On powerdomains for probabilistic non determinism (copies of slides). Zbl 0565.68050
Plotkin, G. D.
2
1982
Layout randomization and nondeterminism. Zbl 1334.68045
Abadi, Martín; Planul, Jérémy; Plotkin, Gordon
1
2013
The compiler forest. Zbl 1381.68042
Budiu, Mihai; Galenson, Joel; Plotkin, Gordon D.
1
2013
Partial recursive functions and finality. Zbl 1264.03091
Plotkin, Gordon
1
2013
A model of cooperative threads. Zbl 1202.68105
Abadi, Martín; Plotkin, Gordon D.
1
2010
From semantics to computer science. Essays in honour of Gilles Kahn. Zbl 1177.68004
Bertot, Yves (ed.); Huet, Gérard (ed.); Lévy, Jean-Jacques (ed.); Plotkin, Gordon (ed.)
1
2009
On the completeness of order-theoretic models of the \(\lambda \)-calculus. Zbl 1167.03013
Honsell, Furio; Plotkin, Gordon
1
2009
Adequacy for algebraic effects with state. Zbl 1151.68466
Plotkin, Gordon
1
2005
Typed lambda calculi and applications. 2nd international conference, TLCA ’95, Edinburgh, GB, April 10-12, 1995. Proceedings. Zbl 0813.68040
Dezani-Ciancaglini, Mariangiola (ed.); Plotkin, Gordon (ed.)
1
1995
Situation theory and its applications. Vol. 2: Proceedings of the 2nd conference, Loch Rannoch, GB, September 1991. Zbl 0942.03522
Barwise, K. Jon (ed.); Gawron, Jean Mark (ed.); Plotkin, Gordon (ed.); Tutiya, Syun (ed.)
1
1991
On proving limiting completeness. Zbl 0632.68012
Mosses, Peter D.; Plotkin, Gordon D.
1
1987
Mixed powerdomains for probability and nondeterminism. Zbl 1448.06002
Keimel, Klaus; Plotkin, Gordon D.
10
2017
Quantitative algebraic reasoning. Zbl 1391.68021
Mardare, Radu; Panangaden, Prakash; Plotkin, Gordon
6
2016
Dependent types and fibred computational effects. Zbl 06591812
Ahman, Danel; Ghani, Neil; Plotkin, Gordon D.
2
2016
Approximating Markov processes by averaging. Zbl 1295.68167
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
5
2014
On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs. Zbl 1320.68125
Bruni, Roberto; Montanari, Ugo; Plotkin, Gordon; Terreni, Daniele
4
2014
Handling algebraic effects. Zbl 1314.68191
Plotkin, Gordon D.; Pretnar, Matija
17
2013
Multi-level modelling via stochastic multi-level multiset rewriting. Zbl 1318.92015
Oury, Nicolas; Plotkin, Gordon
4
2013
Layout randomization and nondeterminism. Zbl 1334.68045
Abadi, Martín; Planul, Jérémy; Plotkin, Gordon
1
2013
The compiler forest. Zbl 1381.68042
Budiu, Mihai; Galenson, Joel; Plotkin, Gordon D.
1
2013
Partial recursive functions and finality. Zbl 1264.03091
Plotkin, Gordon
1
2013
Algebraic foundations for effect-dependent optimisations. Zbl 1321.68200
Kammar, Ohad; Plotkin, Gordon D.
5
2012
A language for biochemical systems: design and formal specification. Zbl 1275.92020
Pedersen, Michael; Plotkin, Gordon D.
9
2010
A model of cooperative threads. Zbl 1202.68105
Abadi, Martín; Plotkin, Gordon D.
1
2010
Configuration structures, event structures and Petri nets. Zbl 1187.68329
Van Glabbeek, R. J.; Plotkin, G. D.
26
2009
Semantic domains for combining probability and non-determinism. Zbl 1271.68005
Tix, Regina; Keimel, Klaus; Plotkin, Gordon D.
16
2009
Handlers of algebraic effects. Zbl 1234.68059
Plotkin, Gordon; Pretnar, Matija
13
2009
Approximating Markov processes by averaging. Zbl 1248.68322
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
7
2009
Predicate transformers for extended probability and non-determinism. Zbl 1175.68253
Keimel, Klaus; Plotkin, Gordon D.
7
2009
A model of cooperative threads. Zbl 1315.68079
Abadi, Martin; Plotkin, Gordon
2
2009
Approximating labelled Markov processes again! Zbl 1239.68050
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
2
2009
From semantics to computer science. Essays in honour of Gilles Kahn. Zbl 1177.68004
Bertot, Yves (ed.); Huet, Gérard (ed.); Lévy, Jean-Jacques (ed.); Plotkin, Gordon (ed.)
1
2009
On the completeness of order-theoretic models of the \(\lambda \)-calculus. Zbl 1167.03013
Honsell, Furio; Plotkin, Gordon
1
2009
Tensors of comodels and models for operational semantics. Zbl 1286.68303
Plotkin, Gordon; Power, John
6
2008
Finite dimensional vector spaces are complete for traced symmetric monoidal categories. Zbl 1134.18003
Hasegawa, Masahito; Hofmann, Martin; Plotkin, Gordon
6
2008
Combining algebraic effects with continuations. Zbl 1111.68067
Hyland, Martin; Levy, Paul Blain; Plotkin, Gordon; Power, John
11
2007
Combining effects: sum and tensor. Zbl 1096.68088
Hyland, Martin; Plotkin, Gordon; Power, John
38
2006
A domain-theoretic Banach-Alaoglu theorem. Zbl 1107.06006
Plotkin, Gordon
5
2006
Some varieties of equational logic (extended abstract). Zbl 1132.08300
Plotkin, Gordon
3
2006
Retracted: Semantic domains for combining probability and non-determinism. Zbl 1271.68004
Tix, Regina; Keimel, Klaus; Plotkin, Gordon D.
20
2005
Adequacy for algebraic effects with state. Zbl 1151.68466
Plotkin, Gordon
1
2005
A structural approach to operational semantics. Zbl 1082.68062
Plotkin, Gordon D.
143
2004
The origins of structural operational semantics. Zbl 1072.68063
Plotkin, Gordon D.
48
2004
Computational effects and operations: an overview. Zbl 1273.68213
Plotkin, Gordon; Power, John
22
2004
Event structures for resolvable conflict. Zbl 1096.68114
van Glabbeek, Rob; Plotkin, Gordon
6
2004
Algebraic operations and generic effects. Zbl 1023.18006
Plotkin, Gordon; Power, John
28
2003
Notions of computation determine monads. Zbl 1077.68676
Plotkin, Gordon; Power, John
43
2002
Adequacy for algebraic effects. Zbl 0986.68055
Plotkin, Gordon; Power, John
25
2001
Semantics for algebraic operations. Zbl 1260.68220
Plotkin, Gordon; Power, John
17
2001
Bialgebraic semantics and recursion (extended abstract). Zbl 1260.68219
Plotkin, Gordon
2
2001
Lax logical relations. Zbl 0973.03016
Plotkin, Gordon; Power, John; Sannella, Donald; Tennent, Robert
8
2000
Proof, language, and interaction. Essays in honour of Robin Milner. Zbl 0968.68018
Plotkin, Gordon (ed.); Stirling, Colin (ed.); Tofte, Mads (ed.)
2
2000
Full abstraction, totality and PCF. Zbl 0923.68087
Plotkin, Gordon
6
1999
From action calculi to linear logic. Zbl 0908.03031
Barber, Andrew; Gardner, Philippa; Hasegawa, Masahito; Plotkin, Gordon
4
1998
Logical full abstraction and PCF. Zbl 0961.68081
Longley, John; Plotkin, Gordon
3
1998
An extension of models of axiomatic domain theory to models of synthetic domain theory. Zbl 0884.18009
Fiore, Marcelo P.; Plotkin, Gordon D.
4
1997
On a question of H. Friedman. Zbl 0853.68127
Plotkin, Gordon
4
1996
Uncountable limits and the lambda calculus. Zbl 0839.68059
Di Gianantonio, Pietro; Honsell, Furio; Plotkin, Gordon
6
1995
Typed lambda calculi and applications. 2nd international conference, TLCA ’95, Edinburgh, GB, April 10-12, 1995. Proceedings. Zbl 0813.68040
Dezani-Ciancaglini, Mariangiola (ed.); Plotkin, Gordon (ed.)
1
1995
A semantics for static type inference. Zbl 0803.68067
Plotkin, Gordon
7
1994
Bistructures, bidomains and linear logic. Zbl 1422.03130
Plotkin, Gordon; Winskel, Glynn
3
1994
A framework for defining logics. Zbl 0778.03004
Harper, Robert; Honsell, Furio; Plotkin, Gordon
183
1993
Concrete domains. Zbl 0809.68085
Kahn, G.; Plotkin, G. D.
25
1993
Set-theoretical and other elementary models of the \(\lambda\)-calculus. Zbl 0790.03014
Plotkin, Gordon D.
22
1993
A logic for parametric polymorphism. Zbl 0788.68091
Plotkin, Gordon; Abadi, Martín
21
1993
A logical view of composition. Zbl 0778.68061
Abadi, Martín; Plotkin, Gordon D.
12
1993
On functors expressible in the polymorphic typed lambda calculus. Zbl 0785.03004
Reynolds, John C.; Plotkin, Gordon D.
8
1993
Computational logic. Essays in honor of Alan Robinson. Zbl 0793.03002
Lassez, Jean-Louis (ed.); Plotkin, Gordon (ed.)
5
1991
Logical frameworks. Proceedings of the first annual workshop ”Logical frameworks: design, implementation and experiment”, held in Sophia- Antipolis, France, May 7-11, 1990. Zbl 0741.00063
Huet, Gérard (ed.); Plotkin, Gordon (ed.)
4
1991
Faithful ideal models for recursive polymorphic types. Zbl 0741.68026
Abadi, Martín; Pierce, Benjamin; Plotkin, Gordon
2
1991
Situation theory and its applications. Vol. 2: Proceedings of the 2nd conference, Loch Rannoch, GB, September 1991. Zbl 0942.03522
Barwise, K. Jon (ed.); Gawron, Jean Mark (ed.); Plotkin, Gordon (ed.); Tutiya, Syun (ed.)
1
1991
A probabilistic powerdomain of evaluations. Zbl 0716.06003
Jones, C.; Plotkin, G. D.
79
1989
Finite conjunctive nondeterminism. Zbl 0649.03013
Hennessy, M.; Plotkin, G.
5
1987
On proving limiting completeness. Zbl 0632.68012
Mosses, Peter D.; Plotkin, Gordon D.
1
1987
Countable nondeterminism and random assignment. Zbl 0627.68015
Apt, K. R.; Plotkin, G. D.
42
1986
An ideal model for recursive polymorphic types. Zbl 0636.68016
MacQueen, David; Plotkin, Gordon; Sethi, Ravi
36
1986
Semantics of data types. International Symposium, Sophia-Antipolis, France, June 27-29, 1984. Proceedings. Zbl 0534.00019
Kahn, G. (ed.); MacQueen, D. B. (ed.); Plotkin, G. (ed.)
2
1984
An operational semantics for CSP. Zbl 0512.68012
Plotkin, G. D.
53
1983
An operational semantics for CSP (extended abstract). Zbl 0506.68025
Plotkin, Gordon
2
1983
The category-theoretic solution of recursive domain equations. Zbl 0493.68022
Smyth, M. B.; Plotkin, G. D.
133
1982
A powerdomain for countable non-determinism (extended abstract). Zbl 0511.68032
Plotkin, G. D.
12
1982
On powerdomains for probabilistic non determinism (copies of slides). Zbl 0565.68050
Plotkin, G. D.
2
1982
Petri nets, event structures and domains. I. Zbl 0452.68067
Nielsen, Mogens; Plotkin, Gordon; Winskel, Glynn
170
1981
A Cook’s tour of countable nondeterminism (extended abstract). Zbl 0465.68002
Apt, Krysztof R.; Plotkin, G. D.
14
1981
Dijkstra’s predicate transformers and Smyth’s power domains. Zbl 0467.68011
Plotkin, G. D.
25
1980
A term model for CCS. Zbl 0479.68011
Hennessy, M. C. B.; Plotkin, G. D.
18
1980
Full abstraction for a simple parallel programming language. Zbl 0457.68006
Hennessy, M. C. B.; Plotkin, G. D.
63
1979
Petri nets, event structures and domains. Zbl 0418.68056
Nielsen, Mogens; Plotkin, Gordon; Winskel, Glynn
11
1979
LCF considered as a programming language. Zbl 0369.68006
Plotkin, G. D.
201
1978
\(\mathbb{T}^\omega\) as a universal domain. Zbl 0419.03007
Plotkin, G.
44
1978
A powerdomain construction. Zbl 0355.68015
Plotkin, G. D.
175
1976
Call-by-name, call-by-value and the \(\lambda\)-calculus. Zbl 0325.68006
Plotkin, G. D.
190
1975
The \(\lambda\)-calculus is \(\omega\)-incomplete. Zbl 0299.02029
Plotkin, G. D.
12
1974
Building-in equational theories. Zbl 0262.68036
Plotkin, G. D.
88
1972
A further note on inductive generalization. Zbl 0261.68042
Plotkin, G. D.
25
1971
A note on inductive generalization. Zbl 0219.68045
Plotkin, G. D.
66
1969
all top 5

Cited by 1,776 Authors

24 Montanari, Ugo G.
21 Plotkin, Gordon D.
21 Power, John
20 Winskel, Glynn
18 Rabe, Florian
17 Aceto, Luca
17 Ingólfsdóttir, Anna
17 Meseguer Guaita, José
15 Danvy, Olivier
15 Honsell, Furio
15 van Glabbeek, Robert Jan
14 Dezani-Ciancaglini, Mariangiola
14 Pientka, Brigitte
13 Abramsky, Samson
13 Adámek, Jiří
13 Baldan, Paolo
13 Jacobs, Bart
12 Reniers, Michel Adriaan
11 Miller, Dale Allen
10 Alessi, Fabio
10 Bruni, Roberto
10 Hennessy, Matthew C. B.
10 Jung, Achim
10 Keimel, Klaus
10 Kou, Hui
10 Miculan, Marino
10 Roşu, Grigore
10 Rutten, Jan J. M. M.
10 Schmidt-Schauß, Manfred
9 Birkedal, Lars
9 de Bakker, Jacobus W.
9 De Nicola, Rocco
9 Ehrhard, Thomas
9 Goubault-Larrecq, Jean
9 Hötzel Escardó, Martín
9 Meyer, John-Jules Charles
9 Paolini, Luca
9 Phillips, Iain W.
9 Ulidowski, Irek
9 Yoshida, Nobuko
8 Edalat, Abbas
8 Felty, Amy P.
8 Kohlhase, Michael
8 Larsen, Kim Guldstrand
8 Majster-Cederbaum, Mila E.
8 Manzonetto, Giulio
8 Mislove, Michael W.
8 Olderog, Ernst-Rüdiger
8 Panangaden, Prakash
8 Pym, David J.
8 Schröder, Lutz
8 Staton, Sam
8 Thiagarajan, Pazhamaneri Subramaniam
7 Abadi, Martín
7 Apt, Krzysztof Rafal
7 Baier, Christel
7 Coppo, Mario
7 Corradini, Andrea
7 Dal Lago, Ugo
7 Droste, Manfred
7 Gregorio-Rodríguez, Carlos
7 Harper, Robert
7 Horozal, Fulya
7 Kok, Joost N.
7 Lenisa, Marina
7 Mason, Ian A.
7 Mousavi, Mohammadreza
7 Pfenning, Frank
7 Pinna, G. Michele
7 Pitts, Andrew M.
7 Sabel, David
7 Smyth, Michael B.
7 Talcott, Carolyn L.
7 Uustalu, Tarmo
7 Vogler, Walter
6 Abbes, Samy
6 Alpuente, María
6 Battenfeld, Ingo
6 Benveniste, Albert
6 Berline, Chantal
6 Broy, Manfred
6 Colvin, Robert J.
6 Curien, Pierre-Louis
6 Danos, Vincent
6 de Frutos-Escrig, David
6 Ésik, Zoltán
6 Francez, Nissim
6 Ghani, Neil
6 Goncharov, Sergeĭ Savost’yanovich
6 Groote, Jan Friso
6 Jagadeesan, Radha
6 Klin, Bartek
6 Klop, Jan Willem
6 Longo, Giuseppe
6 Luttik, Bas
6 McIver, Annabelle K.
6 Momigliano, Alberto
6 Nadathur, Gopalan
6 Nielsen, Mogens
6 Streicher, Thomas
...and 1,676 more Authors
all top 5

Cited in 99 Serials

483 Theoretical Computer Science
145 Information and Computation
70 MSCS. Mathematical Structures in Computer Science
41 Annals of Pure and Applied Logic
41 Journal of Automated Reasoning
41 Journal of Functional Programming
37 Journal of Logical and Algebraic Methods in Programming
36 Journal of Symbolic Computation
35 Information Processing Letters
34 Logical Methods in Computer Science
31 Journal of Computer and System Sciences
31 Formal Aspects of Computing
30 Acta Informatica
26 The Journal of Logic and Algebraic Programming
21 Topology and its Applications
20 Artificial Intelligence
14 Journal of Pure and Applied Algebra
13 Higher-Order and Symbolic Computation
11 Annals of Mathematics and Artificial Intelligence
10 Machine Learning
9 The Journal of Symbolic Logic
8 The Bulletin of Symbolic Logic
8 Theory and Practice of Logic Programming
7 Science of Computer Programming
7 Journal of Computer Science and Technology
7 RAIRO. Informatique Théorique et Applications
7 Formal Methods in System Design
7 RAIRO. Theoretical Informatics and Applications
6 Distributed Computing
5 Mathematical Systems Theory
5 International Journal of Foundations of Computer Science
5 Applied Categorical Structures
5 Logica Universalis
4 Information Sciences
4 Programming and Computer Software
4 RAIRO, Informatique Théorique
4 Synthese
4 Discrete Event Dynamic Systems
4 Applicable Algebra in Engineering, Communication and Computing
4 Journal of Applied Logic
3 Algebra Universalis
3 BIT
3 Order
3 International Journal of Parallel Programming
3 International Journal of Approximate Reasoning
2 Computers & Mathematics with Applications
2 Advances in Mathematics
2 Semigroup Forum
2 Studia Logica
2 New Generation Computing
2 Journal of Logic, Language and Information
2 Theory of Computing Systems
2 Journal of the ACM
2 Journal of Applied Mathematics
2 Sādhanā
2 RAIRO. Theoretical Informatics and Applications
1 Discrete Applied Mathematics
1 Discrete Mathematics
1 Journal of Mathematical Analysis and Applications
1 Bulletin of Mathematical Biology
1 The Mathematical Intelligencer
1 Cahiers de Topologie et Géométrie Différentielle Catégoriques
1 Fuzzy Sets and Systems
1 Journal of Combinatorial Theory. Series B
1 Journal of Soviet Mathematics
1 Notre Dame Journal of Formal Logic
1 Software. Practice & Experience
1 Mathematical Social Sciences
1 History and Philosophy of Logic
1 Japan Journal of Applied Mathematics
1 International Journal of Intelligent Systems
1 Mathematical and Computer Modelling
1 Neural Networks
1 International Journal of Computer Mathematics
1 Archive for Mathematical Logic
1 Indagationes Mathematicae. New Series
1 Cybernetics and Systems Analysis
1 Topology Proceedings
1 Diagrammes
1 Mathematical Logic Quarterly (MLQ)
1 Theory and Applications of Categories
1 ACM Transactions on Modeling and Computer Simulation
1 Abstract and Applied Analysis
1 Soft Computing
1 Journal of Combinatorial Optimization
1 Wuhan University Journal of Natural Sciences (WUJNS)
1 Data Mining and Knowledge Discovery
1 Acta Mathematica Sinica. English Series
1 International Journal of Applied Mathematics and Computer Science
1 Computer Languages, Systems & Structures
1 ACM Transactions on Computational Logic
1 Mathematics in Computer Science
1 Journal of Formalized Reasoning
1 Computability
1 Sahand Communications in Mathematical Analysis
1 Research in the Mathematical Sciences
1 Minimax Theory and its Applications
1 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences
1 Categories and General Algebraic Structures with Applications

Citations by Year