Centrum Wiskunde & Informatica

Realization theory of discrete-time linear hybrid system In Proceedings

M. Petreczky (Mihaly) and J.H. van Schuppen (Jan)

January 2009
Latency-constrained aggregation in sensor networks Article

ACM Transactions on Algorithms, 6(1), 1-20.

L. Becchetti, A. Marchetti Spaccamela (Alberto), A. Vitaletti, P. Korteweg, M. Skutella (Martin) and L. Stougie (Leen)

January 2009
A Qualitative Vickrey Auction In Proceedings

B.P. Harrenstein, M.M. de Weerdt (Mathijs) and V. Conitzer (Vincent)

January 2009
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata Article

Fundamenta Informaticae, 95(1), 103-128.

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

January 2009
Static Validation of WS-CDL Documents Article

Simulation Modelling Practice and Theory, 17(8), 1367-1377.

G. Pu (Geguang), Z. Wang, L. Zhou, H. Zhang (Haoyuan), T. Wang (Tao), C. Yang, L. Peng and M. Sun (Meng)

January 2009
Decomposing port automata In Proceedings

C. Krause (born Köhler) (Christian) and D.G. Clarke (David)

January 2009
On the Semantics and Verification of Normative Multi-Agent Systems Article

Journal of Universal Computer Science, 15(13), 2629-2652.

L. Astefanoaei (Lacramioara), F.S. de Boer (Frank), M. Dastani and J.-J.C. Meyer (John-Jules)

January 2009
The tax identity in risk theory - a simple proof and an extension Article

Insurance: Mathematics and Economics, 44(2), 304-306.

H. Albrecher (Hansjörg), S.C. Borst (Sem), O.J. Boxma (Onno) and J.A.C. Resing

January 2009

Previous

Next