Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
109 | Yongming Li 0001 |
Approximation and universality of fuzzy Turing machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 51(10), pp. 1445-1465, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
fuzzy Turing machine, fuzzy recursively enumerable language, fuzzy recursive language, universal fuzzy Turing machine, fuzzy algorithm |
102 | Lane A. Hemaspaandra, Mayur Thakur |
Query-Monotonic Turing Reductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 11th Annual International Conference, COCOON 2005, Kunming, China, August 16-29, 2005, Proceedings, pp. 895-904, 2005, Springer, 3-540-28061-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
95 | Alasdair Urquhart |
S. Barry Cooper and Andrew Hodges (editors), The Once and Future Turing: Computing the World. Cambridge University Press, 2016. xviii + 379 pp. - therein: - Martin Davis. Algorithms, Equations, and Logic. pp. 4-19. - J.M.E. Hyland. The Forgotten Turing. pp. 20-33. - Andrew R. Booker. Turing and the Primes. pp. 34-52. - Ueli Maurer. Cryptography and Computation after Turing. pp. 53-77. - Kanti V. Mardia and S. Barry Cooper. Alan Turing and Enigmatic Statistics. pp. 78-89. - Stephen Wolfram. What Alan Turing Might Have Discovered. pp. 92-105. - Christof Teuscher. Designed versus Intrinsic Computation. pp. 106-116. - Solomon Feferman. Turing's 'Oracle': From Absolute to Relative Computability and Back. pp. 300-334. - P.D. Welch. Turing Transcendent: Beyond the Event Horizon. pp. 335-360. - Roger Penrose. On Attempting to Model the Mathematical Mind. pp. 361-378. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 22(3), pp. 354-356, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
83 | Joseph Farfel, Vincent Conitzer |
Turing Trade: A Hybrid of a Turing Test and a Prediction Market. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMMA ![In: Auctions, Market Mechanisms and Their Applications, First International ICST Conference, AMMA 2009, Boston, MA, USA, May 8-9, 2009, Revised Selected Papers, pp. 61-73, 2009, Springer, 978-3-642-03820-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
deployed web-based applications, using points as an artificial currency, prediction markets, games with a purpose, Turing tests |
83 | Wolfgang Merkle, Frank Stephan 0001 |
On C-Degrees, H-Degrees and T-Degrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: 22nd Annual IEEE Conference on Computational Complexity (CCC 2007), 13-16 June 2007, San Diego, California, USA, pp. 60-69, 2007, IEEE Computer Society, 0-7695-2780-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
73 | Robert I. Soare |
Computability and Incomputability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings, pp. 705-715, 2007, Springer, 978-3-540-73000-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Turing a-machine, Church-Turing Thesis, Kurt Gödel, Turing o-machine, computable approximations, effectively continuous functions on reals, computability in analysis, strong reducibilities reexamined, computability, Alan Turing |
72 | John Dermot Turing |
The man with the terrible trousers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Turing Guide ![In: The Turing Guide., pp. 19-30, 2017, Oxford University Press, 978-0-19-874783-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
72 | Laurent Bienvenu, David Doty, Frank Stephan 0001 |
Constructive Dimension and Turing Degrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 45(4), pp. 740-755, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Randomness, Extractor, Degree, Turing, Constructive dimension |
70 | |
Turing's legacy: developments from Turing's ideas in logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing's Legacy ![In: Turing's Legacy: Developments from Turing's Ideas in Logic, pp. vii-x, 2014, Cambridge University Press, 9781107338579. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
70 | José Hernández-Orallo, Javier Insa-Cabrera, David L. Dowe, Bill Hibbard |
Turing Tests with Turing Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 140-156, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
64 | Amashini Naidoo, Nelishia Pillay |
Using Genetic Programming for Turing Machine Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroGP ![In: Genetic Programming, 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008. Proceedings, pp. 350-361, 2008, Springer, 978-3-540-78670-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
genetic programming, grammatical inference, Turing machines |
64 | R. Gregory Taylor |
Motivating the Church-Turing thesis in the twenty-first century. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 6th Annual Conference on the Teaching of Computing and the 3rd Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 1998, Dublin City University, Ireland, 18-21 August 1998, pp. 228-231, 1998, ACM, 1-58113-000-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Church-Turing thesis, Markov algorithm, vector machine, Turing machine, computability theory, register machine |
58 | Thomas C. Hales |
Mathematics in the age of the Turing machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing's Legacy ![In: Turing's Legacy: Developments from Turing's Ideas in Logic, pp. 253-298, 2014, Cambridge University Press, 9781107338579. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
58 | Robert Irving Soare |
Turing and the discovery of computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing's Legacy ![In: Turing's Legacy: Developments from Turing's Ideas in Logic, pp. 467-492, 2014, Cambridge University Press, 9781107338579. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
58 | Anil Nerode |
Musings on Turing's Thesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing's Legacy ![In: Turing's Legacy: Developments from Turing's Ideas in Logic, pp. 386-396, 2014, Cambridge University Press, 9781107338579. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
58 | Steven Homer, Alan L. Selman |
Turing and the development of computational complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing's Legacy ![In: Turing's Legacy: Developments from Turing's Ideas in Logic, pp. 299-328, 2014, Cambridge University Press, 9781107338579. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
58 | Charles F. Miller |
Turing machines to word problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing's Legacy ![In: Turing's Legacy: Developments from Turing's Ideas in Logic, pp. 329-385, 2014, Cambridge University Press, 9781107338579. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
58 | Cameron E. Freer, Daniel M. Roy 0001, Joshua B. Tenenbaum |
Towards common-sense reasoning via conditional simulation: legacies of Turing in Artificial Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing's Legacy ![In: Turing's Legacy: Developments from Turing's Ideas in Logic, pp. 195-252, 2014, Cambridge University Press, 9781107338579. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
58 | Dag Normann |
Higher generalizations of the Turing Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing's Legacy ![In: Turing's Legacy: Developments from Turing's Ideas in Logic, pp. 397-433, 2014, Cambridge University Press, 9781107338579. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
58 | Lenore Blum |
Alan Turing and the other theory of computation (expanded). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing's Legacy ![In: Turing's Legacy: Developments from Turing's Ideas in Logic, pp. 48-69, 2014, Cambridge University Press, 9781107338579. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
58 | Jeremy Avigad, Vasco Brattka |
Computability and analysis: the legacy of Alan Turing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing's Legacy ![In: Turing's Legacy: Developments from Turing's Ideas in Logic, pp. 1-47, 2014, Cambridge University Press, 9781107338579. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
58 | Rod Downey |
Computability theory, algorithmic randomness and Turing's anticipation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing's Legacy ![In: Turing's Legacy: Developments from Turing's Ideas in Logic, pp. 90-123, 2014, Cambridge University Press, 9781107338579. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
58 | Harry Buhrman |
Turing in Quantumland. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing's Legacy ![In: Turing's Legacy: Developments from Turing's Ideas in Logic, pp. 70-89, 2014, Cambridge University Press, 9781107338579. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
58 | John White |
Welcome to the ACM Turing Centenary Celebration! ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-TURING ![In: ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012, pp. 1:1, 2012, ACM, 978-1-4503-3919-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
58 | Keith van Rijsbergen, Charles W. Bachman, Kelly Gotlieb, Wendy Hall 0001, William Newman |
Turing the Man. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-TURING ![In: ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012, pp. 3:1, 2012, ACM, 978-1-4503-3919-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
58 | Juris Hartmanis, Stephen Cook, William Kahan, Richard Edwin Stearns, Andrew C. Yao |
The Turing Computational Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-TURING ![In: ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012, pp. 8:1, 2012, ACM, 978-1-4503-3919-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
58 | Vinton G. Cerf |
Welcome to the ACM Turing Centenary Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-TURING ![In: ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012, pp. 2:1, 2012, ACM, 978-1-4503-3919-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
58 | Alan C. Kay |
Extracting Energy from the Turing Tarpit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-TURING ![In: ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012, pp. 7:1, 2012, ACM, 978-1-4503-3919-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
58 | Daniel Leivant |
Alternating Turing machines and the analytical hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 204-213, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
58 | Edgar G. Daylight |
Turing's Influence on Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 42-52, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
58 | Rao Mikkilineni, Albert Comparini, Giovanni Morana |
The Turing O-Machine and the DIME Network Architecture: Injecting the Architectural Resiliency into Distributed Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 239-251, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
58 | Michael Stephen Fiske |
Turing Incomputable Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 66-91, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
58 | Rusins Freivalds |
Ultrametric automata and Turing machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 98-112, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
58 | Jozef Kelemen |
A Note on Turing's Three Pioneering Initiatives and on Their Interplays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 196-203, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
58 | Yun Shang, Xian Lu, Ruqian Lu |
The computing power of Turing machine based on quantum logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 278-288, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
58 | Jeroen Fokker |
The chess example in Turing's Mind paper is really about ambiguity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 92-97, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
58 | Peter Wegner, Eugene Eberbach, Mark Burgin |
Computational Completeness of Interaction Machines and Turing Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 405-414, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
57 | Eugene Eberbach, Mark Burgin |
Evolution of evolution: Self-constructing Evolutionary Turing Machine case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2007, 25-28 September 2007, Singapore, pp. 4599-4605, 2007, IEEE, 978-1-4244-1339-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
57 | Dina Q. Goldin, Peter Wegner |
The Church-Turing Thesis: Breaking the Myth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: New Computational Paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings, pp. 152-168, 2005, Springer, 3-540-26179-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
57 | Atsuyuki Inoue, Akira Ito, Katsushi Inoue, Tokio Okazaki |
Some Properties of One-Pebble Turing Machines with Sublogarithmic Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 14th International Symposium, ISAAC 2003, Kyoto, Japan, December 15-17, 2003, Proceedings, pp. 635-644, 2003, Springer, 3-540-20695-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
57 | Natalie K. Person, Arthur C. Graesser |
Human or Computer? AutoTutor in a Bystander Turing Test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Tutoring Systems ![In: Intelligent Tutoring Systems, 6th International Conference, ITS 2002, Biarritz, France and San Sebastian, Spain, June 2-7, 2002, Proceedings, pp. 821-830, 2002, Springer, 3-540-43750-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
56 | James R. Cordy, T. C. Nicholas Graham |
Design of an interpretive environment for Turing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24 - 26, 1987, pp. 199-204, 1987, ACM, 0-89791-235-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
TURING |
56 | Ruqian Lu, Hongge Liu, Songmao Zhang, Zhi Jin, Zichu Wei |
Some Cognitive Aspects of a Turing Test for Children. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cognitive Systems ![In: Cognitive Systems, Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers, pp. 25-35, 2005, Springer, 3-540-70933-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Children Turing test, knowledge, intelligence, cognitive system, Turing test |
53 | Harry Buhrman, Montserrat Hermo |
On the Sparse Set Conjecture for Sets with Low Denisty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 95, 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995, Proceedings, pp. 609-618, 1995, Springer, 3-540-59042-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
52 | David Doty |
Every Sequence Is Decompressible from a Random One. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings, pp. 153-162, 2006, Springer, 3-540-35466-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
compression, Kolmogorov complexity, martingale, Turing reduction, random sequence, Constructive dimension |
49 | Damien Woods, Turlough Neary |
The Complexity of Small Universal Turing Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings, pp. 791-799, 2007, Springer, 978-3-540-73000-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
49 | Bruno Durand 0001, Andrei A. Muchnik, Maxim Ushakov, Nikolai K. Vereshchagin |
Ecological Turing Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings, pp. 457-468, 2004, Springer, 3-540-22849-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
49 | Wilson Rosa de Oliveira, Marcílio Carlos Pereira de Souto, Teresa Bernarda Ludermir |
Turing Machines with Finite Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBRN ![In: 7th Brazilian Symposium on Neural Networks (SBRN 2002), 11-14 November 2002, Recife, Brazil, pp. 67-73, 2002, IEEE Computer Society, 0-7695-1709-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
49 | Benedikt Löwe |
Turing cones and set theory of the reals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 40(8), pp. 651-664, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000):03D28, 03E60, 03D65, 03E50, 03E15 |
49 | Saul Kripke |
From the Church-Turing Thesis to the First-Order Algorithm Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, California, USA, June 26-29, 2000, pp. 177, 2000, IEEE Computer Society, 0-7695-0725-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
49 | Alan M. Turing, D. Bayley |
Report on Speech Secrecy System DELILAH, a Technical Description Compiled by A. M. Turing and Lieutenant D. Bayley REME, 1945-1946. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cryptologia ![In: Cryptologia 36(4), pp. 295-340, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
49 | Alan M. Turing |
Alan M. Turing's Critique of Running Short Cribs on the U. S. Navy Bombe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cryptologia ![In: Cryptologia 27(1), pp. 44-49, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Wilfried Sieg |
On mind & Turing's machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. ![In: Nat. Comput. 6(2), pp. 187-205, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
absolutely unsolvable (undecidable), axiom of infinity, Church’s Thesis, Diophantine problem, finite machine, general recursive function, mechanical computability, objective mathematics, subjective mathematics, Turing machine |
49 | Jingbo Hao, Jianping Yin, Boyun Zhang |
Modeling Viral Agents and Their Dynamics with Persistent Turing Machines and Cellular Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: Agent Computing and Multi-Agent Systems, 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings, pp. 690-695, 2006, Springer, 3-540-36707-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Viral Agent, Persistent Turing Machine, Dynamics, Cellular Automaton |
49 | Jérôme Durand-Lose |
Reversible Conservative Rational Abstract Geometrical Computation Is Turing-Universal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings, pp. 163-172, 2006, Springer, 3-540-35466-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
2-counter automata, Reversibility, Conservativeness, Turing-computability, Rational numbers, Abstract geometrical computation |
49 | Jérôme Durand-Lose |
Abstract Geometrical Computation: Turing-Computing Ability and Undecidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: New Computational Paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings, pp. 106-116, 2005, Springer, 3-540-26179-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Analog model of computation, Turing universality, Cellular automata, Geometry, Abstract geometrical computation |
49 | Héctor Fabio Restrepo, Daniel Mange |
An Embryonics Implementation of a Self-Replicating Universal Turing Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICES ![In: Evolvable Systems: From Biology to Hardware, 4th International Conference, ICES 2001 Tokyo, Japan, October 3-5, 2001, Proceedings, pp. 74-87, 2001, Springer, 3-540-42671-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
universal Turing machine, cellular automata, self-repair, self-replication, Embryonics |
49 | Stephen G. Perelgut, James R. Cordy |
Turing Plus: a comparison with C and Pascal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 23(1), pp. 137-143, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
C, Pascal, TURING |
47 | Bruce Edmonds, Carlos Gershenson |
Learning, Social Intelligence and the Turing Test - Why an "Out-of-the-Box" Turing Machine Will Not Pass the Turing Test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings, pp. 182-192, 2012, Springer, 978-3-642-30869-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
46 | Diane Proudfoot |
The Turing test - from every angle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Turing Guide ![In: The Turing Guide., pp. 287-300, 2017, Oxford University Press, 978-0-19-874783-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
46 | Stephen Wolfram |
A century of Turing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Turing Guide ![In: The Turing Guide., pp. 43-48, 2017, Oxford University Press, 978-0-19-874783-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
46 | Doron Swade |
Turing, Lovelace, and Babbage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Turing Guide ![In: The Turing Guide., pp. 249-262, 2017, Oxford University Press, 978-0-19-874783-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
46 | David Leavitt |
Turing and the paranormal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Turing Guide ![In: The Turing Guide., pp. 347-356, 2017, Oxford University Press, 978-0-19-874783-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
46 | Mark D. Sprevak |
Turing's model of the mind. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Turing Guide ![In: The Turing Guide., pp. 277-286, 2017, Oxford University Press, 978-0-19-874783-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
46 | Diane Proudfoot |
Turing's concept of intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Turing Guide ![In: The Turing Guide., pp. 301-308, 2017, Oxford University Press, 978-0-19-874783-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
46 | Thomas E. Woolley, Ruth E. Baker, Philip K. Maini |
Turing's theory of morphogenesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Turing Guide ![In: The Turing Guide., pp. 373-382, 2017, Oxford University Press, 978-0-19-874783-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
46 | Brian Randell |
Turing and the origins of digital computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Turing Guide ![In: The Turing Guide., pp. 67-76, 2017, Oxford University Press, 978-0-19-874783-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
46 | Jonathan P. Bowen, Jack Copeland |
Turing's legacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Turing Guide ![In: The Turing Guide., pp. 463-474, 2017, Oxford University Press, 978-0-19-874783-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
46 | Jack Copeland |
Turing's great invention: the universal computing machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Turing Guide ![In: The Turing Guide., pp. 49-56, 2017, Oxford University Press, 978-0-19-874783-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
46 | Bernard Richards |
Radiolaria: validating the Turing theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Turing Guide ![In: The Turing Guide., pp. 383-388, 2017, Oxford University Press, 978-0-19-874783-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
46 | Ivor Grattan-Guinness |
Turing's mentor, Max Newman. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Turing Guide ![In: The Turing Guide., pp. 437-442, 2017, Oxford University Press, 978-0-19-874783-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
46 | Brian E. Carpenter, Robert W. Doran |
Turing's Zeitgeist. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Turing Guide ![In: The Turing Guide., pp. 223-232, 2017, Oxford University Press, 978-0-19-874783-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
46 | Rod Downey |
Turing and randomness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Turing Guide ![In: The Turing Guide., pp. 427-436, 2017, Oxford University Press, 978-0-19-874783-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
46 | Robin Whitty, Robin Wilson |
Introducing Turing's mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Turing Guide ![In: The Turing Guide., pp. 391-404, 2017, Oxford University Press, 978-0-19-874783-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
46 | Simon Greenish, Jonathan P. Bowen, Jack Copeland |
Turing's Monument. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Turing Guide ![In: The Turing Guide., pp. 189-196, 2017, Oxford University Press, 978-0-19-874783-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
46 | Philip K. Maini, Thomas E. Woolley, Eamonn A. Gaffney, Ruth E. Baker |
Turing's Theory of Developmental Pattern Formation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Once and Future Turing ![In: The Once and Future Turing: Computing the World, pp. 131-143, 2016, Cambridge University Press, 9780511863196. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
46 | J. M. E. Hyland |
The Forgotten Turing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Once and Future Turing ![In: The Once and Future Turing: Computing the World, pp. 20-33, 2016, Cambridge University Press, 9780511863196. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
46 | Philip D. Welch |
Turing Transcendent: Beyond the Event Horizon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Once and Future Turing ![In: The Once and Future Turing: Computing the World, pp. 335-360, 2016, Cambridge University Press, 9780511863196. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
46 | Stuart A. Kauffman |
Answering Descartes: Beyond Turing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Once and Future Turing ![In: The Once and Future Turing: Computing the World, pp. 163-192, 2016, Cambridge University Press, 9780511863196. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
46 | Solomon Feferman |
Turing's 'Oracle': From Absolute to Relative Computability and Back. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Once and Future Turing ![In: The Once and Future Turing: Computing the World, pp. 300-334, 2016, Cambridge University Press, 9780511863196. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
46 | Scott Aaronson |
The Ghost in the Quantum Turing Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Once and Future Turing ![In: The Once and Future Turing: Computing the World, pp. 193-296, 2016, Cambridge University Press, 9780511863196. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
46 | Kanti V. Mardia, S. Barry Cooper |
Alan Turing and Enigmatic Statistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Once and Future Turing ![In: The Once and Future Turing: Computing the World, pp. 78-89, 2016, Cambridge University Press, 9780511863196. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
46 | Richard Gordon |
Walking the Tightrope: The Dilemma of Hierarchical Instabilities in Turing's Morphogenesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Once and Future Turing ![In: The Once and Future Turing: Computing the World, pp. 144-159, 2016, Cambridge University Press, 9780511863196. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
46 | Stephen Wolfram |
What Alan Turing Might Have Discovered. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Once and Future Turing ![In: The Once and Future Turing: Computing the World, pp. 92-105, 2016, Cambridge University Press, 9780511863196. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
46 | Ueli Maurer |
Cryptography and Computation after Turing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Once and Future Turing ![In: The Once and Future Turing: Computing the World, pp. 53-77, 2016, Cambridge University Press, 9780511863196. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
46 | Andrew R. Booker |
Turing and the Primes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Once and Future Turing ![In: The Once and Future Turing: Computing the World, pp. 34-52, 2016, Cambridge University Press, 9780511863196. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
46 | Wilfried Sieg |
Step by recursive step: Church's analysis of effective calculability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing's Legacy ![In: Turing's Legacy: Developments from Turing's Ideas in Logic, pp. 434-466, 2014, Cambridge University Press, 9781107338579. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
46 | Philip D. Welch |
Transfinite machine models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing's Legacy ![In: Turing's Legacy: Developments from Turing's Ideas in Logic, pp. 493-529, 2014, Cambridge University Press, 9781107338579. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
46 | Ekaterina B. Fokina, Valentina S. Harizanov, Alexander G. Melnikov |
Computable model theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing's Legacy ![In: Turing's Legacy: Developments from Turing's Ideas in Logic, pp. 124-194, 2014, Cambridge University Press, 9781107338579. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
46 | |
ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-TURING ![ACM, 978-1-4503-3919-3 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
46 | Andrei Voronkov (eds.) |
Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![EasyChair The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
46 | Edmund M. Clarke |
Computable Real Numbers and Why They Are Still Important Today. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-TURING ![In: ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012, pp. 10:1, 2012, ACM, 978-1-4503-3919-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
46 | Butler W. Lampson |
What Computers Do: Model, Connect and Engage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-TURING ![In: ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012, pp. 5:1, 2012, ACM, 978-1-4503-3919-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
46 | Dana S. Scott |
Lambda Calculus Then and Now. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-TURING ![In: ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012, pp. 9:1, 2012, ACM, 978-1-4503-3919-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
46 | Susan L. Graham, Frances E. Allen, Barbara Liskov, Niklaus Wirth |
Programming Languages - Past Achievements and Future Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-TURING ![In: ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012, pp. 12:1, 2012, ACM, 978-1-4503-3919-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
46 | David A. Patterson 0001, Frederick P. Brooks Jr., Ivan E. Sutherland, Charles P. Thacker |
Computer Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-TURING ![In: ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012, pp. 11:1, 2012, ACM, 978-1-4503-3919-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
46 | Barbara J. Grosz, Edward A. Feigenbaum, Marvin Minsky, Judea Pearl, Raj Reddy |
Human and Machine Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-TURING ![In: ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012, pp. 4:1, 2012, ACM, 978-1-4503-3919-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
46 | Dahlia Malkhi, Fernando J. Corbató, E. Allen Emerson, Joseph Sifakis, Ken Thompson |
Systems Architecture, Design, Engineering, and Verification - The Practice in Research and Research in Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-TURING ![In: ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012, pp. 6:1, 2012, ACM, 978-1-4503-3919-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
46 | Vint Cerf, John E. Hopcroft, Robert E. Kahn, Ronald L. Rivest, Adi Shamir |
Information, Data, Security in a Networked Future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-TURING ![In: ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012, pp. 14:1, 2012, ACM, 978-1-4503-3919-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
46 | Christos H. Papadimitriou, Leonard M. Adleman, Richard M. Karp, Donald E. Knuth, Robert E. Tarjan, Leslie G. Valiant |
An Algorithmic View of the Universe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-TURING ![In: ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012, pp. 13:1, 2012, ACM, 978-1-4503-3919-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|