Publications from 2025

Polynomial runtime in simulatability definitions Article

D. Hofheinz (Dennis), J. Müller-Quade and D. Unruh

Practical Chosen Ciphertext Secure Encryption from Factoring In Proceedings

D. Hofheinz (Dennis) and E. Kiltz (Eike)

Possibility and impossibility results for encryption and commitment secure under selective opening In Proceedings

M. Bellare, D. Hofheinz (Dennis) and S. Yilek

CoSP: A general framework for computational soundness proofs In Proceedings

M. Backes, D. Hofheinz (Dennis) and D. Unruh

Percolation for the vacant set of random interlacements. Article

V. Sidoravicius (Vladas) and A.-S. Sznitman (Alain-Sol)

The structure of typical clusters in large sparse random configurations. Article

J. Bertoin and V. Sidoravicius (Vladas)

Automated translation and analysis of a ToolBus script for auctions In Proceedings

W.J. Fokkink (Wan), P. Klint (Paul), B. Lisser (Bert) and Y.S. Usenko (Yaroslav)

Language design for meta-programming in the software composition domain In Proceedings

P. Klint (Paul), J.J. Vinju (Jurgen) and T. van der Storm (Tijs)

Tribute to a great Meta-Technologist: from Centaur to The Meta-Environment Book Chapter

P. Klint (Paul)

EASY Meta-Programming with RASCAL In Proceedings

P. Klint (Paul), T. van der Storm (Tijs) and J.J. Vinju (Jurgen)

Formalizing Adaptation On-the-Fly In Proceedings

S. Andova, L.P.J. Groenewegen (Luuk), J. Stafleu and E.P. de Vink (Erik)

Proceedings of the Second International Workshop on Computational Models for Cell Processes Proceedings

Coalgebraic Weak Bisimulation for Action-Type Systems Article

A. Sokolova, E.P. de Vink (Erik) and H. Woracek

Compositionality for Markov Reward Chains with Fast Transitions Article

J. Markovski (Jasen), A. Sokolova, N. Trcka and E.P. de Vink (Erik)

Performance Evaluation of Distributed Systems based on a Discrete Real- and Stochastic-Time Process Algebra Article

J. Markovski (Jasen) and E.P. de Vink (Erik)

Distributed Computing Techniques Article

M.M. Bonsangue (Marcello), E. Broch Johnsen, A.L. Murphy and J. Vitek

The Next Generation of Multimedia Authoring Tools: Telling Stories and Commenting on Media In Proceedings

R.L. Guimarães (Rodrigo Laiola)

Estimate and Serve: Scheduling Soft Real-Time Packets for Delay Sensitive Media Applications on the Internet In Proceedings

I. Vaishnavi (Ishan) and D.C.A. Bulterman (Dick)

Enhancing Social Communication and Belonging by Integrating TV Narrativity and Game-Play In Proceedings

M. Ursu (Marian), P.S. César Garcia (Pablo Santiago) and D. Williams (Doug)

An Emergent Role for TV In Social Communication In Proceedings

D. Williams (Doug), M. Ursu (Marian), P.S. César Garcia (Pablo Santiago), K. Bergström (Karl), I. Kegel (Ian) and J. Meenowa

Adding dynamic visual manipulations to declarative multimedia documents In Proceedings

A.A.M. Kuijk (Fons), R.L. Guimarães (Rodrigo Laiola), P.S. César Garcia (Pablo Santiago) and D.C.A. Bulterman (Dick)

Taking Social TV beyond chatting: How the TV viewer adds value to the Network In Proceedings

K. Chorianopoulos (Konstantinos) and P.S. César Garcia (Pablo Santiago)

From photos to memories: A user-centric authoring tool for telling stories with your photos In Proceedings

A.A.M. Kuijk (Fons), R.L. Guimarães (Rodrigo Laiola), P.S. César Garcia (Pablo Santiago) and D.C.A. Bulterman (Dick)

SMIL State: an architecture and implementation for adaptive time-based web applications Article

A.J. Jansen (Jack) and D.C.A. Bulterman (Dick)

