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