Centrum Wiskunde & Informatica

Edge corrected non-parametric intensity function estimators for heterogeneous Poisson point processes Tech Report

M.N.M. van Lieshout (Marie-Colette)

July 2007
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems In Proceedings

T. Chen (Taolue), S.C.W. Ploeger, J.C. van de Pol (Jaco) and T.A.C. Willemse

July 2007
Dynamic epistemic verification of security protocols: framework and case study In Proceedings

F. Dechesne (Francien) and Y. Wang (Yanjing)

July 2007
SMIL 3.0 Language Specification, Last-Call Version Manual

D.C.A. Bulterman (Dick), A.J. Jansen (Jack), K.S. Mullender (Sjoerd) and P.S. César Garcia (Pablo Santiago)

July 2007
Clique partitioning of interval graphs with submodular costs on the cliques Article

RAIRO Operations Research, 41(3), 275-287.

D. Gijswijt (Dion), V. Jost and M. Queyranne

July 2007
Managing Personal Communication Environments in Next Generation Service Platforms In Proceedings

R. Kernchen, M. Boussard, C. Hesselman, C. Villalonga, E. Clavier, A. Zhdanova and P.S. César Garcia (Pablo Santiago)

July 2007
Nog een stukje taart? Article

I/O ICT Onderzoek, 4(3), 3-3.

P. Klint (Paul)

July 2007
Coordination of Emergency Communication in Safe Hands Article

ERCIM News 106 -- July 2016 -- Special theme: Cybersecurity

A.C. Kik (Annette)

July 2007

Previous

Next