Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Proportionate Flow Shop Games Article

Journal of Scheduling, 433-447.

A. Estévez-Fernandéz (Arantza), M.A. Mosquera, P. Borm and H. Hamers

January 2008
OWLRL - RDFS and OWL 2 RL generator service Software

I. Herman (Ivan)

January 2008
A shape theorem for the spread of an infection. Article

Annals of Mathematics, 167(3), 701-766.

H. Kesten and V. Sidoravicius (Vladas)

January 2008
A problem in one-dimensional diffusion-limited aggregation (DLA) and positive recurrence of Markov chains. Article

Annals of Probability, 36(5), 1838-1879.

H. Kesten and V. Sidoravicius (Vladas)

January 2008
Positive recurrence of a one-dimensional variant of diffusion limited aggregation. Book Chapter

H. Kesten and V. Sidoravicius (Vladas)

January 2008
Random spatial growth with paralyzing obstacles. Article

Annales de l'Institut Henri Poincaré - Probability and Statistics, 1173-1187.

J. van den Berg (Rob), Y. Peres, V. Sidoravicius (Vladas) and M.E. Vares

January 2008
Box-crossings and continuity results for self-destructive percolation in the plane Book Chapter

J. van den Berg (Rob), R.M. Brouwer (Rachel) and B. Vagvölgyi (Balint)

January 2008
-- Unpublished

L. Rutledge (Lloyd)

January 2008
Coordinating Object Oriented Components Using Data-flow Networks In Proceedings

M.M. Jaghoori (Mohammad Mahdi)

January 2008
Vertical systems biology: from DNA to flux and back Book Chapter

A. Bevilacqua, S.J. Wilkinson, R. Dimelow, E. Murabito, S. Rehman, M. Nardelli, K. van Eunen, S. Rossell, F.J. Bruggeman (Frank), N. Bluethgen, et al. J. Bouwman, H.V. Westerhoff (Hans)

January 2008
Met sprongen Inaugural Lecture

C.W. Oosterlee (Kees)

January 2008
Pre-Galois Connection on Coalgebras for Generic Component Refinement Article

Electronic Notes in Theoretical Computer Science, 203-217.

M. Sun (Meng)

January 2008
Control of input-output discrete-event systems Tech Report

M. Petreczky (Mihaly), R. Theunissen, R. Su (Rong), D.A. van Beek, J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)

January 2008
A control problem for hybrid systems with discrete inputs and outputs Tech Report

M. Petreczky (Mihaly), P.J. Collins (Pieter), D.A. van Beek, J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)

January 2008
Main Memory DBMS Book Chapter

P.A. Boncz (Peter)

January 2008
Main Memory Book Chapter

P.A. Boncz (Peter)

January 2008
Processor Cache Book Chapter

P.A. Boncz (Peter)

January 2008
Disk Book Chapter

P.A. Boncz (Peter)

January 2008
Fronts in Fermi-Pasta-Ulam chains Tech Report

M. Herrmann and J.D.M. Rademacher (Jens)

January 2008
Decentralized Management of Intermediate Elctricity Networks by Agents using Local Dynamic Pricing Software

H. Noot (Han), S.M. Bohte (Sander) and J.A. La Poutré (Han)

January 2008
Synthesizing nonblocking distributed supervision based on automata abstraction In Proceedings

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

January 2008
When do diffusion-limited trajectories become memoryless? In Proceedings

M. Dobrzynski (Maciej)

January 2008
Leatherbacks matching by automated image recognition Book Chapter

E.J.E.M. Pauwels (Eric), P.M. de Zeeuw (Paul) and D.M. Buonantony

January 2008
Computer-assisted tree taxonomy by automated image recognition Article

Engineering Applications of Artificial Intelligence, 22(1), 26-31.

E.J.E.M. Pauwels (Eric), P.M. de Zeeuw (Paul) and E.B. Ranguelova (Elena)

