Centrum Wiskunde & Informatica

On the Lasserre hierarchy of semidefinite programming relaxations of convex polynomial optimization problems Tech Report

E. de Klerk (Etienne) and M. Laurent (Monique)

November 2010
Quantitative Kleene coalgebras Article

Information and Computation, 209(5), 822-849.

A.M. Silva (Alexandra), F. Bonchi (Filippo), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)

November 2010
A semantic model for service composition with coordination time delays In Proceedings

N. Kokash (Natallia), B. Changizi (Behnaz) and F. Arbab (Farhad)

November 2010
A Decision Procedure for Bisimilarity of Generalized Regular Expressions In Proceedings

M.M. Bonsangue (Marcello), G. Caltais (Georgiana), E. Goriac, D. Lucanu (Dorel), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

November 2010
Model abstraction of nondeterministic finite state automata in supervisor synthesis Article

IEEE Transactions on Automatic Control

R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)

November 2010
The task-dependent effect of tags and ratings on social media access Article

ACM Transactions on Information Systems, 28(4), 1-42.

M. Clements (Maarten), A.P. de Vries (Arjen) and M.J.T. Reinders

November 2010
Protecting high frequency IC's from electrostatic discharge In Proceedings

U. Ebert (Ute), J. Frenken, H. van der Graaf, N. Hermosa, S. Hofmann, G.M.W. Kroesen, C. Li (Chao), D. Makogon, M. Ranjan, P. Steeneken, et al. O. Wunnicke

November 2010
Grothendieck inequalities for semidefinite programs with rank constraint Tech Report

J. Briët (Jop), F.M. de Oliveira Filho (Fernando Mario) and F. Vallentin (Frank)

November 2010

Publication

On the Lasserre hierarchy of semidefinite programming relaxations of convex polynomial optimization problems Tech Report

Quantitative Kleene coalgebras Article

A semantic model for service composition with coordination time delays In Proceedings

A Decision Procedure for Bisimilarity of Generalized Regular Expressions In Proceedings

Model abstraction of nondeterministic finite state automata in supervisor synthesis Article

The task-dependent effect of tags and ratings on social media access Article

Protecting high frequency IC's from electrostatic discharge In Proceedings

Grothendieck inequalities for semidefinite programs with rank constraint Tech Report

Address

CWI researchers

Questions or comments?

Publication

On the Lasserre hierarchy of semidefinite programming relaxations of convex polynomial optimization problems Tech Report

Quantitative Kleene coalgebras Article

A semantic model for service composition with coordination time delays In Proceedings

A Decision Procedure for Bisimilarity of Generalized Regular Expressions In Proceedings

Model abstraction of nondeterministic finite state automata in supervisor synthesis Article

The task-dependent effect of tags and ratings on social media access Article

Protecting high frequency IC's from electrostatic discharge In Proceedings

Grothendieck inequalities for semidefinite programs with rank constraint Tech Report

Workflow

Workflow

Add Content