default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th ICTAC 2011: Johannesburg, South Africa
- Antonio Cerone, Pekka Pihlajasaari:
Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011. Proceedings. Lecture Notes in Computer Science 6916, Springer 2011, ISBN 978-3-642-23282-4 - Jayadev Misra:
Virtual Time and Timeout in Client-Server Networks - (Extended Abstract). 1-3 - David Lorge Parnas:
The Use of Mathematics in Software Development - (Extended Abstract). 4-5 - Willem Visser:
Infinitely Often Testing - (Extended Abstract). 6 - Luca Aceto, David de Frutos-Escrig
, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir:
Axiomatizing Weak Ready Simulation Semantics over BCCSP. 7-24 - Ernst Althaus, Sebastian Altmeyer, Rouven Naujoks:
Symbolic Worst Case Execution Times. 25-44 - Ei Ando, Binay K. Bhattacharya, Yuzhuang Hu, Tsunehiko Kameda, Qiaosheng Shi:
Selecting Good a Priori Sequences for Vehicle Routing Problem with Stochastic Demand. 45-61 - Facundo Carreiro:
On Characterization, Definability and ω-Saturated Models. 62-76 - Liliana Cojocaru, Erkki Mäkinen:
On the Complexity of Szilard Languages of Regulated Grammars. 77-94 - Uli Fahrenberg, Line Juhl, Kim G. Larsen, Jirí Srba:
Energy Games in Multiweighted Automata. 95-115 - Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec:
Intersection Types for the Resource Control Lambda Calculi. 116-134 - Rolf Hennicker, Alexander Knapp:
Modal Interface Theories for Communication-Safe Component Assemblies. 135-153 - Yijing Liu, Zongyan Qiu, Quan Long:
WP Semantics and Behavioral Subtyping. 154-172 - Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili:
Computing Preconditions and Postconditions of While Loops. 173-193 - Paul Birevu Muyinda, Jude T. Lubega, Kathy Lynch, Theo P. van der Weide:
A Framework for Instantiating Pedagogic mLearning Objects Applications. 194-217 - Paul Tarau:
Emulating Primality with Multiset Representations of Natural Numbers. 218-238 - Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif:
Formal Verification of a Lock-Free Stack with Hazard Pointers. 239-255 - Brink van der Merwe, Lynette van Zijl, Jaco Geldenhuys:
Ambiguity of Unary Symmetric Difference NFAs. 256-266
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-04-30 00:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
