Glynn Winskel
#125,397
Most Influential Person Now
Computer science researcher, Aarhus, Cambridge, Copenhagen
Glynn Winskel's AcademicInfluence.com Rankings
Glynn Winskelcomputer-science Degrees
Computer Science
#5235
World Rank
#5529
Historical Rank
Theoretical Computer Science
#76
World Rank
#76
Historical Rank
Database
#2388
World Rank
#2503
Historical Rank

Download Badge
Computer Science
Why Is Glynn Winskel Influential?
(Suggest an Edit or Addition)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: