Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Structural properties of reflected Lévy processes Article

Queueing Systems, 301-322.

L.N. Andersen and M.R.H. Mandjes (Michel)

January 2009
Resource dimensioning through buffer sampling Article

IEEE/ACM Transactions on Networking, 1631-1644.

M.R.H. Mandjes (Michel) and R. van de Meent

January 2009
On the dependence structure of Gaussian queues Article

Stochastic Models, 221-247.

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

January 2009
SAT-based Verification for Timed Component Connectors In Proceedings

S. Kemper (Stephanie)

January 2009
Simulation-based computation of the workload correlation function in a Levy-driven queue In Proceedings

P. Glynn and M.R.H. Mandjes (Michel)

January 2009
Backpressure-based control protocols: design and computational aspects In Proceedings

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

January 2009
An efficient multilevel splitting scheme In Proceedings

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

January 2009
Network Link Dimensioning Article

IEEE Network, 23(2), 5-10.

A. Pras, R. van de Meent, M.R.H. Mandjes (Michel) and L.J.M. Nieuwenhuis

January 2009
Transient characteristics of Gaussian queues Article

Queueing Systems, 383-409.

K.G. Dȩbicki (Krzysztof), A. Es-Saghouani (Abdelghafour) and M.R.H. Mandjes (Michel)

January 2009
Importance sampling and rare-event simulation Book Chapter

P. L'Ecuyer, M.R.H. Mandjes (Michel) and B. Truffin

January 2009
Rare-event simulation for queues Book Chapter

J. Blanchet (Jose) and M.R.H. Mandjes (Michel)

January 2009
On convergence to stationarity of fractional Brownian storage Article

Annals of Applied Probability, 1385-1403.

P. Glynn, M.R.H. Mandjes (Michel) and I. Norros

January 2009
Bandwidth sharing networks under a diffusion scaling Article

Annals of Operations Research, 41-58.

U. Ayesta (Urtzi) and M.R.H. Mandjes (Michel)

January 2009
Book review: The traveling salesman problem: a computational study (by D.L. Applegate, R.E. Bixby, V. Chvátal, W.J. Cook) Article

SIAM Review, 799-801.

J.K. Lenstra (Jan Karel) and D.B. Shmoys

January 2009
Linear lower bounds for $\delta_c(p)$ for a class of 2D self-destructive percolation models Article

Random Structures & Algorithms, 34(4)

J. van den Berg (Rob) and B. de Lima

January 2009
On the efficient policing of HTTP traffic in WLANs In Proceedings

G.J. Hoekstra (Gerard) and F.J.M. Panken

January 2009
Multi-service traffic profiles to realise and maintain QoS guarantees in wireless LANs Article

Computer Communications, 32(6), 1022-1033.

F.J.M. Panken and G.J. Hoekstra (Gerard)

January 2009
Special issue on Stochastic Performance Models for Resource Allocation in Communication Systems Article

Annals of Operations Research

M.R.H. Mandjes (Michel), R.D. van der Mei (Rob) and R. Núñez Queija (Rudesindo)

January 2009
TCP performance modeling in the case of bi-directional packet loss Book Chapter

R. Yang (Ran), R.E. Kooij (Robert) and R.D. van der Mei (Rob)

January 2009
On the processor sharing of file transfers in WLANs In Proceedings

G.J. Hoekstra (Gerard) and R.D. van der Mei (Rob)

January 2009
Dynamic thread assignment in Web server performance optimization Article

Performance Evaluation, 301-310.

W. van der Weij (Wemke), S. Bhulai (Sandjai) and R.D. van der Mei (Rob)

January 2009
Dynamic load balancing and job replication in a global-scale grid environment Article

IEEE Transactions on Parallel and Distributed Systems, 207-218.

M.A. Dobber (Menno), R.D. van der Mei (Rob) and G.M. Koole (Ger)

January 2009
Algebraic Methods for Counting Euclidean Embeddings of Rigid Graphs In Proceedings

I.Z. Emiris, E.P. Tsigaridas and A. Varvitsiotis (Antonios)

January 2009
Analysis of a multirate theta-method for stiff ODEs Article

Applied Numerical Mathematics, 693-706.

