Programming with actors in Java 8 In Proceedings

B. Nobakht (Behrooz) and F.S. de Boer (Frank)

INVENiT: Exploring Cultural Heritage Collections While Adding Annotations In Proceedings

C. Dijkshoorn (Chris), J.R. van Ossenbruggen (Jacco), L. Aroyo (Lora) and T. Schreiber

Formal modeling and analysis of resource management for cloud architectures: an industrial case study using real-time ABS Article

E. Albert (Elvira), F.S. de Boer (Frank), R Haehnle, E.B. Johnsen (Einar Broch), R. Schlatte (Rudolf), S.L.T. Tarifa and P.Y.H. Wong

Proof Pearl: the KeY to correct and stable sorting Article

C.P.T. de Gouw (Stijn), F.S. de Boer (Frank) and J.C. Rot (Jurriaan)

Object Redundancy Profiling in Java Presentation

M.J. Steindorfer (Michael)

Proceedings of the 4th Workshop on Linked Science 2014 - Making Sense Out of Data Proceedings

Synergy of vacuolation and cell-cell repulsion in lumen formation Presentation

S.E.M. Boas (Sonja) and R.M.H. Merks (Roeland)

Non-deterministic simulations with CFD robustness properties Presentation

J.A.S. Witteveen (Jeroen) and G. Iaccarino (Gianluca)