Glynn Winskel - RankMe

145 papers A* 24A 2B 30C 2Journal 44Unranked 38

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Distributed Strategies - Past and Future. ACM SIGLOG News Glynn Winskel
2025	J	`jnl`	Quantum Petri Nets with Event Structure semantics. CoRR Julien Saan Joachim, Marc de Visme, Stefan Haar, Glynn Winskel
2024	A*	`conf`	Concurrent Games over Relational Structures: The Origin of Game Comonads. LICS Yoàv Montacute, Glynn Winskel
2024	J	`jnl`	Concurrent Games over Relational Structures: The Origin of Game Comonads. CoRR Yoàv Montacute, Glynn Winskel
2024	J	`jnl`	Concurrent Strategies on Games with Algebras. CoRR Sacha Huriot-Tattegrain, Glynn Winskel
2023	J	`jnl`	Causal Unfoldings and Disjunctive Causes. Log. Methods Comput. Sci. Marc de Visme, Glynn Winskel
2023	A*	`conf`	Making Concurrency Functional. LICS Glynn Winskel
2022	J	`jnl`	Making Concurrency Functional. CoRR Glynn Winskel
2021	J	`jnl`	The Mays and Musts of Concurrent Strategies. CoRR Simon Castellan, Pierre Clairambault, Glynn Winskel
2020	J	`jnl`	Causal Unfoldings and Disjunctive Causes. CoRR Marc de Visme, Glynn Winskel
2019	B	`conf`	Causal Unfoldings. CALCO Marc de Visme, Glynn Winskel
2019	C	`conf`	Concurrent Quantum Strategies. RC Pierre Clairambault, Marc de Visme, Glynn Winskel
2019	J	`jnl`	Game semantics for quantum programming. Proc. ACM Program. Lang. Pierre Clairambault, Marc de Visme, Glynn Winskel
2019	J	`jnl`	Thin Games with Symmetry and Concurrent Hyland-Ong Games. Log. Methods Comput. Sci. Simon Castellan, Pierre Clairambault, Glynn Winskel
2018	B	`conf`	Continuous Probability Distributions in Concurrent Games. MFPS Hugo Paquet, Glynn Winskel
2018	B	`conf`	Non-angelic Concurrent Game Semantics. FoSSaCS Simon Castellan, Pierre Clairambault, Jonathan Hayman, Glynn Winskel
2018	B	`conf`	The True Concurrency of Herbrand's Theorem. CSL Aurore Alcolei, Pierre Clairambault, Martin Hyland, Glynn Winskel
2018	A*	`conf`	The concurrent game semantics of Probabilistic PCF. LICS Simon Castellan, Pierre Clairambault, Hugo Paquet, Glynn Winskel
2017	B	`conf`	Distributed Strategies Made Easy. MFCS Simon Castellan, Pierre Clairambault, Glynn Winskel
2017	J	`jnl`	Games and Strategies as Event Structures. Log. Methods Comput. Sci. Simon Castellan, Pierre Clairambault, Silvain Rideau, Glynn Winskel
2017	B	`conf`	Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or. FSCD Simon Castellan, Pierre Clairambault, Glynn Winskel
2017	B	`conf`	Strategies with Parallel Causes. CSL Marc de Visme, Glynn Winskel
2016	J	`jnl`	Concurrent Games. CoRR Simon Castellan, Pierre Clairambault, Silvain Rideau, Glynn Winskel
2016	J	`jnl`	Distributed Games and Strategies. CoRR Glynn Winskel
2016	J	`jnl`	Strategies with Parallel Causes. CoRR Marc de Visme, Glynn Winskel
2015	C	`conf`	On Probabilistic Distributed Strategies. ICTAC Glynn Winskel
2015	A*	`conf`	The Parallel Intensionally Fully Abstract Games Model of PCF. LICS Simon Castellan, Pierre Clairambault, Glynn Winskel
2014	J	`jnl`	Concurrent Hyland-Ong games. CoRR Simon Castellan, Pierre Clairambault, Glynn Winskel
2014	J	`jnl`	On the determinacy of concurrent games on event structures with infinite winning sets. J. Comput. Syst. Sci. Julian Gutierrez, Glynn Winskel
2014	—	`conf`	Probabilistic and Quantum Event Structures. Horizons of the Mind Glynn Winskel
2014	—	`ed.`	Proceedings 8th International Workshop on Developments in Computational Models, DCM 2012, Cambridge, United Kingdom, 17 June 2012. DCM Benedikt Löwe, Glynn Winskel
2014	B	`conf`	Strategies as Concurrent Processes. MFPS Simon Castellan, Jonathan Hayman, Marc Lasson, Glynn Winskel
2014	—	`conf`	Symmetry in concurrent games. CSL-LICS Simon Castellan, Pierre Clairambault, Glynn Winskel
2013	B	`conf`	Borel Determinacy of Concurrent Games. CONCUR Julian Gutierrez, Glynn Winskel
2013	J	`jnl`	Constraining rule-based dynamics with types. Math. Struct. Comput. Sci. Vincent Danos, Russell Harmer, Glynn Winskel
2013	B	`conf`	Distributed Probabilistic and Quantum Strategies. MFPS Glynn Winskel
2013	—	`conf`	Imperfect Information in Logic and Concurrent Games. Computation, Logic, Games, and Quantum Foundations Pierre Clairambault, Julian Gutierrez, Glynn Winskel
2013	B	`conf`	On Concurrent Games with Payoff. MFPS Pierre Clairambault, Glynn Winskel
2013	B	`conf`	Strategies as Profunctors. FoSSaCS Glynn Winskel
2012	B	`conf`	Bicategories of Concurrent Games - (Invited Paper). FoSSaCS Glynn Winskel
2012	J	`jnl`	Deterministic concurrent strategies. Formal Aspects Comput. Glynn Winskel
2012	—	`conf`	Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models. FSTTCS Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jonathan Hayman, Jean Krivine, Christopher D. Thompson-Walsh, Glynn Winskel
2012	A*	`conf`	The Winning Ways of Concurrent Games. LICS Pierre Clairambault, Julian Gutierrez, Glynn Winskel
2012	—	`conf`	Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Information. Logic and Program Semantics Glynn Winskel
2011	A*	`conf`	Concurrent Strategies. LICS Silvain Rideau, Glynn Winskel
2011	—	`conf`	Containment in Rule-Based Models. SASB Christopher D. Thompson-Walsh, Jonathan Hayman, Glynn Winskel
2011	J	`jnl`	Events, Causality and Symmetry. Comput. J. Glynn Winskel
2010	A*	`conf`	On the Expressivity of Symmetry in Event Structures. LICS Sam Staton, Glynn Winskel
2009	B	`conf`	Nominal Domain Theory for Concurrency. CSL David Turner, Glynn Winskel
2009	J	`jnl`	Prime algebraicity. Theor. Comput. Sci. Glynn Winskel
2008	—	`conf`	Events, Causality and Symmetry. BCS Int. Acad. Conf. Glynn Winskel
2008	J	`jnl`	Independence and Concurrent Separation Logic CoRR Jonathan Hayman, Glynn Winskel
2008	J	`jnl`	Independence and Concurrent Separation Logic. Log. Methods Comput. Sci. Jonathan Hayman, Glynn Winskel
2008	—	`conf`	The unfolding of general Petri nets. FSTTCS Jonathan Hayman, Glynn Winskel
2008	—	`conf`	Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra. Concurrency, Graphs and Models Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Mogens Nielsen, Glynn Winskel
2007	—	`ed.`	Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin Computation, Meaning, and Logic Luca Cardelli, Marcelo Fiore, Glynn Winskel
2007	—	`conf`	Event Structures with Symmetry. Computation, Meaning, and Logic Glynn Winskel
2007	—	`conf`	Preface. Computation, Meaning, and Logic Luca Cardelli, Marcelo P. Fiore, Glynn Winskel
2007	B	`conf`	Symmetry and Concurrency. CALCO Glynn Winskel
2006	J	`jnl`	Distributing probability over non-determinism. Math. Struct. Comput. Sci. Daniele Varacca, Glynn Winskel
2006	—	`conf`	Event Structure Spans for Nondeterministic Dataflow. EXPRESS Lucy Saunders-Evans, Glynn Winskel
2006	A*	`conf`	Independence and Concurrent Separation Logic. LICS Jonathan Hayman, Glynn Winskel
2006	J	`jnl`	Probabilistic event structures and domains. Theor. Comput. Sci. Daniele Varacca, Hagen Völzer, Glynn Winskel
2005	A*	`conf`	Name Generation and Linearity. LICS Glynn Winskel
2005	J	`jnl`	Profunctors, open maps and bisimulation. Math. Struct. Comput. Sci. Gian Luca Cattani, Glynn Winskel
2005	A*	`conf`	Relations in Concurrency. LICS Glynn Winskel
2004	J	`jnl`	A relational model of non-deterministic dataflow. Math. Struct. Comput. Sci. Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel
2004	J	`jnl`	Domain theory for concurrency. Theor. Comput. Sci. Mikkel Nygaard, Glynn Winskel
2004	—	`conf`	Limit Preservation from Naturality. CTCS Mario Cáccamo, Glynn Winskel
2004	—	`conf`	New-HOPLA: A Higher-order Process Language with Name Generation. IFIP TCS Glynn Winskel, Francesco Zappa Nardelli
2004	—	`conf`	Petri Nets With Persistence. WISP@ICATPN Federico Crazzolara, Glynn Winskel
2004	B	`conf`	Probabilistic Event Structures and Domains. CONCUR Daniele Varacca, Hagen Völzer, Glynn Winskel
2003	B	`conf`	Full Abstraction for HOPLA. CONCUR Mikkel Nygaard, Glynn Winskel
2003	J	`jnl`	Presheaf models for CCS-like languages. Theor. Comput. Sci. Gian Luca Cattani, Glynn Winskel
2002	—	`conf`	Calculus for categories. FICS Glynn Winskel
2002	—	`conf`	Composing Strand Spaces. FSTTCS Federico Crazzolara, Glynn Winskel
2002	J	`jnl`	Guest Editorial. Inf. Comput. Glynn Winskel
2002	B	`conf`	HOPLA-A Higher-Order Process Language. CONCUR Mikkel Nygaard, Glynn Winskel
2002	A*	`conf`	Linearity in Process Languages. LICS Mikkel Nygaard, Glynn Winskel
2001	—	`conf`	A Higher-Order Calculus for Categories. TPHOLs Mario Cáccamo, Glynn Winskel
2001	A*	`conf`	Events in security protocols. CCS Federico Crazzolara, Glynn Winskel
2001	A	`conf`	Petri nets in cryptographic protocols. IPDPS Federico Crazzolara, Glynn Winskel
2000	—	`conf`	Bistructures, bidomains, and linear logic. Proof, Language, and Interaction Pierre-Louis Curien, Gordon D. Plotkin, Glynn Winskel
2000	J	`jnl`	Preface. Ann. Pure Appl. Log. Carsten Butz, Ulrich Kohlenbach, Søren Riis, Glynn Winskel
1999	B	`conf`	Event Structures as Presheaves -Two Representation Theorems. CONCUR Glynn Winskel
1999	A*	`conf`	Weak Bisimulation and Open Maps. LICS Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel
1998	B	`conf`	A Categorical Axiomatics for Bisimulation. CONCUR Gian Luca Cattani, John Power, Glynn Winskel
1998	—	`conf`	A Linear Metalanguage for Concurrency. AMAST Glynn Winskel
1998	B	`conf`	A Relational Model of Non-deterministic Dataflow. CONCUR Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel
1998	A*	`conf`	A Theory of Recursive Domains with Applications to Concurrency. LICS Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel
1998	A*	`ed.`	Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings ICALP Kim Guldstrand Larsen, Sven Skyum, Glynn Winskel
1997	—	`conf`	An Operational Understanding of Bisimulation from Open Maps. HOOTS Glynn Winskel
1997	J	`jnl`	Completeness Results for Linear Logic on Petri Nets. Ann. Pure Appl. Log. Uffe Engberg, Glynn Winskel
1997	—	`conf`	Presheaf Models for the pi-Calculus. Category Theory and Computer Science Gian Luca Cattani, Ian Stark, Glynn Winskel
1996	B	`conf`	A Presheaf Semantics of Value-Passing Processes. CONCUR Glynn Winskel
1996	J	`jnl`	Bisimulation from Open Maps. Inf. Comput. André Joyal, Mogens Nielsen, Glynn Winskel
1996	J	`jnl`	Models for Concurrency: Towards a Classification. Theor. Comput. Sci. Vladimiro Sassone, Mogens Nielsen, Glynn Winskel
1996	J	`jnl`	Petri Nets and Bisimulation. Theor. Comput. Sci. Mogens Nielsen, Glynn Winskel
1996	B	`conf`	Presheaf Models for Concurrency. CSL Gian Luca Cattani, Glynn Winskel
1996	—	`conf`	Presheaves as transition systems. Partial Order Methods in Verification Glynn Winskel, Mogens Nielsen
1995	J	`jnl`	CCS with Priority Choice Inf. Comput. Juanito Camilleri, Glynn Winskel
1995	—	`ch.`	Trace Structures and other Models for Concurrency. The Book of Traces Mogens Nielsen, Glynn Winskel
1994	A*	`conf`	A Compositional Proof System for the Modal mu-Calculus LICS Henrik Reif Andersen, Colin Stirling, Glynn Winskel
1994	A*	`conf`	Bistructures, Bidomains and Linear Logic. ICALP Gordon D. Plotkin, Glynn Winskel
1994	B	`conf`	Stable Bistructure Models of PCF. MFCS Glynn Winskel
1993	B	`conf`	A Classification of Models for Concurrency. CONCUR Vladimiro Sassone, Mogens Nielsen, Glynn Winskel
1993	A*	`conf`	Bisimulation and open maps LICS André Joyal, Mogens Nielsen, Glynn Winskel
1993	B	`conf`	Completeness Results for Linear Logic on Petri Nets. MFCS Uffe Engberg, Glynn Winskel
1993	B	`conf`	Deterministic Behavioural Models for Concurrency. MFCS Vladimiro Sassone, Mogens Nielsen, Glynn Winskel
1993	—	`conf`	Linear Logic on Petri Nets. REX School/Symposium Uffe Engberg, Glynn Winskel
1993	—	`conf`	Relationships Between Models of Concurrency. REX School/Symposium Mogens Nielsen, Vladimiro Sassone, Glynn Winskel
1993	—	`book`	The formal semantics of programming languages - an introduction. Glynn Winskel
1992	J	`jnl`	Compositional Checking of Satsfaction. Formal Methods Syst. Des. Henrik Reif Andersen, Glynn Winskel
1991	J	`jnl`	A Note on Model Checking the Modal nu-Calculus. Theor. Comput. Sci. Glynn Winskel
1991	A*	`conf`	CCS with Priority Choice LICS Juanito Camilleri, Glynn Winskel
1991	A*	`conf`	Compositional Checking of Satisfaction. CAV Henrik Reif Andersen, Glynn Winskel
1991	—	`conf`	Petri Nets and Transition Systems (Abstract for an invited talk). FSTTCS Glynn Winskel
1991	J	`jnl`	Using Information Systems to Solve Recursive Domain Equations Inf. Comput. Kim Guldstrand Larsen, Glynn Winskel
1990	J	`jnl`	A Compositional Proof System on a Category of Labelled Transition Systems Inf. Comput. Glynn Winskel
1990	B	`conf`	On the Compositional Checking of Validity (Extended Abstract). CONCUR Glynn Winskel
1990	—	`conf`	Petri Nets as Models of Linear Logic. CAAP Uffe Engberg, Glynn Winskel
1989	A*	`conf`	A Note on Model Checking the Modal nu-Calculus. ICALP Glynn Winskel
1989	J	`jnl`	Domain Theoretic Models of Polymorphism Inf. Comput. Thierry Coquand, Carl A. Gunter, Glynn Winskel
1988	A*	`conf`	A Category of Labelled Petri Nets and Compositional Proof System (Extended Abstract) LICS Glynn Winskel
1988	—	`conf`	An introduction to event structures. REX Workshop Glynn Winskel
1987	B	`conf`	DI-Domains as a Model of Polymorphism. MFPS Thierry Coquand, Carl A. Gunter, Glynn Winskel
1987	J	`jnl`	Petri Nets, Algebras, Morphisms, and Compositionality Inf. Comput. Glynn Winskel
1987	—	`conf`	Relating Two Models of Hardware. Category Theory and Computer Science Glynn Winskel
1986	—	`conf`	Event Structures. Advances in Petri Nets Glynn Winskel
1985	—	`conf`	A Complete System for SCCS with Modal Assertions. FSTTCS Glynn Winskel
1985	—	`conf`	Category Theory and Models for Parallel Computation. CTCS Glynn Winskel
1985	J	`jnl`	On Powerdomains and Modality. Theor. Comput. Sci. Glynn Winskel
1985	—	`conf`	Petri nets, morphisms and compositionality. Applications and Theory in Petri Nets Glynn Winskel
1985	—	`ed.`	Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984 Seminar on Concurrency Stephen D. Brookes, A. W. Roscoe, Glynn Winskel
1984	A	`conf`	A New Definition of Morphism on Petri Nets. STACS Glynn Winskel
1984	—	`conf`	Categories of Models for Concurrency. Seminar on Concurrency Glynn Winskel
1984	—	`conf`	On the Composition and Decomposition of Assertions. Seminar on Concurrency Glynn Winskel
1984	J	`jnl`	Synchronization Trees. Theor. Comput. Sci. Glynn Winskel
1984	—	`conf`	Using Information Systems to Solve Recursive Domain Equations Effectively. Semantics of Data Types Glynn Winskel, Kim Guldstrand Larsen
1983	B	`conf`	A Note on Powerdomains and Modalitiy. FCT Glynn Winskel
1983	A*	`conf`	Synchronisation Trees. ICALP Glynn Winskel
1982	A*	`conf`	Event Structure Semantics for CCS and Related Languages. ICALP Glynn Winskel
1981	—	`conf`	An Exercise in Processes with Infinite Pasts. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets Glynn Winskel
1981	J	`jnl`	Petri Nets, Event Structures and Domains, Part I. Theor. Comput. Sci. Mogens Nielsen, Gordon D. Plotkin, Glynn Winskel
1979	—	`conf`	Petri Nets, Event Structures and Domains. Semantics of Concurrent Computation Mogens Nielsen, Gordon D. Plotkin, Glynn Winskel