Browse by Journal or other publication
Huang, Sumin and Kitaev, Sergey (2024) On ordering of β-description trees. Theoretical Computer Science, 982. 114273. ISSN 0304-3975
Fritz, Tobias and Gonda, Tomáš and Perrone, Paolo and Fjeldgren Rischel, Eigil (2023) Representable Markov categories and comparison of statistical experiments in categorical probability. Theoretical Computer Science, 961. 113896. ISSN 0304-3975
Kraus, Nicolai and Nordvall Forsberg, Fredrik and Xu, Chuangjie (2023) Type-theoretic approaches to ordinals. Theoretical Computer Science, 957. 113843. ISSN 0304-3975
Castellani, Ilaria and Dezani-Ciancaglini, Mariangiola and Giannini, Paola and Horne, Ross (2020) Global types with internal delegation. Theoretical Computer Science, 807. 128 - 153. ISSN 0304-3975
Ghani, Neil and Kupke, Clemens and Lambert, Alasdair and Nordvall Forsberg, Fredrik (2018) A compositional treatment of iterated open games. Theoretical Computer Science, 741. pp. 48-57. ISSN 0304-3975
Avgustinovich, Sergey and Kitaev, Sergey and Potapov, Vladimir and Vajnovszki, Vincent (2016) Gray coding cubic planar maps. Theoretical Computer Science, 616. pp. 59-69. ISSN 0304-3975
Anders, J. and Andersson, E. and Browne, D. E. and Kashefi, E. and Oi, D. K. L. (2012) Ancilla-driven quantum computation with twisted graph states. Theoretical Computer Science, 430. pp. 51-72. ISSN 0304-3975
McCaig, Chris and Norman, R. and Shankland, C. (2011) From individuals to populations: a mean field semantics for process algebra. Theoretical Computer Science, 412 (17). 1557–1580. ISSN 0304-3975
Khanin, Raya and Higham, Desmond J. (2008) Chemical master equation and Langevin regimes for a gene transcription model. Theoretical Computer Science, 408 (1). pp. 31-40. ISSN 0304-3975
Dukes, W. M. B. and Flanagan, Mark and Mansour, Toufik and Vajnovszki, Vincent (2008) Combinatorial Gray codes for classes of pattern avoiding permutations. Theoretical Computer Science, 396 (1 - 3). 35 - 49. ISSN 0304-3975
Kitaev, Sergey (2005) Segmented partially ordered generalized patterns. Theoretical Computer Science, 349 (3). pp. 420-428. ISSN 0304-3975
Willmott, S. and Richardson, J. and Bundy, A. and Levine, J.M. (2001) Applying adversarial planning techniques to Go. Theoretical Computer Science, 252 (1). pp. 45-82. ISSN 0304-3975