S. Gay
发表
Dimitrios Kouzapas,
Ornela Dardha,
Roly Perera,
2016,
PPDP.
Simon Gay,
V. Vasconcelos,
S. Gay,
2007
.
S. Gay,
I. Mackie,
2009
.
S. Abramsky,
S. Gay,
1997
.
S. Gay,
2018
.
S. Gay,
2016
.
S. Gay,
2016
.
V. Vasconcelos,
P. Wadler,
N. Yoshida,
2017
.
Davide Ancona,
Viviana Mascardi,
Luca Padovani,
2016,
Found. Trends Program. Lang..
Simon J. Gay,
Vasco T. Vasconcelos,
Diogo Poccas,
2022,
FoSSaCS.
Rajagopal Nagarajan,
Simon J. Gay,
Nikolaos Papanikolaou,
2007,
CAV.
Simon J. Gay,
S. Gay,
2006
.
Rajagopal Nagarajan,
Simon J. Gay,
Ebrahim Ardeshir-Larijani,
2014,
TACAS.
Rajagopal Nagarajan,
Simon J. Gay,
Ebrahim Ardeshir-Larijani,
2018,
ACM Trans. Comput. Log..
Rajagopal Nagarajan,
Samson Abramsky,
Simon J. Gay,
1996,
NATO ASI DPD.
Rajagopal Nagarajan,
Simon J. Gay,
R. Nagarajan,
1995,
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Rajagopal Nagarajan,
Simon J. Gay,
R. Nagarajan,
1993,
Theory and Formal Methods.
Rajagopal Nagarajan,
Simon J. Gay,
Nick Papanikolaou,
2012,
Int. J. Unconv. Comput..
Rajagopal Nagarajan,
Simon J. Gay,
R. Nagarajan,
2022
.
Simon J. Gay,
Malcolm Hole,
S. Gay,
2005,
Acta Informatica.
António Ravara,
Vasco Thudichum Vasconcelos,
Simon J. Gay,
2004,
CONCUR.
Simon J. Gay,
Ittoop Vergheese Puthoor,
S. Gay,
2013,
QPL.
Dimitrios Kouzapas,
Simon J. Gay,
Ramunas Gutkovas,
2014,
PLACES.
Rajagopal Nagarajan,
Simon J. Gay,
R. Nagarajan,
2004,
POPL '05.
Rajagopal Nagarajan,
Samson Abramsky,
Simon J. Gay,
1999,
Theor. Comput. Sci..
Rajagopal Nagarajan,
Samson Abramsky,
Simon J. Gay,
1997,
TACS.
Rajagopal Nagarajan,
Samson Abramsky,
Simon J. Gay,
1996,
Banff Higher Order Workshop.
Simon J. Gay,
Sonja Franke-Arnold,
Ittoop Vergheese Puthoor,
2014,
EXPRESS/SOS.
Simon J. Gay,
Ittoop Vergheese Puthoor,
S. Gay,
2015,
RC.
Simon J. Gay,
Sonja Franke-Arnold,
Ittoop Vergheese Puthoor,
2013,
RC.
Rajagopal Nagarajan,
Simon J. Gay,
Nikolaos Papanikolaou,
2005,
ArXiv.
Rajagopal Nagarajan,
Simon J. Gay,
Ebrahim Ardeshir-Larijani,
2013,
TACAS.
Ornela Dardha,
Simon J. Gay,
Ornela Dardha,
2018,
FoSSaCS.
Vasco Thudichum Vasconcelos,
Simon J. Gay,
V. Vasconcelos,
2009,
Journal of Functional Programming.
António Ravara,
Vasco Thudichum Vasconcelos,
Simon J. Gay,
2006,
Theor. Comput. Sci..
Rajagopal Nagarajan,
Simon J. Gay,
R. Nagarajan,
2003,
Formal Aspects of Computing.
Dimitrios Kouzapas,
Ornela Dardha,
Roly Perera,
2017,
Sci. Comput. Program..
Ian Mackie,
Simon J. Gay,
Manish Gaur,
2015,
ICDCIT.
S. Gay,
2006,
Mathematical Structures in Computer Science.
Simon J. Gay,
S. Gay,
2011,
ArXiv.
Rajagopal Nagarajan,
Simon J. Gay,
R. Nagarajan,
2013,
Computation, Logic, Games, and Quantum Foundations.
Simon J. Gay,
Malcolm Hole,
S. Gay,
1999,
ESOP.
Simon J. Gay,
S. Gay,
1993,
POPL '93.
Simon J. Gay,
Alastair F. Donaldson,
S. Gay,
2010,
Sci. Comput. Program..
Julien Lange,
Roly Perera,
Simon J. Gay,
2016,
PLACES.
Nikolaos Papanikolaou,
R. Nagarajan,
S. Gay,
2006
.
Dimitrios Kouzapas,
Ornela Dardha,
Roly Perera,
2017
.