Information and Computation, 0890-5401

Journal

1 - 8 out of 8Page size: 10

Publications

  1. 2016
  2. Published

    Parameterized complexity of the anchored k-core problem for directed graphs

    Rajesh Chitnis, 1 Apr 2016, In : Information and Computation. 247, p. 11-22

    Research output: Contribution to journal › Article › peer-review

  3. 2013
  4. Published

    Compositional probabilistic verification through multi-objective model checking

    Marta Kwiatkowska, Gethin Norman, David Parker, Nov 2013, In : Information and Computation. 232, p. 38-65

    Research output: Contribution to journal › Article › peer-review

  5. 2009
  6. Published

    Operational domain theory and topology of sequential programming languages

    Martin Escardo, 1 Mar 2009, In : Information and Computation. 207, 3, p. 411-437 27 p.

    Research output: Contribution to journal › Article

  7. 2008
  8. Published

    Fair multi-party contract signing using private contract signatures

    Aybek Mukhamedov & Mark Ryan, 1 Feb 2008, In : Information and Computation. 206, 2-4, p. 272-290 19 p.

    Research output: Contribution to journal › Article

  9. 2007
  10. Published

    Symbolic model checking for probabilistic timed automata

    Marta Kwiatkowska, Gethin Norman, Jeremy Sproston, 1 Jul 2007, In : Information and Computation. 205, 7, p. 1027-1077 51 p.

    Research output: Contribution to journal › Article

  11. 2004
  12. Published

    On the call-by-value CPS transform and its semantics

    Hayo Thielecke, 1 Jan 2004, In : Information and Computation. 188, 2, p. 241-283 43 p.

    Research output: Contribution to journal › Article

  13. 2003
  14. Published

    Modelling Environments in Call-by-value Programming Languages

    Paul Levy & Hayo Thielecke, 15 Sep 2003, In : Information and Computation. 185, p. 182-210 29 p.

    Research output: Contribution to journal › Article

  15. 2002
  16. Published

    Objects and Classes in Algol-like Languages

    Uday Reddy, 10 Jan 2002, In : Information and Computation. 172, 1, p. 63-97 35 p.

    Research output: Contribution to journal › Article › peer-review