313 citations
- University of AmsterdamNL58 papers
- Eindhoven University of TechnologyNL54 papers
- Vrije Universiteit AmsterdamNL14 papers
- Radboud University NijmegenNL13 papers
- Leiden UniversityNL12 papers
- College of Western IdahoUS11 papers
- Centre National de la Recherche ScientifiqueFR10 papers
- University of California, BerkeleyUS7 papers
- University of WaterlooCA7 papers
- Delft University of TechnologyNL6 papers
- Sorbonne UniversitéFR6 papers
- University of CambridgeGB6 papers
11 papers · 1 filter
A Compositional Framework for Preference-Aware Agents
Tobias Kappé, Farhad Arbab, Carolyn Talcott
A formal description of a Cyber-Physical system should include a rigorous specification of the computational and physical components involved, as well as their interaction. Such a…
Heavy traffic analysis of roving server networks
Marko Boon, Rob van der Mei, Erik Winands
This paper studies the heavy-traffic (HT) behaviour of queueing networks with a single roving server. External customers arrive at the queues according to independent renewal proce…
Importance sampling of heavy-tailed iterated random functions
Bohan Chen, Chang-Han Rhee, Bert Zwart
We consider a stochastic recurrence equation of the form , where , and $\{(A_n,B_n)\}_{n\in\m…
On unrooted and root-uncertain variants of several well-known phylogenetic network problems
Leo van Iersel, Steven Kelk, Georgios Stamoulis +2
The hybridization number problem requires us to embed a set of binary rooted phylogenetic trees into a binary rooted phylogenetic network such that the number of nodes with indegre…
Knowing Values and Public Inspection
Jan van Eijck, Malvin Gattinger, Yanjing Wang
We present a basic dynamic epistemic logic of "knowing the value". Analogous to public announcement in standard DEL, we study "public inspection", a new dynamic operator which upda…
Refined large deviations asymptotics for Markov-modulated infinite-server systems
Joke Blom, Koen De Turck, Michel Mandjes
Many networking-related settings can be modeled by Markov-modulated infinite-server systems. In such models, the customers' arrival rates and service rates are modulated by a Marko…