Leveraging the user impact: an architecture for secondary screens usage in an interactive television environment Article

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

Fragment, tag, enrich, and send: Enhancing the social sharing of videos Article

P.S. César Garcia (Pablo Santiago), D.C.A. Bulterman (Dick), A.J. Jansen (Jack), D. Geerts (David), H. Knoche and W. Seager

The evolution of TV systems, content, and users towards interactivity Article

P.S. César Garcia (Pablo Santiago) and K. Chorianopoulos (Konstantinos)

In Silico Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition In Proceedings

D. Bosnacki, T.E. Pronk and E.P. de Vink (Erik)

Reconfiguration Distributed Reo Connectors In Proceedings

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

Dynamic Consistency in Process Algebra: From Paradigm to ACP In Proceedings

S. Andova, L.P.J. Groenewegen (Luuk) and E.P. de Vink (Erik)

Rewriting agent societies strategically In Proceedings

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

On coordination, autonomy and time In Proceedings

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

A First Step towards Security Policy Compliance of Connectors In Proceedings

M. Sun (Meng)

A Coalgebraic Semantic Framework for Reasoning about Interaction Designs Book Chapter

M. Sun (Meng) and L.S. Barbosa

QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata Article

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

Static Validation of WS-CDL Documents Article

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

On the Semantics and Verification of Normative Multi-Agent Systems Article

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

Coalgebraic Symbolic Semantics In Proceedings

F. Bonchi (Filippo) and U. Montanari

Encoding Asynchronous Interactions Using Open Petri Nets In Proceedings

P. Baldan, F. Bonchi (Filippo) and F. Gadducci (Fabio)

Minimization Algorithm for Symbolic Bisimilarity In Proceedings

F. Bonchi (Filippo) and U. Montanari

Achievable performance of resource allocations in bandwidth sharing networks Article

I.M. Verloop (Maaike) and R. Núñez Queija (Rudesindo)

Admission control for differentiated services in future generation CDMA networks Article

H.-P. Tan (Hwee-Pink), R. Núñez Queija (Rudesindo), A.F. Gabor and O.J. Boxma (Onno)

Heavy-traffic analysis of the M/PH/1 discriminatory processor sharing queue with phase-dependent weights Article

I.M. Verloop (Maaike), U. Ayesta (Urtzi) and R. Núñez Queija (Rudesindo)

Exploiting Fruitful Regions in Dynamic Routing using Evolutionary Computation Book Chapter

J.I. van Hemert and J.A. La Poutré (Han)

Adaptive resource allocation for efficient patient scheduling Article

I.B. Vermeulen (Ivan), S.M. Bohte (Sander), S.G. Elkhuizen, J.S. Lameris, P.J.M. Bakker and J.A. La Poutré (Han)

A Qualitative Vickrey Auction In Proceedings

B.P. Harrenstein, M.M. de Weerdt (Mathijs) and V. Conitzer (Vincent)

The Merit of Agents in Freight Transport Book Chapter

T. Máhr, J. Srour, M.M. de Weerdt (Mathijs) and R.A. Zuidwijk

Introduction to Planning in Multiagent Systems Article

M.M. de Weerdt (Mathijs) and B.J. Clement

AMaLGaM IDEAs in Noiseless Black-Box Optimization Benchmarking In Proceedings

P.A.N. Bosman (Peter), J. Grahl and D. Thierens (Dirk)

Evolutionary multiobjective optimization for dynamic hospital resource management In Proceedings

A.K. Hutzschenreuter (Anke Kristine), P.A.N. Bosman (Peter) and J.A. La Poutré (Han)

On Empirical Memory Design, Faster Selection of Bayesian Factorizations and Parameter-Free Gaussian EDAs In Proceedings

P.A.N. Bosman (Peter)

Optimization of Online Patient Scheduling with Urgencies and Preferences In Proceedings

I.B. Vermeulen (Ivan), S.M. Bohte (Sander), P.A.N. Bosman (Peter), S.G. Elkhuizen, P.J.M. Bakker and J.A. La Poutré (Han)