W. Hundsdorfer (Willem) and V. Savcenco (Valeriu)

January 2009
Stepsize conditions for boundedness in numerical initial value problems Article

SIAM Journal on Numerical Analysis, 3797-3819.

W. Hundsdorfer (Willem), A. Mozartova (Anna) and M.N. Spijker

January 2009
On Collective Rational Action Book Chapter

D.J.N. van Eijck (Jan), R. Parikh, M. Pauly (Marc) and R. Verbrugge (Rineke)

January 2009
Social Software and the Ills of Society Book Chapter

D.J.N. van Eijck (Jan), R. Parikh, M. Pauly (Marc) and R. Verbrugge (Rineke)

January 2009
Eating from the Tree of Ignorance Book Chapter

D.J.N. van Eijck (Jan) and R. Verbrugge (Rineke)

January 2009
What is Protocol Analysis? Book Chapter

F. Dechesne (Francien), D.J.N. van Eijck (Jan), W. Teepe and Y. Wang (Yanjing)

January 2009
Game Theory. Logic and Rational Choice Book Chapter

J. F. A. K. van Benthem (Johan) and D.J.N. van Eijck (Jan)

January 2009
Common Knowledge and Common Belief Book Chapter

H. van Ditmarsch (Hans), D.J.N. van Eijck (Jan) and R. Verbrugge (Rineke)

January 2009
Ends and Means, Values and Virtues Book Chapter

D.J.N. van Eijck (Jan) and M. van Hees

January 2009
On Social Choice Theory Book Chapter

D.J.N. van Eijck (Jan) and R. Parikh

January 2009
A Guest Lecture on Social Software Book Chapter

D.J.N. van Eijck (Jan) and R. Parikh

January 2009
What is Social Software? Book Chapter

D.J.N. van Eijck (Jan) and R. Parikh

January 2009
Discourses on Social Software Book

January 2009
Logica in Actie Book

J. F. A. K. van Benthem (Johan), H. van Ditmarsch (Hans) and D.J.N. van Eijck (Jan)

January 2009
Coinductive Predicates as Final Coalgebras In Proceedings

M. Niqui (Milad) and J.J.M.M. Rutten (Jan)

January 2009
Coalgebraic Reasoning in Coq: Bisimulation and the lambda-Coiteration Scheme In Proceedings

M. Niqui (Milad)

January 2009
Verifying epistemic protocols under common knowledge In Proceedings

Y. Wang (Yanjing), L. Kuppusamy (Lakshmanan) and D.J.N. van Eijck (Jan)

January 2009
Dynamic Epistemic Logic for Protocol Analysis Book Chapter

F. Dechesne (Francien), D.J.N. van Eijck (Jan), W. Teepe and Y. Wang (Yanjing)

January 2009
What is Protocol Analysis? Book Chapter

D.J.N. van Eijck (Jan), F. Dechesne (Francien), W. Teepe and Y. Wang (Yanjing)

January 2009
Database Architecture Fertilizers: Just-in-time, Just-enough, and Autonomous Growth In Proceedings

M.L. Kersten (Martin)

January 2009
A generalized Grothendieck inequality and entanglement in XOR games In Proceedings

J. Briët (Jop), H.M. Buhrman (Harry) and B.F. Toner (Ben)

January 2009
Unconditional Lower Bounds against Advice In Proceedings

H.M. Buhrman (Harry), L. Fortnow (Lance) and R. Santhanam

January 2009
Partition Arguments in Multiparty Communication Complexity In Proceedings

J. Draisma (Jan), E. Kushilevitz and E. Weinreb (Enav)

January 2009
Quantum algorithm for identifying hidden polynomial function graphs Article

Quantum Information and Computation, 9(0706.1219), 0215-0230.

T. Decker, J. Draisma (Jan) and P. Wocjan

January 2009
On the ideals of equivariant tree models Article

Mathematische Annalen, 344(0712.3230), 619-644.

J. Draisma (Jan) and J. Kuttler

January 2009
Kolmogorov Complexity in Randomness Extraction In Proceedings

J.M. Hitchcock (John), A. Pavan and N.V. Vinodchandran

January 2009
Nonnegative matrix factorization of a correlation matrix Article

Linear Algebra and its Applications, 334-349.

