Centrum Wiskunde & Informatica

A round table for multi-disciplinary research on Geospatial and Climate Data In Proceedings

R.A. Pereira Goncalves (Romulo Antonio), M.G. Ivanova (Milena), F. Alvanaki (Foteini), J. Maassen, K. Kyzirakos (Konstantinos), O. Martinez-Rubi (Oscar) and H.F. Mühleisen (Hannes)

January 2015
Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code? (Technical Report) Tech Report

S.-S.T.Q. Jongmans (Sung) and F. Arbab (Farhad)

January 2015
The LDBC Social Network Benchmark: Interactive Workload In Proceedings

O. Erling (Orri), A. Averbuch, J. Larriba-Pey (Josep), H. Chafi (Hassan), A. Gubichev (Andrey), A. Prat, M.-D. Pham (Minh-Duc) and P.A. Boncz (Peter)

January 2015
Uncertainty-Aware Visualization of Computer Vision Results (Demo) Presentation

E.M.A.L. Beauxis-Aussalet (Emmanuelle) and L. Hardman (Lynda)

January 2015
Take Command of Your Constraints! (Technical Report) Tech Report

S.-S.T.Q. Jongmans (Sung) and F. Arbab (Farhad)

January 2015
Uncertainty propagation in nerve impulses through the action potential mechanism Article

The Journal of Mathematical Neuroscience

A. Torres Valderrama (Aldemar), J.A.S. Witteveen (Jeroen), M.I. Navarro Jimenez (Maria) and J.G. Blom (Joke)

January 2015
The role of supervisory controller synthesis in automatic control software development Article

Science of Computer Programming, 97(1), 17-22.

J.C.M. Baeten (Jos) and J. Markovski (Jasen)

January 2015
Expressiveness modulo bisimilarity of regular expressions with parallel composition Article

Mathematical Structures in Computer Science

J.C.M. Baeten (Jos), S.P. Luttik (Bas), T. Muller (Tim) and P.J.A. van Tilburg (Paul)

January 2015

Publication

A round table for multi-disciplinary research on Geospatial and Climate Data In Proceedings

Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code? (Technical Report) Tech Report

The LDBC Social Network Benchmark: Interactive Workload In Proceedings

Uncertainty-Aware Visualization of Computer Vision Results (Demo) Presentation

Take Command of Your Constraints! (Technical Report) Tech Report

Uncertainty propagation in nerve impulses through the action potential mechanism Article

The role of supervisory controller synthesis in automatic control software development Article

Expressiveness modulo bisimilarity of regular expressions with parallel composition Article

Address

CWI researchers

Questions or comments?

Publication

A round table for multi-disciplinary research on Geospatial and Climate Data In Proceedings

Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code? (Technical Report) Tech Report

The LDBC Social Network Benchmark: Interactive Workload In Proceedings

Uncertainty-Aware Visualization of Computer Vision Results (Demo) Presentation

Take Command of Your Constraints! (Technical Report) Tech Report

Uncertainty propagation in nerve impulses through the action potential mechanism Article

The role of supervisory controller synthesis in automatic control software development Article

Expressiveness modulo bisimilarity of regular expressions with parallel composition Article

Workflow

Workflow

Add Content