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}}

@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}}

@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}}

@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}}

@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}}

@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}}

@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: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}}

@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}}

@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}}

@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}}

@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}}

@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}}

@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}}

@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}}

@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}}

@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}}

@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}}

@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}}

@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}}

@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}}

@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}}

@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}}

@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}}

@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,
  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: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}}

@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}}

@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}}

@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}}

@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}}

@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}}