Publications from 2013
-
From coordination to stochastic models of QoS In Proceedings
January 2009 -
Design and construction of protocol sequences: shift invariance and user irrepressibility In Proceedings
January 2009 -
Shift-invariant protocol sequences for the collision channel without feedback Article
IEEE Transactions on Information Theory, 55(7), 3312-3322.January 2009 -
Enhancing real-time delivery for wireless sensor networks with two-hop information Article
IEEE Transactions on Industrial Informatics, 5(2), 113-122.January 2009 -
Law of Large Number Limits of Limited Processor Sharing Queues Article
Mathematics of Operations Research, 937-970.January 2009 -
An extension of the square root law of TCP Article
Annals of Operations Research, 217-232.January 2009 -
Instability of MaxWeight scheduling In Proceedings
January 2009 -
January 2009
-
Mobility-driven scheduling in wireless networks In Proceedings
January 2009 -
Interacting queues with server selection and coordinated scheduling - application to cellular data networks Article
Annals of Operations Research, 170(1), 59-78.January 2009 -
January 2009
-
Self-organizing algorithms for cache cooperation in content distribution networks Article
Bell Labs Technical Journal, 14(3), 113-125.January 2009 -
A new framework for performance analysis of emerging personalized communication services Article
Bell Labs Technical Journal, 14(3), 127-138.January 2009 -
Flow-level performance and capacity of wireless networks with user mobility Article
Queueing Systems, 63(1-4), 131-164.January 2009 -
January 2009
-
Structural properties of reflected Lévy processes Article
Queueing Systems, 301-322.January 2009 -
Resource dimensioning through buffer sampling Article
IEEE/ACM Transactions on Networking, 1631-1644.January 2009 -
On the dependence structure of Gaussian queues Article
Stochastic Models, 221-247.January 2009 -
SAT-based Verification for Timed Component Connectors In Proceedings
January 2009 -
Simulation-based computation of the workload correlation function in a Levy-driven queue In Proceedings
January 2009 -
January 2009
-
An efficient multilevel splitting scheme In Proceedings
January 2009 -
Network Link Dimensioning Article
IEEE Network, 23(2), 5-10.January 2009 -
Transient characteristics of Gaussian queues Article
Queueing Systems, 383-409.January 2009 -
Importance sampling and rare-event simulation Book Chapter
January 2009 -
Rare-event simulation for queues Book Chapter
January 2009 -
On convergence to stationarity of fractional Brownian storage Article
Annals of Applied Probability, 1385-1403.January 2009 -
Bandwidth sharing networks under a diffusion scaling Article
Annals of Operations Research, 41-58.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.January 2009 -
Linear lower bounds for $\delta_c(p)$ for a class of 2D self-destructive percolation models Article
Random Structures & Algorithms, 34(4)January 2009 -
On the efficient policing of HTTP traffic in WLANs In Proceedings
January 2009 -
Multi-service traffic profiles to realise and maintain QoS guarantees in wireless LANs Article
Computer Communications, 32(6), 1022-1033.January 2009 -
Special issue on Stochastic Performance Models for Resource Allocation in Communication Systems Article
Annals of Operations ResearchJanuary 2009 -
January 2009
-
On the processor sharing of file transfers in WLANs In Proceedings
January 2009 -
Dynamic thread assignment in Web server performance optimization Article
Performance Evaluation, 301-310.January 2009 -
Dynamic load balancing and job replication in a global-scale grid environment Article
IEEE Transactions on Parallel and Distributed Systems, 207-218.January 2009 -
January 2009
-
Analysis of a multirate theta-method for stiff ODEs Article
Applied Numerical Mathematics, 693-706.January 2009 -
Stepsize conditions for boundedness in numerical initial value problems Article
SIAM Journal on Numerical Analysis, 3797-3819.January 2009 -
On Collective Rational Action Book Chapter
January 2009 -
Social Software and the Ills of Society Book Chapter
January 2009 -
Eating from the Tree of Ignorance Book Chapter
January 2009 -
What is Protocol Analysis? Book Chapter
January 2009 -
Game Theory and Rational Choice Book Chapter
January 2009 -
Common Knowledge and Common Belief Book Chapter
January 2009 -
Ends and Means, Values and Virtues Book Chapter
January 2009 -
On Social Choice Theory Book Chapter
January 2009 -
A Guest Lecture on Social Software Book Chapter
January 2009 -
What is Social Software? Book Chapter
January 2009 -
January 2009
-
Logica in Actie Book
January 2009 -
Coinductive Predicates as Final Coalgebras In Proceedings
January 2009 -
January 2009
-
Verifying epistemic protocols under common knowledge In Proceedings
January 2009 -
Dynamic Epistemic Logic for Protocol Analysis Book Chapter
January 2009 -
What is Protocol Analysis? Book Chapter
January 2009 -
January 2009
-
January 2009
-
Unconditional Lower Bounds against Advice In Proceedings
January 2009 -
Partition Arguments in Multiparty Communication Complexity In Proceedings
January 2009 -
Quantum algorithm for identifying hidden polynomial function graphs Article
Quantum Information and Computation, 9(0706.1219), 0215-0230.January 2009 -
On the ideals of equivariant tree models Article
Mathematische Annalen, 344(0712.3230), 619-644.January 2009 -
Kolmogorov Complexity in Randomness Extraction In Proceedings
January 2009 -
Nonnegative matrix factorization of a correlation matrix Article
Linear Algebra and its Applications, 334-349.January 2009 -
A multigrid-based shifted-Laplacian preconditioner for a fourth order Helmholtz discretization Article
Numerical Linear Algebra with Applications, 603-626.January 2009 -
Pricing early-exercise and discrete barrier options by Fourier-cosine series expansions Article
Numerische Mathematik, 27-62.January 2009 -
Adaptive integration for multi-factor portfolio credit loss models Article
Journal of Computational and Applied Mathematics, 506-516.January 2009 -
Maximum permissive coordinated distributed supervisory control of nondeterministic discrete-event systems Tech Report
January 2009 -
January 2009
-
January 2009
-
Coordinated distributed supervisory control Tech Report
January 2009 -
January 2009
-
Dynamics with a range of choice Article
The special SCAN'08 issue of reliable computingJanuary 2009 -
January 2009
-
Efficient nonconflict check by using automaton abstractions In Proceedings
January 2009 -
January 2009
-
An algorithm for computing supremal nonblocking state-normal supervisors for nondeterministic systems In Proceedings
January 2009 -
Realization theory of discrete-time linear hybrid system In Proceedings
January 2009 -
Control of input/output discrete-event systems In Proceedings
January 2009 -
Realization theory of Nash systems In Proceedings
January 2009 -
January 2009
-
January 2009
-
Algebraic reachability of rational systems In Proceedings
January 2009 -
January 2009
-
The ins and outs of the probabilistic model checker MRMC In Proceedings
January 2009 -
Comparative systems biology: from bacteria to man Book Chapter
January 2009 -
Anchoring (environmental micro)biology in physics-based theory Article
Environmental Microbiology Reports, 3-26.January 2009 -
Construction of a coordinator for coordinated linear systems In Proceedings
January 2009 -
CASS: Combining phylogenetic trees into a phylogenetic network Magazine Article
January 2009 -
LEV1ATHAN: A level-1 heuristic Software
January 2009 -
Realization theory for rational systems: The existence of rational realizations Article
SIAM Journal on Control and Optimization, 2840-2856.January 2009 -
Constructing the Simplest Possible Phylogenetic Network from Triplets, Article
AlgorithmicaJanuary 2009 -
Dynamics with choice Article
Nonlinearity, 163-186.January 2009 -
Latency-constrained aggregation in sensor networks Article
ACM Transactions on Algorithms, 6(1), 1-20.January 2009 -
Modes and cuts in metabolic networks: Complexity and algorithms Article
Biosystems, 95(1), 51-60.January 2009 -
Data aggregation in sensor networks: Balancing communication and delay costs Article
Theoretical Computer Science, 410(14), 1346-1354.January 2009 -
Online k-server routing problems Article
Theory of Computing Systems, 45(3), 470-485.January 2009 -
January 2009
-
De Huwelijksstelling van Hall Magazine Article
January 2009