| 2011 | A Framework for Instantiating Pedagogic mLearning Objects Applications. Paul Birevu Muyinda, Jude T. Lubega, Kathy Lynch, Theo P. van der Weide |
| 2011 | Ambiguity of Unary Symmetric Difference NFAs. Brink van der Merwe, Lynette van Zijl, Jaco Geldenhuys |
| 2011 | Axiomatizing Weak Ready Simulation Semantics over BCCSP. Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir |
| 2011 | Computing Preconditions and Postconditions of While Loops. Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili |
| 2011 | Emulating Primality with Multiset Representations of Natural Numbers. Paul Tarau |
| 2011 | Energy Games in Multiweighted Automata. Uli Fahrenberg, Line Juhl, Kim G. Larsen, Jirí Srba |
| 2011 | Formal Verification of a Lock-Free Stack with Hazard Pointers. Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif |
| 2011 | Infinitely Often Testing - (Extended Abstract). Willem Visser |
| 2011 | Intersection Types for the Resource Control Lambda Calculi. Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec |
| 2011 | Modal Interface Theories for Communication-Safe Component Assemblies. Rolf Hennicker, Alexander Knapp |
| 2011 | On Characterization, Definability and ω-Saturated Models. Facundo Carreiro |
| 2011 | On the Complexity of Szilard Languages of Regulated Grammars. Liliana Cojocaru, Erkki Mäkinen |
| 2011 | Selecting Good a Priori Sequences for Vehicle Routing Problem with Stochastic Demand. Ei Ando, Binay K. Bhattacharya, Yuzhuang Hu, Tsunehiko Kameda, Qiaosheng Shi |
| 2011 | Symbolic Worst Case Execution Times. Ernst Althaus, Sebastian Altmeyer, Rouven Naujoks |
| 2011 | The Use of Mathematics in Software Development - (Extended Abstract). David Lorge Parnas |
| 2011 | Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011. Proceedings Antonio Cerone, Pekka Pihlajasaari |
| 2011 | Virtual Time and Timeout in Client-Server Networks - (Extended Abstract). Jayadev Misra |
| 2011 | WP Semantics and Behavioral Subtyping. Yijing Liu, Zongyan Qiu, Quan Long |