January 2008
XHTML Role Attribute, A module to support role classification of elements Tech Report

M. Birbeck (Mark), S. Pemberton (Steven) and not CWI et al

January 2008
XHTML Access Module Module to enable generic document accessibility Tech Report

M. Birbeck (Mark), S. Pemberton (Steven) and not CWI et al

January 2008
RDFa in XHTML: Syntax and Processing Tech Report

B. Adida (Ben), S. Pemberton (Steven) and not CWI et al

January 2008
Semantic web and beyond computing for human experience Book Chapter

V. Kashyap, K.-H. Cheung, D. Doherty, M. Samwald, M.S. Marshall (Scott), J. Luciano, S. Stephens, I. Herman (Ivan) and B. Hookway

January 2008
The Path to Web n+1 Article

ERCIM News, 16-17.

L. Hardman (Lynda) and S. Pemberton (Steven)

January 2008
Modular Development of Hybrid Systems for Verification in Coq In Proceedings

M. Niqui (Milad) and O. Tveretina

January 2008
Post-proceedings of the second International Workshop on the Foundations of Interactive Computation Proceedings

January 2008
Large Deviations Perspective on Ordinal Optimization of Heavy-tailed Systems In Proceedings

J. Blanchet (Jose), J. Liu and A.P. Zwart (Bert)

January 2008
Scaling laws for file dissemination in P2P networks with random contacts In Proceedings

R. Núñez Queija (Rudesindo) and B.J. Prabhu (Balakrishna)

January 2008
Load balancing in processor sharing systems In Proceedings

E. Altman, U. Ayesta (Urtzi) and B.J. Prabhu (Balakrishna)

January 2008
Performance model for “Just-in-Time” problems in real-time multimedia applications In Proceedings

R.D. van der Mei (Rob), F.J. Seinstra, G.M. Koole (Ger), R. Yang (Ran), D. Roubos and H. Bal

January 2008
Determining the optimal level of parallellism for realtime multimedia applications in a Grid environment In Proceedings

R.D. van der Mei (Rob), D. Roubos, F.J. Seinstra, G.M. Koole (Ger) and R. Yang (Ran)

January 2008
A note on polling models with renewal arrivals and nonzero switch-over times Article

Operations Research Letters, 500-505.

R.D. van der Mei (Rob) and E.M.M. Winands

January 2008
Heavy traffic analysis for polling models by Mean Value Analysis Article

Performance Evaluation, 400-416.

R.D. van der Mei (Rob) and E.M.M. Winands

January 2008
Polling Systems with Two-Phase Gated Service: Heavy Traffic Results for the Waiting Time Distribution Article

Probability in the Engineering and Informational Sciences, 623-651.

R.D. van der Mei (Rob) and J.A.C. Resing

January 2008
Analysis of an M/G/1 queue with customer impatience and an adaptive arrival process In Proceedings

O.J. Boxma (Onno), O. Kella, D. Perry and B.J. Prabhu (Balakrishna)

January 2008
Asymptotic analysis of Lévy-driven tandem queues Article

Queueing Systems, 60(3-4), 203-226.

P.M.D. Lieshout (Pascal) and M.R.H. Mandjes (Michel)

January 2008
On a generic class of two-node queueing systems Article

Queueing Systems, 37-63.

I.J.B.F. Adan, M.R.H. Mandjes (Michel), W.R.W. Scheinhardt (Werner) and E. Tzenova

January 2008
Comparison of bandwidth-sharing policies in a linear network In Proceedings

I.M. Verloop (Maaike), U. Ayesta (Urtzi) and S.C. Borst (Sem)

January 2008
Bandwidth-sharing networks in overload In Proceedings

R.R. Egorova (Regina Robertovna), S.C. Borst (Sem) and A.P. Zwart (Bert)

January 2008
Stability of parallel queueing systems with coupled service rates Article

Discrete Event Dynamic Systems: Theory and Applications, 18(4), 447-472.

