EasyChair Publications
Search
Turing-100 Author Index
Volume:Andrei Voronkov (editor)
Turing-100. The Alan Turing Centenary
AuthorPapers
A
Angione, ClaudioComputing with Metabolic Machines
B
Bach, JoschaWhat kind of machine is the mind?
Belfer, IsraelThe Info-Computation Turn in Physics
Best, EikeUnifying Equivalences for Timed Transition Systems
Burgin, MarkComputational Completeness of Interaction Machines and Turing Machines
C
Carapezza, GiovanniComputing with Metabolic Machines
Chedid, FouadOn Natural Representations of Objects
Comparini, AlbertThe Turing O-Machine and the DIME Network Architecture: Injecting the Architectural Resiliency into Distributed Computing
Costanza, JoleComputing with Metabolic Machines
D
Daylight, EdgarTuring's Influence on Programming
Diao, RenFeature Selection Ensemble
Dowe, DavidTuring Tests with Turing Machines
E
Eberbach, EugeneComputational Completeness of Interaction Machines and Turing Machines
Escardo, MartinComputing Nash Equilibria of Unbounded Games
F
Fiske, MichaelTuring Incomputable Computation
Fokker, JeroenThe chess example in Turing's Mind paper is really about ambiguity
Freivalds, RusinsUltrametric automata and Turing machines
Fujii, TeruoMolecular 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, NataliyaUnifying Equivalences for Timed Transition Systems
Gyongyosi, LaszloSecure Communication over Zero-Private Capacity Quantum Channels
On the Mathematical Boundaries of Communication with Zero-Capacity Quantum Channels
H
Hernandez-Orallo, JoseTuring Tests with Turing Machines
Hibbard, BillTuring Tests with Turing Machines
Hsu, Tsan-ShengLogic, Probability, and Privacy: A Framework for Specifying Privacy Requirements
Huizing, CornelisGeneralizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms
I
Imre, SandorSecure Communication over Zero-Private Capacity Quantum Channels
Imre, SandorOn the Mathematical Boundaries of Communication with Zero-Capacity Quantum Channels
Insa, JavierTuring Tests with Turing Machines
K
Katebi, HadiGraph Symmetry Detection and Canonical Labeling: Differences and Synergies
Kelemen, JozefA Note on Turing’s Three Pioneering Initiatives and on Their Interplays
Kuiper, RuurdGeneralizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms
L
Leivant, DanielAlternating Turing machines and the analytical hierarchy
Leroux, JeromeVector Addition Systems Reachability Problem (A Simpler Solution)
Liau, Churn-JungLogic, Probability, and Privacy: A Framework for Specifying Privacy Requirements
Lio`, PietroComputing with Metabolic Machines
Liu, ShaoyingUtilizing Hoare Logic to Strengthen Testing for Error Detection in Programs
Lu, RuqianThe computing power of Turing machine based on quantum logic
Lu, XianThe computing power of Turing machine based on quantum logic
M
Markov, Igor L.Graph Symmetry Detection and Canonical Labeling: Differences and Synergies
Mikkilineni, RaoThe Turing O-Machine and the DIME Network Architecture: Injecting the Architectural Resiliency into Distributed Computing
Morana, GiovanniThe Turing O-Machine and the DIME Network Architecture: Injecting the Architectural Resiliency into Distributed Computing
N
Nicosia, GiuseppeComputing with Metabolic Machines
O
Oliva, PauloComputing Nash Equilibria of Unbounded Games
P
Prisacariu, CristianThe Glory of the Past and Geometrical Concurrency
Prost, FredericOn the Impact of Information Technologies on Society: an Historical Perspective through the Game of Chess
R
Rondelez, YannickMolecular 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, YunThe computing power of Turing machine based on quantum logic
Shen, QiangFeature Selection Ensemble
Soutchanski, MikhailTowards an Expressive Practical Logical Action Theory
Stratulat, SorinA Unified View of Induction Reasoning for First-Order Logic
Su, PanFeature Selection Ensemble
T
Tal, OmriTowards an Information-Theoretic Approach to Population Structure
V
Veale, TonyThe Soul of a New Cliché: Conventions and Meta-Conventions in the Creative Linguistic Variation of Familiar Forms
Verdicchio, MarioWhat kind of machine is the mind?
Verhoeff, TomGeneralizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms
Virbitskaite, IrinaUnifying Equivalences for Timed Transition Systems
W
Wang, Da-WeiLogic, Probability, and Privacy: A Framework for Specifying Privacy Requirements
Wegner, PeterComputational Completeness of Interaction Machines and Turing Machines
White, GrahamThe Frame Problem and the Semantics of Classical Proofs
Y
Yehia, WaelTowards an Expressive Practical Logical Action Theory