| 2793 | -- | 2803 | Nina Yevtushenko, Khaled El-Fakih, Tiziano Villa, Jie-Hong R. Jiang. Deriving Compositionally Deadlock-Free Components over Synchronous Automata Compositions |
| 2804 | -- | 2823 | Ahmet Kara 0001, Halit Oguztüzün, M. Nedim Alpdemir. A Methodology for Resolution Mapping for Cross-Resolution Simulation using Event-B |
| 2824 | -- | 2840 | Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda. Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration |
| 2841 | -- | 2851 | Xiaowang Zhang, Jan Van den Bussche. On the Power of SPARQL in Expressing Navigational Queries |
| 2852 | -- | 2863 | Sung-In Jang, Su-Kyung Yoon, Kihyun Park, Gi-Ho Park, Shin-Dug Kim. Data Classification Management with its Interfacing Structure for Hybrid SLC/MLC PRAM Main Memory |
| 2864 | -- | 2875 | Shaowei Cai, Chuan Luo, Kaile Su. Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation |
| 2876 | -- | 2891 | Pablo Muñoz, David F. Barrero, María D. R.-Moreno. A Statistically Rigorous Analysis of 2D Path-Planning Algorithms |
| 2892 | -- | 2899 | Gauthier van den Hove. On the Origin of Recursive Procedures |
| 2900 | -- | 2920 | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene. How to Optimize the Use of SAT and SMT Solvers for Test Generation of Boolean Expressions |
| 2921 | -- | 2927 | Frank Gurski. Linear Programming Formulations for Computing Graph Layout Parameters |
| 2928 | -- | 2943 | Shiyu Yang, Muhammad Aamir Cheema, Xuemin Lin. Impact Set: Computing Influence Using Query Logs |
| 2944 | -- | 2955 | Xi Wang, Alejandro Erickson, Jianxi Fan, Xiaohua Jia. Hamiltonian Properties of DCell Networks |
| 2956 | -- | 2971 | Giorgos Stoilos, Tassos Venetis, Giorgos Stamou. A Fuzzy Extension to the OWL 2 RL Ontology Language |
| 2972 | -- | 2981 | Jinn-Shyong Yang, Sih-Syuan Luo, Jou-Ming Chang. Pruning Longer Branches of Independent Spanning Trees on Folded Hyper-Stars |
| 2982 | -- | 2999 | Thomas Roelleke, Andreas Kaltenbrunner, Ricardo A. Baeza-Yates. Harmony Assumptions in Information Retrieval and Social Networks |
| 3000 | -- | 3034 | A. S. M. Kayes, Jun Han, Alan Colman. OntCAAC: An Ontology-Based Approach to Context-Aware Access Control for Software Services |
| 3035 | -- | 3056 | Hao Zheng, Xiaoshe Dong, Zhengdong Zhu, Baoke Chen, Yizhi Zhang, Xingjun Zhang. Research on Algorithms to Capture Drivers' Write Operations |
| 3057 | -- | 3073 | Jorge F. Fabeiro, Diego Andrade, Basilio B. Fraguela, Ramón Doallo. Automatic Generation of Optimized OpenCL Codes Using OCLoptimizer |
| 3074 | -- | 3088 | Shenwei Huang, Matthew Johnson 0002, Daniël Paulusma. t)-Free Graphs |
| 3089 | -- | 3113 | Robert M. Hierons, Uraz Cengiz Türker. Incomplete Distinguishing Sequences for Finite State Machines |
| 3114 | -- | 3125 | Yinglei Song, Chunmei Liu, Yongzhong Li. A New Parameterized Algorithm for Predicting the Secondary Structure of RNA Sequences Including Pseudoknots |
| 3126 | -- | 3140 | Emilio Di Giacomo, Walter Didimo, Giuseppe Liotta, Henk Meijer, Stephen K. Wismath. Planar and Quasi-Planar Simultaneous Geometric Embedding |
| 3141 | -- | 3170 | Outi Sievi-Korte, Kai Koskimies, Erkki Mäkinen. Techniques for Genetic Software Architecture Design |
| 3171 | -- | 3186 | László Lengyel, Tamás Mészáros, Márk Asztalos, Péter Boros, Attila Máté, Gábor Madács, Péter Hudák, Kristóf Kovács, András Tresch, Hassan Charaf. Quality Assured Model-Driven Requirements Engineering and Software Development |
| 3187 | -- | 3201 | Kun Ma, Fusen Dong, Bo Yang. Large-Scale Schema-Free Data Deduplication Approach with Adaptive Sliding Window Using MapReduce |
| 3202 | -- | 3216 | Amir Vahid Dastjerdi, Rajkumar Buyya. An Autonomous Time-Dependent SLA Negotiation Strategy for Cloud Computing |