Browse by Journal or other publication
2024
Huang, Sumin and Kitaev, Sergey (2024) On ordering of β-description trees. Theoretical Computer Science, 982. 114273. ISSN 0304-3975
2023
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
2020
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
2018
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
2016
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
2012
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
2011
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
2008
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
2005
Kitaev, Sergey (2005) Segmented partially ordered generalized patterns. Theoretical Computer Science, 349 (3). pp. 420-428. ISSN 0304-3975
2001
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