S.C. Borst (Sem), M. Jonckheere (Matthieu) and L.S. Leskela (Lasse)

January 2008
Flow-level performance and user mobility in wireless data networks Article

Philosophical Transactions of the Royal Society A , 366(1872), 2047-2058.

S.C. Borst (Sem)

January 2008
Queueing models for single machine manufacturing systems In Proceedings

K. Wu, L.F. McGinnis and A.P. Zwart (Bert)

January 2008
Measuring extremal dependencies in Web graphs In Proceedings

Y. Volkovich, N. Litvak and A.P. Zwart (Bert)

January 2008
Steady state approximations of limited processor sharing queues in heavy traffic Article

Queueing Systems, 227-248.

J. Zhang (Jason) and A.P. Zwart (Bert)

January 2008
Corrected asymptotics for a multi-server queue in the Halfin-Whitt regime Article

Queueing Systems, 261-301.

G. Janssen, J.S.H. van Leeuwaarden (Johan) and A.P. Zwart (Bert)

January 2008
Gaussian expansions and bounds for the Poisson distribution applied to the Erlang B formula Article

Advances in Applied Probability, 122-143.

G. Janssen, J.S.H. van Leeuwaarden (Johan) and A.P. Zwart (Bert)

January 2008
Fluid approximation of a processor sharing queue with reneging Article

Mathematics of Operations Research, 375-402.

H.C. Gromoll (Christian), P. Robert (Philippe) and A.P. Zwart (Bert)

January 2008
Preventing large sojourn times with SMART scheduling Article

Operations Research, 88-101.

M. Nuyens, A. Wierman (Adam) and A.P. Zwart (Bert)

January 2008
Bandwidth trading under misaligned objectives: decentralized, measurement-based control Article

Computer Networks, 475-492.

M.R.H. Mandjes (Michel) and M. Ramakrishnan

January 2008
Approximate zero-one laws and sharpness of the percolation transition in a class of models including 2D Ising percolation Article

Annals of Probability, 1880-1903.

J. van den Berg (Rob)

January 2008
Enhancing the Performance of Maximum-Likelihood Gaussian EDAs Using Anticipated Mean Shift In Proceedings

P.A.N. Bosman (Peter), J. Grahl and D. Thierens (Dirk)

January 2008
Some New Maximal Inequalities Article

Statistics and Probability Letters, 16(16), 2776-2780.

P. Harremoës (Peter)

January 2008
On the Bahadur-efficient testing of unifor-On the Bahadur-efficient testing of uniformity by means of the entropy. Article

IEEE Transactions on Information Theory, 54(1), 321-331.

P. Harremoës (Peter) and I. Vajda

January 2008
On the correlation structure of a Lévy-driven queue Article

Journal of Applied Probability, 45(4), 940-952.

A. Es-Saghouani (Abdelghafour) and M.R.H. Mandjes (Michel)

January 2008
On a queueing model with service interruptions Article

Probability in the Engineering and Informational Sciences, 537-555.

O.J. Boxma (Onno), M.R.H. Mandjes (Michel) and O. Kella

January 2008
Simulation of a Jackson tandem network using state-dependent importance sampling In Proceedings

D.I. Miretskiy, W.R.W. Scheinhardt (Werner) and M.R.H. Mandjes (Michel)

January 2008
State-dependent importance sampling for a slowdown tandem queue In Proceedings

D.I. Miretskiy, W.R.W. Scheinhardt (Werner) and M.R.H. Mandjes (Michel)

January 2008
A fluid model for a relay node in an ad hoc network: evaluation of resource sharing policies Article

Journal of Applied Mathematics and Stochastic Analysis

M.R.H. Mandjes (Michel) and W.R.W. Scheinhardt (Werner)

January 2008
Generalized Processor Sharing: Characterization of the admissible region and selection of optimal weights Article

Computers & Operations Research, 2497-2519.

P.M.D. Lieshout (Pascal) and M.R.H. Mandjes (Michel)

