Glynn Winskel

发表

Glynn Winskel, Marc de Visme, 2020, ArXiv.
Glynn Winskel, Federico Crazzolara, G. Winskel, 2005, WISP@ICATPN.
Glynn Winskel, Mogens Nielsen, G. Winskel, 1994 .
Glynn Winskel, Jonathan Hayman, 2006, LICS.
Glynn Winskel, G. Winskel, 1985, CTCS.
Glynn Winskel, Olivier Danvy, Peter Ørbæk, 1999 .
Glynn Winskel, 2015, ICTAC.
Glynn Winskel, Andrew William Roscoe, A. W. Roscoe, 1984 .
Glynn Winskel, 2013, FoSSaCS.
Glynn Winskel, Silvain Rideau, 2011, 2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Glynn Winskel, Mikkel Nygaard, 2003 .
Glynn Winskel, G. Winskel, 1999, CONCUR.
Glynn Winskel, Prakash Panangaden, Thomas T. Hildebrandt, 2004, Math. Struct. Comput. Sci..
Glynn Winskel, Julian Gutierrez, Pierre Clairambault, 2012, 2012 27th Annual IEEE Symposium on Logic in Computer Science.
Glynn Winskel, Pierre Clairambault, Simon Castellan, 2017, MFCS.
Glynn Winskel, Mogens Nielsen, G. Winskel, 1997, Partial Order Methods in Verification.
Glynn Winskel, 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Glynn Winskel, Marc de Visme, Pierre Clairambault, 2019, Proc. ACM Program. Lang..
Glynn Winskel, Marc de Visme, G. Winskel, 2016, CSL.
Glynn Winskel, Pierre Clairambault, 2013, MFPS.
Glynn Winskel, Mogens Nielsen, André Joyal, 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Glynn Winskel, G. Winskel, 1988, REX Workshop.
Glynn Winskel, G. Winskel, 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
Glynn Winskel, Hugo Paquet, 2018, MFPS.
Glynn Winskel, Mario Cáccamo, G. Winskel, 2001, TPHOLs.
Glynn Winskel, G. Winskel, 1993 .
Glynn Winskel, Francesco Zappa Nardelli, 2004, IFIP TCS.
Glynn Winskel, Andrew William Roscoe, A. W. Roscoe, 1985 .
Glynn Winskel, Søren Riis, Ulrich Kohlenbach, 2000, Ann. Pure Appl. Log..
Glynn Winskel, Federico Crazzolara, 2001, Proceedings 15th International Parallel and Distributed Processing Symposium. IPDPS 2001.
Glynn Winskel, Juanito Camilleri, G. Winskel, 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Glynn Winskel, Jonathan Hayman, G. Winskel, 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Glynn Winskel, Mikkel Nygaard, G. Winskel, 2003, Theor. Comput. Sci..
Glynn Winskel, G. Winskel, 2002, FICS.
Glynn Winskel, Henrik Reif Andersen, G. Winskel, 1991, Formal Methods Syst. Des..
Glynn Winskel, G. Winskel, 1991, Theor. Comput. Sci..
Glynn Winskel, Jonathan Hayman, Pierre Clairambault, 2018, FoSSaCS.
Glynn Winskel, Gian Luca Cattani, Ian Stark, 1997, Category Theory and Computer Science.
Glynn Winskel, Marcelo P. Fiore, Gian Luca Cattani, 1997, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Glynn Winskel, Pierre Clairambault, Simon Castellan, 2015, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Glynn Winskel, Henrik Reif Andersen, G. Winskel, 1991, Formal Methods Syst. Des..
Glynn Winskel, G. Winskel, 1984, Seminar on Concurrency.
Glynn Winskel, G. Winskel, 1985, FSTTCS.
Glynn Winskel, G. Winskel, 2009 .
Glynn Winskel, Kim G. Larsen, K. Larsen, 1991, Inf. Comput..
Glynn Winskel, Daniele Varacca, G. Winskel, 2006, Mathematical Structures in Computer Science.
Glynn Winskel, 1994, MFCS.
Glynn Winskel, Kim G. Larsen, K. Larsen, 1984, Semantics of Data Types.
Glynn Winskel, Vladimiro Sassone, Mogens Nielsen, 1993, REX School/Symposium.
Glynn Winskel, G. Winskel, 1984, Theor. Comput. Sci..
Glynn Winskel, Mikkel Nygaard, 2003, CONCUR.
Glynn Winskel, Luca Cardelli, Marcelo P. Fiore, 2007, Electron. Notes Theor. Comput. Sci..
Glynn Winskel, G. Winskel, 1984, Seminar on Concurrency.
Glynn Winskel, G. Winskel, 2016, ArXiv.
Glynn Winskel, Juanito Camilleri, 1995, Inf. Comput..
Glynn Winskel, Vladimiro Sassone, Mogens Nielsen, 1996, Theor. Comput. Sci..
Glynn Winskel, Uffe Engberg, G. Winskel, 1990, CAAP.
Glynn Winskel, G. Winskel, 1987 .
Glynn Winskel, Matthew Hennessy, Ilaria Castellani, 2008, Concurrency, Graphs and Models.
Glynn Winskel, Gian Luca Cattani, G. Winskel, 1996, CSL.
Glynn Winskel, Mogens Nielsen, G. Winskel, 1996, Theor. Comput. Sci..
Glynn Winskel, John Power, Gian Luca Cattani, 1998, CONCUR.
Glynn Winskel, G. Winskel, 2008, Comput. J..
Glynn Winskel, Mogens Nielsen, André Joyal, 1994, Inf. Comput..
Glynn Winskel, Mogens Nielsen, Gordon D. Plotkin, 1979, Semantics of Concurrent Computation.
Glynn Winskel, Mogens Nielsen, Gordon Plotkin, 1981, Theor. Comput. Sci..
Glynn Winskel, G. Winskel, 1993 .
Glynn Winskel, G. Winskel, 1989 .
Glynn Winskel, Uffe Engberg, G. Winskel, 1993, REX School/Symposium.
Glynn Winskel, G. Winskel, 2014, Horizons of the Mind.
Glynn Winskel, 1981, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.
Glynn Winskel, Vincent Danos, Russell Harmer, 2013, Math. Struct. Comput. Sci..
Glynn Winskel, G. Winskel, 1983, FCT.
Glynn Winskel, Pierre Clairambault, Simon Castellan, 2014, CSL-LICS.
Glynn Winskel, G. Winskel, 1988 .
Glynn Winskel, 1993 .
Glynn Winskel, Gian Luca Cattani, 2003, Theor. Comput. Sci..
Glynn Winskel, Gordon D. Plotkin, Pierre-Louis Curien, 2000, Proof, Language, and Interaction.
Glynn Winskel, G. Winskel, 1998, AMAST.
Christopher D. Thompson-Walsh, Glynn Winskel, Vincent Danos, 2012, FSTTCS.
Glynn Winskel, G. Winskel, 1987, Category Theory and Computer Science.
Glynn Winskel, Thomas Ehrhard, Abbas Edalat, 2009, Math. Struct. Comput. Sci..
Glynn Winskel, Uffe Engberg, 1990 .
Glynn Winskel, 1997, Electron. Notes Theor. Comput. Sci..
Glynn Winskel, Federico Crazzolara, 2002, FSTTCS.
Glynn Winskel, G. Winskel, 2002, Inf. Comput..
Glynn Winskel, Marc de Visme, Pierre Clairambault, 2019, RC.
Glynn Winskel, Daniele Varacca, Hagen Völzer, 2006, Theor. Comput. Sci..
Glynn Winskel, G. Winskel, 1986, Advances in Petri Nets.
Glynn Winskel, Thierry Coquand, Carl A. Gunter, 1989, Inf. Comput..
Glynn Winskel, G. Winskel, 2007, Computation, Meaning, and Logic.
Glynn Winskel, G. Winskel, 1984, STACS.
Glynn Winskel, Silvain Rideau, Pierre Clairambault, 2017, Log. Methods Comput. Sci..
Glynn Winskel, Mikkel Nygaard, G. Winskel, 2002, CONCUR.
Glynn Winskel, Daniele Varacca, Hagen Völzer, 2004, Theor. Comput. Sci..
Glynn Winskel, G. Winskel, 1991, Theor. Comput. Sci..
Glynn Winskel, Marcelo P. Fiore, Gian Luca Cattani, 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Glynn Winskel, Marc de Visme, G. Winskel, 2019, CALCO.
Glynn Winskel, Colin Stirling, Henrik Reif Andersen, 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Glynn Winskel, Vladimiro Sassone, Mogens Nielsen, 1996 .
Glynn Winskel, Mogens Nielsen, G. Winskel, 1995, The Book of Traces.
Glynn Winskel, Pierre Clairambault, Simon Castellan, 2019 .
Glynn Winskel, G. Winskel, 1985, Applications and Theory in Petri Nets.
Glynn Winskel, Gian Luca Cattani, G. Winskel, 2004, Mathematical Structures in Computer Science.
Glynn Winskel, Prakash Panangaden, Thomas T. Hildebrandt, 1998, CONCUR.
Glynn Winskel, Prakash Panangaden, Thomas Hildebrandt, 1997 .
Glynn Winskel, G. Winskel, 1996, CONCUR.
Glynn Winskel, Lucy Saunders-Evans, 2006, EXPRESS.
Glynn Winskel, 2012, Formal Aspects of Computing.
Glynn Winskel, 2009, Theor. Comput. Sci..
Glynn Winskel, G. Winskel, 2009 .
Glynn Winskel, Uffe Engberg, 1997, Ann. Pure Appl. Log..
Glynn Winskel, Andrei Broder, Radha Jagadeesan, 2005, LICS.
Glynn Winskel, Jonathan Hayman, G. Winskel, 2008, FSTTCS.
Glynn Winskel, Thierry Coquand, Carl A. Gunter, 1987, MFPS.
Glynn Winskel, G. Winskel, 1987, Inf. Comput..
Glynn Winskel, Federico Crazzolara, G. Winskel, 2001, CCS '01.
Glynn Winskel, Daniele Varacca, Hagen Völzer, 2004, Theor. Comput. Sci..
Glynn Winskel, Gian Luca Cattani, G. Winskel, 1996, CSL.
Glynn Winskel, Federico Crazzolara, 2000 .
Glynn Winskel, G. Winskel, 1982, ICALP.
Glynn Winskel, Federico Crazzolara, 2001 .
Glynn Winskel, G. Winskel, 1993, Foundation of computing series.
Glynn Winskel, Julian Gutierrez, 2013, CONCUR.
Glynn Winskel, G. Winskel, 1980 .
Glynn Winskel, David Turner, 2009, CSL.
Glynn Winskel, Uffe Engberg, G. Winskel, 1993, Ann. Pure Appl. Log..
Glynn Winskel, Hugo Paquet, Pierre Clairambault, 2018, LICS.
Glynn Winskel, Jonathan Hayman, Simon Castellan, 2014, MFPS.
Glynn Winskel, Mogens Nielsen, G. Winskel, 1992 .
Glynn Winskel, Vladimiro Sassone, Mogens Nielsen, 1993 .
Glynn Winskel, 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Glynn Winskel, G. Winskel, 2013, MFPS.
Glynn Winskel, G. Winskel, 1993 .
Glynn Winskel, Mario Cáccamo, 2004, CTCS.
Glynn Winskel, Sam Staton, 2010, 2010 25th Annual IEEE Symposium on Logic in Computer Science.
Glynn Winskel, Andrew William Roscoe, A. W. Roscoe, 1984, Lecture Notes in Computer Science.
Glynn Winskel, Pierre Clairambault, Simon Castellan, 2017, FSCD.
Glynn Winskel, Vladimiro Sassone, Mogens Nielsen, 1993, MFCS.
Glynn Winskel, G. Winskel, 1983, ICALP.
Glynn Winskel, G. Winskel, 1993 .
Glynn Winskel, Ian Stark, Gian Luca Cattani, 1997 .
Glynn Winskel, G. Winskel, 1993 .
Glynn Winskel, Mogens Nielsen, 1994 .
Glynn Winskel, Mikkel Nygaard, G. Winskel, 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Glynn Winskel, Julian Gutierrez, 2014, J. Comput. Syst. Sci..
Glynn Winskel, Vladimiro Sassone, Mogens Nielsen, 1993, CONCUR.
Glynn Winskel, G. Winskel, 2007, CALCO.
Glynn Winskel, Julian Gutierrez, Pierre Clairambault, 2013, Computation, Logic, Games, and Quantum Foundations.
Glynn Winskel, 1993 .
Glynn Winskel, Martin Hyland, Pierre Clairambault, 2018, CSL.
Glynn Winskel, Silvain Rideau, Pierre Clairambault, 2012, ArXiv.
Glynn Winskel, Mikkel Nygaard, 2002 .
Glynn Winskel, Gian Luca Cattani, G. Winskel, 1999, Theor. Comput. Sci..
Glynn Winskel, G. Winskel, 1985, Theor. Comput. Sci..
Glynn Winskel, Pierre Clairambault, Simon Castellan, 2019, Log. Methods Comput. Sci..
Glynn Winskel, Pierre Clairambault, Simon Castellan, 2021, ArXiv.
Glynn Winskel, Manfred Droste, Ernst-Rüdiger Olderog, 2021 .
Glynn Winskel, Mogens Nielsen, G. Winskel, 2007 .
Glynn Winskel, Federico Crazzolara, 2002 .
Glynn Winskel, Jonathan Hayman, 2008 .
Glynn Winskel, Marcelo P. Fiore, Gian Luca Cattani, 1999 .
Glynn Winskel, Pierre Clairambault, Simon Castellan, 2019 .
Glynn Winskel, Mogens Nielsen, André Joyal, 1994 .
Glynn Winskel, Uffe Engberg, 1994 .
Glynn Winskel, Pierre-Louis Curien, Gordon Plotkin, 1994 .
Christopher D. Thompson-Walsh, Glynn Winskel, Vincent Danos, 2012 .
Glynn Winskel, Marcelo P. Fiore, Gian Luca Cattani, 1997 .
Glynn Winskel, Martin Hyland, Nicola Gambino, 2016, 1612.03678.
Glynn Winskel, Martin Hyland, Nicola Gambino, 2008 .
Glynn Winskel, Mikkel Nygaard, G. Winskel, 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Glynn Winskel, Uffe Engberg, 1993 .
Glynn Winskel, Gian Luca Cattani, 2004 .
Glynn Winskel, Mogens Nielsen, G. Winskel, 1997 .