Accepted Submissions for Presentation
at MACIS 2013
Accepted Submissions
Basma Alharbi and Xiangliang Zhang.
Representation Learning in Text Mining: A Systematic Review
Peter Baumgartner and Uwe Waldmann.
Hierarchic Superposition: Completeness without Compactness
Lassaad Cheikhrouhou, Werner Stephan and Markus Ullmann.
A New Approach to the Inductive Verification of Cryptographic
Protocols Based on Message Algebras
Changbo Chen and Marc Moreno Maza.
Computing the Supremum of the Real Roots of a Parametric
Univariate Polynomial
Ryoya Fukasaku, Shutaro Inoue and Yosuke Sato.
On QE Algorithms over algebraically closed field
Ting Gan, Li Yun Dai and Bican Xia.
Barrier Certificate Generation for Safety Verification of Hybrid
Systems for a Given Period of Time
Willem Hagemann.
Efficient Geometric Operations on Polyhedra
Marek Kosta.
SMT-Based Compiler Support for Memory Access Optimization for
Data-Parallel Languages
Manuel Lamotte-Schubert and Christoph Weidenbach.
BDI: A New Decidable First-order Clause Class
Feng Liu and Wen-ying Zhang.
Differential Fault Attack and Meet-in-the-Middle Attack on Block
Cipher LED
Chenqi Mou and Wei Niu.
Reconstructing Chemical Reaction Networks by Solving Boolean
Polynomial Systems
Martin Suda.
Variable and clause elimination for LTL satisfiability checking
Peng Zhang.
Efficient Influence Maximization in Social Networks