P. Sonneveld, J.J.I.M. van Kan, X. Huang and C.W. Oosterlee (Kees)

January 2009
A multigrid-based shifted-Laplacian preconditioner for a fourth order Helmholtz discretization Article

Numerical Linear Algebra with Applications, 603-626.

N. Umetani, S.P. MacLachlan (Scott) and C.W. Oosterlee (Kees)

January 2009
Pricing early-exercise and discrete barrier options by Fourier-cosine series expansions Article

Numerische Mathematik, 27-62.

F. Fang and C.W. Oosterlee (Kees)

January 2009
Adaptive integration for multi-factor portfolio credit loss models Article

Journal of Computational and Applied Mathematics, 506-516.

X. Huang and C.W. Oosterlee (Kees)

January 2009
Maximum permissive coordinated distributed supervisory control of nondeterministic discrete-event systems Tech Report

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

January 2009
The synthesis of time optimal supervisors by using heaps-of-pieces Tech Report

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

January 2009
Computing supremal minimum-weight controllable and normal sublanguages Tech Report

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

January 2009
Coordinated distributed supervisory control Tech Report

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

January 2009
Aggregative synthesis of distributed supervisors based on automaton abstraction Tech Report

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

January 2009
Dynamics with a range of choice Article

The special SCAN'08 issue of reliable computing

S. Živanovic (Sanja) and L. Kapitanski

January 2009
Aligning Protein Structures Using Distance Matrices and Combinatorial Optimization In Proceedings

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

January 2009
Efficient nonconflict check by using automaton abstractions In Proceedings

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

January 2009
Synthesize nonblocking distributed supervisors with coordinators In Proceedings

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

January 2009
An algorithm for computing supremal nonblocking state-normal supervisors for nondeterministic systems In Proceedings

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

January 2009
Realization theory of discrete-time linear hybrid system In Proceedings

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

January 2009
Control of input/output discrete-event systems In Proceedings

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

January 2009
Realization theory of Nash systems In Proceedings

J. Nemcová (Jana), M. Petreczky (Mihaly) and J.H. van Schuppen (Jan)

January 2009
Tutorial on system identification of polynomial and of rational systems In Proceedings

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

January 2009
Structural and global identifiability of parametrized rational systems In Proceedings

J. Nemcová (Jana)

January 2009
Algebraic reachability of rational systems In Proceedings

J. Nemcová (Jana)

January 2009
Simulation-based CTMC model checking: An empirical evaluation In Proceedings

J.P. Katoen and I.S. Zapreev (Ivan)

January 2009
The ins and outs of the probabilistic model checker MRMC In Proceedings

J.P. Katoen, I.S. Zapreev (Ivan), E.M. Hahn, H. Hermanns (Holger) and D.N. Jansen (David)

January 2009
Comparative systems biology: from bacteria to man Book Chapter

F. J. M. Teusink (Frank), H.V. Westerhoff (Hans) and F.J. Bruggeman (Frank)

January 2009
Anchoring (environmental micro)biology in physics-based theory Article

Environmental Microbiology Reports, 3-26.

F. J. M. Teusink (Frank), F.J. Bruggeman (Frank) and D. Molenaar

January 2009
Construction of a coordinator for coordinated linear systems In Proceedings

P.L. Kempker (Pia), A.C.M. Ran and J.H. van Schuppen (Jan)

January 2009
CASS: Combining phylogenetic trees into a phylogenetic network Magazine Article

L.J.J. van Iersel (Leo), S.M. Kelk (Steven), R. Rupp and D. Huson

January 2009
LEV1ATHAN: A level-1 heuristic Software

K.T. Huber, L.J.J. van Iersel (Leo), S.M. Kelk (Steven) and R. Suchecki

January 2009
Realization theory for rational systems: The existence of rational realizations Article

SIAM Journal on Control and Optimization, 2840-2856.

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

January 2009
Constructing the Simplest Possible Phylogenetic Network from Triplets, Article

Algorithmica

L.J.J. van Iersel (Leo) and S.M. Kelk (Steven)

January 2009
Dynamics with choice Article

Nonlinearity, 163-186.

L. Kapitanski and S. Živanovic (Sanja)

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
Modes and cuts in metabolic networks: Complexity and algorithms Article

