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, https://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, https://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, https://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, https://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, https://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, https://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, https://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, https://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, https://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, https://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, https://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, https://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, https://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, https://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, https://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, https://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, https://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, https://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, https://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, https://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, https://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, https://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, https://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, https://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, https://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, https://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, https://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, https://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, https://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, https://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, https://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, https://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, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/bHZp},
doi = {10.29007/3tl4}}