January 2008
A note on the delay distribution in Generalized Processor Sharing Article

Operations Research Letters, 117-122.

P.M.D. Lieshout (Pascal) and M.R.H. Mandjes (Michel)

January 2008
The expected value and the variance of the checks required by revision algorithms Article

Constraint Programming Letters, 55-77.

A.B. Dieker (Ton), M. van Dongen and A. Sapozhnikov (Artem)

January 2008
The LDP for the on/off Weibull sojourn process Article

Journal of Applied Probability, 45(1), 107-117.

K. Duffy and A. Sapozhnikov (Artem)

January 2008
On the truncated long range percolation on $Z^2$ Article

Journal of Applied Probability, 45(1), 287-291.

B. de Lima and A. Sapozhnikov (Artem)

January 2008
Complexity analysis of a decentralised graph colouring algorithm Article

Information Processing Letters, 107(2), 60-63.

K. Duffy, N. O'Connell and A. Sapozhnikov (Artem)

January 2008
Convergence rates in the local renewal theorem Article

Statistics and Probability Letters, 78(14), 2230-2233.

A. Sapozhnikov (Artem)

January 2008
A new method for approximating the variance of the sojourn times in star-shaped queueing networks Article

Stochastic Models, 1-15.

R.D. van der Mei (Rob), A.R. de Wilde (Arald) and S. Bhulai (Sandjai)

January 2008
Composable Security in the Bounded-Quantum-Storage Model In Proceedings

S.D.C. Wehner (Stephanie) and J. Wullschleger

January 2008
State Discrimination With Post-Measurement Information Article

IEEE Transactions on Information Theory, 54(9), 4183-4198.

M.A. Ballester Sanches (Manuel Alberto), S.D.C. Wehner (Stephanie) and A. Winter

January 2008
Unique games with entangled provers are easy In Proceedings

J. Kempe, O. Regev (Oded) and B.F. Toner (Ben)

January 2008
Entangled games are hard to approximate In Proceedings

J. Kempe, H. Kobayashi, K. Matsumoto, B.F. Toner (Ben) and T. Vidick (Thomas)

January 2008
The quantum moment problem and bounds on entangled multi-prover games In Proceedings

A.C. Doherty (Andrew), Y.-C. Liang (Yeong-Cherng), B.F. Toner (Ben) and S.D.C. Wehner (Stephanie)

January 2008
Nonclassicality without entanglement enables bit commitment In Proceedings

H. Barnum (Howard), O. Dahlsten (Oscar), M. Leifer and B.F. Toner (Ben)

January 2008
Personalization on a peer-to-peer television system Article

International Journal on Multimedia Tools and Applications, 36(1-2), 89-113.

M. Waaijers (Max), J. Wang (Jun), J.A. Pouwelse, J. Fokker, A.P. de Vries (Arjen) and M.J.T. Reinders

January 2008
Flexible and efficient IR using array databases Article

VLDB Journal, 17(1), 151-168.

R. Cornacchia (Roberto), S. A. B. C. Héman (Sándor), M. Zukowski (Marcin), A.P. de Vries (Arjen) and P.A. Boncz (Peter)

January 2008
Zooming in Multi-spectral Datacubes using PCA In Proceedings

A. Broersen (Alexander), R. van Liere (Robert) and R.M.A. Heeren (Ron)

January 2008
Modeling Component Connectors: Synchronisation and Context-Dependency In Proceedings

M.M. Bonsangue (Marcello), M. Izadi (Mohammad) and D.G. Clarke (David)

January 2008
Recasting Constraint Automata into Buchi Automata In Proceedings

M.M. Bonsangue (Marcello) and M. Izadi (Mohammad)

January 2008
Coalgebraic logic and synthesis of Mealy machines In Proceedings

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

January 2008
Communication in the Presence of Replication In Proceedings

O. Barkol, Y. Ishai (Yuval) and E. Weinreb (Enav)

