# Browse by Journal or other publication

**9**.

## Article

Bacci, Giorgio and Bacci, Giovanni and Larsen, Kim G. and Mardare, Radu
(2018)
*Complete axiomatization for the total variation distance of Markov chains.*
Electronic Notes in Theoretical Computer Science, 336.
pp. 27-39.
ISSN 1571-0661

Ghani, Neil and Johann, Patricia and Forsberg, Fredrik Nordvall and Orsanigo, Federico and Revell, Tim
(2015)
*Bifibrational functorial semantics of parametric polymorphism.*
Electronic Notes in Theoretical Computer Science, 319.
pp. 165-181.
ISSN 1571-0661

Larsen, Kim G. and Mardare, Radu and Xue, Bingtian
(2015)
*Alternation-free weighted mu-calculus : decidability and completeness.*
Electronic Notes in Theoretical Computer Science, 319.
pp. 289-313.
ISSN 1571-0661

Kozen, Dexter and Mardare, Radu and Panangaden, Prakash
(2014)
*A metrized duality theorem for Markov processes.*
Electronic Notes in Theoretical Computer Science, 308.
pp. 211-227.
ISSN 1571-0661

Jaziri, Samy and Larsen, Kim G. and Mardare, Radu and Xue, Bingtian
(2014)
*Adequacy and complete axiomatization for Timed Modal Logic.*
Electronic Notes in Theoretical Computer Science, 308.
pp. 183-210.
ISSN 1571-0661

Atkey, Robert
(2011)
*What is a categorical model of arrows?*
Electronic Notes in Theoretical Computer Science, 229 (5).
pp. 19-37.
ISSN 1571-0661

Jaskelioff, M. and Ghani, N. and Hutton, G.
(2011)
*Modularity and implementation of mathematical operational semantics.*
Electronic Notes in Theoretical Computer Science, 229 (5).
pp. 75-95.
ISSN 1571-0661

Kashefi, E. and Oi, D. K L and Browne, D. and Anders, J. and Andersson, E.
(2009)
*Twisted graph states for ancilla-driven universal quantum computation.*
Electronic Notes in Theoretical Computer Science, 249.
pp. 307-331.
ISSN 1571-0661

Benkirane, S. and Hilston, J. and McCaig, Chris and Norman, R. and Shankland, C.
(2009)
*Improved continuous approximation of PEPA models through epidemiological examples.*
Electronic Notes in Theoretical Computer Science, 229 (1).
59–74.
ISSN 1571-0661