Media Presentation Synchronisation for Non-monolithic Rendering Architectures In Proceedings

I. Vaishnavi (Ishan), D.C.A. Bulterman (Dick), P.S. César Garcia (Pablo Santiago) and B. Gao (Bo)

Writing Language Definitions in ASF+SDF Magazine Article

P. Klint (Paul) and J.J. Vinju (Jurgen)

Searching for Temporal Patterns in AmI Sensor Data In Proceedings

R. Tavenard (Romain), A.A. Salah (Albert Ali) and E.J.E.M. Pauwels (Eric)

Applications of Formal Methods to System Design and Verification Proceedings

Risk Balance in Exchange Protocols In Proceedings

M.T. Dashti (Mohammad) and Y. Wang (Yanjing)

Enabling Pro-Active User-Centered Recommender Systems: An Initial Evaluation In Proceedings

D.C.A. Bulterman (Dick), P.S. César Garcia (Pablo Santiago), A.J. Jansen (Jack), H. Knoche and W. Seager

Diagonal Circuit Identity Testing and Lower Bounds Tech Report

N. Saxena (Nitin)

Adapted Maximum-Likelihood Gaussian Models for Numerical Optimization with Continuous EDAs Tech Report

P.A.N. Bosman (Peter), J. Grahl and D. Thierens (Dirk)