Turing100 Author Index Author  Papers 

A  Angione, Claudio  Computing with Metabolic Machines  B  Bach, Joscha  What kind of machine is the mind?  Belfer, Israel  The InfoComputation Turn in Physics  Best, Eike  Unifying Equivalences for Timed Transition Systems  Burgin, Mark  Computational Completeness of Interaction Machines and Turing Machines  C  Carapezza, Giovanni  Computing with Metabolic Machines  Chedid, Fouad  On Natural Representations of Objects  Comparini, Albert  The Turing OMachine and the DIME Network Architecture: Injecting the Architectural Resiliency into Distributed Computing  Costanza, Jole  Computing with Metabolic Machines  D  Daylight, Edgar  Turing's Influence on Programming  Diao, Ren  Feature Selection Ensemble  Dowe, David  Turing Tests with Turing Machines  E  Eberbach, Eugene  Computational Completeness of Interaction Machines and Turing Machines  Escardo, Martin  Computing Nash Equilibria of Unbounded Games  F  Fiske, Michael  Turing Incomputable Computation  Fokker, Jeroen  The chess example in Turing's Mind paper is really about ambiguity  Freivalds, Rusins  Ultrametric automata and Turing machines  Fujii, Teruo  Molecular computations with competitive neural networks that exploit linear and nonlinear kinetics  G  Genot, Anthony J.  Molecular computations with competitive neural networks that exploit linear and nonlinear kinetics  Gribovskaya, Nataliya  Unifying Equivalences for Timed Transition Systems  Gyongyosi, Laszlo  Secure Communication over ZeroPrivate Capacity Quantum Channels On the Mathematical Boundaries of Communication with ZeroCapacity Quantum Channels  H  HernandezOrallo, Jose  Turing Tests with Turing Machines  Hibbard, Bill  Turing Tests with Turing Machines  Hsu, TsanSheng  Logic, Probability, and Privacy: A Framework for Specifying Privacy Requirements  Huizing, Cornelis  Generalizations of Rice's Theorem, Applicable to Executable and NonExecutable Formalisms  I  Imre, Sandor  Secure Communication over ZeroPrivate Capacity Quantum Channels  Imre, Sandor  On the Mathematical Boundaries of Communication with ZeroCapacity Quantum Channels  Insa, Javier  Turing Tests with Turing Machines  K  Katebi, Hadi  Graph Symmetry Detection and Canonical Labeling: Differences and Synergies  Kelemen, Jozef  A Note on Turing’s Three Pioneering Initiatives and on Their Interplays  Kuiper, Ruurd  Generalizations of Rice's Theorem, Applicable to Executable and NonExecutable Formalisms  L  Leivant, Daniel  Alternating Turing machines and the analytical hierarchy  Leroux, Jerome  Vector Addition Systems Reachability Problem (A Simpler Solution)  Liau, ChurnJung  Logic, Probability, and Privacy: A Framework for Specifying Privacy Requirements  Lio`, Pietro  Computing with Metabolic Machines  Liu, Shaoying  Utilizing Hoare Logic to Strengthen Testing for Error Detection in Programs  Lu, Ruqian  The computing power of Turing machine based on quantum logic  Lu, Xian  The computing power of Turing machine based on quantum logic  M  Markov, Igor L.  Graph Symmetry Detection and Canonical Labeling: Differences and Synergies  Mikkilineni, Rao  The Turing OMachine and the DIME Network Architecture: Injecting the Architectural Resiliency into Distributed Computing  Morana, Giovanni  The Turing OMachine and the DIME Network Architecture: Injecting the Architectural Resiliency into Distributed Computing  N  Nicosia, Giuseppe  Computing with Metabolic Machines  O  Oliva, Paulo  Computing Nash Equilibria of Unbounded Games  P  Prisacariu, Cristian  The Glory of the Past and Geometrical Concurrency  Prost, Frederic  On the Impact of Information Technologies on Society: an Historical Perspective through the Game of Chess  R  Rondelez, Yannick  Molecular computations with competitive neural networks that exploit linear and nonlinear kinetics  S  Sakallah, Karem A.  Graph Symmetry Detection and Canonical Labeling: Differences and Synergies  Shang, Yun  The computing power of Turing machine based on quantum logic  Shen, Qiang  Feature Selection Ensemble  Soutchanski, Mikhail  Towards an Expressive Practical Logical Action Theory  Stratulat, Sorin  A Unified View of Induction Reasoning for FirstOrder Logic  Su, Pan  Feature Selection Ensemble  T  Tal, Omri  Towards an InformationTheoretic Approach to Population Structure  V  Veale, Tony  The Soul of a New Cliché: Conventions and MetaConventions in the Creative Linguistic Variation of Familiar Forms  Verdicchio, Mario  What kind of machine is the mind?  Verhoeff, Tom  Generalizations of Rice's Theorem, Applicable to Executable and NonExecutable Formalisms  Virbitskaite, Irina  Unifying Equivalences for Timed Transition Systems  W  Wang, DaWei  Logic, Probability, and Privacy: A Framework for Specifying Privacy Requirements  Wegner, Peter  Computational Completeness of Interaction Machines and Turing Machines  White, Graham  The Frame Problem and the Semantics of Classical Proofs  Y  Yehia, Wael  Towards an Expressive Practical Logical Action Theory 
