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