: A non-expert view on Turing machines, Proof Verifiers, and Mental reasoning.
M. Emre Celebi
: Fast Color Quantization Using Weighted Sort-Means Clustering.
: Query Efficient PTAS for Minimum Feedback Arc-Set in Tournaments.
L. F. Johnson
: Golden and Alternating, fast simple O(lg n) algorithms for Fibonacci.
: IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata. 91-99
: From UML Specification into Implementation using Object Mapping.
: Developing courses with HoloRena, a framework for scenario- and game based e-learning environments.
: Stabilizing knowledge through standards - A perspective for the humanities.
, K. Kuppusamy
: Ciphertext Policy Attribute based Encryption with anonymous access policy.
, Bichitra Kalita
: Heuristic Approach of Automated Test Data Generation for Program having Array of Different Dimensions and Loops with Variable Number of Iteration.
Tim A. Majchrzak
: Improving the Technical Aspects of Software Testing in Enterprises.
: On reversible cascades in scale-free and Erdős-Rényi random graphs.
: Probabilistic Inferences in Bayesian Networks.
: A recombination algorithm for the decomposition of multivariate rational functions.
Dai Tri Man Le
: On Three Alternative Characterizations of Combined Traces.
: Santa Claus Schedules Jobs on Unrelated Machines.
: Probabilistic Model Checking for Propositional Projection Temporal Logic.
: A short proof that adding some permutation rules to β preserves SN.
: Optimal Binary Search Trees with Near Minimal Height.
A. A. Krizhanovsky
: Transformation of Wiktionary entry structure into tables and relations in a relational database schema.
: A Survey on Wireless Sensor Network Security.
: An Agent-Based Intrusion Detection System for Local Area Networks.
: Multivariate vector sampling expansions in shift invariant subspaces.
: The $z$-Transform and Automata-Recognizable Systems of Nonhomogeneous Linear Recurrence Equations over Semirings.
: A Stable Explicit Scheme for Solving Non-Homogeneous Constant Coefficients Equation using Green's Function.
, José M. F. Moura
: Convergence Rate Analysis of Distributed Gossip (Linear Parameter) Estimation: Fundamental Limits and Tradeoffs.
: An Impossibility Result for Truthful Combinatorial Auctions with Submodular Valuations.
: Mobility and Handoff Management in Wireless Networks.
: Ubiquitous Computing: Potentials and Challenges.
: Understanding the Cycle of Knowledge: Its rise, preservation and decay.
: Evaluation of Lifetime Bounds of Wireless Sensor Networks.
, Zhengdao Wang
: Degrees of Freedom Regions of Two-User MIMO Z and Full Interference Channels: The Benefit of Reconfigurable Antennas.
: Static and dynamic characteristics of protein contact networks.
: A Distributed Method for Trust-Aware Recommendation in Social Networks.
A. A. Karawia
: A New Algorithm for Inverting General Cyclic Heptadiagonal Matrices Recursively.
: What is a categorical model of the differential and the resource lambda-calculi?
: Usability Meets Instant Gratification on the Semantic Web.
Michael T. Goodrich
: Spin-the-bottle Sort and Annealing Sort: Oblivious Sorting via Round-robin Random Comparisons.
: Individual Privacy vs Population Privacy: Learning to Attack Anonymization.
: A Stable Explicit Scheme for Solving Inhomogeneous Constant Coefficients Differential Equation using Green's Function.
: On the Problem of Local Randomness in Privacy Amplification with an Active Adversary.
: A Formal Model for Dynamically Adaptable Services.
Nam Yul Yu
: Deterministic Compressed Sensing Matrices from Multiplicative Character Sequences.
: Towards Theory of Massive-Parallel Proofs. Cellular Automata Approach.
: New Set of Codes for the Maximum-Likelihood Decoding Problem.
: System Virtualization and Efficient ID Transmission Method for RFID Tag Infrastructure Network.
: Web Conferencing Traffic - An Analysis using DimDim as Example.
: Reducing Higher Order Pi-Calculus to Spatial Logics.