Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	James J.
Last name:	Leifer
DBLP:	l/JJLeifer
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 12 of 12  

Select a publication
Show	Title	Venue	Rating	Date
	Karthikeyan Bhargavan, Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, James J. Leifer. Cryptographic Protocol Synthesis and Verification for Multiparty Sessions.	Proceedings of the 22nd IEEE Computer Security Foundations Symposium, CSF 2009, Port Jefferson, New York, USA, July 8-10, 2009 2009	(0)	2009
	Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer. A secure compiler for session abstractions.	Journal of Computer Security 2008, Volume 16	(0)	2008
	Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer. Secure Implementations for Typed Session Abstractions.	20th IEEE Computer Security Foundations Symposium, CSF 2007, 6-8 July 2007, Venice, Italy 2007	(0)	2007
	Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis. Acute: High-level programming language design for distributed computation.	J. Funct. Program. 2007, Volume 17	(0)	2007
	Pierre-Malo Deniélou, James J. Leifer. Abstraction preservation and subtyping in distributed languages.	Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006 2006	(0)	2006
	James J. Leifer, Robin Milner. Transition systems, link graphs and Petri nets.	Mathematical Structures in Computer Science 2006, Volume 16	(0)	2006
	Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis. Acute: high-level programming language design for distributed computation.	Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005 2005	(0)	2005
	James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough. Global abstraction-safe marshalling with hash types.	Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003 2003	(0)	2003
	James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough. Global abstraction-safe marshalling with hash types.	SIGPLAN Notices 2003, Volume 38	(0)	2003
	James J. Leifer, Robin Milner. Shallow Linear Action Graphs and their Embeddings.	Formal Asp. Comput. 2001, Volume 13	(0)	2002
	James J. Leifer, Robin Milner. Deriving Bisimulation Congruences for Reactive Systems.	CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings 2000	(0)	2000
	James J. Leifer, Bernard Sufrin. Deduction for Functional Programmers.	J. Funct. Program. 1996, Volume 6	(0)	1996

Your query returned 12 matches in the database.