### 7 papers:

- ITiCSE-2014-HeldalSBM #communication #industrial
- Supporting communication within industrial doctoral projects: the thesis steering model (IH, ES, LB, RM), p. 325.
- DLT-J-2011-ArrighiD12 #physics #quantum
- The Physical Church-Turing Thesis and the Principles of Quantum Theory (PA, GD), pp. 1131–1146.
- LATA-2012-Dowek #automaton #formal method #physics #quantum
- Around the Physical Church-Turing Thesis: Cellular Automata, Formal Languages, and the Principles of Quantum Theory (GD), pp. 21–37.
- CSEET-2009-FeldtHL #evaluation #re-engineering #towards
- Generic Skills in Software Engineering Master Thesis Projects: Towards Rubric-Based Evaluation (RF, MH, FL), pp. 12–15.
- CIKM-2003-BhowmickVL #integration #named
- HyperThesis: the gRNA spell on the curse of bioinformatics applications integration (SSB, VV, AVL), pp. 402–409.
- LICS-2000-Kripke #algorithm #first-order #theorem
- From the Church-Turing Thesis to the First-Order Algorithm Theorem (SK), p. 177.
- ITiCSE-1998-Taylor
- Motivating the Church-Turing thesis in the twenty-first century (RGT), pp. 228–231.