9. TAMC 2012:
S. Barry Cooper
: From Turing Machine to Morphogenesis: Forming and Informing Computation.
Richard M. Karp
: Theory of Computation as an Enabling Tool for the Sciences.
: R-Calculus: A Logical Inference System for Scientific Discovery.
: The Small Community Phenomenon in Networks: Models, Algorithms and Applications.
: Program Analysis Using Quantifier-Elimination Heuristics - (Extended Abstract).
, Qi Cheng
: Lower Bounds of Shortest Vector Lengths in Random NTRU Lattices.
, Miroslav Rada
: Polynomial Time Construction of Ellipsoidal Approximations of Zonotopes Given by Generator Descriptions.
, Guochuan Zhang
: Coordination Mechanisms for Selfish Parallel Jobs Scheduling - (Extended Abstract).
: Timed Encryption with Application to Deniable Key Exchange.
: A Surprisingly Simple Way of Reversing Trace Distance via Entanglement.
, Fang-Wei Fu
: Constructions for Binary Codes Correcting Asymmetric Errors from Function Fields.
, Weiyi Liu
, Kun Yue
: A Game-Theoretic Approach for Balancing the Tradeoffs between Data Availability and Query Delay in Multi-hop Cellular Networks.