January 2008
Robust Multi-property Combiners for Hash Functions Revisited In Proceedings

M. Fischlin, A. Lehmann and K.Z. Pietrzak (Krzysztof)

January 2008
Weak Pseudorandom Functions in Minicrypt In Proceedings

K.Z. Pietrzak (Krzysztof) and J. Sjödin

January 2008
A New Mode of Operation for Block Ciphers and Length-Preserving MACs In Proceedings

Y. Dodis, K.Z. Pietrzak (Krzysztof) and P. Puniya (Prashant)

January 2008
Garden: An Integrated DSL Development Environment Article

Science in China, 38(12), 2084-2098.

N. Zhang, X. Ju and M. Sun (Meng)

January 2008
Identity-Based Signatures Book Chapter

E. Kiltz (Eike) and G. Neven

January 2008
A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams In Proceedings

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

January 2008
CCA2 Secure IBE: Standard Model Efficiency through Authenticated Symmetric Encryption In Proceedings

E. Kiltz (Eike) and Y. Vahlis

January 2008
Services and Contracts: Coalgebraically Article

Electronic Notes in Theoretical Computer Science, 207-223.

M. Sun (Meng)

January 2008
Leakage-Resilient Cryptography In Proceedings

S. Dziembowski and K.Z. Pietrzak (Krzysztof)

January 2008
Quantum Property Testing Article

SIAM Journal on Computing, 37(5), 1387-1400.

H.M. Buhrman (Harry), L. Fortnow (Lance), I. Newman and H. Röhrig (Hein)

January 2008
Randomised Individual Communication Complexity In Proceedings

H.M. Buhrman (Harry), M. Koucký (Michal) and N.K. Vereshchagin (Nikolay Konstantinovich)

January 2008
NP-hard sets are exponentially dense unless coNP C NP/poly In Proceedings

H.M. Buhrman (Harry) and J.M. Hitchcock (John)

January 2008
Programmable Hash Functions and Their Applications In Proceedings

D. Hofheinz (Dennis) and E. Kiltz (Eike)

January 2008
Towards Key-Dependent Message Security in the Standard Model In Proceedings

D. Hofheinz (Dennis) and D. Unruh

January 2008
Public-Key Encryption with Non-Interactive Opening In Proceedings

I.B. Damgård (Ivan), D. Hofheinz (Dennis), E. Kiltz (Eike) and R. Thorbek (Rune)

January 2008
Conditional Reactive Simulatability Article

International Journal of Information Security, 7(2), 155-169.

M. Backes, M. Dürmuth, D. Hofheinz (Dennis) and R. Küsters (Ralf)

January 2008

Available Years

Publications from 2026

Proportionate Flow Shop Games Article

OWLRL - RDFS and OWL 2 RL generator service Software

A shape theorem for the spread of an infection. Article

A problem in one-dimensional diffusion-limited aggregation (DLA) and positive recurrence of Markov chains. Article

Positive recurrence of a one-dimensional variant of diffusion limited aggregation. Book Chapter

Random spatial growth with paralyzing obstacles. Article

Box-crossings and continuity results for self-destructive percolation in the plane Book Chapter

-- Unpublished

Coordinating Object Oriented Components Using Data-flow Networks In Proceedings

Vertical systems biology: from DNA to flux and back Book Chapter

Met sprongen Inaugural Lecture

Pre-Galois Connection on Coalgebras for Generic Component Refinement Article

Control of input-output discrete-event systems Tech Report

A control problem for hybrid systems with discrete inputs and outputs Tech Report

Main Memory DBMS Book Chapter

Main Memory Book Chapter

Processor Cache Book Chapter

Disk Book Chapter

Fronts in Fermi-Pasta-Ulam chains Tech Report

Decentralized Management of Intermediate Elctricity Networks by Agents using Local Dynamic Pricing Software

Synthesizing nonblocking distributed supervision based on automata abstraction In Proceedings

