Information and Computation, 0890-5401
Journal
1 - 8 out of 8Page size: 10
Publications
- 2016
- Published
Parameterized complexity of the anchored k-core problem for directed graphs
Rajesh Chitnis, 1 Apr 2016, In: Information and Computation. 247, p. 11-22Research output: Contribution to journal › Article › peer-review
- 2013
- Published
Compositional probabilistic verification through multi-objective model checking
Marta Kwiatkowska, Gethin Norman, David Parker, Nov 2013, In: Information and Computation. 232, p. 38-65Research output: Contribution to journal › Article › peer-review
- 2009
- 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
- 2008
- 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
- 2007
- 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
- 2004
- 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
- 2003
- 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
- 2002
- 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