Centrum Wiskunde & Informatica

Discrete representation of local orientation in grains using diffraction contrast tomography In Proceedings

N.R. Viganò (Nicola), W. Ludwig (Wolfgang) and K.J. Batenburg (Joost)

January 2014
Advanced 3-D Reconstruction Algorithms for Electron Tomography In Proceedings

T. Sanders, J.D. Roehling, K.J. Batenburg (Joost), B.C. Gates, A. Katz, P. Binev and I. Arslan

January 2014
eXamine: Exploring annotated modules in networks In Proceedings

K. Dinkla, M. El-Kebir (Mohammed), C.I. Bucur (Cristina-Iulia), M. Siderius, M.J. Smit, M.A. Westenberg and G.W. Klau (Gunnar)

January 2014
Collection Network Cable Routing and Wake Losses Optimization in Offshore Wind Farms In Proceedings

S.F. Rodrigues (Sílvio), P. Bauer (Pavol), P.A.N. Bosman (Peter) and J. Pierik

January 2014
Strong completeness for iteration-free coalgebraic dynamic logics In Proceedings

H.H. Hansen (Helle), C.A. Kupke (Clemens) and R.A. Leal

January 2014
Algebra-coalgebra duality in Brzozowski's minimization algorithm Article

ACM Transactions on Computational Logic, 15(1)

F. Bonchi (Filippo), M.M. Bonsangue (Marcello), H.H. Hansen (Helle), P. Panangaden, J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

January 2014
Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study Book Chapter

C.P.T. de Gouw (Stijn), F.S. de Boer (Frank), E.B. Johnsen (Einar Broch), A. Kohn (André) and P.Y.H. Wong

January 2014
Implicit Particle-in-Cell simulations of wave-particle interactions between electrons and whistler waves in the radiation belt In Proceedings

E. Camporeale (Enrico)

January 2014

Publication

Discrete representation of local orientation in grains using diffraction contrast tomography In Proceedings

Advanced 3-D Reconstruction Algorithms for Electron Tomography In Proceedings

eXamine: Exploring annotated modules in networks In Proceedings

Collection Network Cable Routing and Wake Losses Optimization in Offshore Wind Farms In Proceedings

Strong completeness for iteration-free coalgebraic dynamic logics In Proceedings

Algebra-coalgebra duality in Brzozowski's minimization algorithm Article

Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study Book Chapter

Implicit Particle-in-Cell simulations of wave-particle interactions between electrons and whistler waves in the radiation belt In Proceedings

Address

CWI researchers

Questions or comments?

Publication

Discrete representation of local orientation in grains using diffraction contrast tomography In Proceedings

Advanced 3-D Reconstruction Algorithms for Electron Tomography In Proceedings

eXamine: Exploring annotated modules in networks In Proceedings

Collection Network Cable Routing and Wake Losses Optimization in Offshore Wind Farms In Proceedings

Strong completeness for iteration-free coalgebraic dynamic logics In Proceedings

Algebra-coalgebra duality in Brzozowski's minimization algorithm Article

Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study Book Chapter

Implicit Particle-in-Cell simulations of wave-particle interactions between electrons and whistler waves in the radiation belt In Proceedings

Workflow

Workflow

Add Content