Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
109 | Yongming Li 0001 |
Approximation and universality of fuzzy Turing machines. |
Sci. China Ser. F Inf. Sci. |
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. |
COCOON |
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. |
Bull. Symb. Log. |
2016 |
DBLP DOI BibTeX RDF |
|
83 | Joseph Farfel, Vincent Conitzer |
Turing Trade: A Hybrid of a Turing Test and a Prediction Market. |
AMMA |
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. |
CCC |
2007 |
DBLP DOI BibTeX RDF |
|
73 | Robert I. Soare |
Computability and Incomputability. |
CiE |
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. |
The Turing Guide |
2017 |
DBLP BibTeX RDF |
|
72 | Laurent Bienvenu, David Doty, Frank Stephan 0001 |
Constructive Dimension and Turing Degrees. |
Theory Comput. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Randomness, Extractor, Degree, Turing, Constructive dimension |
70 | |
Turing's legacy: developments from Turing's ideas in logic. |
Turing's Legacy |
2014 |
DBLP DOI BibTeX RDF |
|
70 | José Hernández-Orallo, Javier Insa-Cabrera, David L. Dowe, Bill Hibbard |
Turing Tests with Turing Machines. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
64 | Amashini Naidoo, Nelishia Pillay |
Using Genetic Programming for Turing Machine Induction. |
EuroGP |
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. |
ITiCSE |
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. |
Turing's Legacy |
2014 |
DBLP DOI BibTeX RDF |
|
58 | Robert Irving Soare |
Turing and the discovery of computability. |
Turing's Legacy |
2014 |
DBLP DOI BibTeX RDF |
|
58 | Anil Nerode |
Musings on Turing's Thesis. |
Turing's Legacy |
2014 |
DBLP DOI BibTeX RDF |
|
58 | Steven Homer, Alan L. Selman |
Turing and the development of computational complexity. |
Turing's Legacy |
2014 |
DBLP DOI BibTeX RDF |
|
58 | Charles F. Miller |
Turing machines to word problems. |
Turing's Legacy |
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. |
Turing's Legacy |
2014 |
DBLP DOI BibTeX RDF |
|
58 | Dag Normann |
Higher generalizations of the Turing Model. |
Turing's Legacy |
2014 |
DBLP DOI BibTeX RDF |
|
58 | Lenore Blum |
Alan Turing and the other theory of computation (expanded). |
Turing's Legacy |
2014 |
DBLP DOI BibTeX RDF |
|
58 | Jeremy Avigad, Vasco Brattka |
Computability and analysis: the legacy of Alan Turing. |
Turing's Legacy |
2014 |
DBLP DOI BibTeX RDF |
|
58 | Rod Downey |
Computability theory, algorithmic randomness and Turing's anticipation. |
Turing's Legacy |
2014 |
DBLP DOI BibTeX RDF |
|
58 | Harry Buhrman |
Turing in Quantumland. |
Turing's Legacy |
2014 |
DBLP DOI BibTeX RDF |
|
58 | John White |
Welcome to the ACM Turing Centenary Celebration! |
ACM-TURING |
2012 |
DBLP DOI BibTeX RDF |
|
58 | Keith van Rijsbergen, Charles W. Bachman, Kelly Gotlieb, Wendy Hall 0001, William Newman |
Turing the Man. |
ACM-TURING |
2012 |
DBLP DOI BibTeX RDF |
|
58 | Juris Hartmanis, Stephen Cook, William Kahan, Richard Edwin Stearns, Andrew C. Yao |
The Turing Computational Model. |
ACM-TURING |
2012 |
DBLP DOI BibTeX RDF |
|
58 | Vinton G. Cerf |
Welcome to the ACM Turing Centenary Program. |
ACM-TURING |
2012 |
DBLP DOI BibTeX RDF |
|
58 | Alan C. Kay |
Extracting Energy from the Turing Tarpit. |
ACM-TURING |
2012 |
DBLP DOI BibTeX RDF |
|
58 | Daniel Leivant |
Alternating Turing machines and the analytical hierarchy. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
58 | Edgar G. Daylight |
Turing's Influence on Programming. |
Turing-100 |
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. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
58 | Michael Stephen Fiske |
Turing Incomputable Computation. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
58 | Rusins Freivalds |
Ultrametric automata and Turing machines. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
58 | Jozef Kelemen |
A Note on Turing's Three Pioneering Initiatives and on Their Interplays. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
58 | Yun Shang, Xian Lu, Ruqian Lu |
The computing power of Turing machine based on quantum logic. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
58 | Jeroen Fokker |
The chess example in Turing's Mind paper is really about ambiguity. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
58 | Peter Wegner, Eugene Eberbach, Mark Burgin |
Computational Completeness of Interaction Machines and Turing Machines. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
57 | Eugene Eberbach, Mark Burgin |
Evolution of evolution: Self-constructing Evolutionary Turing Machine case study. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
57 | Dina Q. Goldin, Peter Wegner |
The Church-Turing Thesis: Breaking the Myth. |
CiE |
2005 |
DBLP DOI BibTeX RDF |
|
57 | Atsuyuki Inoue, Akira Ito, Katsushi Inoue, Tokio Okazaki |
Some Properties of One-Pebble Turing Machines with Sublogarithmic Space. |
ISAAC |
2003 |
DBLP DOI BibTeX RDF |
|
57 | Natalie K. Person, Arthur C. Graesser |
Human or Computer? AutoTutor in a Bystander Turing Test. |
Intelligent Tutoring Systems |
2002 |
DBLP DOI BibTeX RDF |
|
56 | James R. Cordy, T. C. Nicholas Graham |
Design of an interpretive environment for Turing. |
PLDI |
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. |
Cognitive Systems |
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. |
STACS |
1995 |
DBLP DOI BibTeX RDF |
|
52 | David Doty |
Every Sequence Is Decompressible from a Random One. |
CiE |
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. |
CiE |
2007 |
DBLP DOI BibTeX RDF |
|
49 | Bruno Durand 0001, Andrei A. Muchnik, Maxim Ushakov, Nikolai K. Vereshchagin |
Ecological Turing Machines. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
49 | Wilson Rosa de Oliveira, Marcílio Carlos Pereira de Souto, Teresa Bernarda Ludermir |
Turing Machines with Finite Memory. |
SBRN |
2002 |
DBLP DOI BibTeX RDF |
|
49 | Benedikt Löwe |
Turing cones and set theory of the reals. |
Arch. Math. Log. |
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. |
LICS |
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. |
Cryptologia |
2012 |
DBLP DOI BibTeX RDF |
|
49 | Alan M. Turing |
Alan M. Turing's Critique of Running Short Cribs on the U. S. Navy Bombe. |
Cryptologia |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Wilfried Sieg |
On mind & Turing's machines. |
Nat. Comput. |
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. |
PRIMA |
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. |
CiE |
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. |
CiE |
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. |
ICES |
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. |
ACM SIGPLAN Notices |
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. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
46 | Diane Proudfoot |
The Turing test - from every angle. |
The Turing Guide |
2017 |
DBLP BibTeX RDF |
|
46 | Stephen Wolfram |
A century of Turing. |
The Turing Guide |
2017 |
DBLP BibTeX RDF |
|
46 | Doron Swade |
Turing, Lovelace, and Babbage. |
The Turing Guide |
2017 |
DBLP BibTeX RDF |
|
46 | David Leavitt |
Turing and the paranormal. |
The Turing Guide |
2017 |
DBLP BibTeX RDF |
|
46 | Mark D. Sprevak |
Turing's model of the mind. |
The Turing Guide |
2017 |
DBLP BibTeX RDF |
|
46 | Diane Proudfoot |
Turing's concept of intelligence. |
The Turing Guide |
2017 |
DBLP BibTeX RDF |
|
46 | Thomas E. Woolley, Ruth E. Baker, Philip K. Maini |
Turing's theory of morphogenesis. |
The Turing Guide |
2017 |
DBLP BibTeX RDF |
|
46 | Brian Randell |
Turing and the origins of digital computers. |
The Turing Guide |
2017 |
DBLP BibTeX RDF |
|
46 | Jonathan P. Bowen, Jack Copeland |
Turing's legacy. |
The Turing Guide |
2017 |
DBLP BibTeX RDF |
|
46 | Jack Copeland |
Turing's great invention: the universal computing machine. |
The Turing Guide |
2017 |
DBLP BibTeX RDF |
|
46 | Bernard Richards |
Radiolaria: validating the Turing theory. |
The Turing Guide |
2017 |
DBLP BibTeX RDF |
|
46 | Ivor Grattan-Guinness |
Turing's mentor, Max Newman. |
The Turing Guide |
2017 |
DBLP BibTeX RDF |
|
46 | Brian E. Carpenter, Robert W. Doran |
Turing's Zeitgeist. |
The Turing Guide |
2017 |
DBLP BibTeX RDF |
|
46 | Rod Downey |
Turing and randomness. |
The Turing Guide |
2017 |
DBLP BibTeX RDF |
|
46 | Robin Whitty, Robin Wilson |
Introducing Turing's mathematics. |
The Turing Guide |
2017 |
DBLP BibTeX RDF |
|
46 | Simon Greenish, Jonathan P. Bowen, Jack Copeland |
Turing's Monument. |
The Turing Guide |
2017 |
DBLP BibTeX RDF |
|
46 | Philip K. Maini, Thomas E. Woolley, Eamonn A. Gaffney, Ruth E. Baker |
Turing's Theory of Developmental Pattern Formation. |
The Once and Future Turing |
2016 |
DBLP DOI BibTeX RDF |
|
46 | J. M. E. Hyland |
The Forgotten Turing. |
The Once and Future Turing |
2016 |
DBLP DOI BibTeX RDF |
|
46 | Philip D. Welch |
Turing Transcendent: Beyond the Event Horizon. |
The Once and Future Turing |
2016 |
DBLP DOI BibTeX RDF |
|
46 | Stuart A. Kauffman |
Answering Descartes: Beyond Turing. |
The Once and Future Turing |
2016 |
DBLP DOI BibTeX RDF |
|
46 | Solomon Feferman |
Turing's 'Oracle': From Absolute to Relative Computability and Back. |
The Once and Future Turing |
2016 |
DBLP DOI BibTeX RDF |
|
46 | Scott Aaronson |
The Ghost in the Quantum Turing Machine. |
The Once and Future Turing |
2016 |
DBLP DOI BibTeX RDF |
|
46 | Kanti V. Mardia, S. Barry Cooper |
Alan Turing and Enigmatic Statistics. |
The Once and Future Turing |
2016 |
DBLP DOI BibTeX RDF |
|
46 | Richard Gordon |
Walking the Tightrope: The Dilemma of Hierarchical Instabilities in Turing's Morphogenesis. |
The Once and Future Turing |
2016 |
DBLP DOI BibTeX RDF |
|
46 | Stephen Wolfram |
What Alan Turing Might Have Discovered. |
The Once and Future Turing |
2016 |
DBLP DOI BibTeX RDF |
|
46 | Ueli Maurer |
Cryptography and Computation after Turing. |
The Once and Future Turing |
2016 |
DBLP DOI BibTeX RDF |
|
46 | Andrew R. Booker |
Turing and the Primes. |
The Once and Future Turing |
2016 |
DBLP DOI BibTeX RDF |
|
46 | Wilfried Sieg |
Step by recursive step: Church's analysis of effective calculability. |
Turing's Legacy |
2014 |
DBLP DOI BibTeX RDF |
|
46 | Philip D. Welch |
Transfinite machine models. |
Turing's Legacy |
2014 |
DBLP DOI BibTeX RDF |
|
46 | Ekaterina B. Fokina, Valentina S. Harizanov, Alexander G. Melnikov |
Computable model theory. |
Turing's Legacy |
2014 |
DBLP DOI BibTeX RDF |
|
46 | |
ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012 |
ACM-TURING |
2012 |
DBLP DOI BibTeX RDF |
|
46 | Andrei Voronkov (eds.) |
Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012 |
Turing-100 |
2012 |
DBLP BibTeX RDF |
|
46 | Edmund M. Clarke |
Computable Real Numbers and Why They Are Still Important Today. |
ACM-TURING |
2012 |
DBLP DOI BibTeX RDF |
|
46 | Butler W. Lampson |
What Computers Do: Model, Connect and Engage. |
ACM-TURING |
2012 |
DBLP DOI BibTeX RDF |
|
46 | Dana S. Scott |
Lambda Calculus Then and Now. |
ACM-TURING |
2012 |
DBLP DOI BibTeX RDF |
|
46 | Susan L. Graham, Frances E. Allen, Barbara Liskov, Niklaus Wirth |
Programming Languages - Past Achievements and Future Challenges. |
ACM-TURING |
2012 |
DBLP DOI BibTeX RDF |
|
46 | David A. Patterson 0001, Frederick P. Brooks Jr., Ivan E. Sutherland, Charles P. Thacker |
Computer Architecture. |
ACM-TURING |
2012 |
DBLP DOI BibTeX RDF |
|
46 | Barbara J. Grosz, Edward A. Feigenbaum, Marvin Minsky, Judea Pearl, Raj Reddy |
Human and Machine Intelligence. |
ACM-TURING |
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. |
ACM-TURING |
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. |
ACM-TURING |
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. |
ACM-TURING |
2012 |
DBLP DOI BibTeX RDF |
|