EasyChair Publications
Search
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}}