## 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}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}} ## 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}, pages = {1--15}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}, url = {https://easychair.org/publications/paper/FRz}, doi = {10.29007/t48n}} @inproceedings{Turing-100:What_kind_of_machine, 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}, pages = {16--19}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}, url = {https://easychair.org/publications/paper/47j}, doi = {10.29007/k6f4}} @inproceedings{Turing-100:Info_Computation_Turn_in_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}, pages = {20--33}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}, url = {https://easychair.org/publications/paper/JrzD}, doi = {10.29007/b3r2}} @inproceedings{Turing-100:On_Natural_Representations_of, 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}, pages = {34--41}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}, url = {https://easychair.org/publications/paper/Zw}, doi = {10.29007/gpkw}} @inproceedings{Turing-100:Turings_Influence_on_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}, pages = {42--52}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}, url = {https://easychair.org/publications/paper/MFq}, doi = {10.29007/n93n}} @inproceedings{Turing-100:Computing_Nash_Equilibria_of, 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}, pages = {53--65}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}, url = {https://easychair.org/publications/paper/D94m}, doi = {10.29007/1wpl}} @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}, pages = {66--91}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}, url = {https://easychair.org/publications/paper/Jxss}, doi = {10.29007/x5g2}} @inproceedings{Turing-100:chess_example_in_Turings, 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}, pages = {92--97}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}, url = {https://easychair.org/publications/paper/fMWM}, doi = {10.29007/bmfh}} @inproceedings{Turing-100:Ultrametric_automata_and_Turing, 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}, pages = {98--112}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}, url = {https://easychair.org/publications/paper/K3}, doi = {10.29007/tdf5}} @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}, pages = {113--117}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}, url = {https://easychair.org/publications/paper/SW}, doi = {10.29007/rfzv}} @inproceedings{Turing-100:Secure_Communication_over_Zero_Private, 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}, pages = {118--131}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}, url = {https://easychair.org/publications/paper/m6ht}, doi = {10.29007/pcxv}} @inproceedings{Turing-100:On_Mathematical_Boundaries_of, 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}, pages = {132--139}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}, url = {https://easychair.org/publications/paper/dvsF}, doi = {10.29007/7h1q}} @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}, pages = {140--156}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}, url = {https://easychair.org/publications/paper/qD}, doi = {10.29007/9n7d}} @inproceedings{Turing-100:Logic_Probability_and_Privacy, 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}, pages = {157--167}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}, url = {https://easychair.org/publications/paper/Kc}, doi = {10.29007/xs4z}} @inproceedings{Turing-100:Generalizations_of_Rices_Theorem, 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}, pages = {168--180}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}, url = {https://easychair.org/publications/paper/QNGJ}, doi = {10.29007/jnl6}} @inproceedings{Turing-100:Graph_Symmetry_Detection_and, 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}, pages = {181--195}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}, url = {https://easychair.org/publications/paper/2vbW}, doi = {10.29007/gzc1}} @inproceedings{Turing-100:Note_on_Turings_Three, 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}, pages = {196--203}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}, url = {https://easychair.org/publications/paper/Mkm}, doi = {10.29007/r4xx}} @inproceedings{Turing-100:Alternating_Turing_machines_and, 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}, pages = {204--213}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}, url = {https://easychair.org/publications/paper/5Ng}, doi = {10.29007/t77g}} @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}, pages = {214--228}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}, url = {https://easychair.org/publications/paper/Blr}, doi = {10.29007/bnx2}} @inproceedings{Turing-100:Utilizing_Hoare_Logic_to, 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}, pages = {229--238}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}, url = {https://easychair.org/publications/paper/476}, doi = {10.29007/fml1}} @inproceedings{Turing-100:Turing_O_Machine_and_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}, pages = {239--251}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}, url = {https://easychair.org/publications/paper/gBD}, doi = {10.29007/44jw}} @inproceedings{Turing-100:Glory_of_Past_and, 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}, pages = {252--267}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}, url = {https://easychair.org/publications/paper/j}, doi = {10.29007/klcl}} @inproceedings{Turing-100:On_Impact_of_Information, 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}, pages = {268--277}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}, url = {https://easychair.org/publications/paper/KLv}, doi = {10.29007/gs6m}} @inproceedings{Turing-100:computing_power_of_Turing, 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}, pages = {278--288}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}, url = {https://easychair.org/publications/paper/hsrJ}, doi = {10.29007/k8cb}} @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}, pages = {289--306}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}, url = {https://easychair.org/publications/paper/8Q8h}, doi = {10.29007/rlxq}} @inproceedings{Turing-100:Towards_an_Expressive_Practical, 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}, pages = {307--325}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}, url = {https://easychair.org/publications/paper/tcmR}, doi = {10.29007/2m22}} @inproceedings{Turing-100:Unified_View_of_Induction, 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}, pages = {326--352}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}, url = {https://easychair.org/publications/paper/4qw}, doi = {10.29007/nsx4}} @inproceedings{Turing-100:Towards_an_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}, pages = {353--369}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}, url = {https://easychair.org/publications/paper/8T6}, doi = {10.29007/268w}} @inproceedings{Turing-100:Soul_of_New_Cliche, author = {Tony Veale}, title = {The Soul of a New Clich\textbackslash{}'e: 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}, pages = {370--385}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}, url = {https://easychair.org/publications/paper/lL}, doi = {10.29007/lx8f}} @inproceedings{Turing-100:Unifying_Equivalences_for_Timed, 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}, pages = {386--404}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}, url = {https://easychair.org/publications/paper/bfc}, doi = {10.29007/kkds}} @inproceedings{Turing-100:Computational_Completeness_of_Interaction, 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}, pages = {405--414}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}, url = {https://easychair.org/publications/paper/DXKk}, doi = {10.29007/39jj}} @inproceedings{Turing-100:Frame_Problem_and_Semantics, 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}, pages = {415--429}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}, url = {https://easychair.org/publications/paper/bHZp}, doi = {10.29007/3tl4}} |