## Turing-100: BibTeX Entries## Volume@proceedings{Turing-100, title = {Turing-100. The Alan Turing Centenary}, editor = {Andrei Voronkov}, series = {EPiC Series in Computing}, volume = {10}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2398-7340}, year = {2012}} ## Papers@inproceedings{Turing-100:Computing_with_Metabolic_Machines, author = {Claudio Angione and Giovanni Carapezza and Jole Costanza and Pietro Lio and Giuseppe Nicosia}, title = {Computing with Metabolic Machines}, booktitle = {Turing-100. The Alan Turing Centenary}, editor = {Andrei Voronkov}, series = {EPiC Series in Computing}, volume = {10}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2398-7340}, url = {/publications/paper/FRz}, doi = {10.29007/t48n}, pages = {1-15}, year = {2012}} @inproceedings{Turing-100:What_kind_machine_is, author = {Joscha Bach and Mario Verdicchio}, title = {What kind of machine is the mind?}, booktitle = {Turing-100. The Alan Turing Centenary}, editor = {Andrei Voronkov}, series = {EPiC Series in Computing}, volume = {10}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2398-7340}, url = {/publications/paper/47j}, doi = {10.29007/k6f4}, pages = {16-19}, year = {2012}} @inproceedings{Turing-100:Info_Computation_Turn_Physics, author = {Israel Belfer}, title = {The Info-Computation Turn in Physics}, booktitle = {Turing-100. The Alan Turing Centenary}, editor = {Andrei Voronkov}, series = {EPiC Series in Computing}, volume = {10}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2398-7340}, url = {/publications/paper/JrzD}, doi = {10.29007/b3r2}, pages = {20-33}, year = {2012}} @inproceedings{Turing-100:Natural_Representations_Objects, author = {Fouad Chedid}, title = {On Natural Representations of Objects}, booktitle = {Turing-100. The Alan Turing Centenary}, editor = {Andrei Voronkov}, series = {EPiC Series in Computing}, volume = {10}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2398-7340}, url = {/publications/paper/Zw}, doi = {10.29007/gpkw}, pages = {34-41}, year = {2012}} @inproceedings{Turing-100:Turings_Influence_Programming, author = {Edgar G. Daylight}, title = {Turing's Influence on Programming}, booktitle = {Turing-100. The Alan Turing Centenary}, editor = {Andrei Voronkov}, series = {EPiC Series in Computing}, volume = {10}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2398-7340}, url = {/publications/paper/MFq}, doi = {10.29007/n93n}, pages = {42-52}, year = {2012}} @inproceedings{Turing-100:Computing_Nash_Equilibria_Unbounded, author = {Martin Escardo and Paulo Oliva}, title = {Computing Nash Equilibria of Unbounded Games}, booktitle = {Turing-100. The Alan Turing Centenary}, editor = {Andrei Voronkov}, series = {EPiC Series in Computing}, volume = {10}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2398-7340}, url = {/publications/paper/D94m}, doi = {10.29007/1wpl}, pages = {53-65}, year = {2012}} @inproceedings{Turing-100:Turing_Incomputable_Computation, author = {Michael Stephen Fiske}, title = {Turing Incomputable Computation}, booktitle = {Turing-100. The Alan Turing Centenary}, editor = {Andrei Voronkov}, series = {EPiC Series in Computing}, volume = {10}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2398-7340}, url = {/publications/paper/Jxss}, doi = {10.29007/x5g2}, pages = {66-91}, year = {2012}} @inproceedings{Turing-100:chess_example_Turings_Mind, author = {Jeroen Fokker}, title = {The chess example in Turing's Mind paper is really about ambiguity}, booktitle = {Turing-100. The Alan Turing Centenary}, editor = {Andrei Voronkov}, series = {EPiC Series in Computing}, volume = {10}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2398-7340}, url = {/publications/paper/fMWM}, doi = {10.29007/bmfh}, pages = {92-97}, year = {2012}} @inproceedings{Turing-100:Ultrametric_automata_Turing_machines, author = {Rusins Freivalds}, title = {Ultrametric automata and Turing machines}, booktitle = {Turing-100. The Alan Turing Centenary}, editor = {Andrei Voronkov}, series = {EPiC Series in Computing}, volume = {10}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2398-7340}, url = {/publications/paper/K3}, doi = {10.29007/tdf5}, pages = {98-112}, year = {2012}} @inproceedings{Turing-100:Molecular_computations_with_competitive, author = {Anthony J. Genot and Teruo Fujii and Yannick Rondelez}, title = {Molecular computations with competitive neural networks that exploit linear and nonlinear kinetics}, booktitle = {Turing-100. The Alan Turing Centenary}, editor = {Andrei Voronkov}, series = {EPiC Series in Computing}, volume = {10}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2398-7340}, url = {/publications/paper/SW}, doi = {10.29007/rfzv}, pages = {113-117}, year = {2012}} @inproceedings{Turing-100:Secure_Communication_over_Zero, author = {Laszlo Gyongyosi and Sandor Imre}, title = {Secure Communication over Zero-Private Capacity Quantum Channels}, booktitle = {Turing-100. The Alan Turing Centenary}, editor = {Andrei Voronkov}, series = {EPiC Series in Computing}, volume = {10}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2398-7340}, url = {/publications/paper/m6ht}, doi = {10.29007/pcxv}, pages = {118-131}, year = {2012}} @inproceedings{Turing-100:Mathematical_Boundaries_Communication_with, author = {Laszlo Gyongyosi and Sandor Imre}, title = {On the Mathematical Boundaries of Communication with Zero-Capacity Quantum Channels}, booktitle = {Turing-100. The Alan Turing Centenary}, editor = {Andrei Voronkov}, series = {EPiC Series in Computing}, volume = {10}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2398-7340}, url = {/publications/paper/dvsF}, doi = {10.29007/7h1q}, pages = {132-139}, year = {2012}} @inproceedings{Turing-100:Turing_Tests_with_Turing, author = {Jose Hernandez-Orallo and Javier Insa and David Dowe and Bill Hibbard}, title = {Turing Tests with Turing Machines}, booktitle = {Turing-100. The Alan Turing Centenary}, editor = {Andrei Voronkov}, series = {EPiC Series in Computing}, volume = {10}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2398-7340}, url = {/publications/paper/qD}, doi = {10.29007/9n7d}, pages = {140-156}, year = {2012}} @inproceedings{Turing-100:Logic_Probability_Privacy_Framework, author = {Tsan-Sheng Hsu and Churn-Jung Liau and Da-Wei Wang}, title = {Logic, Probability, and Privacy: A Framework for Specifying Privacy Requirements}, booktitle = {Turing-100. The Alan Turing Centenary}, editor = {Andrei Voronkov}, series = {EPiC Series in Computing}, volume = {10}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2398-7340}, url = {/publications/paper/Kc}, doi = {10.29007/xs4z}, pages = {157-167}, year = {2012}} @inproceedings{Turing-100:Generalizations_Rices_Theorem_Applicable, author = {Cornelis Huizing and Ruurd Kuiper and Tom Verhoeff}, title = {Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms}, booktitle = {Turing-100. The Alan Turing Centenary}, editor = {Andrei Voronkov}, series = {EPiC Series in Computing}, volume = {10}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2398-7340}, url = {/publications/paper/QNGJ}, doi = {10.29007/jnl6}, pages = {168-180}, year = {2012}} @inproceedings{Turing-100:Graph_Symmetry_Detection_Canonical, author = {Hadi Katebi and Karem A. Sakallah and Igor L. Markov}, title = {Graph Symmetry Detection and Canonical Labeling: Differences and Synergies}, booktitle = {Turing-100. The Alan Turing Centenary}, editor = {Andrei Voronkov}, series = {EPiC Series in Computing}, volume = {10}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2398-7340}, url = {/publications/paper/2vbW}, doi = {10.29007/gzc1}, pages = {181-195}, year = {2012}} @inproceedings{Turing-100:Note_Turings_Three_Pioneering, author = {Jozef Kelemen}, title = {A Note on Turing’s Three Pioneering Initiatives and on Their Interplays}, booktitle = {Turing-100. The Alan Turing Centenary}, editor = {Andrei Voronkov}, series = {EPiC Series in Computing}, volume = {10}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2398-7340}, url = {/publications/paper/Mkm}, doi = {10.29007/r4xx}, pages = {196-203}, year = {2012}} @inproceedings{Turing-100:Alternating_Turing_machines_analytical, author = {Daniel Leivant}, title = {Alternating Turing machines and the analytical hierarchy}, booktitle = {Turing-100. The Alan Turing Centenary}, editor = {Andrei Voronkov}, series = {EPiC Series in Computing}, volume = {10}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2398-7340}, url = {/publications/paper/5Ng}, doi = {10.29007/t77g}, pages = {204-213}, year = {2012}} @inproceedings{Turing-100:Vector_Addition_Systems_Reachability, author = {Jerome Leroux}, title = {Vector Addition Systems Reachability Problem (A Simpler Solution)}, booktitle = {Turing-100. The Alan Turing Centenary}, editor = {Andrei Voronkov}, series = {EPiC Series in Computing}, volume = {10}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2398-7340}, url = {/publications/paper/Blr}, doi = {10.29007/bnx2}, pages = {214-228}, year = {2012}} @inproceedings{Turing-100:Utilizing_Hoare_Logic_Strengthen, author = {Shaoying Liu}, title = {Utilizing Hoare Logic to Strengthen Testing for Error Detection in Programs}, booktitle = {Turing-100. The Alan Turing Centenary}, editor = {Andrei Voronkov}, series = {EPiC Series in Computing}, volume = {10}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2398-7340}, url = {/publications/paper/476}, doi = {10.29007/fml1}, pages = {229-238}, year = {2012}} @inproceedings{Turing-100:Turing_O_Machine_DIME, author = {Rao Mikkilineni and Albert Comparini and Giovanni Morana}, title = {The Turing O-Machine and the DIME Network Architecture: Injecting the Architectural Resiliency into Distributed Computing}, booktitle = {Turing-100. The Alan Turing Centenary}, editor = {Andrei Voronkov}, series = {EPiC Series in Computing}, volume = {10}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2398-7340}, url = {/publications/paper/gBD}, doi = {10.29007/44jw}, pages = {239-251}, year = {2012}} @inproceedings{Turing-100:Glory_Past_Geometrical_Concurrency, author = {Cristian Prisacariu}, title = {The Glory of the Past and Geometrical Concurrency}, booktitle = {Turing-100. The Alan Turing Centenary}, editor = {Andrei Voronkov}, series = {EPiC Series in Computing}, volume = {10}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2398-7340}, url = {/publications/paper/j}, doi = {10.29007/klcl}, pages = {252-267}, year = {2012}} @inproceedings{Turing-100:Impact_Information_Technologies_Society, author = {Frederic Prost}, title = {On the Impact of Information Technologies on Society: an Historical Perspective through the Game of Chess}, booktitle = {Turing-100. The Alan Turing Centenary}, editor = {Andrei Voronkov}, series = {EPiC Series in Computing}, volume = {10}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2398-7340}, url = {/publications/paper/KLv}, doi = {10.29007/gs6m}, pages = {268-277}, year = {2012}} @inproceedings{Turing-100:computing_power_Turing_machine, author = {Yun Shang and Xian Lu and Ruqian Lu}, title = {The computing power of Turing machine based on quantum logic}, booktitle = {Turing-100. The Alan Turing Centenary}, editor = {Andrei Voronkov}, series = {EPiC Series in Computing}, volume = {10}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2398-7340}, url = {/publications/paper/hsrJ}, doi = {10.29007/k8cb}, pages = {278-288}, year = {2012}} @inproceedings{Turing-100:Feature_Selection_Ensemble, author = {Qiang Shen and Ren Diao and Pan Su}, title = {Feature Selection Ensemble}, booktitle = {Turing-100. The Alan Turing Centenary}, editor = {Andrei Voronkov}, series = {EPiC Series in Computing}, volume = {10}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2398-7340}, url = {/publications/paper/8Q8h}, doi = {10.29007/rlxq}, pages = {289-306}, year = {2012}} @inproceedings{Turing-100:Towards_Expressive_Practical_Logical, author = {Mikhail Soutchanski and Wael Yehia}, title = {Towards an Expressive Practical Logical Action Theory}, booktitle = {Turing-100. The Alan Turing Centenary}, editor = {Andrei Voronkov}, series = {EPiC Series in Computing}, volume = {10}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2398-7340}, url = {/publications/paper/tcmR}, doi = {10.29007/2m22}, pages = {307-325}, year = {2012}} @inproceedings{Turing-100:Unified_View_Induction_Reasoning, author = {Sorin Stratulat}, title = {A Unified View of Induction Reasoning for First-Order Logic}, booktitle = {Turing-100. The Alan Turing Centenary}, editor = {Andrei Voronkov}, series = {EPiC Series in Computing}, volume = {10}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2398-7340}, url = {/publications/paper/4qw}, doi = {10.29007/nsx4}, pages = {326-352}, year = {2012}} @inproceedings{Turing-100:Towards_Information_Theoretic_Approach, author = {Omri Tal}, title = {Towards an Information-Theoretic Approach to Population Structure}, booktitle = {Turing-100. The Alan Turing Centenary}, editor = {Andrei Voronkov}, series = {EPiC Series in Computing}, volume = {10}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2398-7340}, url = {/publications/paper/8T6}, doi = {10.29007/268w}, pages = {353-369}, year = {2012}} @inproceedings{Turing-100:Soul_New_Cliché_Conventions, author = {Tony Veale}, title = {The Soul of a New Cliché: Conventions and Meta-Conventions in the Creative Linguistic Variation of Familiar Forms }, booktitle = {Turing-100. The Alan Turing Centenary}, editor = {Andrei Voronkov}, series = {EPiC Series in Computing}, volume = {10}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2398-7340}, url = {/publications/paper/lL}, doi = {10.29007/lx8f}, pages = {370-385}, year = {2012}} @inproceedings{Turing-100:Unifying_Equivalences_Timed_Transition, author = {Irina Virbitskaite and Natalya Gribovskaya and Eike Best}, title = {Unifying Equivalences for Timed Transition Systems}, booktitle = {Turing-100. The Alan Turing Centenary}, editor = {Andrei Voronkov}, series = {EPiC Series in Computing}, volume = {10}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2398-7340}, url = {/publications/paper/bfc}, doi = {10.29007/kkds}, pages = {386-404}, year = {2012}} @inproceedings{Turing-100:Computational_Completeness_Interaction_Machines, author = {Peter Wegner and Eugene Eberbach and Mark Burgin}, title = {Computational Completeness of Interaction Machines and Turing Machines}, booktitle = {Turing-100. The Alan Turing Centenary}, editor = {Andrei Voronkov}, series = {EPiC Series in Computing}, volume = {10}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2398-7340}, url = {/publications/paper/DXKk}, doi = {10.29007/39jj}, pages = {405-414}, year = {2012}} @inproceedings{Turing-100:Frame_Problem_Semantics_Classical, author = {Graham White}, title = {The Frame Problem and the Semantics of Classical Proofs}, booktitle = {Turing-100. The Alan Turing Centenary}, editor = {Andrei Voronkov}, series = {EPiC Series in Computing}, volume = {10}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2398-7340}, url = {/publications/paper/bHZp}, doi = {10.29007/3tl4}, pages = {415-429}, year = {2012}} |