Biosystems, 95(1), 51-60.

V. Acuña (Vicente), F. Chierichetti, V. Lacroix, A. Marchetti Spaccamela (Alberto), M.-F. Sagot (Marie-France) and L. Stougie (Leen)

January 2009
Data aggregation in sensor networks: Balancing communication and delay costs Article

Theoretical Computer Science, 410(14), 1346-1354.

P. Korteweg, A. Marchetti Spaccamela (Alberto), L. Stougie (Leen) and A. Vitaletti

January 2009
Online k-server routing problems Article

Theory of Computing Systems, 45(3), 470-485.

V. Bonifaci (Vincenzo) and L. Stougie (Leen)

January 2009
Discrete Fitting of Hydrogen-Deuterium-Exchange-data of Overlapping Fragments In Proceedings

E. Althaus, S. Canzar (Stefan), C. Ehrler, M.R. Emmett, A. Karrenbauer, A.G. Marshall and A. Meyer-Baese

January 2009
De Huwelijksstelling van Hall Magazine Article

D. Gijswijt (Dion)

January 2009
Efficient Methods for Multi-agent Multi-issue Negotiation: Allocating Resources In Proceedings

M. Wu (Mengxiao), M.M. de Weerdt (Mathijs) and J.A. La Poutré (Han)

January 2009
A generic approach to coalition formation Article

International Game Theory Review, 11(3), 347-367.

K.R. Apt (Krzysztof) and S. A. Witzel (Andreas)

January 2009
On the Query Complexity of Testing for Eulerian Orientations Article

ACM Transactions on Algorithms

E. Fischer, A. Matsliah (Arie), I. Newman and O. Yahalom

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

BMC Bioinformatics, 10(suppl 1)

G.W. Klau (Gunnar)

January 2009
Hardness and Algorithms for Rainbow Connectivity In Proceedings

S. Chakraborty (Sourav), E. Fischer, A. Matsliah (Arie) and R. Yuster

January 2009
On optimal comparability editing with applications to molecular diagnostics Article

BMC Bioinformatics, 10(suppl 1)

S. Boecker, S. Briesemeister and G.W. Klau (Gunnar)

January 2009
Distributed elections in an Archimedean ring of processors Tech Report

P.M.B. Vitányi (Paul)

January 2009
Approximation of the two-part MDL code Article

IEEE Transactions on Information Theory, 55(1), 444-457.

P. Adriaans and P.M.B. Vitányi (Paul)

January 2009
Turing machine Tech Report

P.M.B. Vitányi (Paul)

January 2009
Robust Cryptography in the Noisy-Quantum-Storage Model Article

Quantum Information and Computation, 963-996.

C. Schaffner (Christian), B.M. Terhal (Barbara) and S.D.C. Wehner (Stephanie)

January 2009
The operational meaning of min- and max-entropy Article

IEEE Transactions on Information Theory, 55(9), 4337-4347.

R. König, R. Renner and C. Schaffner (Christian)

January 2009
On the power of two-party quantum cryptography In Proceedings

L. Salvail (Louis), C. Schaffner (Christian) and M. Sotakova

January 2009
Improving the security of quantum protocols via commit-and-open In Proceedings

I.B. Damgård (Ivan), S. Fehr (Serge), C. Luneman, L. Salvail (Louis) and C. Schaffner (Christian)

January 2009

Available Years

Publications from 2017

Structural properties of reflected Lévy processes Article

Resource dimensioning through buffer sampling Article

On the dependence structure of Gaussian queues Article

SAT-based Verification for Timed Component Connectors In Proceedings

Simulation-based computation of the workload correlation function in a Levy-driven queue In Proceedings

Backpressure-based control protocols: design and computational aspects In Proceedings

An efficient multilevel splitting scheme In Proceedings

Network Link Dimensioning Article

Transient characteristics of Gaussian queues Article

Importance sampling and rare-event simulation Book Chapter

Rare-event simulation for queues Book Chapter

On convergence to stationarity of fractional Brownian storage Article

Bandwidth sharing networks under a diffusion scaling Article

Book review: The traveling salesman problem: a computational study (by D.L. Applegate, R.E. Bixby, V. Chvátal, W.J. Cook) Article

