Timed Tuplix Calculus and the Wesseling and van den Bergh Equation, pages 169-190

Authors: J.A. Bergstra, C.A. Middelburg

Abstract | References | BibTeX | Full Text (PDF)

UC and EUC Weak Bit-Commitments Using Seal-Once Tamper-Evidence, pages 191-228

Authors: I. Boureanu, S. Vaudenay

Abstract | References | BibTeX | Full Text (PDF)

Algorithmics of Posets Generated by Words Over Partially Commutative Alphabets (Extended), pages 229-249

Authors: Ł. Mikulski, M. Piątkowski, S. Smyczyński

Abstract | References | BibTeX | Full Text (PDF)

Locality and Applications to Subsumption Testing in EL and Some of its Extensions, pages 251-284

Authors: V. Sofronie-Stokkermans

Abstract | References | BibTeX | Full Text (PDF)