When do diffusion-limited trajectories become memoryless? In Proceedings

Leatherbacks matching by automated image recognition Book Chapter

Computer-assisted tree taxonomy by automated image recognition Article

XHTML Role Attribute, A module to support role classification of elements Tech Report

XHTML Access Module Module to enable generic document accessibility Tech Report

RDFa in XHTML: Syntax and Processing Tech Report

Semantic web and beyond computing for human experience Book Chapter

The Path to Web n+1 Article

Modular Development of Hybrid Systems for Verification in Coq In Proceedings

Post-proceedings of the second International Workshop on the Foundations of Interactive Computation Proceedings

Large Deviations Perspective on Ordinal Optimization of Heavy-tailed Systems In Proceedings

Scaling laws for file dissemination in P2P networks with random contacts In Proceedings

Load balancing in processor sharing systems In Proceedings

Performance model for “Just-in-Time” problems in real-time multimedia applications In Proceedings

Determining the optimal level of parallellism for realtime multimedia applications in a Grid environment In Proceedings

A note on polling models with renewal arrivals and nonzero switch-over times Article

Heavy traffic analysis for polling models by Mean Value Analysis Article

Polling Systems with Two-Phase Gated Service: Heavy Traffic Results for the Waiting Time Distribution Article

Analysis of an M/G/1 queue with customer impatience and an adaptive arrival process In Proceedings

Asymptotic analysis of Lévy-driven tandem queues Article

On a generic class of two-node queueing systems Article

Comparison of bandwidth-sharing policies in a linear network In Proceedings

Bandwidth-sharing networks in overload In Proceedings

Stability of parallel queueing systems with coupled service rates Article

Flow-level performance and user mobility in wireless data networks Article

Queueing models for single machine manufacturing systems In Proceedings

Measuring extremal dependencies in Web graphs In Proceedings

Steady state approximations of limited processor sharing queues in heavy traffic Article

Corrected asymptotics for a multi-server queue in the Halfin-Whitt regime Article

Gaussian expansions and bounds for the Poisson distribution applied to the Erlang B formula Article

Fluid approximation of a processor sharing queue with reneging Article

Preventing large sojourn times with SMART scheduling Article

Bandwidth trading under misaligned objectives: decentralized, measurement-based control Article

Approximate zero-one laws and sharpness of the percolation transition in a class of models including 2D Ising percolation Article

Enhancing the Performance of Maximum-Likelihood Gaussian EDAs Using Anticipated Mean Shift In Proceedings

Some New Maximal Inequalities Article

On the Bahadur-efficient testing of unifor-On the Bahadur-efficient testing of uniformity by means of the entropy. Article

On the correlation structure of a Lévy-driven queue Article

On a queueing model with service interruptions Article

Simulation of a Jackson tandem network using state-dependent importance sampling In Proceedings

State-dependent importance sampling for a slowdown tandem queue In Proceedings

A fluid model for a relay node in an ad hoc network: evaluation of resource sharing policies Article

Generalized Processor Sharing: Characterization of the admissible region and selection of optimal weights Article

A note on the delay distribution in Generalized Processor Sharing Article

The expected value and the variance of the checks required by revision algorithms Article

The LDP for the on/off Weibull sojourn process Article

On the truncated long range percolation on $Z^2$ Article

Complexity analysis of a decentralised graph colouring algorithm Article

Convergence rates in the local renewal theorem Article

A new method for approximating the variance of the sojourn times in star-shaped queueing networks Article

Composable Security in the Bounded-Quantum-Storage Model In Proceedings

State Discrimination With Post-Measurement Information Article

Unique games with entangled provers are easy In Proceedings

Entangled games are hard to approximate In Proceedings

The quantum moment problem and bounds on entangled multi-prover games In Proceedings

Nonclassicality without entanglement enables bit commitment In Proceedings

Personalization on a peer-to-peer television system Article

Flexible and efficient IR using array databases Article