Publications from 2013
-
January 2008
-
Determining the optimal level of parallellism for realtime multimedia applications in a Grid environment In Proceedings
January 2008 -
A note on polling models with renewal arrivals and nonzero switch-over times Article
Operations Research Letters, 500-505.January 2008 -
Heavy traffic analysis for polling models by Mean Value Analysis Article
Performance Evaluation, 400-416.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.January 2008 -
January 2008
-
Asymptotic analysis of Lévy-driven tandem queues Article
Queueing Systems, 60(3-4), 203-226.January 2008 -
On a generic class of two-node queueing systems Article
Queueing Systems, 37-63.January 2008 -
Comparison of bandwidth-sharing policies in a linear network In Proceedings
January 2008 -
Bandwidth-sharing networks in overload In Proceedings
January 2008 -
Stability of parallel queueing systems with coupled service rates Article
Discrete Event Dynamic Systems: Theory and Applications, 18(4), 447-472.January 2008 -
Flow-level performance and user mobility in wireless data networks Article
Philosophical Transactions of the Royal Society A , 366(1872), 2047-2058.January 2008 -
Queueing models for single machine manufacturing systems In Proceedings
January 2008 -
Measuring extremal dependencies in Web graphs In Proceedings
January 2008 -
Steady state approximations of limited processor sharing queues in heavy traffic Article
Queueing Systems, 227-248.January 2008 -
Corrected asymptotics for a multi-server queue in the Halfin-Whitt regime Article
Queueing Systems, 261-301.January 2008 -
Gaussian expansions and bounds for the Poisson distribution applied to the Erlang B formula Article
Advances in Applied Probability, 122-143.January 2008 -
Fluid approximation of a processor sharing queue with reneging Article
Mathematics of Operations Research, 375-402.January 2008 -
Preventing large sojourn times with SMART scheduling Article
Operations Research, 88-101.January 2008 -
Bandwidth trading under misaligned objectives: decentralized, measurement-based control Article
Computer Networks, 475-492.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.January 2008 -
Enhancing the Performance of Maximum-Likelihood Gaussian EDAs Using Anticipated Mean Shift In Proceedings
January 2008 -
Some New Maximal Inequalities Article
Statistics and Probability Letters, 16(16), 2776-2780.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.January 2008 -
On the correlation structure of a Lévy-driven queue Article
Journal of Applied Probability, 45(4), 940-952.January 2008 -
On a queueing model with service interruptions Article
Probability in the Engineering and Informational Sciences, 537-555.January 2008 -
January 2008
-
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 AnalysisJanuary 2008 -
Generalized Processor Sharing: Characterization of the admissible region and selection of optimal weights Article
Computers & Operations Research, 2497-2519.January 2008 -
A note on the delay distribution in Generalized Processor Sharing Article
Operations Research Letters, 117-122.January 2008 -
The expected value and the variance of the checks required by revision algorithms Article
Constraint Programming Letters, 55-77.January 2008 -
The LDP for the on/off Weibull sojourn process Article
Journal of Applied Probability, 45(1), 107-117.January 2008 -
On the truncated long range percolation on $Z^2$ Article
Journal of Applied Probability, 45(1), 287-291.January 2008 -
Complexity analysis of a decentralised graph colouring algorithm Article
Information Processing Letters, 107(2), 60-63.January 2008 -
Convergence rates in the local renewal theorem Article
Statistics and Probability Letters, 78(14), 2230-2233.January 2008 -
A new method for approximating the variance of the sojourn times in star-shaped queueing networks Article
Stochastic Models, 1-15.January 2008 -
Composable Security in the Bounded-Quantum-Storage Model In Proceedings
January 2008 -
State Discrimination With Post-Measurement Information Article
IEEE Transactions on Information Theory, 54(9), 4183-4198.January 2008 -
Unique games with entangled provers are easy In Proceedings
January 2008 -
Entangled games are hard to approximate In Proceedings
January 2008 -
January 2008
-
Nonclassicality without entanglement enables bit commitment In Proceedings
January 2008 -
Personalization on a peer-to-peer television system Article
International Journal on Multimedia Tools and Applications, 36(1-2), 89-113.January 2008 -
Flexible and efficient IR using array databases Article
VLDB Journal, 17(1), 151-168.January 2008 -
Zooming in Multi-spectral Datacubes using PCA In Proceedings
January 2008 -
January 2008
-
Recasting Constraint Automata into Buchi Automata In Proceedings
January 2008 -
Coalgebraic logic and synthesis of Mealy machines In Proceedings
January 2008 -
Communication in the Presence of Replication In Proceedings
January 2008 -
Robust Multi-property Combiners for Hash Functions Revisited In Proceedings
January 2008 -
Weak Pseudorandom Functions in Minicrypt In Proceedings
January 2008 -
January 2008
-
Garden: An Integrated DSL Development Environment Article
Science in China, 38(12), 2084-2098.January 2008 -
Identity-Based Signatures Book Chapter
January 2008 -
January 2008
-
CCA2 Secure IBE: Standard Model Efficiency through Authenticated Symmetric Encryption In Proceedings
January 2008 -
Services and Contracts: Coalgebraically Article
Electronic Notes in Theoretical Computer Science, 207-223.January 2008 -
Leakage-Resilient Cryptography In Proceedings
January 2008 -
Quantum Property Testing Article
SIAM Journal on Computing, 37(5), 1387-1400.January 2008 -
Randomised Individual Communication Complexity In Proceedings
January 2008 -
NP-hard sets are exponentially dense unless coNP C NP/poly In Proceedings
January 2008 -
Programmable Hash Functions and Their Applications In Proceedings
January 2008 -
Towards Key-Dependent Message Security in the Standard Model In Proceedings
January 2008 -
Public-Key Encryption with Non-Interactive Opening In Proceedings
January 2008 -
Conditional Reactive Simulatability Article
International Journal of Information Security, 7(2), 155-169.January 2008 -
The EMF Model Transformation Framework Book Chapter
January 2008 -
January 2008
-
January 2008
-
January 2008
-
Static Check of WSCDL Documents In Proceedings
January 2008 -
Reconfiguration Distributed Reo Connectors In Proceedings
January 2008 -
Verification of Networks of Timed Automata using mCRL2 In Proceedings
January 2008 -
Calculating Invariants as Coreflexive Bisimulations In Proceedings
January 2008 -
Metaplectic operators on {$C^n$} Article
Quarterly Journal of Mathematics, 59(1), 15-28.January 2008 -
QoS-Driven Service Selection and Composition In Proceedings
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.January 2008 -
A multi-agent platform for auction-based allocation of loads in transportation logistics (Demonstration Paper) In Proceedings
January 2008 -
Autonomous Scheduling In Proceedings
January 2008 -
January 2008
-
Rational streams coalgebraically Article
Logical Methods in Computer Science, 4(3)January 2008 -
Deconstructing Reo In Proceedings
January 2008 -
Reconfiguration of Reo Connectors Triggered by Dataflow Article
Electronic Communications of the European Association of Software Science and TechnologyJanuary 2008 -
Model-checking agent refinement In Proceedings
January 2008 -
A Deductive Proof System for Multithreaded Java with Exceptions Article
Fundamenta Informaticae, 82(4)January 2008 -
A Verification Framework for Normative Multi-Agent Systems In Proceedings
January 2008 -
Reo Connectors as Coordination Artifacts in 2APL Systems In Proceedings
January 2008 -
January 2008
-
A Framework for Video Interaction with Web Browsers Article
ERCIM News, 25-26.January 2008 -
Comment on 'Mechanism of Branching in Negative Ionization Fronts' Article
Physical Review Letters, 1-1.January 2008 -
A visual approach for modeling spatiotemporal relations In Proceedings
January 2008 -
January 2008
-
Minimizing average flow time in sensor data gathering In Proceedings
January 2008 -
January 2008
-
The Distributed Wireless Gathering Problem In Proceedings
January 2008 -
Balanced subset sums of dense sets of integers Tech Report
January 2008 -
January 2008
-
Minimizing flow time in the wireless gathering problem In Proceedings
January 2008 -
Random walks on the vertices of transportation polytopes with constant number of sources Article
Random Structures & Algorithms, 33(3), 333-355.January 2008 -
An approximation algorithm for the Wireless Gathering Problem Article
Operations Research Letters, 36(5), 605-608.January 2008