Science of Computer Programming

ISSNs: 0167-6423, 01676423

ISSNs (Electronic): 1872-7964

Elsevier BV, Netherlands

ISI indexed (2013): yes, FI (2013): 2

Central database

Journal

  1. Research › Journal article
  2. Published

    Abstract Interpretation of Mobile Ambients. / Nielson, Flemming; Hansen, René Rydhof; Nielson, Hanne Riis.

    In: Science of Computer Programming, Vol. 47, No. 2-3, 2003, p. 145-175.

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

  3. Published

    A Hoare-like proof system for analysing the computation time of programs. / Nielson, Hanne Riis.

    In: Science of Computer Programming, Vol. 9, No. 2, 1987, p. 107-136.

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

  4. 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

  5. Published

    Automatic Binding Time Analysis for a Typed Lambda-Calculus. / Nielson, Hanne Riis; Nielson, Flemming.

    In: Science of Computer Programming, Vol. 10, No. 2, 1988, p. 139-176.

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

  6. Constraint design rewriting. / Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo.

    In: Science of Computer Programming, 2013.

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

  7. Modelling and analyzing adaptive self-assembly strategies with Maude. / Vandin, Andrea; Bruni, Roberto; Gadducci, Fabio; Corradini, Andrea; Lluch Lafuente, Alberto.

    In: Science of Computer Programming, 2014.

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

  8. Published

    Predictive access control for distributed computation. / Yang, Fan; Hankin, Chris; Nielson, Flemming; Nielson, Hanne Riis.

    In: Science of Computer Programming, Vol. 78, No. 9, 2013, p. 1264-1277.

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

  9. Published

    The logic of XACML. / Ramli, Carroline Dewi Puspa Kencana; Nielson, Hanne Riis; Nielson, Flemming.

    In: Science of Computer Programming, Vol. 83, 2014, p. 80-105.

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

  10. Research › Conference article
  11. 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

  12. Published

    Strictness and Totality Analysis. / Solberg, K. L.; Nielson, Hanne Riis; Nielson, Flemming.

    In: Science of Computer Programming, Vol. 31, No. 1, 1998, p. 113-145.

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

Previous 1 2 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word