Centrum Wiskunde & Informatica

A First Step towards Security Policy Compliance of Connectors In Proceedings

M. Sun (Meng)

January 2009
A Coalgebraic Semantic Framework for Reasoning about Interaction Designs Book Chapter

M. Sun (Meng) and L.S. Barbosa

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
A new graph-based method for pairwise global network alignment Article

BMC Bioinformatics, 10(suppl 1)

G.W. Klau (Gunnar)

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
Sound 3-Query PCPPs Are Long Article

ACM Transactions on Computation Theory, 1(2), 1-49.

E. Ben-Sasson, P. Harsha, O. Lachish (Oded) and A. Matsliah (Arie)

January 2009
PAUL: Protein structural alignment using integer linear programming and Lagrangian relaxation Article

BMC Bioinformatics, 10(Suppl 13)

I. Wohlers (Inken), I. Petzold, F.S. Domingues and G.W. Klau (Gunnar)

January 2009

Previous

Next