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.
