Centrum Wiskunde & Informatica

Semidefinite representations for finite varieties Article

Mathematical Programming, 109(1), 1-26.

M. Laurent (Monique)

January 2007
On Composition and Refinement of Domain-Specific Languages in the Model of Language Family In Proceedings

M. Sun (Meng) and N. Zhang

January 2007
A second-order, unconditionally positive, mass-conserving integration scheme for biochemical systems. Article

Applied Numerical Mathematics, 36-58.

F.J. Bruggeman (Frank), H. Burchard, B. Kooi and B.P. Sommeijer (Ben)

January 2007
Matroids, secretary problems, and online mechanisms In Proceedings

M. Babaioff, N.S. Immorlica (Nicole Simone) and R. Kleinberg

January 2007
Component Connectors with QoS Guarantees In Proceedings

F. Arbab (Farhad), T. Chothia (Tom), M. Sun (Meng) and Y.-J. Moon (Young-Joo)

January 2007
Existential Owners for Ownership Types Article

Journal of Object Technology, 6(4), 141-159.

T. Wrigstad and D.G. Clarke (David)

January 2007
On Resource-Sensitive Timed Component Connectors In Proceedings

M. Sun (Meng) and F. Arbab (Farhad)

January 2007
Web Services Choreography and Orchestration in Reo and Constraint Automata In Proceedings

M. Sun (Meng) and F. Arbab (Farhad)

January 2007

Previous

Next