Rascal: A domain specific language for source code analysis and manipulation In Proceedings

P. Klint (Paul), T. van der Storm (Tijs) and J.J. Vinju (Jurgen)

Accelerating the creation of customized, language-specific IDEs in Eclipse In Proceedings

P. Charles, R.M. Fuhrer (Robert), S.M. Sutton, E. Duesterwald and J.J. Vinju (Jurgen)

Faster scannerless GLR parsing In Proceedings

G.R. Economopoulos (Giorgos Robert), P. Klint (Paul) and J.J. Vinju (Jurgen)

Integrated structure and semantics for Reo connectors and Petri nets In Proceedings

C. Krause (born Köhler) (Christian)

Decomposing port automata In Proceedings

C. Krause (born Köhler) (Christian) and D.G. Clarke (David)

Schedulability of Asynchronous Real-Time Concurrent Objects Article

M.M. Jaghoori (Mohammad Mahdi), F.S. de Boer (Frank), T. Chothia (Tom) and M. Sirjani (Marjan)

Modeling and Analysis of Thread-Pools in an Industrial Communication Platform In Proceedings

F.S. de Boer (Frank), T. Chothia (Tom) and M.M. Jaghoori (Mohammad Mahdi)

Modeling and Analysis of Thread-Pools in an Industrial Communication Platform In Proceedings

F.S. de Boer (Frank), I. Grabe (Immo), M.M. Jaghoori (Mohammad Mahdi), A. Stam and W. Yi

Symmetry and Partial Order Reduction Techniques in Model Checking Rebeca Article

M.M. Jaghoori (Mohammad Mahdi), M. Sirjani (Marjan), M.R. Mousavi, E. Khamespanah (Ehsan) and A. Movaghar (Ali)

Towards Model Checking Executable UML Specifications in mCRL2 In Proceedings

H.H. Hansen (Helle), J. Ketema, M.R. Mousavi, S.P. Luttik (Bas) and J.C. van de Pol (Jaco)

Neighbourhood Structures: Bisimilarity and Basic Model Theory Article

H.H. Hansen (Helle), C.A. Kupke (Clemens) and E. Pacuit

Efficient Multigrid Methods based on improved Coarse Grid Correction Techniques Dissertation

H. bin Zubair (Hisham)

Credit Portfolio Losses Dissertation

X. Huang

The role of (stem) cell division in leaf growth In Proceedings

G.T.S. Beemster, S. Dhondt, F. Coppens, R.M.H. Merks (Roeland), D. Inze, P. Genschik, P. Achard and M.J. Bennett

Characterization of tail dependence for in-degree and PageRank In Proceedings

N. Litvak, W.R.W. Scheinhardt (Werner), Y. Volkovich and A.P. Zwart (Bert)

A framework for evaluating statistical dependencies and rank correlations in power law graphs In Proceedings

Y. Volkovich, N. Litvak and A.P. Zwart (Bert)

A Basic Parallel Process as a Parallel Pushdown Automaton Article

J.C.M. Baeten (Jos), P.J.L. Cuijpers and P.J.A. van Tilburg (Paul)

Automata for Context-Dependent Connectors In Proceedings

M.M. Bonsangue (Marcello), D.G. Clarke (David) and A.M. Silva (Alexandra)

Flat directions and Minkowski's $3^d$-theorem Tech Report

J. Draisma (Jan), T. McAllister and B. Nill

Algebras for Kripke polynomial coalgebras In Proceedings

M.M. Bonsangue (Marcello), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

Equivariant Gröbner bases and the two-factor model Tech Report

A.E. Brouwer (Andries) and J. Draisma (Jan)

A Kleene theorem for polynomial coalgebras In Proceedings

M.M. Bonsangue (Marcello), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

The singular lines of alternating three-forms Tech Report

J. Draisma (Jan) and R. Shaw (Ron)

Shifted-Laplacian preconditioners for heterogeneous Helmholtz problems Book Chapter

C.W. Oosterlee (Kees), C. Vuik, W.A. Mulder and R.-E. Plessix

Analysis of sorting algorithms by Kolmogorov complexity (A survey) Tech Report

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

Normalized Web Distance and Word Similarity Tech Report

R.L. Cilibrasi (Rudi) and P.M.B. Vitányi (Paul)

Simplified yet highly accurate enzyme kinetics for cases of low substrate concentrations Article

H.M. Härdin (Hanna), A. Zagaris (Antonios), K. Krab and H.V. Westerhoff (Hans)

An Image Warping Architecture for VR: Low Latency versus Image Quality In Proceedings

R. van Liere (Robert), S. Beck, B. Fröhlich (Bernd) and F.A. Smit (Ferdi)

Data, Information, and Knowledge in Visualization Article

M. Chen (Min), D.S. Ebert (David), H. Hagen (Hans), R.S. Laramee (Robert), R. van Liere (Robert), K.-L. Ma (Kwan-Liu), W. Ribarsky (William), G. Scheuermann (Gerik) and D. Silver

Tangible Props for Scientific Visualization: Concept, Requirements, Application Article

K.J. Kruszynski (Chris) and R. van Liere (Robert)

Insights into Diviing 3D goal-directed movements into meaningful phases Article

C. J. H. Nieuwenhuizen (Karin), L. Liu (Lei), R. van Liere (Robert) and J.-B. Martens

Trends in Interactive Visualization: State-of-the-Art Survey Book

E. Zudalova, T. Adriaansen and R. van Liere (Robert)

Optimal File Splitting for Wireless Networks With Concurrent Access In Proceedings

G.J. Hoekstra (Gerard), R.D. van der Mei (Rob), Y. Nazarathy (Yoni) and A.P. Zwart (Bert)

From coordination to stochastic models of QoS In Proceedings

F. Arbab (Farhad), T. Clothia, R.D. van der Mei (Rob), M. Sun (Meng), Y.-J. Moon (Young-Joo) and C. Verhoef (Chretien)

Design and construction of protocol sequences: shift invariance and user irrepressibility In Proceedings

K. Shum, W.S. Wong, C.W. Sung and C.S. Chen (Calvin)

Shift-invariant protocol sequences for the collision channel without feedback Article

K. Shum, C.S. Chen (Calvin), C.W. Sung and W.S. Wong

Enhancing real-time delivery for wireless sensor networks with two-hop information Article

Y. Li (Yanjun), C.S. Chen (Calvin), Y.-Q. Song, Z. Wang and Y. Sun (Youfa)

Law of Large Number Limits of Limited Processor Sharing Queues Article

J. Zhang (Jason), J.G. Dai and A.P. Zwart (Bert)

An extension of the square root law of TCP Article

K. Maulik (Krishanu) and A.P. Zwart (Bert)

Instability of MaxWeight scheduling In Proceedings

P.M. van de Ven (Peter), S.C. Borst (Sem) and V. Shneer (Seva)

An analytical framework in support of personalized communication services In Proceedings

S.C. Borst (Sem), I. Saniee and A. Walid

Mobility-driven scheduling in wireless networks In Proceedings

S.C. Borst (Sem), N. Hegde and A. Proutière

Interacting queues with server selection and coordinated scheduling - application to cellular data networks Article

S.C. Borst (Sem), N. Hegde and A. Proutière

Self-organizing algorithms for cache cooperation in content distribution networks In Proceedings

S.C. Borst (Sem), V. Gupta and A. Walid

Self-organizing algorithms for cache cooperation in content distribution networks Article

S.C. Borst (Sem), V. Gupta and A. Walid

A new framework for performance analysis of emerging personalized communication services Article

S.C. Borst (Sem), J. Collins, I. Saniee and A. Walid

Flow-level performance and capacity of wireless networks with user mobility Article

T. Bonald, S.C. Borst (Sem), N. Hegde, M. Jonckheere (Matthieu) and A. Proutière

Distributed algorithms for optimal opportunistic medium access In Proceedings

Y. Al-Harthi and S.C. Borst (Sem)