Glynn Winskel

Q: What Schools Are Affiliated With Glynn Winskel

Glynn Winskel is affiliated with the following schools: University of Cambridge, Aarhus University, University of Edinburgh

Glynn Winskel's AcademicInfluence.com Rankings

Glynn Winskel

Computer Science

#5235

World Rank

#5529

Historical Rank

Theoretical Computer Science

#76

World Rank

#76

Historical Rank

Database

#2388

World Rank

#2503

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Glynn Winskel Influential?

(Suggest an Edit or Addition)

(See a Problem?)

Glynn Winskel's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

The formal semantics of programming languages - an introduction (1993) (987)
Petri Nets, Event Structures and Domains, Part I (1981) (944)
Event Structures (1986) (756)
What Is Discrete Mathematics (2007) (687)
The formal semantics of programming languages (1993) (650)
Petri Nets, Event Structures and Domains (1979) (518)
An introduction to event structures (1988) (352)
Bisimulation from Open Maps (1994) (333)
Event Structure Semantics for CCS and Related Languages (1982) (286)
Events in computation (1980) (242)
Petri Nets, Algebras, Morphisms, and Compositionality (1987) (203)
Models for Concurrency: Towards a Classification (1996) (123)
A Note on Model Checking the Modal nu-Calculus (1991) (118)
Distributing probability over non-determinism (2006) (113)
A Compositional Proof System for the Modal mu-Calculus (1994) (111)
Bisimulation and open maps (1993) (109)
Using Information Systems to Solve Recursive Domain Equations Effectively (1984) (107)
Events in security protocols (2001) (102)
Probabilistic event structures and domains (2004) (97)
Relational Reasoning about Functions and Nondeterminism (1999) (96)
Concurrent Strategies (2011) (94)
Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models (2012) (94)
Domain Theoretic Models of Polymorphism (1989) (94)
Categories of Models for Concurrency (1984) (92)
Profunctors, open maps and bisimulation (2004) (87)
The cartesian closed bicategory of generalised species of structures (2008) (84)
Presheaf Models for Concurrency (1996) (81)
Petri Nets as Models of Linear Logic (1990) (79)
A New Definition of Morphism on Petri Nets (1984) (75)
CCS with priority choice (1991) (75)
Synchronization Trees (1984) (74)
Weak bisimulation and open maps (1999) (68)
On Powerdomains and Modality (1985) (66)
DI-Domains as a Model of Polymorphism (1987) (60)
Petri Nets and Bisimulation (1996) (57)
Presheaf Models for the pi-Calculus (1997) (54)
Using Information Systems to Solve Recursive Domain Equations (1991) (54)
Synchronisation Trees (1983) (52)
Seminar on Concurrency (1984) (51)
Completeness Results for Linear Logic on Petri Nets (1993) (51)
A Classification of Models for Concurrency (1993) (49)
Domain theory for concurrency (2003) (48)
Relationships Between Models of Concurrency (1993) (48)
A theory of recursive domains with applications to concurrency (1997) (48)
A compositional proof system for the modal /spl mu/-calculus (1994) (46)
A category of labelled Petri nets and compositional proof system (1988) (44)
Event Structures with Symmetry (2007) (43)
Games and Strategies as Event Structures (2016) (40)
A Complete System for SCCS with Modal Assertions (1985) (39)
Distributed Probabilistic and Quantum Strategies (2013) (39)
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures (2016) (38)
Compositional checking of satisfaction (1991) (38)
A Presheaf Semantics of Value-Passing Processes (1996) (38)
The Winning Ways of Concurrent Games (2012) (38)
Linear Logic on Petri Nets (1993) (37)
The Parallel Intensionally Fully Abstract Games Model of PCF (2015) (37)
Symmetry in concurrent games (2014) (34)
Events, Causality and Symmetry (2008) (33)
A relational model of non-deterministic dataflow (1998) (33)
Presheaves as transition systems (1997) (33)
The unfolding of general Petri nets (2008) (31)
A Linear Metalanguage for Concurrency (1998) (31)
The concurrent game semantics of Probabilistic PCF (2018) (30)
Strategies as Profunctors (2013) (30)
Independence and Concurrent Separation Logic (2006) (30)
Nominal Domain Theory for Concurrency (2009) (30)
Composing Strand Spaces (2002) (29)
Linearity in process languages (2002) (28)
A Compositional Proof System on a Category of Labelled Transition Systems (1989) (28)
A Categorical Axiomatics for Bisimulation (1998) (27)
A Note on Powerdomains and Modalitiy (1983) (24)
Petri Nets and Bisimulations (1994) (24)
Petri nets in cryptographic protocols (2001) (24)
Game semantics for quantum programming (2019) (24)
A Representation Result for Free Cocompletions (1998) (24)
Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984 (1985) (23)
Deterministic Behavioural Models for Concurrency (1993) (23)
A Higher-Order Calculus for Categories (2001) (23)
Models and logic of MOS circuits (1987) (22)
Petri nets, morphisms and compositionality (1985) (22)
Relations in concurrency (2005) (20)
Constraining rule-based dynamics with types (2013) (19)
Strategies as Concurrent Processes (2014) (19)
Bistructures, bidomains, and linear logic (1994) (17)
Relational Semantics of Non-Deterministic Dataflow (1997) (17)
HOPLA-A Higher-Order Process Language (2002) (17)
Event Structure Spans for Nondeterministic Dataflow (2007) (16)
Relationships between Models of Concurency (1993) (16)
Thin Games with Symmetry and Concurrent Hyland-Ong Games (2019) (15)
New-HOPLA: A Higher-order Process Language with Name Generation (2004) (15)
Language, Semantics, and Methods for Cryptographic Protocols (2000) (15)
Deterministic concurrent strategies (2012) (15)
On the Composition and Decomposition of Assertions (1984) (15)
Stable Bistructure Models of PCF (1994) (15)
Proceedings of the 25th International Colloquium on Automata, Languages and Programming (1998) (15)
Event Structures as Presheaves -Two Representation Theorems (1999) (14)
Event Structures as Presheaves —Two Representation Theorems (1999) (13)
Semantics and Logics of Computation: Categories in Concurrency (1997) (13)
Relating Two Models of Hardware (1987) (13)
Editors' note: bibliometrics and the curators of orthodoxy (2009) (13)
Bistructures, Bidomains and Linear Logic (1994) (13)
Trace Structures and other Models for Concurrency (1995) (12)
A Compositional Model of MOS Circuits (1988) (12)
Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Information (2012) (12)
Event structures : Lecture notes for the Advanced Course on Petri Nets (1986) (11)
Non-angelic Concurrent Game Semantics (2018) (11)
On the compositional checking of validity (1990) (11)
Symmetry and Concurrency (2007) (10)
On the Expressivity of Symmetry in Event Structures (2010) (10)
Full Abstraction for HOPLA (2003) (10)
Name generation and linearity (2005) (10)
Continuous Probability Distributions in Concurrent Games (2018) (9)
On Concurrent Games with Payoff (2013) (9)
Imperfect Information in Logic and Concurrent Games (2013) (9)
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (2008) (9)
Prime algebraicity (2009) (9)
Limit Preservation from Naturality (2005) (9)
Strategies with Parallel Causes (2016) (9)
A representation of completely distributive algebraic lattices (1983) (9)
Presheaf models for CCS-like languages (1999) (8)
Petri Nets With Persistence (2005) (8)
On the Compositional Checking of Validity (Extended Abstract) (1990) (8)
Category Theory and Models for Parallel Computation (1985) (8)
Semantics, Algorithmics and Logic: Basic Research in Computer Science. BRICS Inaugural Talk (1994) (8)
Linear Logic in Computer Science: Linearity and Nonlinearity in Distributed Computation (2004) (8)
Probabilistic and Quantum Event Structures (2014) (8)
A Classiication of Models for Concurrency (2007) (8)
The True Concurrency of Herbrand's Theorem (2018) (7)
Distributed Probabilistic Strategies (2013) (7)
Borel Determinacy of Concurrent Games (2013) (6)
On the determinacy of concurrent games on event structures with infinite winning sets (2014) (6)
Concurrent Hyland-Ong games (2014) (6)
Set Theory for Computer Science (2009) (6)
Symmetry in Petri Nets (2008) (5)
Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or (2017) (5)
HOPLA--A Higher-Order Process Language (2002) (5)
On Probabilistic Distributed Strategies (2015) (5)
Graphs , rewriting and causality in rule-based models (2012) (5)
Topics in Concurrency Lecture Notes (2009) (4)
Distributed Games and Strategies (2016) (4)
Concurrent Quantum Strategies (2019) (3)
Making Concurrency Functional (2022) (3)
A Note on Model Cheking the Modal v-calculus (1990) (3)
Containment in Rule-Based Models (2012) (2)
Automata, languages and programming : 25th International Colloquium, ICALP '98, Aalborg, Denmark, July 13-17, 1998 : proceedings (1998) (2)
Discrete Mathematics II: Set Theory for Computer Science Part IA Comp. Sci. Lecture Notes (2010) (2)
Event Structures with Symmetry (extended Abstract) (2006) (1)
Distributed Strategies Made Easy (2017) (1)
Causal Unfoldings (2019) (1)
Automata, Languages and Programming: Proceedings of the 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17 1998 (1998) (1)
Calculus for categories (2002) (1)
Relations in Concurrency Invited talk ( corrected version ) (1)
Introduction to domain theory (1993) (1)
Concurrent Games (2016) (1)
Proceedings 8th International Workshop on Developments in Computational Models (2014) (1)
Seminar on Concurrency, Carnegie-Mellon University (1984) (1)
Events, Causality and Symmetry —the Next-generation Semantics Section 2: the Scientific Proposal A. State-of-the-art and Objectives (2010) (1)
Proceedings of the Third {HOL} Users Meeting: Aarhus University, 1-2 October 1990 (1990) (1)
Seminar on Concurrrency (1985) (0)
Event structures : maps, monads and spans : invited talk (2005) (0)
Bicategories of Concurrent Games - (Invited Paper) (2012) (0)
Domain Theory for Concurrency — New Categorical Foundations EPSRC Research Grant Application Case for support (2000) (0)
Domain Theory meets Interaction (2022) (0)
An Exercise in Processes with Infinite Pasts (1980) (0)
Bosch, R., see Bagaria, J. Cholak, P., see Ash, CJ (1997) (0)
Introduction to operational semantics (1993) (0)
Semantics of Concurrent Systems - Foundations and Applications (Dagstuhl Seminar 9619) (2021) (0)
— the next-generation semantics Section 1 d : Extended Synopsis State-ofthe-art and objectives (2010) (0)
Guest Editorial (2002) (0)
Models and logic of MOS circuits : Lectures for the Marktoberdorf Summerschool, August 1986 (1986) (0)
5 : 2 The True Concurrency of Herbrand ’ s Theorem 1 (2019) (0)
Causal Unfoldings and Disjunctive Causes (2020) (0)
Semantics of Concurrent Systems-Foundations and Applications 6-10 May 1996 (2008) (0)
Nondeterminism and parallelism (1993) (0)
Deterministic concurrent strategies (2012) (0)
Languages with higher types (1993) (0)
Incompleteness and undecidability (1993) (0)
The Mays and Musts of Concurrent Strategies (2021) (0)
Symmetry in Petri nets 1 Symmetry in Petri nets (2011) (0)
Some principles of induction (1993) (0)
Proceedings of the CLICS Workshop: Part I og II (1992) (0)
In Proceedings of Concur '98, C a Categorical Axiomatics for Bisimulation (1998) (0)
Techniques for recursion (1993) (0)
Forgetting causality in the concurrent game semantics of probabilistic PCF (2017) (0)
A Representation Result for FreeCo ompletionsA (1999) (0)
Symmetry and Concurrency (Extended Abstract) (2007) (0)
Proceedings 8th International Workshop on Developments in Computational Models: Preface (2014) (0)
Petri Nets and Transition Systems (Abstract for an invited talk) (1991) (0)
The denotational semantics of IMP (1993) (0)
Completeness of the Hoare rules (1993) (0)
Models, Languages and Logics for Concurrent Distributed Systems: CEDISYS Workshop (Aarhus, 1991, May 21--24) (1992) (0)
The axiomatic semantics of IMP (1993) (0)
A Representation Result for FreeCo ompletionsJohn Power (1998) (0)
An Operational Understanding of Bisimulation from Open Maps (1998) (0)
Basic set theory (1993) (0)
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures (2017) (0)

This paper list is powered by the following services:

What Schools Are Affiliated With Glynn Winskel?

Glynn Winskel is affiliated with the following schools:

Glynn Winskel's Academic­Influence.com Rankings

Why Is Glynn Winskel Influential?

Glynn Winskel's Published Works

Published Works

What Schools Are Affiliated With Glynn Winskel?

Glynn Winskel's AcademicInfluence.com Rankings