Simon J. Gay

发表

Dimitrios Kouzapas, Ornela Dardha, Roly Perera, 2016, PPDP.
Simon J. Gay, 2020, From Lambda Calculus to Cybersecurity Through Program Analysis.
Rajagopal Nagarajan, Simon J. Gay, Nikolaos Papanikolaou, 2005, ArXiv.
António Ravara, Simon J. Gay, 2016, Math. Struct. Comput. Sci..
Rajagopal Nagarajan, Simon J. Gay, R. Nagarajan, 2004, POPL '05.
Ornela Dardha, Simon J. Gay, Ornela Dardha, 2018, FoSSaCS.
António Ravara, Vasco Thudichum Vasconcelos, Simon J. Gay, 2015, Log. Methods Comput. Sci..
Simon J. Gay, S. Gay, 1993, POPL '93.
Rajagopal Nagarajan, Simon J. Gay, Timothy A. S. Davidson, 2011, ICE.
António Ravara, Vasco Thudichum Vasconcelos, Simon J. Gay, 2006, Theor. Comput. Sci..
António Ravara, Simon J. Gay, 2016, Math. Struct. Comput. Sci..
Rajagopal Nagarajan, Simon J. Gay, Nick Papanikolaou, 2012, Int. J. Unconv. Comput..
Simon J. Gay, Alastair F. Donaldson, S. Gay, 2010, Sci. Comput. Program..
Rajagopal Nagarajan, Simon J. Gay, R. Nagarajan, 2013, Computation, Logic, Games, and Quantum Foundations.
Dimitrios Kouzapas, Ornela Dardha, Roly Perera, 2017, Sci. Comput. Program..
Simon J. Gay, Ittoop Vergheese Puthoor, S. Gay, 2015, RC.
Rajagopal Nagarajan, Simon J. Gay, Garry Bowen, 2005, ArXiv.
Roy L. Crole, Rajagopal Nagarajan, Simon J. Gay, 1994, Theory and Formal Methods.
Simon J. Gay, A. Laura Voinea, 2016, PLATEAU@SPLASH.
Ian Mackie, Simon J. Gay, Manish Gaur, 2015, ICDCIT.
Roly Perera, Simon J. Gay, 2016, ArXiv.
Rajagopal Nagarajan, Samson Abramsky, Simon J. Gay, 1996, Banff Higher Order Workshop.
Simon J. Gay, Malcolm Hole, S. Gay, 2005, Acta Informatica.
Dimitrios Kouzapas, Simon J. Gay, Ramunas Gutkovas, 2014, PLACES.
Rajagopal Nagarajan, Simon J. Gay, Ebrahim Ardeshir-Larijani, 2018, ACM Trans. Comput. Log..
Dimitrios Kouzapas, Ornela Dardha, Simon J. Gay, 2014, TGC.
Simon J. Gay, 1994, Theory and Formal Methods.
Rajagopal Nagarajan, Simon J. Gay, Timothy A. S. Davidson, 2011, QPL.
Davide Ancona, Viviana Mascardi, Luca Padovani, 2016, Found. Trends Program. Lang..
Philip Wadler, Nobuko Yoshida, Vasco Thudichum Vasconcelos, 2017, Dagstuhl Reports.
Rajagopal Nagarajan, Simon J. Gay, Ebrahim Ardeshir-Larijani, 2013, TACAS.
Rajagopal Nagarajan, Simon J. Gay, R. Nagarajan, 2003, Formal Aspects of Computing.
Simon J. Gay, Malcolm Hole, S. Gay, 1999, ESOP.
Rajagopal Nagarajan, Samson Abramsky, Simon J. Gay, 1999, Theor. Comput. Sci..
Simon J. Gay, Sonja Franke-Arnold, Ittoop Vergheese Puthoor, 2013, RC.
Ornela Dardha, Simon J. Gay, A. Laura Voinea, 2019, IFM.
Rajagopal Nagarajan, Simon J. Gay, Nikolaos Papanikolaou, 2007, CAV.
Peter Thiemann, Simon J. Gay, Vasco T. Vasconcelos, 2020, PLACES@ETAPS.
Rajagopal Nagarajan, Samson Abramsky, Simon J. Gay, 1997, TACS.
António Ravara, Vasco Thudichum Vasconcelos, Simon J. Gay, 2010, POPL '10.
Rajagopal Nagarajan, Simon J. Gay, R. Nagarajan, 1993, Theory and Formal Methods.
Simon J. Gay, Sonja Franke-Arnold, Ittoop Vergheese Puthoor, 2014, EXPRESS/SOS.
Rajagopal Nagarajan, Simon J. Gay, Ebrahim Ardeshir-Larijani, 2013, ArXiv.
Simon J. Gay, Ittoop Vergheese Puthoor, S. Gay, 2013, QPL.
Rajagopal Nagarajan, Samson Abramsky, Simon J. Gay, 1996, NATO ASI DPD.
António Ravara, Vasco Thudichum Vasconcelos, Simon J. Gay, 2004, CONCUR.
Vasco Thudichum Vasconcelos, Simon J. Gay, V. Vasconcelos, 2009, Journal of Functional Programming.
Ornela Dardha, Simon J. Gay, A. Laura Voinea, 2020, FORTE.
Dimitrios Kouzapas, Simon J. Gay, A. Laura Voinea, 2019, ArXiv.
Julien Lange, Roly Perera, Simon J. Gay, 2016, PLACES.
António Ravara, Simon J. Gay, Nils Gesbert, 2014, EXPRESS/SOS.
Rajagopal Nagarajan, Simon J. Gay, Ebrahim Ardeshir-Larijani, 2014, TACAS.
Simon J. Gay, 2016, A List of Successes That Can Change the World.
Roly Perera, Simon J. Gay, 2016, ArXiv.
Rajagopal Nagarajan, Simon J. Gay, R. Nagarajan, 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Simon J. Gay, Alastair F. Donaldson, 2005, SPIN.
Simon J. Gay, 2008, Math. Struct. Comput. Sci..
Simon J. Gay, Vasco T. Vasconcelos, Diogo Poccas, 2022, FoSSaCS.
Paul Harvey, Ornela Dardha, Simon J. Gay, 2021, Dagstuhl Artifacts Ser..
António Ravara, Simon J. Gay, Nils Gesbert, 2007 .