Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

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
The EMF Model Transformation Framework Book Chapter

E. Biermann, K. Ehrig, C. Ermel, C. Krause (born Köhler) (Christian) and G. Taentzer

January 2008
Modeling, Testing and Executing Reo Connectors with the Eclipse Coordination Tools In Proceedings

F. Arbab (Farhad), C. Krause (born Köhler) (Christian), Z. Maraikar (Ziyan), Y.-J. Moon (Young-Joo) and J.M.P. Proença (Jose)

January 2008
3D Facial Landmarking under Expression, Pose, and Occlusion Variations In Proceedings

H. Dibeklioğlu, A.A. Salah (Albert Ali) and L. Akarun

January 2008
Synthesis of Connectors from Scenario-based Interaction Specifications In Proceedings

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

January 2008
Static Check of WSCDL Documents In Proceedings

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

January 2008
Reconfiguration Distributed Reo Connectors In Proceedings

C. Krause (born Köhler) (Christian), F. Arbab (Farhad) and E.P. de Vink (Erik)

January 2008
Verification of Networks of Timed Automata using mCRL2 In Proceedings

J.F. Groote (Jan Friso), M.A. Reniers (Michel) and Y.S. Usenko (Yaroslav)

January 2008
Calculating Invariants as Coreflexive Bisimulations In Proceedings

L.S. Barbosa, J.N. Oliveira (José) and A.M. Silva (Alexandra)

January 2008
Metaplectic operators on {$C^n$} Article

Quarterly Journal of Mathematics, 59(1), 15-28.

H.G. Feichtinger, M. Hazewinkel (Michiel), N. Kaiblinger, E. Matusiak and M. Neuhauser

January 2008
QoS-Driven Service Selection and Composition In Proceedings

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

January 2008
Automated, feature-based image alignment for high-resolution imaging mass spectrometry of large biological samples Article

Journal of the American Society for Mass Spectrometry, 19(6), 823-833.

A. Broersen (Alexander), R. van Liere (Robert) and not CWI et al

January 2008
A multi-agent platform for auction-based allocation of loads in transportation logistics (Demonstration Paper) In Proceedings

H. Noot (Han), V. Robu (Valentin), J.A. La Poutré (Han) and W.-J. van Schijndel

January 2008
Autonomous Scheduling In Proceedings

C. Yadati, C. Witteveen (Cees), Y.Q. Zhang (Yingqian (Jennie)), M. Wu (Mengxiao) and J.A. La Poutré (Han)

January 2008
Observational coalgebras and complete sets of co-operations Article

C.A. Kupke (Clemens) and J.J.M.M. Rutten (Jan)

January 2008
Rational streams coalgebraically Article

Logical Methods in Computer Science, 4(3)

J.J.M.M. Rutten (Jan)

January 2008
Deconstructing Reo In Proceedings

D.G. Clarke (David), J.M.P. Proença (Jose), A. Lazovik (Aliaksandr) and F. Arbab (Farhad)

January 2008
Reconfiguration of Reo Connectors Triggered by Dataflow Article

Electronic Communications of the European Association of Software Science and Technology

C. Krause (born Köhler) (Christian), D.F. de Oliveira Costa (David), J.M.P. Proença (Jose) and F. Arbab (Farhad)

January 2008
Model-checking agent refinement In Proceedings

F.S. de Boer (Frank) and L. Astefanoaei (Lacramioara)

January 2008
A Deductive Proof System for Multithreaded Java with Exceptions Article

Fundamenta Informaticae, 82(4)

F.S. de Boer (Frank), E. Abraham (Erika), W.P. de Roever and M. Steffen

January 2008
A Verification Framework for Normative Multi-Agent Systems In Proceedings

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

January 2008
Reo Connectors as Coordination Artifacts in 2APL Systems In Proceedings

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

January 2008
Testing Concurrent Objects with Application-Specific Schedulers In Proceedings

F.S. de Boer (Frank), R. Schlatte (Rudolf), B.K. Aichernig and E. Broch Johnsen

January 2008
A Framework for Video Interaction with Web Browsers Article

ERCIM News, 25-26.

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

January 2008
Comment on 'Mechanism of Branching in Negative Ionization Fronts' Article

Physical Review Letters, 1-1.

U. Ebert (Ute) and G. Derks (Gianne)

January 2008
A visual approach for modeling spatiotemporal relations In Proceedings

R.L. Guimarães (Rodrigo Laiola), C.S.S. Neto and L.F.G. Soares (Luiz Fernando Gomes)

January 2008
Yet More Modal Logics of Preference Change and Belief Revision Book Chapter

D.J.N. van Eijck (Jan)

January 2008
Minimizing average flow time in sensor data gathering In Proceedings

V. Bonifaci (Vincenzo), P. Korteweg, A. Marchetti Spaccamela (Alberto) and L. Stougie (Leen)

January 2008
Enumerating precursor sets of target metabolites in a metabolic network In Proceedings

L. Cottret, P.V. Milreu (Paulo), V. Acuña (Vicente), A. Marchetti Spaccamela (Alberto), F. Viduani Martinez, M.-F. Sagot (Marie-France) and L. Stougie (Leen)

January 2008
The Distributed Wireless Gathering Problem In Proceedings

V. Bonifaci (Vincenzo), P. Korteweg, A. Marchetti Spaccamela (Alberto) and L. Stougie (Leen)

January 2008
Balanced subset sums of dense sets of integers Tech Report

G. Karolyi (Gyula)

January 2008
Algebraic and combinatorial methods in the theory of set addition Tech Report

G. Karolyi (Gyula)

