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

Julien Charles Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMikolás Janota, Fintan Fairmichael, Viliam Holub, Radu Grigore, Julien Charles, Dermot Cochran, Joseph R. Kiniry: CLOPS: A DSL for Command Line Options. DSL 2009: 187-210
2006
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet: JACK - A Tool for Validation of Security and Behaviour of Java Applications. FMCO 2006: 152-174

Coauthor Index

1Gilles Barthe [1]
2Lilian Burdy [1]
3Dermot Cochran [2]
4Fintan Fairmichael [2]
5Benjamin Grégoire [1]
6Radu Grigore [2]
7Viliam Holub [2]
8Marieke Huisman [1]
9Mikolás Janota [2]
10Joseph Kiniry (Joseph R. Kiniry) [2]
11Jean-Louis Lanet [1]
12Mariela Pavlova [1]
13Antoine Requet [1]

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page