Christian W. Probst

  1. 2013
  2. Published

    Foreword: Science of Computer Programming, special section from the Principles and Practice of Programming in Java conference. / Aleksy, Markus; Gitzel, Ralf; Krall, Andreas; Mössenböck, Hanspeter ; Probst, Christian W.; Stephenson, Ben .

    In: Science of Computer Programming, Vol. 78, 2013, p. 423-424.

    Publication: ResearchEditorial – Annual report year: 2013

  3. 2010
  4. Published

    From Flow Logic to static type systems for coordination languages. / De Nicola, Rocco; Gorla, Daniele; Hansen, Rene Rydhof; Nielson, Flemming; Nielson, Hanne Riis; Probst, Christian W.; Pugliese, Rosario.

    In: Science of Computer Programming, Vol. 75, No. 6, 2010, p. 376-397.

    Publication: Research - peer-reviewConference article – Annual report year: 2010

  5. 2005
  6. Published

    A portable virtual machine target for proof-carrying code. / Franz, Michael; Chandra, Deepak; Gal, Andreas; Haldar, Vivek; Probst, Christian W.; Reig, Fermin; Wang, Ning.

    In: Science of Computer Programming, Vol. 57, No. 3, 2005, p. 275-294.

    Publication: Research - peer-reviewJournal article – Annual report year: 2005

Download list:
Download as PDF
Select render style:
Download as HTML
Select render style:
Download as Word
Select render style: