Most cited
This page lists all time most cited articles for this title. Please use the publication date filters on the left if you would like to restrict this list to recently published content, for example to articles published in the last three years. The number of times each article was cited is displayed to the right of its title and can be clicked to access a list of all titles this article has been cited by.
- Cited by 13
A quantum algorithm to approximate the linear structures of Boolean functions
-
- Published online by Cambridge University Press:
- 09 February 2016, pp. 1-13
-
- Article
- Export citation
- Cited by 13
Sketches and computation – II: dynamic evaluation and applications
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 239-271
-
- Article
- Export citation
- Cited by 13
Autostability spectra for decidable structures
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 392-411
-
- Article
- Export citation
- Cited by 13
A categorical framework for finite state machines
-
- Published online by Cambridge University Press:
- 20 May 2003, pp. 451-480
-
- Article
- Export citation
- Cited by 13
SMT-based verification of data-aware processes: a model-theoretic approach
-
- Published online by Cambridge University Press:
- 03 April 2020, pp. 271-313
-
- Article
- Export citation
- Cited by 13
Wheels – on division by zero
-
- Published online by Cambridge University Press:
- 03 February 2004, pp. 143-184
-
- Article
- Export citation
- Cited by 13
Event Identifier Logic†
-
- Published online by Cambridge University Press:
- 27 September 2013, e240204
-
- Article
- Export citation
- Cited by 13
Homotopy invariants of higher dimensional categories and concurrency in computer science
-
- Published online by Cambridge University Press:
- 01 August 2000, pp. 481-524
-
- Article
- Export citation
- Cited by 13
Renormalisation and computation II: time cut-off and the Halting Problem
-
- Published online by Cambridge University Press:
- 06 September 2012, pp. 729-751
-
- Article
- Export citation
- Cited by 13
De Groot duality and models of choice: angels, demons and nature†
-
- Published online by Cambridge University Press:
- 25 March 2010, pp. 169-237
-
- Article
- Export citation
- Cited by 13
A formalism-local framework for general probabilistic theories, including quantum theory
-
- Published online by Cambridge University Press:
- 28 February 2013, pp. 399-440
-
- Article
- Export citation
- Cited by 13
On the non-sequential nature of the interval-domain model of real-number computation
-
- Published online by Cambridge University Press:
- 16 November 2004, pp. 803-814
-
- Article
- Export citation
- Cited by 13
Fully abstract translations between functional languages
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 387-415
-
- Article
- Export citation
- Cited by 13
Modal dependent type theory and dependent right adjoints
-
- Published online by Cambridge University Press:
- 12 December 2019, pp. 118-138
-
- Article
- Export citation
- Cited by 13
Coalgebras of bounded type
-
- Published online by Cambridge University Press:
- 21 October 2002, pp. 565-578
-
- Article
- Export citation
- Cited by 13
On asynchronous eventful session semantics
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 303-364
-
- Article
- Export citation
- Cited by 13
The impact of models of a physical oracle on computational power†
-
- Published online by Cambridge University Press:
- 06 September 2012, pp. 853-879
-
- Article
- Export citation
- Cited by 13
Abstract delta modelling
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 482-527
-
- Article
- Export citation
- Cited by 13
Noetherian orders
-
- Published online by Cambridge University Press:
- 02 December 2010, pp. 111-124
-
- Article
- Export citation
- Cited by 13
Polarised subtyping for sized types
-
- Published online by Cambridge University Press:
- 01 October 2008, pp. 797-822
-
- Article
- Export citation