dblp.uni-trier.dewww.uni-trier.de

Judicaël Courant

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
8EEJudicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech: Towards automated proofs for asymmetric encryption schemes in the random oracle model. ACM Conference on Computer and Communications Security 2008: 371-380
2007
7EEJudicaël Courant, Cristian Ene, Yassine Lakhnech: Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption. FSTTCS 2007: 364-375
6EEJudicaël Courant: MC2 A module calculus for Pure Type Systems. J. Funct. Program. 17(3): 287-352 (2007)
2006
5 Jean-François Monin, Judicaël Courant: Proving termination using dependent types: the case of XOR-terms. Trends in Functional Programming 2006: 1-18
2002
4EEJudicaël Courant: Explicit Universes for the Calculus of Constructions. TPHOLs 2002: 115-130
3EEJudicaël Courant: Strong Normalization with Singleton Types. Electr. Notes Theor. Comput. Sci. 70(1): (2002)
1997
2 Judicaël Courant: An Applicative Module Calculus. TAPSOFT 1997: 622-636
1 Judicaël Courant: A Module Calculus for Pure Type Systems. TLCA 1997: 112-128

Coauthor Index

1Marion Daubignard [8]
2Cristian Ene [7] [8]
3Pascal Lafourcade [8]
4Yassine Lakhnech [7] [8]
5Jean-François Monin [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)