Turing-100 BibTeX Entries

Volume: | Andrei Voronkov (editor) Turing-100. The Alan Turing Centenary |

## 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}} @inproceedings{Turing-100:What_kind_of_machine_is_the_mind, 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}} @inproceedings{Turing-100:The_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}} @inproceedings{Turing-100:On_Natural_Representations_of_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}, pages = {34-41}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}} @inproceedings{Turing-100:Turing_s_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}} @inproceedings{Turing-100:Computing_Nash_Equilibria_of_Unbounded_Games, 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}} @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}} @inproceedings{Turing-100:The_chess_example_in_Turing_s_Mind_paper_is_really_about_ambiguity, 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}} @inproceedings{Turing-100:Ultrametric_automata_and_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}, pages = {98-112}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}} @inproceedings{Turing-100:Molecular_computations_with_competitive_neural_networks_that_exploit_linear_and_nonlinear_kinetics, 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}} @inproceedings{Turing-100:Secure_Communication_over_Zero-Private_Capacity_Quantum_Channels, 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}} @inproceedings{Turing-100:On_the_Mathematical_Boundaries_of_Communication_with_Zero-Capacity_Quantum_Channels, 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}} @inproceedings{Turing-100:Turing_Tests_with_Turing_Machines, 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}} @inproceedings{Turing-100:Logic_Probability_and_Privacy_A_Framework_for_Specifying_Privacy_Requirements, 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}} @inproceedings{Turing-100:Generalizations_of_Rice_s_Theorem_Applicable_to_Executable_and_Non-Executable_Formalisms, 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}} @inproceedings{Turing-100:Graph_Symmetry_Detection_and_Canonical_Labeling_Differences_and_Synergies, 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}} @inproceedings{Turing-100:A_Note_on_Turing_s_Three_Pioneering_Initiatives_and_on_Their_Interplays, 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}} @inproceedings{Turing-100:Alternating_Turing_machines_and_the_analytical_hierarchy, 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}} @inproceedings{Turing-100:Vector_Addition_Systems_Reachability_Problem_A_Simpler_Solution, 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}} @inproceedings{Turing-100:Utilizing_Hoare_Logic_to_Strengthen_Testing_for_Error_Detection_in_Programs, 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}} @inproceedings{Turing-100:The_Turing_O-Machine_and_the_DIME_Network_Architecture_Injecting_the_Architectural_Resiliency_into_Distributed_Computing, 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}} @inproceedings{Turing-100:The_Glory_of_the_Past_and_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}, pages = {252-267}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}} @inproceedings{Turing-100:On_the_Impact_of_Information_Technologies_on_Society_an_Historical_Perspective_through_the_Game_of_Chess, 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}} @inproceedings{Turing-100:The_computing_power_of_Turing_machine_based_on_quantum_logic, 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}} @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}} @inproceedings{Turing-100:Towards_an_Expressive_Practical_Logical_Action_Theory, 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}} @inproceedings{Turing-100:A_Unified_View_of_Induction_Reasoning_for_First-Order_Logic, 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}} @inproceedings{Turing-100:Towards_an_Information-Theoretic_Approach_to_Population_Structure, 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}} @inproceedings{Turing-100:The_Soul_of_a_New_Clich_Conventions_and_Meta-Conventions_in_the_Creative_Linguistic_Variation_of_Familiar_Forms, author = {Tony Veale}, title = {The Soul of a New Clich\verb=\='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}} @inproceedings{Turing-100:Unifying_Equivalences_for_Timed_Transition_Systems, 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}} @inproceedings{Turing-100:Computational_Completeness_of_Interaction_Machines_and_Turing_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}, pages = {405-414}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2398-7340}} @inproceedings{Turing-100:The_Frame_Problem_and_the_Semantics_of_Classical_Proofs, 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}}