| 2007 | Pushing Random Walk Beyond Golden Ratio. | Ehsan Amiri, Evgeny S. Skvortsov |
| 2007 | Timers and Proximities for Mobile Ambients. | Bogdan Aman, Gabriel Ciobanu |
| 2007 | Marrying Words and Trees. | Rajeev Alur |
| 2007 | The Limits of Quantum Computers. | Scott Aaronson |
| 2006 | Fast Motif Search in Protein Sequence Databases. | Elena Zheleva, Abdullah N. Arslan |
| 2006 | Nonlinear Systems Modeling and Control Using Support Vector Machine Technique. | Haoran Zhang, Xiaodong Wang |
| 2006 | A New Flow Control Algorithm for High Speed Computer Network. | Haoran Zhang, Peng Sun |
| 2006 | Multi-agent Explicit Knowledge. | Tatiana Yavorskaya |
| 2006 | Instruction Selection for ARM/Thumb Processors Based on a Multi-objective Ant Algorithm. | Shengning Wu, Sikun Li |
| 2006 | Optimizing Personalized Retrieval System Based on Web Ranking. | Hao-ming Wang, Ye Guo, Boqin Feng |
| 2006 | Authentication Mechanism Using One-Time Password for 802.11 Wireless LAN. | Binod Vaidya, SangDuck Lee, Jae-Kyun Han, Seung Jo Han |
| 2006 | Non-approximability of the Randomness Deficiency Function. | Michael A. Ustinov |
| 2006 | Optimal Difference Systems of Sets with Multipliers. | Vladimir D. Tonchev, Hao Wang |
| 2006 | All Semi-local Longest Common Subsequences in Subquadratic Time. | Alexandre Tiskin |
| 2006 | Extended Resolution Proofs for Conjoining BDDs. | Carsten Sinz, Armin Biere |
| 2006 | Functional Equations in Shostak Theories. | Sergey P. Shlepakov |
| 2006 | Speech Enhancement in Short-Wave Channel Based on Empirical Mode Decomposition. | Liran Shen, Qingbo Yin, Xueyao Li, Huiqiang Wang |
| 2006 | Capturing an Intruder in the Pyramid. | Pooya Shareghi, Navid Imani, Hamid Sarbazi-Azad |
| 2006 | Analytic Modeling of Channel Traffic in | Hamid Sarbazi-Azad, Hamid Mahini, Ahmad Patooghy |
| 2006 | On the Frequency of Letters in Morphic Sequences. | Kalle Saari |
| 2006 | Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms. | Vladimir V. Rybakov |
| 2006 | Evidence Reconstruction of Epistemic Modal Logic S5. | Natalia Rubtsova |
| 2006 | Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics. | Jan-Willem Roorda, Koen Claessen |
| 2006 | Fuzzy-Q Knowledge Sharing Techniques with Expertness Measures: Comparison and Analysis. | Panrasee Ritthipravat, Thavida Maneewarn, Jeremy L. Wyatt, Djitt Laowattana |
| 2006 | A Review of Race Detection Mechanisms. | Aoun Raza |