The Coarsest Precongruences Respecting Safety and Liveness Properties (Invited Talk), p.32 ,
Glabbeek Entropy and Attack Models in Information Flow (Invited Talk), p.53 ,
Godskesen On Packing Splittable Items with Cardinality Constraints 101 Fouad B. Chedid Deterministic Computations in Time-Varying Graphs: Broadcasting under Unstructured Mobility, p.111 ,
125 Nisansala Yatapanage, Kirsten Winter, and Saad Zafar Optimization of the Anisotropic Gaussian Kernel for Text Segmentation and Parameter Extraction ,
182 Gilles Dowek A Logic on Subobjects, p.213 ,
Christina Otte, and Denis Trystram Improving the Competitive Ratios of the Seat Reservation Problem, p.328 ,