Linear lower bounds for $\delta_c(p)$ for a class of 2D self-destructive percolation models Article

On the efficient policing of HTTP traffic in WLANs In Proceedings

Multi-service traffic profiles to realise and maintain QoS guarantees in wireless LANs Article

Special issue on Stochastic Performance Models for Resource Allocation in Communication Systems Article

TCP performance modeling in the case of bi-directional packet loss Book Chapter

On the processor sharing of file transfers in WLANs In Proceedings

Dynamic thread assignment in Web server performance optimization Article

Dynamic load balancing and job replication in a global-scale grid environment Article

Algebraic Methods for Counting Euclidean Embeddings of Rigid Graphs In Proceedings

Analysis of a multirate theta-method for stiff ODEs Article

Stepsize conditions for boundedness in numerical initial value problems Article

On Collective Rational Action Book Chapter

Social Software and the Ills of Society Book Chapter

Eating from the Tree of Ignorance Book Chapter

What is Protocol Analysis? Book Chapter

Game Theory. Logic and Rational Choice Book Chapter

Common Knowledge and Common Belief Book Chapter

Ends and Means, Values and Virtues Book Chapter

On Social Choice Theory Book Chapter

A Guest Lecture on Social Software Book Chapter

What is Social Software? Book Chapter

Discourses on Social Software Book

Logica in Actie Book

Coinductive Predicates as Final Coalgebras In Proceedings

Coalgebraic Reasoning in Coq: Bisimulation and the lambda-Coiteration Scheme In Proceedings

Verifying epistemic protocols under common knowledge In Proceedings

Dynamic Epistemic Logic for Protocol Analysis Book Chapter

What is Protocol Analysis? Book Chapter

Database Architecture Fertilizers: Just-in-time, Just-enough, and Autonomous Growth In Proceedings

A generalized Grothendieck inequality and entanglement in XOR games In Proceedings

Unconditional Lower Bounds against Advice In Proceedings

Partition Arguments in Multiparty Communication Complexity In Proceedings

Quantum algorithm for identifying hidden polynomial function graphs Article

On the ideals of equivariant tree models Article

Kolmogorov Complexity in Randomness Extraction In Proceedings

Nonnegative matrix factorization of a correlation matrix Article

A multigrid-based shifted-Laplacian preconditioner for a fourth order Helmholtz discretization Article

Pricing early-exercise and discrete barrier options by Fourier-cosine series expansions Article

Adaptive integration for multi-factor portfolio credit loss models Article

Maximum permissive coordinated distributed supervisory control of nondeterministic discrete-event systems Tech Report

The synthesis of time optimal supervisors by using heaps-of-pieces Tech Report

Computing supremal minimum-weight controllable and normal sublanguages Tech Report

Coordinated distributed supervisory control Tech Report

Aggregative synthesis of distributed supervisors based on automaton abstraction Tech Report

Dynamics with a range of choice Article

Aligning Protein Structures Using Distance Matrices and Combinatorial Optimization In Proceedings

Efficient nonconflict check by using automaton abstractions In Proceedings

Synthesize nonblocking distributed supervisors with coordinators In Proceedings

An algorithm for computing supremal nonblocking state-normal supervisors for nondeterministic systems In Proceedings

Realization theory of discrete-time linear hybrid system In Proceedings

Control of input/output discrete-event systems In Proceedings

Realization theory of Nash systems In Proceedings

Tutorial on system identification of polynomial and of rational systems In Proceedings

Structural and global identifiability of parametrized rational systems In Proceedings

Algebraic reachability of rational systems In Proceedings

Simulation-based CTMC model checking: An empirical evaluation In Proceedings

The ins and outs of the probabilistic model checker MRMC In Proceedings

Comparative systems biology: from bacteria to man Book Chapter

Anchoring (environmental micro)biology in physics-based theory Article

Construction of a coordinator for coordinated linear systems In Proceedings

CASS: Combining phylogenetic trees into a phylogenetic network Magazine Article

LEV1ATHAN: A level-1 heuristic Software

Realization theory for rational systems: The existence of rational realizations Article

Constructing the Simplest Possible Phylogenetic Network from Triplets, Article

Dynamics with choice Article