Centrum Wiskunde & Informatica

Efficient Approximate JavaScript Call Graph Construction Master Thesis

S. Benschop (Sander)

January 2014
Programming with actors in Java 8 In Proceedings

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

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

Service Oriented Computing and Applications, 8(4), 323-339.

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

January 2014
Proof Pearl: the KeY to correct and stable sorting Article

Journal of Automated Reasoning, 53(2), 129-139.

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

January 2014
Balancing exposed and hidden nodes in linear wireless networks Article

IEEE/ACM Transactions on Networking, 22(5), 1429-1443.

P.M. van de Ven (Peter), A.J.E.M. Janssen (Augustus) and J.S.H. van Leeuwaarden (Johan)

January 2014
Uniform Signaling for Timeline Alignment Standard

H.M. Stokking (Hans), E. Thomas, R. Koenen, A.J. Jansen (Jack) and P.S. César Garcia (Pablo Santiago)

January 2014
The next boom of big data in biology: multicellular datasets Article

ERCIM News, 11-12.

R.M.H. Merks (Roeland)

January 2014
Pipage Rounding, Pessimistic Estimators and Matrix Concentration In Proceedings

N.J.A. Harvey and N.K. Olver (Neil)

January 2014

Previous

Next