| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alan Jeffrey |
LTL types FRP: linear-time temporal logic propositions as types, proofs as functional reactive programs.  |
PLPV  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Jeffrey, Peter F. Patel-Schneider |
Integrity Constraints for Linked Data. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Andrew D. Gordon, Robert Harper, John Harrison, Alan Jeffrey, Peter Sewell |
Robin Milner 1934--2010: verification, languages, and concurrency. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Jeffrey, Julian Rathke |
The Lax Braided Structure of Streaming I/O. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Jeffrey, Taghrid Samak |
Model Checking Firewall Policy Configurations. |
POLICY |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely |
Towards a Theory of Accountability and Audit. |
ESORICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Jeffrey, Julian Rathke |
Full abstraction for polymorphic pi-calculus. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely |
Lambda-RBAC: Programming with Role-Based Access Control. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Alan Jeffrey, Ruy Ley-Wild |
Stream firewalling of xml constraints. |
SIGMOD Conference |
2008 |
DBLP DOI BibTeX RDF |
query processing, streams, xpath, xml |
| 1 | Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely |
Lambda-RBAC: Programming with Role-Based Access Control |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Michael Benedikt, Alan Jeffrey |
Efficient and Expressive Tree Filters. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Radha Jagadeesan, Alan Jeffrey, James Riely |
Typed parametric polymorphism for aspects. |
Sci. Comput. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Haack, Alan Jeffrey |
Pattern-matching spi-calculus. |
Inf. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely |
lambda-RBAC: Programming with Role-Based Access Control. |
ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Jeffrey, Julian Rathke |
A fully abstract may testing semantics for concurrent objects. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Jeffrey, Julian Rathke |
Contextual equivalence for higher-order pi-calculus revisited. |
Logical Methods in Computer Science |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Jeffrey, Julian Rathke |
Contextual equivalence for higher-order pi-calculus revisited |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Christian Haack, Alan Jeffrey |
Timed Spi-Calculus with Types for Secrecy and Authenticity. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon, Alan Jeffrey |
Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Jeffrey, Julian Rathke |
Full Abstraction for Polymorphic Pi-Calculus. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Jeffrey, Julian Rathke |
Java Jr: Fully Abstract Trace Semantics for a Core Java Language. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon, Alan Jeffrey |
Types and effects for asymmetric cryptographic protocols. |
Journal of Computer Security |
2004 |
DBLP BibTeX RDF |
|
| 1 | Alan Jeffrey, Julian Rathke |
A theory of bisimulation for a fragment of concurrent ML with local names. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Glenn Bruns, Radha Jagadeesan, Alan Jeffrey, James Riely |
µABC: A Minimal Aspect Calculus. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Haack, Alan Jeffrey |
Pattern-Matching Spi-Calculus. |
Formal Aspects in Security and Trust |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon, Alan Jeffrey |
Authenticity by Typing for Security Protocols. |
Journal of Computer Security |
2003 |
DBLP BibTeX RDF |
|
| 1 | Andrew D. Gordon, Alan Jeffrey |
Typing correspondence assertions for communication protocols. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Radha Jagadeesan, Alan Jeffrey, James Riely |
A Calculus of Untyped Aspect-Oriented Programs. |
ECOOP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon, Alan Jeffrey |
Types and Effects for Asymmetric Cryptographic Protocols. |
CSFW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Jeffrey, Julian Rathke |
A Fully Abstract May Testing Semantics for Concurrent Objects. |
LICS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon, Alan Jeffrey |
Typing One-to-One and One-to-Many Correspondences in Security Protocols. |
ISSS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon, Alan Jeffrey |
Typing Correspondence Assertions for Communication Protocols. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Wakeman, Alan Jeffrey, Tim Owen, Damyan Pepper |
SafetyNet: A language-based approach to programmable networks. |
Computer Networks |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon, Alan Jeffrey |
Authenticity by Typing for Security Protocols. |
CSFW |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Jeffrey |
A Symbolic Labelled Transition System for Coinductive Subtyping of Fµ< Types. |
LICS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon, Alan Jeffrey |
A Type and Effect Analysis of Security Protocols. |
SAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Jeffrey |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | William Ferreira, Matthew Hennessy, Alan Jeffrey |
Combining the typed lambda-calculus with CCS. |
Proof, Language, and Interaction |
2000 |
DBLP BibTeX RDF |
|
| 1 | Alan Jeffrey, Julian Rathke |
A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names. |
LICS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Jeffrey |
A Fully Abstract Semantics for a Higher-Order Functional Language with Nondeterministic Computation. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Schweimeier, Alan Jeffrey |
A Categorical and Graphical Treatment of Closure Conversion. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Jeffrey, Julian Rathke |
Towards a Theory of Bisimulation for Local Names. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
nominal calculi, semantics, bisimulation |
| 1 | William Ferreira, Matthew Hennessy, Alan Jeffrey |
A Theory of Weak Bisimulation for Core CML. |
J. Funct. Program. |
1998 |
DBLP BibTeX RDF |
|
| 1 | Alan Jeffrey |
Premonoidal categories and flow graphs. |
Electr. Notes Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | William Ferreira, Matthew Hennessy, Alan Jeffrey |
A Theory of Weak Bisimulation for Core CML. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Alan Jeffrey |
A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Jeffrey |
A fully abstract semantics for a nondeterministic functional language with monadic types. |
Electr. Notes Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Jeffrey |
Handbook of mathematical formulas and integrals. |
|
1995 |
RDF |
|
| 1 | Alan Jeffrey |
A Fully Abstract Semantics for a Concurrent Functional Language with Monadic Types |
LICS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Carolyn Brown, Alan Jeffrey |
Allegories of Circuits. |
LFCS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Jeffrey |
A Fully Abstract Semantics for Concurrent Graph Reduction |
LICS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Jeffrey |
A Chemical Abstract Machine for Graph Reduction. |
MFPS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Jeffrey |
Translating Timed Process Algebra into Prioritized Process Algebra. |
FTRTFT |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Jeffrey |
Abstract Timed Observation and Process Algebra. |
CONCUR |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Jeffrey |
A Linear Time Process Algebra. |
CAV |
1991 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")