- Michael Huber:
Information Theoretic Authentication and Secrecy Codes in the Splitting Model.
- (Withdrawn) Query Optimization Using Genetic Algorithms in the Vector Space Model.
- (Withdrawn) Improving the User Query for the Boolean Model Using Genetic Algorithms.
- Samson Abramsky:
Domain Theory and the Logic of Observable Properties.
- Stefano Ferretti:
Publish-Subscribe Systems via Gossip: a Study based on Complex Networks.
- Samson Abramsky:
A Generalized Kahn Principle for Abstract Asynchronous Networks.
- Bin Fu:
On the Complexity of Approximate Sum of Sorted List.
- Antony Akshay:
Analysis of Kak's Quantum Cryptography Protocol from the Perspective of Source Strength.
- Bijoy Rahman Arif:
On the Footsteps to Generalized Tower of Hanoi Strategy.
- Murdoch James Gabbay:
Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free.
- Andrew Schumann:
Two Squares of Opposition: for Analytic and Synthetic Propositions.
- Koji Kobayashi:
Approach to solve P versus NP with Circular Founded Set.
- Michalis Vafopoulos:
The Web economy: goods, users, models and policies.
- Xin Li:
Non-Malleable Extractors for Entropy Rate <1/2.
- Vinod Kumar Godavarty:
Using Quasigroups for Generating Pseudorandom Numbers.
- Pierre Lescanne:
Rationality and Escalation in Infinite Extensive Games.
- Olivier Finkel:
The Determinacy of Context-Free Games.
- Petr N. Vabishchevich:
Additive schemes (splitting schemes) for some systems of evolutionary equations.
- (Withdrawn) Small Private Circuits.
- Emmanuel Polonowski:
Generic Environments in Coq.
- Ville-Matias Heikkilä:
Discovering novel computer music techniques by exploring the space of short computer programs.
- Xavier Allamigeon:
Strongly connected components of directed hypergraphs.
- Wan-Li Chen:
Multi-granular Perspectives on Covering.
- Stefano Rini:
An Achievable Region for a General Multi-terminal Network and the corresponding Chain Graph Representation.
- (Withdrawn) Generating k-Facets by Induction on the Dimension.
- Sergei V. Fedorenko:
A novel method for computation of the discrete Fourier transform over characteristic two finite field of even extension degree.