Alan Jeffrey
Orcid: 0000-0001-6342-0318
According to our database1,
Alan Jeffrey
authored at least 61 papers
between 1991 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2022
The leaky semicolon: compositional semantic dependencies for relaxed-memory concurrency.
Proc. ACM Program. Lang., 2022
2021
2020
Proc. ACM Program. Lang., 2020
2019
Log. Methods Comput. Sci., 2019
Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019
2018
2016
2014
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014
2013
Causality for free!: parametricity implies causality for functional reactive programs.
Proceedings of the 7th Workshop on Programming languages meets program verification, 2013
Proceedings of the Practical Aspects of Declarative Languages, 2013
Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013
2012
LTL types FRP: linear-time temporal logic propositions as types, proofs as functional reactive programs.
Proceedings of the sixth workshop on Programming Languages meets Program Verification, 2012
2011
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011
Proceedings of the Computer Science Logic, 2011
2009
Proceedings of the Computer Security, 2009
2008
Log. Methods Comput. Sci., 2008
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2008
2007
Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007
2006
Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006
2005
Theor. Comput. Sci., 2005
Log. Methods Comput. Sci., 2005
Proceedings of the Programming Languages and Systems, 2005
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005
2004
Theor. Comput. Sci., 2004
Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004
2003
Theor. Comput. Sci., 2003
Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, 2003
2002
Proceedings of the Software Security -- Theories and Systems, 2002
2001
Comput. Networks, 2001
Proceedings of the Static Analysis, 8th International Symposium, 2001
A Symbolic Labelled Transition System for Coinductive Subtyping of <i>F<sub>µ<</sub></i> Types.
Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001
2000
Proceedings of the 4th International Workshop on Higher Order Operational Techniques in Semantics, 2000
Combining the typed lambda-calculus with CCS.
Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000
1999
A Fully Abstract Semantics for a Higher-Order Functional Language with Nondeterministic Computation.
Theor. Comput. Sci., 1999
Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999
Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999
1998
1997
Proceedings of the Second Workshop on Higher-Order Operational Techniques in Semantics, 1997
1995
A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours.
Theor. Comput. Sci., 1995
A fully abstract semantics for a nondeterministic functional language with monadic types.
Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995
Proceedings of the Proceedings, 1995
Handbook of mathematical formulas and integrals.
Academic Press, ISBN: 978-0-12-382580-3, 1995
1994
Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994
Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994
1993
Proceedings of the Mathematical Foundations of Programming Semantics, 1993
1992
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992
1991
Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991