Alex K. Simpson
Orcid: 0000-0003-0049-9668Affiliations:
- University of Ljubljana, Slovenija
- University of Edinburgh, UK (until 2015)
According to our database1,
Alex K. Simpson
authored at least 62 papers
between 1992 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
1
1
1
1
1
2
3
1
1
3
3
3
1
1
1
1
1
1
2
2
1
1
3
2
2
4
2
2
1
1
4
3
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on andrej.com
On csauthors.net:
Bibliography
2024
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024
2020
ACM Trans. Program. Lang. Syst., 2020
2018
Google searches do not correlate with melanoma incidence in majority English speaking countries.
npj Digit. Medicine, 2018
Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018
Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular.
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018
2017
Proceedings of the Foundations of Software Science and Computation Structures, 2017
Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017
2016
Proceedings of the Foundations of Software Science and Computation Structures, 2016
2014
Ann. Pure Appl. Log., 2014
Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014
2013
Proceedings of the Proceedings Workshop on Fixed Points in Computer Science, 2013
Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013
Proceedings of the Foundations of Software Science and Computation Structures, 2013
2012
Log. Methods Comput. Sci., 2012
Ann. Pure Appl. Log., 2012
2011
2010
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010
Proceedings of the Foundations of Software Science and Computational Structures, 2010
2009
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009
Proceedings of the Computer Science Logic, 23rd international Workshop, 2009
2007
Math. Struct. Comput. Sci., 2007
Programming Languages and Operational Semantics by Fernández Maribel, King's College Publications, 2004, ISBN 0954300637.
J. Funct. Program., 2007
Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, 2007
Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007
Proceedings of the Types for Proofs and Programs, International Conference, 2007
Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007
2006
2005
Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005
Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005
Constructive Set Theories and their Category-theoretic Models.
Proceedings of the From sets and types to topology and analysis, 2005
2004
Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability.
Math. Log. Q., 2004
Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS.
J. Log. Algebraic Methods Program., 2004
Ann. Pure Appl. Log., 2004
2003
2002
Math. Struct. Comput. Sci., 2002
Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002
Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes.
Proceedings of the Foundations of Software Science and Computation Structures, 2002
2001
Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001
2000
Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000
1999
Proceedings of the Conference on Category Theory and Computer Science, 1999
Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999
Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999
Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999
1998
Proceedings of the Workshop on Domains IV 1998, 1998
Proceedings of the Mathematical Foundations of Computer Science 1998, 1998
Proceedings of the Computer Science Logic, 12th International Workshop, 1998
1997
Math. Struct. Comput. Sci., 1997
1995
Proceedings of the Typed Lambda Calculi and Applications, 1995
Proceedings of the Proceedings, 1995
Proceedings of the Category Theory and Computer Science, 6th International Conference, 1995
1994
1993
Theor. Comput. Sci., 1993
1992
Proceedings of the Meta-Programming in Logic, 3rd International Workshop, 1992