jnf-misc.bib

@COMMENT{{This file has been generated by bib2bib 1.80}}

@COMMENT{{Command line: bib2bib -ob jnf-misc.bib -oc jnf-misc.keys -c '(jnf:"yes") & ((note:"Invited") | ($type="INCOLLECTION"))' jnf.bib}}

@INPROCEEDINGS{grace-report,
  AUTHOR = {Krzysztof Czarnecki and
            J. Nathan Foster and
            Zhenjiang Hu and 
            Ralf L\"{a}mmel and 
            Andy Sch\"{u}rr and 
            James F. Terwilliger},
  TITLE = {Bidirectional Transformations: A Cross-Discipline Perspective. {GRACE} Meeting notes, state of the art, and outlook},
  BOOKTITLE = {International Conference on Model Transformations (ICMT), Zurich, Switzerland},
  MONTH = JUN,
  YEAR = 2009,
  JNF = {yes},
  PLCLUB = {yes},
  CONF = {http://www.cis.upenn.edu/~jnfoster/papers/grace-report.pdf},
  NOTE = {Invited paper. To appear.}
}

@ARTICLE{sync-provenance,
  AUTHOR = {J. Nathan Foster and Grigoris Karvounarakis},
  TITLE = {Provenance and Data Synchronization},
  JOURNAL = {IEEE Data Engineering Bulletin},
  MONTH = DEC,
  YEAR = 2007,
  VOL = 30,
  NUMBER = 4,
  PAGES = {13--21},
  NOTE = {Invited paper for special issue on provenance.},
  SHORT = {http://www.cis.upenn.edu/~jnfoster/papers/debull-jnfoster-gkarvoun.pdf},
  JNF = {yes},
  PLCLUB = {yes}
}

@INCOLLECTION{FJ-afp,
  AUTHOR = {J. Nathan Foster and Dimitrios Vytiniotis},
  TITLE = {A Theory of Featherweight Java in Isabelle/HOL},
  BOOKTITLE = {The Archive of Formal Proofs},
  EDITOR = {Gerwin Klein and Tobias Nipkow and Lawrence Paulson},
  PUBLISHER = {\url{http://afp.sf.net}},
  MONTH = APR,
  YEAR = 2006,
  SHORT = {http://www.cis.upenn.edu/~jnfoster/papers/FJ-outline.pdf},
  FULL = {http://www.cis.upenn.edu/~jnfoster/papers/FJ-document.pdf},
  SOURCES = {http://www.cis.upenn.edu/~jnfoster/papers/FJ.tar.gz},
  JNF = YES,
  PLCLUB = {yes}
}