January 2008
Minimizing flow time in the wireless gathering problem In Proceedings

V. Bonifaci (Vincenzo), P. Korteweg, A. Marchetti Spaccamela (Alberto) and L. Stougie (Leen)

January 2008
Random walks on the vertices of transportation polytopes with constant number of sources Article

Random Structures & Algorithms, 33(3), 333-355.

M. Cryan, M. Dyer (Martin), H. Mueller (Haiko) and L. Stougie (Leen)

January 2008
An approximation algorithm for the Wireless Gathering Problem Article

Operations Research Letters, 36(5), 605-608.

V. Bonifaci (Vincenzo), P. Korteweg, A. Marchetti Spaccamela (Alberto) and L. Stougie (Leen)

January 2008
Semantics and computability of the evolution of hybrid systems Tech Report

P.J. Collins (Pieter)

January 2008
Realization theory for rational systems Tech Report

J. Nemcová (Jana) and J.H. van Schuppen (Jan)

January 2008
Coding and modulation for the additive exponential noise channel In Proceedings

A. Martinez (Alfonso)

January 2008
Bit-Interleaved Coded Modulation Revisited: A Mismatched Decoding Perspective In Proceedings

A. Martinez (Alfonso), A. Guillén i Fàbregas, G. Caire and F.M.J. Willems

January 2008
Of Mechanism Design and Multiagent Planning In Proceedings

R.P.J. van der Krogt, M.M. de Weerdt (Mathijs) and Y.Q. Zhang (Yingqian (Jennie))

January 2008
Fuzzy Argumentation for Trust Book Chapter

R. Stranders, M.M. de Weerdt (Mathijs) and C. Witteveen (Cees)

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
Matching inductive search bias and problem structure in continuous estimation-of-distribution algorithms Article

European Journal of Operational Research, 185(3), 1246-1264.

P.A.N. Bosman (Peter) and J. Grahl

January 2008
Learning Structure Illuminates Black Boxes: an Introduction into Estimation of Distribution Algorithms Book Chapter

J. Grahl, S. Minner and P.A.N. Bosman (Peter)

January 2008
Adaptation of a Success Story in GAs: Estimation-of-Distribution Algorithms for Tree-based Optimization Problems Book Chapter

P.A.N. Bosman (Peter) and E. de Jong (Edwin)

January 2008
Online Transportation and Logistics using Computationally Intelligent Anticipation Book Chapter

P.A.N. Bosman (Peter) and J.A. La Poutré (Han)

January 2008
On variable length coding of asymptotically mean stationary measures Unpublished

L. Debowski (Lukasz Jerzy)

January 2008
On the Vocabulary of Grammar-Based Codes and the Logical Consistency of Texts Unpublished

L. Debowski (Lukasz Jerzy)

January 2008
A general definition of conditional information and its application to ergodic decomposition Unpublished

L. Debowski (Lukasz Jerzy)

January 2008

Available Years

Publications from 2017

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

Zooming in Multi-spectral Datacubes using PCA In Proceedings

Modeling Component Connectors: Synchronisation and Context-Dependency In Proceedings

Recasting Constraint Automata into Buchi Automata In Proceedings

Coalgebraic logic and synthesis of Mealy machines In Proceedings

Communication in the Presence of Replication In Proceedings

Robust Multi-property Combiners for Hash Functions Revisited In Proceedings

Weak Pseudorandom Functions in Minicrypt In Proceedings

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

Garden: An Integrated DSL Development Environment Article

Identity-Based Signatures Book Chapter

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

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

Services and Contracts: Coalgebraically Article

Leakage-Resilient Cryptography In Proceedings

Quantum Property Testing Article

Randomised Individual Communication Complexity In Proceedings

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

Programmable Hash Functions and Their Applications In Proceedings

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

Public-Key Encryption with Non-Interactive Opening In Proceedings

Conditional Reactive Simulatability Article

The EMF Model Transformation Framework Book Chapter

Modeling, Testing and Executing Reo Connectors with the Eclipse Coordination Tools In Proceedings

3D Facial Landmarking under Expression, Pose, and Occlusion Variations In Proceedings

Synthesis of Connectors from Scenario-based Interaction Specifications In Proceedings

Static Check of WSCDL Documents In Proceedings

Reconfiguration Distributed Reo Connectors In Proceedings

Verification of Networks of Timed Automata using mCRL2 In Proceedings

Calculating Invariants as Coreflexive Bisimulations In Proceedings

Metaplectic operators on {$C^n$} Article

QoS-Driven Service Selection and Composition In Proceedings

Automated, feature-based image alignment for high-resolution imaging mass spectrometry of large biological samples Article

A multi-agent platform for auction-based allocation of loads in transportation logistics (Demonstration Paper) In Proceedings

Autonomous Scheduling In Proceedings

Observational coalgebras and complete sets of co-operations Article

Rational streams coalgebraically Article

Deconstructing Reo In Proceedings

Reconfiguration of Reo Connectors Triggered by Dataflow Article

Model-checking agent refinement In Proceedings

A Deductive Proof System for Multithreaded Java with Exceptions Article

A Verification Framework for Normative Multi-Agent Systems In Proceedings

Reo Connectors as Coordination Artifacts in 2APL Systems In Proceedings

Testing Concurrent Objects with Application-Specific Schedulers In Proceedings

A Framework for Video Interaction with Web Browsers Article

Comment on 'Mechanism of Branching in Negative Ionization Fronts' Article

A visual approach for modeling spatiotemporal relations In Proceedings

Yet More Modal Logics of Preference Change and Belief Revision Book Chapter

Minimizing average flow time in sensor data gathering In Proceedings