Julien Charles Coauthor index DBLP Vis 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]

Copyright © Sat Nov 28 20:06:51 2009 by Michael Ley (ley@uni-trier.de)